Test ideals can be computed by boundaries
Let $R$ be a normal $F$-finite ring of characteristic $p>0$. We show that one effective $\mathbb{Q}$-divisor $Δ$, with $K_R+Δ$ $\mathbb{Q}$-Cartier of index prime to $p$, computes the big test ideal. This answers a question of Schwede and Smith. More generally, we prove their conjecture that test module of a Cartier algebra acting on an ideal is the test module of a single map $ψ$ in the algebra and even the image of $ψ$. We prove a global version for schemes quasi-projective over an $F$-finite local ring as well. In particular, every such normal, locally strongly $F$-regular scheme admits…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.38163
curl -X POST /api/v1/records/arxiv/2610.38163/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.38163/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'