Generically log smooth families via generators and relations
Let $f\colon X \to \mathbb{A}^1_t$ be an affine flat morphism of finite type, and let $V = f^{-1}(0)$. Then, we obtain a morphism of log schemes $f\colon (X|V) \to (\mathbb{A}^1_t|0)$. In this article, we develop algorithmic tools to study the log-geometric properties of $f$ by means of a presentation \[Γ(X,\mathcal{O}_X) = \Bbbk[t,x_1,\ldots,x_n]/(f_1,\ldots,f_r).\] We obtain similar tools for projective flat morphisms when the homogeneous coordinate ring is given by generators and relations. We provide an implementation of our algorithms in Macaulay2. In a slightly different direction, we…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2602.17617
curl -X POST /api/v1/records/arxiv/2602.17617/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2602.17617/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'