{"id":"arxiv/2610.38163","url":"https://arxiv.org/abs/2610.38163","tags":["math.AC","math.AG"],"score":0,"title":"Test ideals can be computed by boundaries","domain":"math.AC","source":"arxiv","authors":["Rahul Ajit","with Appendix joint with Daniel Apsley"],"reviews":0,"subject":"math.AC","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-28","reactions":{}}