An inclusion result for dagger closure in certain section rings of abelian varieties (Q1943367)

\noindent A graded variant of the notion of dagger closure was introduced by \textit{H.~Brenner} and \textit{A.~Stäbler} in~[Trans. Am. Math. Soc. 365, No. 11, 5883--5910 (2013; Zbl 1304.13007)]. In the paper under review, the author studies the graded dagger closure of primary ideals in section rings, associated to symmetric line bundles, of abelian varieties over an algebraically closed field of arbitrary characteristic. The main result provides an inclusion bound for aforementioned dagger closures. For a precise statement of the main result we first recall a number of definitions: The absolute integral closure \(R^+\) of a domain \(R\) is the integral closure of \(R\) in an algebraic closure of its quotient field \(Q(R)\). When \(R\) is an \(\mathbb{N}\)-graded domain, the notation \(R^{+\mathrm{GR}}\) is used to denote the maximal \(\mathbb{Q}_{\geq0}\)-graded subring of \(R^+\), which extends the grading given by \(R\) (see Lemma~4.1 in [\textit{M.~Hochster} and \textit{C.~Huneke}, Ann. Math. (2) 135, No. 1, 53--89 (1992; Zbl 0753.13003)]). In this setting there is a natural choice for a valuation \(\nu: R^{+\mathrm{GR}}\setminus\{0\}\rightarrow\mathbb{Q}\), called the \textit{valuation induced by the grading}. The \textit{graded} dagger closure \(I^{\dagger\mathrm{GR}}\) of an ideal \(I\) of an \(\mathbb{N}\)-graded domain \(R\) is defined as the set of elements \(f\in R\) such that for all \(\varepsilon>0\) there exists an element \(a\in R^{+\mathrm{GR}}\) with \(\nu(a)<\varepsilon\) and such that \(af\) lies in the extended ideal \(IR^{+\mathrm{GR}}\). A projective variety \((X,\mathcal{O}_X(1))\) is called \textit{polarized} if \(\mathcal{O}_X(1)\) is an ample invertible sheaf. For a coherent torsion-free sheaf \(\mathcal{F}\) on a polarized projective variety \((X,\mathcal{O}_X(1))\) over an algebraically closed field, the \textit{minimal} slope \(\mu_{\mathrm{min}}(\mathcal{F})\) of \(\mathcal{F}\) with respect to \(\mathcal{O}_X(1)\) is defined as \[ \min\{\deg\mathcal{Q}/\text{rank}\mathcal{Q}\mid \mathcal{F}\rightarrow\mathcal{Q}\rightarrow0\;\mathrm{is\;a\;torsion-free\;quotient\;sheaf\;of\;rank\;}\geq1\}. \] A line bundle \(\mathcal{L}\) on an abelian variety \(X\) is called \textit{symmetric} if \(\mathcal{L}=(-1)_X^*\mathcal{L}\), where \((-1)_X: X\rightarrow X\) is the multiplication by \(-1\) map. The precise statement of the main result of the paper under review is as follows: Let \((X,\mathcal{O}_X(1))\) be a polarized abelian variety of dimension \(d\) over an algebraically closed field of arbitrary characteristic. Assume that \(\mathcal{O}_X(1)\) is symmetric. Let \(R=\bigoplus_{n\geq0}\Gamma(X,\mathcal{O}_X(n))\) be the section ring of \(X\) and let \(I\) be a homogeneous \(R_+\)-primary ideal of \(R\). Consider a homogeneous complex of graded \(R\)-modules \[ \ldots\rightarrow\bigoplus_{(k,2)}R(-\alpha_{k,2})\rightarrow\bigoplus_{(k,1)}R(-\alpha_{k,1})\rightarrow R\rightarrow R/I\rightarrow0 \] that is exact on \(D_+(R_+)\), and let \[ \ldots\rightarrow\mathcal{G}_2=\bigoplus_{(k,2)}\mathcal{O}_X(-\alpha_{k,2})\rightarrow\mathcal{G}_1=\bigoplus_{(k,1)}\mathcal{O}_X(-\alpha_{k,1})\rightarrow\mathcal{O}_X\rightarrow0 \] be the corresponding exact complex of sheaves on \(X\). Denote by \(\mathcal{S}_j=\ker(\mathcal{G}_i\rightarrow\mathcal{G}_{i-1})\) the kernel bundles and let \(\eta=-\mu_{\mathrm{min}}(\mathcal{S}_d)/\deg\mathcal{O}_X(1)\). Then \(R_{\geq\eta}\subseteq I^{\dagger\mathrm{GR}}\). A key tool in the proofs is the multiplication by an integer \(N\) map of an abelian variety, which replaces the Frobenius morphism used in positive characteristic. Using the main result, the author is able to provide examples in which the graded dagger closer is non-trivial in normal rings of dimension \(\geq2\).