Surfaces of globally $F$-regular and $F$-split type
We prove that normal projective surfaces of dense globally $F$-split type (resp. globally $F$-regular type) are of Calabi-Yau type (resp. Fano type).
math.AG↗
arXiv subjects
Shunsuke Takagi
Publications and source records attributed to Shunsuke Takagi.
On the F-purity of isolated log canonical singularities
A singularity in characteristic zero is said to be of dense F-pure type if its modulo p reduction is locally F-split for infinitely many p. We prove that if $x \in X$ is an isolated log canonical singularity with $μ(x \in X) \le 2$ (see Definition 1.4 for the definition of the invariant $μ$), then it is of dense F-pure type. As a corollary, we prove the equivalence of log canonicity and being of dense F-pure type in the case of three-dimensional isolated singularities.
math.AG↗
Characterization of varieties of Fano type via singularities of Cox rings
We show that every Mori dream space of globally $F$-regular type is of Fano type. As an application, we give a characterization of varieties of Fano type in terms of the singularities of their Cox rings.
math.AG↗
A subadditivity formula for multiplier ideals associated to log pairs
As a generalization of formulas given by Demailly-Ein-Lazarsfeld, Eisenstein and Takagi, we prove a subadditivity formula for multiplier ideals associated to log pairs.
math.AG↗
Supplements to non-lc ideal sheaves
We consider various definitions of non-lc ideal sheaves -- generalizations of the multiplier ideal sheaf which define the non-lc (non-log canonical) locus. We introduce the maximal non-lc ideal sheaf and intermediate non-lc ideal sheaves and consider the restriction theorem for these ideal sheaves. We also begin the development of the theory of a characteristic p>0 analog of maximal non-lc ideals, utilizing some recent work of Blickle.
math.AG↗
Multiplicity bounds in graded rings
The $F$-threshold $c^J(\a)$ of an ideal $\a$ with respect to an ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We study a conjecture formulated in an earlier paper \cite{HMTW} by the same authors together with M. Mustaţă, which bounds $c^J(\a)$ in terms of the multiplicities $e(\a)$ and $e(J)$, when $\a$ and $J$ are zero-dimensional ideals and $J$ is generated by a system of parameters. We prove the conjecture when $\a$ and $J$ are generated by homogeneous systems of parameters in a Noetherian graded $k$-algebra. We also prove a similar inequality involving, instead of the $F$-threshold, the jumping number for the generalized parameter test submodules introduced in \cite{ST}.
math.AC↗
Discreteness and rationality of $F$-jumping numbers on singular varieties
We prove that the $F$-jumping numbers of the test ideal $τ(X; Δ, \ba^t)$ are discrete and rational under the assumptions that $X$ is a normal and $F$-finite variety over a field of positive characteristic $p$, $K_X+Δ$ is $\bQ$-Cartier of index not divisible $p$, and either $X$ is essentially of finite type over a field or the sheaf of ideals $\ba$ is locally principal. This is the largest generality for which discreteness and rationality are known for the jumping numbers of multiplier ideals in characteristic zero.
math.AG↗
Log canonical thresholds of binomial ideals
We prove that the log canonical thresholds of a large class of binomial ideals, such as complete intersection binomial ideals and the defining ideals of space monomial curves, are computable by linear programming.
math.AG↗
Rational singularities associated to pairs
In this paper we introduce a notion of rational singularities associated to pairs $(X, \ba^t)$ where $X$ is a variety, $\ba$ is an ideal sheaf and $t$ is a nonnegative real number. We prove that most standard results about rational singularities extend to this context. We also show that some results commonly associated with log terminal pairs have analogs in this context, including results related to inversion of adjunction. A positive characteristic analogue of rational singularities of pairs is also defined and explored.
math.AG↗
Adjoint ideals along closed subvarieties of higher codimension
In this paper, we introduce a notion of adjoint ideal sheaves along closed subvarieties of higher codimension and study its local properties using characteristic $p$ methods. When $X$ is a normal Gorenstein closed subvariety of a smooth complex variety $A$, we formulate a restriction property of the adjoint ideal sheaf $\adj_X(A)$ of $A$ along $X$ involving the l.c.i. ideal sheaf $\mathcal{D}_X$ of $X$. The proof relies on a modification of generalized test ideals of Hara and Yoshida.
math.AG↗
D-modules over rings with finite F-representation type
Smith and Van den Bergh introduced the notion of finite F-representation type as a characteristic $p$ analogue of the notion of finite representation type. In this paper, we prove two finiteness properties of rings with finite F-representation type. The first property states that if $R=\bigoplus_{n \ge 0}R_n$ is a Noetherian graded ring with finite (graded) F-representation type, then for every non-zerodivisor $x \in R$, $R_x$ is generated by $1/x$ as a $D_{R}$-module. The second one states that if $R$ is a Gorenstein ring with finite F-representation type, then $H_I^n(R)$ has only finitely many associated primes for any ideal $I$ of $R$ and any integer $n$. We also include a result on the discreteness of F-jumping exponents of ideals of rings with finite (graded) F-representation type as an appendix.
math.AC↗
Generalized test ideals and symbolic powers
Hochster and Huneke proved in \cite{HH5} fine behaviors of symbolic powers of ideals in regular rings, using the theory of tight closure. In this paper, we use generalized test ideals, which are a characteristic $p$ analogue of multiplier ideals, to give a slight generalization of Hochster-Huneke's results.
math.AC↗
F-thresholds, tight closure, integral closure, and multiplicity bounds
The F-threshold $c^J(\a)$ of an ideal $\a$ with respect to the ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We show that under mild assumptions, we can detect the containment in the integral closure or the tight closure of a parameter ideal using F-thresholds. We formulate a conjecture bounding $c^J(\a)$ in terms of the multiplicities $e(\a)$ and $e(J)$, when $\a$ and $J$ are zero-dimensional ideals, and $J$ is generated by a system of parameters. We prove the conjecture when $J$ is a monomial ideal in a polynomial ring, and also when $\a$ and $J$ are generated by homogeneous systems of parameters in a Cohen-Macaulay graded $k$-algebra.
math.AC↗
A characteristic p analogue of plt singularities and adjoint ideals
We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair $(X,Δ)$ is plt if and only if the modulo $p$ reduction of $(X,Δ)$ is divisorially F-regular for all large $p \gg 0$. Here, divisorially F-regular pairs are a class of singularities in positive characteristic introduced by Hara and Watanabe in terms of Frobenius splitting.
math.AG↗
Formulas for multiplier ideals on singular varieties
We prove a generalization of Demailly-Ein-Lazarsfeld's subadditivity formula and Mustata's summation formula for multiplier ideals to the case of singular varieties, using characteristic $p$ methods. As an application of our formula, we improve Hochster-Huneke's result on the growth of symbolic powers of ideals in singular affine algebras.
math.AG↗
F-thresholds and Bernstein-Sato polynomials
We introduce and study invariants of singularities in positive characteristic called F-thresholds. They give an analogue of the jumping coefficients of multiplier ideals in characteristic zero. We discuss the connection between the invariants of an ideal in characteristic zero and the invariants of the different reduction mod p of this ideal. Our main point is that this relation depends on arithmetic properties of p. We also describe a new connection between invariants mod p and the roots of the Bernstein-Sato polynomial.
math.AG↗
On F-pure thresholds
Using the Frobenius map, we introduce a new invariant for a pair $(R,\a)$ of a ring $R$ and an ideal $\a \subset R$, which we call the F-pure threshold $\mathrm{c}(\a)$ of $\a$, and study its properties. We see that the F-pure threshold characterizes several ring theoretic properties. By virtue of Hara and Yoshida's result, the F-pure threshold $\mathrm{c}(\a)$ in characteristic zero corresponds to the log canonical threshold $\mathrm{lc}(\a)$ which is an important invariant in birational geometry. Using the F-pure threshold, we prove some ring theoretic properties of three-dimensional terminal singularities of characteristic zero. Also, in fixed prime characteristic, we establish several properties of F-pure threshold similar to those of the log canonical threshold with quite simple proofs.
math.AC↗
On a generalization of test ideals
The test ideal $τ(R)$ of a ring $R$ of prime characteristic is an important object in the theory of tight closure. In this paper, we study a generalization of the test ideal, which is the ideal $τ(\a^t)$ associated to a given ideal $\a$ with rational exponent $t \ge 0$. We first prove a key lemma of this paper, which gives a characterization of the ideal $τ(\a^t)$. As applications of this key lemma, we generalize the preceding results on the behavior of the test ideal $τ(R)$. Moreover, we prove an analog of so-called Skoda's theorem, which is formulated algebraically via adjoint ideals by Lipman in his proof of the "modified Briançon--Skoda theorem."
math.AC↗