Search

In section 8.3 of our paper "Duality and Flat Base Change on Formal Schemes" (http://arXiv.org/abs/alg-geom/9708006) some important results concerning localization of, and preservation of coherence by, basic duality functors, were based on the false statement that any closed formal subscheme of an open subscheme of the completion P of a relative projective space is an open subscheme of a closed formal subscheme of P. In this note, the said results are provided with solid foundations.

The main goal of this short paper is to prove the existence of rank 2 simple and special Ulrich bundles on a wide class of elliptic surfaces: namely, on regular Weierstrass fibrations \(\pi : S\rightarrow \mathbb {P}^1\). Alongside we also show the existence of rank 2 weakly Ulrich sheaves on arbitrary Weierstrass fibrations \(S\rightarrow C_0\) and we deal with the (non-)existence of rank one Ulrich bundles on them.

In this short paper I describe special situations where a local ring is normally flat along a divisorial prime ideal.

In this paper, we prove that for the oper stratification of the de Rham moduli space $M_{\mathrm{dR}}(X,r)$, the closed oper stratum is the unique minimal stratum with dimension $r^2(g-1)+g+1$, and the open dense stratum consisting of irreducible flat bundles with stable underlying vector bundles is the unique maximal stratum., Comment: This paper comes from the last section of arXiv:1905.10765v1 as an independent paper. Comments are welcome! To appear in manuscripta mathematica

We say that a complete nonsingular toric variety (called a toric manifold in this paper) is over $P$ if its quotient by the compact torus is homeomorphic to $P$ as a manifold with corners. Bott manifolds (or Bott towers) are toric manifolds over an $n$-cube $I^n$ and blowing them up at a fixed point produces toric manifolds over $\mathrm{vc}(I^n)$ an $n$-cube with one vertex cut. They are all projective. On the other hand, Oda's $3$-fold, the simplest non-projective toric manifold, is over $\mathrm{vc}(I^n)$. In this paper, we classify toric manifolds over $\mathrm{vc}(I^n)$ $(n\ge 3)$ as varieties and also as smooth manifolds. As a consequence, it turns out that (1) there are many non-projective toric manifolds over $\mathrm{vc}(I^n)$ but they are all diffeomorphic, and (2) toric manifolds over $\mathrm{vc}(I^n)$ in some class are determined by their cohomology rings as varieties among toric manifolds., Comment: 37 pages, 1 figure

Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev surfaces were of type $(2,3)$, we describe the Picard group and present an exceptional collection of maximal length. Finally, we prove that the presented exceptional collection is not full, hence there exist a nontrivial phantom category in the derived category., Comment: 35 pages; 3 figures; exposition improved; Adv. Math. (to appear)

Let $V$ be a projective subvariety of $\mathbb P^n(\mathbb C)$. A family of hypersurfaces $\{Q_i\}_{i=1}^q$ in $\mathbb P^n(\mathbb C)$ is said to be in $N$-subgeneral position with respect to $V$ if for any $1\le i_1, Comment: This paper is a revised version of the manuscript "Second main theorem and unicity of meromorphic mappings for hypersurfaces of projective varieties in subgeneral position, arXiv:1302.1261" of the first author. This paper is accepted for publication in Acta Mathematica Vietnamica (2016)

In the paper we present new examples of unexpected varieties. The research on unexpected varieties started with a paper of Cook II, Harbourne, Migliore and Nagel and was continued in the paper of Harbourne, Migliore, Nagel and Teitler. Here we present three ways of producing unexpected varieties that expand on what was previously known. In the paper of Harbourne, Migliore, Nagel and Teitler, cones on varieties of codimension 2 were used to produce unexpected hypersurfaces. Here we show that cones on positive dimensional varieties of codimension 2 or more almost always give unexpected hypersurfaces. For non-cones, almost all previous work has been for unexpected hypersurfaces coming from finite sets of points. Here we construct unexpected surfaces coming from lines in $\mathbb{P}^3$, and we generalize the construction using birational transformations to obtain unexpected hypersurfaces in higher dimensions., Comment: 15 pages

Formal schemes in algebraic geometry consist of power series with integer degree, this idea can be naturally carried over to power series with rational degree. In this paper formal schemes with rational degree are constructed. These schemes are non noetherian and thus require slight modification of the standard approach. The first part of the paper constructs non noetherian continuous valuation rings from discrete valuation rings, and these rings are reffered to as ‘eka’ (one in Hindi) rings. These new rings are designed to carry the properties of discrete valuation to continuous valuation faithfully. The second part of the paper constructs non noetherian formal schemes with rational degree and shows their admissibility. The corresponding flatness and coherence is proved. Finally line bundles of rational degree are constructed and their Cech cohomology computed.

This is the first in a series of two papers concerned with relative birational geometry of algebraic spaces. In this paper, we study Prufer spaces and Prufer pairs of algebraic spaces that generalize spectra of Prufer rings. As a particular case of Prufer spaces we introduce valuation algebraic spaces, and use them to establish valuative criteria of separatedness and properness that sharpen the standard criteria. In a sequel paper, we introduce a version of Riemann–Zariski spaces, and prove Nagata’s compactification theorem for algebraic spaces.

Let $X \subseteq \mathbb{P}^r$ be a non-degenerate smooth projective variety of dimension $n$, codimension $e$, and degree $d$ defined over an algebraically closed field of characteristic zero. In this paper, we first show that $\text{reg} (\mathcal{O}_X) \leq d-e$, and classify the extremal and the next to extremal cases. Our result reduces the Eisenbud-Goto regularity conjecture for the smooth case to the problem finding a Castelnuovo-type bound for normality. It is worth noting that McCullough-Peeva recently constructed counterexamples to the regularity conjecture by showing that $\text{reg} (\mathcal{O}_X)$ is not even bounded above by any polynomial function of $d$ when $X$ is not smooth. For a normality bound in the smooth case, we establish that $\text{reg}(X) \leq n(d-2)+1$, which improves previous results obtained by Mumford, Bertram-Ein-Lazarsfeld, and Noma. Finally, by generalizing Mumford's method on double point divisors, we prove that $\text{reg}(X) \leq d-1+m$, where $m$ is an invariant arising from double point divisors associated to outer general projections. Using double point divisors associated to inner projection, we also obtain a slightly better bound for $\text{reg}(X)$ under suitable assumptions., Comment: 23 pages. This paper has been largely rewritten after McCullough-Peeva's counterexamples to the Eisenbud-Goto regularity conjecture, which appeared in J. Amer. Math. Soc. in 2018. We also added new results on the regularity of smooth projective varieties of arbitrary dimension

Let $\Bbbk$ be any field of characteristic zero, $X$ be a del Pezzo surface and $G$ be a finite subgroup in $\operatorname{Aut}(X)$. In this paper we study when the quotient surface $X / G$ can be non-rational over $\Bbbk$. Obviously, if there are no smooth $\Bbbk$-points on $X / G$ then it is not $\Bbbk$-rational. Therefore under assumption that the set of smooth $\Bbbk$-points on $X / G$ is not empty we show that there are few possibilities for non-$\Bbbk$-rational quotients. The quotients of del Pezzo surfaces of degree $2$ and greater are considered in the author's previous papers. In this paper we study the quotients of del Pezzo surfaces of degree $1$. We show that they can be non-$\Bbbk$-rational only for the trivial group or cyclic groups of order $2$, $3$ and $6$. For the trivial group and the group of order $2$ we show that both $X$ and $X / G$ are not $\Bbbk$-rational if the $G$-invariant Picard number of $X$ is $1$. For the groups of order $3$ and $6$ we construct examples of both $\Bbbk$-rational and non-$\Bbbk$-rational quotients of both $\Bbbk$-rational and non-$\Bbbk$-rational del Pezzo surfaces of degree $1$ such that the $G$-invariant Picard number of $X$ is $1$. As a result of complete classification of non-$\Bbbk$-rational quotients of del Pezzo surfaces we classify surfaces that are birationally equivalent to quotients of $\Bbbk$-rational surfaces, and obtain some corollaries concerning fields of invariants of $\Bbbk(x , y)$., Comment: 35 pages, 4 figures, 1 table. arXiv admin note: text overlap with arXiv:1709.02006

In this paper, we will show that the sheaf of p-adic vanishing cycles of a log smooth family over a DVR of mixed characteristic is generated by Milnor symboles. A key ingredient is a computation (due to K. Kato) on the graded quotients of a multi-indexed filtration on the sheaf concerned, which has been used in several papers of the first author., 26 pages. Setions 5 and 6 are reorganized, and typos have been fixed

The main object in this paper is a certain rational convex polytope whose lattice points give a polyhedral realization of a highest weight crystal basis. This is also identical to a Newton-Okounkov body of a flag variety, and it gives a toric degeneration. In this paper, we prove that a specific class of this polytope is given by Kiritchenko's Demazure operators on polytopes. This implies that polytopes in this class are all lattice polytopes. As an application, we give a sufficient condition for the corresponding toric variety to be Gorenstein Fano., Comment: 21 pages

The purpose of this thesis is to study tautological rings of moduli spaces of curves. The moduli spaces of curves play an important role in algebraic geometry. The study of algebraic cycles on these spaces was started by Mumford. He introduced the notion of tautological classes on moduli spaces of curves. Faber and Pandharipande have proposed several deep conjectures about the structure of the tautological algebras. According to the Gorenstein conjectures these algebras satisfy a form of Poincare duality. The thesis contains three papers. In paper I we compute the tautological ring of the moduli space of stable n-pointed curves of genus one of compact type. We prove that it is a Gorenstein algebra. In paper II we consider the classical case of genus zero and its Chow ring. This ring was originally studied by Keel. He gives an inductive algorithm to compute the Chow ring of the space. Our new construction of the moduli space leads to a simpler presentation of the intersection ring and an explicit form of Keel’s inductive result. In paper III we study the tautological ring of the moduli space of stable n-pointed curves of genus two with rational tails. The Gorenstein conjecture is proved in this case as well.

We study the behavior of zero-divisors of the double zeta-function $\zeta_2(s_1,s_2)$. In our former paper \cite{MatSho14} we studied the case $s_1=s_2$, but in the present paper we consider the more general two variable situation. We carry out numerical computations in order to trace the behavior of zero-divisors. We observe that some divisors approach the points with $s_2=0$, while other divisors approach the points which are solutions of $\zeta(s_2)=1$., Comment: 14 pages, 16 figures

For a smooth projective curve, the cycles of e-secant k-planes are among the most studied objects in classical enumerative geometry and there are well-known formulas due to Castelnuovo, Cayley and MacDonald concerning them. Despite various attempts, surprisingly little is known about the enumerative validity of such formulas. The aim of this paper is to completely clarify this problem in the case of the generic curve C of given genus. Using degeneration techniques and a few facts about the birational geometry of moduli spaces of stable pointed curves we determine precisely under which conditions the cycle of e-secant k-planes in non-empty and we compute its dimension. We also precisely determine the dimension of the variety of linear series on C carrying e-secant k-planes. In a different direction, in the last part of the paper we study the distribution of ramification points of the powers of a line bundle on C having prescribed ramification at a given point., Comment: 25 pages. Numerous changes suggested by the referee, several proofs explained in more detail. To appear in the Journal of the London Mathematical Society

This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset of the arc space. Then we define the codimension for this subset and give a formula of the codimension in terms of "relative Mather canonical class". By using this subset, we prove that a divisorial valuation is determined by assigning the values of finite functions. We also have a criterion for a divisorial valuation to be a monomial valuation by assigning the values of finite functions., Minor corrections, including in Remark 3.3 where it was incorrectly claimed that the codimension of a quasi-cylinder equals the Krull codimension; these corrections do not affect the rest of the paper

We prove local uniformization of Abhyankar valuations of an algebraic function field K over a ground field k. Our result generalizes the proof of this result, with the additional assumption that the residue field of the valuation ring is separable over k, by Hagen Knaf and Franz-Viktor Kuhlmann. The proof in this paper uses different methods, being inspired by the approach of Zariski and Abhyankar., Comment: 28 pages. Final Final version

We compute the Nakayama automorphism of a PBW-deformation of a Koszul Artin-Schelter Gorenstein algebra of finite global dimension, and give a criterion for an augmented PBW-deformation of a Koszul Calabi-Yau algebra to be Calabi-Yau. The relations between the Calabi-Yau property of augmented PBW-deformations and that of non-augmented cases are discussed. The Nakayama automorphisms of PBW-deformations of Koszul Artin-Schelter Gorenstein algebras of global dimensions 2 and 3 are given explicitly. We show that if a PBW-deformation of a graded Calabi-Yau algebra is still Calabi-Yau, then it is defined by a potential under some mild conditions. Some classical results are also recovered. Our main method used in this paper is elementary and based on linear algebra. The results obtained in this paper will be applied in a subsequent paper., Comment: to appear at Manuscripta Math

In this paper we study flat deformations of real subschemes of $\mathbb{P}^n$, hyperbolic with respect to a fixed linear subspace, i.e. admitting a finite surjective and real fibered linear projection. We show that the subset of the corresponding Hilbert scheme consisting of such subschemes is closed and connected in the classical topology. Every smooth variety in this set lies in the interior of this set. Furthermore, we provide sufficient conditions for a hyperbolic subscheme to admit a flat deformation to a smooth hyperbolic subscheme. This leads to new examples of smooth hyperbolic varieties.

A ring R is called right Ikeda–Nakayama ring (right IN-ring) if for any two right ideals I, J of R, $$l(I)+l(J)=l(I \cap J)$$ . In this paper, we introduce the concept of Essential Ikeda–Nakayama rings (EIN-rings) as a generalization of right IN-rings. This class of rings includes semiprime rings. We prove that for a left nonsingular EIN-ring R, closed ideals of R are right annihilator in R. We show that the class of EIN-rings is closed under direct product and upper triangular matrix rings. Furthermore, a ring R is an Armendariz EIN-ring if and only if R[x] is an EIN-ring.

Let g be a complex reductive Lie algebra with Cartan algebra h. Hotta and Kashiwara defined a holonomic D-module M, on g x h, called Harish-Chandra module. We relate gr(M), an associated graded module with respect to a canonical Hodge filtration on M, to the isospectral commuting variety, a subvariety of g x g x h x h which is a ramified cover of the variety of pairs of commuting elements of g. Our main result establishes an isomorphism of gr(M) with the structure sheaf of X_norm, the normalization of the isospectral commuting variety. It follows, thanks to the theory of Hodge modules, that the normalization of the isospectral commuting variety is Cohen-Macaulay and Gorenstein, confirming a conjecture of M. Haiman. We deduce, using Saito's theory of Hodge D-modules, that the scheme X_norm is Cohen-Macaulay and Gorenstein. This confirms a conjecture of M. Haiman. Associated with any principal nilpotent pair in g, there is a finite subscheme of X_norm. The corresponding coordinate ring is a bigraded finite dimensional Gorenstein algebra that affords the regular representation of the Weyl group. The socle of that algebra is a 1-dimensional vector space generated by a remarkable W-harmonic polynomial on h x h. In the special case where g=gl_n the above algebras are closely related to the n!-theorem of Haiman and our W-harmonic polynomial reduces to the Garsia-Haiman polynomial. Furthermore, in the gl_n case, the sheaf gr(M) gives rise to a vector bundle on the Hilbert scheme of n points in C^2 that turns out to be isomorphic to the Procesi bundle. Our results were used by I. Gordon to obtain a new proof of positivity of the Kostka-Macdonald polynomials established earlier by Haiman., The present paper supersedes an earlier paper arXiv:1002.3311

The purpose of this paper is to establish an effective non-vanishing theorem for the syzygies of an adjoint-type line bundle on a smooth variety, as the positivity of the embedding increases. Our purpose here is to show that for an adjoint type divisor $B = K_X+ bA$ with $b \geq n+1$, one can obtain an effective statement for arbitrary $X$ which specializes to the statement for Veronese syzygies in the paper "Asymptotic Syzygies of Algebraic Varieties" by Ein and Lazarsfeld. We also give an answer to Problem 7.9 in that paper in this setting.

In this paper we extend to the singular setting the theory of Fano foliations developed in our previous paper. A Q-Fano foliation on a complex projective variety X is a foliation F whose anti-canonical class is an ample Q-Cartier divisor. In the spirit of Kobayashi-Ochiai Theorem, we prove that under some conditions the index i of a Q-Fano foliation is bounded by the rank r of F, and classify the cases in which i=r. Next we consider Q-Fano foliations F for which i=r-1. These are called del Pezzo foliations. We classify codimension 1 del Pezzo foliations on mildly singular varieties., Comment: 20 pages, to appear in Mathematische Annalen

The purpose of this paper and its sequel (Toric Stacks II) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties. In this paper, we define a \emph{toric stack} as a quotient of a toric variety by a subgroup of its torus (we also define a generically stacky version). Any toric stack arises from a combinatorial gadget called a \emph{stacky fan}. We develop a dictionary between the combinatorics of stacky fans and the geometry of toric stacks, stressing stacky phenomena such as canonical stacks and good moduli space morphisms. We also show that smooth toric stacks carry a moduli interpretation extending the usual moduli interpretations of $\mathbb{P}^n$ and $[\mathbb{A}^1/\mathbb{G}_m]$. Indeed, smooth toric stacks precisely solve moduli problems specified by (generalized) effective Cartier divisors with given linear relations and given intersection relations. Smooth toric stacks therefore form a natural closure to the class of moduli problems introduced for smooth toric varieties and smooth toric DM stacks in [Cox95] and [Per08], respectively. We include a plethora of examples to illustrate the general theory. We hope that this theory of toric stacks can serve as a companion to an introduction to stacks, in much the same way that toric varieties can serve as a companion to an introduction to schemes., 36 pages (update to match published version)

The purpose of this paper and its prequel (Toric Stacks I) is to introduce and develop a theory of toric stacks which encompasses and extends the notions of toric stacks defined in [Laf02, BCS05, FMN10, Iwa09, Sat12, Tyo12], as well as classical toric varieties. While the focus of the prequel is on how to work with toric stacks, the focus of this paper is how to show a stack is toric. For toric varieties, a classical result says that any normal variety with an action of a dense open torus arises from a fan. In [FMN09, Theorem 7.24], it is shown that a smooth separated DM stack with an action of a dense open stacky torus arises from a stacky fan. In the same spirit, the main result of this paper is that any Artin stack with an action of a dense open torus arises from a stacky fan under reasonable hypotheses., Comment: 20 pages (update to match published version)

This paper deals with the problem of characterizing quasihomogeneous isolated singularities. The history begins in 1971 with the beautiful result of Saito [22]: an isolated complex hypersurface singularity with defining equation f is quasihomogeneous (i.e., after a change of coordinates f can be made into a quasihomogeneous polynomial) if and only iff ~j(f), where j(f) is the ideal generated by the partial derivatives off (this ideal is also called the jacobian ideal off). In the subseqeunt years this result was extended to other fields and significantly generalized in papers by Scheja and Wiebe, see [24], [25] and [26]. Among other powerful results they showed that a complete intersection (R, m, k) with isolated singularity is quasihomogeneous if and only if there exists a k-derivation 6 of R which induces an isomorphism on the Zariski tangent space m/m 2. If dim R = 2, then the assumption that R is a complete intersection can be discarded and the requirement on the derivation 6 can be weakened: it suffices that 6 induces a nonnilpotent transformation of m/m 2. A concise account of their work can be found in Platte's paper [21]. In 1985, Wahl [29] characterized quasihomogeneous Gorenstein surface singularities in terms of certain invariants associated with the resolution of singularities. There the aforementioned criterion of Scheja and Wiebe was used. In 1984, Kunz and Waldi [15] characterized quasihomogeneous reduced Gorenstein algebroid curves over an algebraically closed field k of characteristic 0 by the condition that the cokernel R/J of the canonical homomorphism from the (universally finite) module of K~ihler differentials to the module of regular differentials of R/k is Gorenstein. If R is a complete intersection then J is the K~ihler different of R/k, i.e., the ideal generated by the maximal minors of the jacobian matrix. In 1987 the second author noticed in his thesis [16] the relevance of maximal Cohen-Macaulay modules for the problem ofquasihomogeneity. He conjectured that

In this paper, we study the Hessian map $h_{d,r}$, which associates to any hypersurface of degree $d$ in ${{\mathbb{P}}}^r$ its Hessian hypersurface, and the general properties of this map and prove that $h_{d,1}$ is birational onto its image if $d\geqslant 5.$ We also study in detail the maps $h_{3,1}$, $h_{4,1}$, and $h_{3,2}$ and the restriction of the Hessian map to the locus of hypersurfaces of degree $d$ with Waring rank $r+2$ in ${{\mathbb{P}}}^r$, proving that this restriction is injective as soon as $r\geqslant 2$ and $d\geqslant 3$, which implies that $h_{3,3}$ is birational onto its image. We also prove that the differential of the Hessian map is of maximal rank on the generic hypersurfaces of degree $d$ with Waring rank $r+2$ in ${{\mathbb{P}}}^r$, as soon as $r\geqslant 2$ and $d\geqslant 3$.

In this paper a concise, complete proof of resolution of singularities of 3-folds in positive characteristic (>5) is given. The first proof of this theorem was given by Abhyankar in 1966. The resolution morphism in our proof is an isomorphism over the nonsingular locus., Comment: 55 pages. In this final version, which is to appear in the American Journal of Mathematics, complete details of the proof of embedded resolution of surfaces have been added in. Two sections have been added after the introduction, giving an outline of the proof, and discussing related results and extensions of the material proved in this paper

The paper begins by overviewing the basic facts on geometric exceptional collections. Then, we derive, for any coherent sheaf $\cF$ on a smooth projective variety with a geometric collection, two spectral sequences: the first one abuts to $\cF$ and the second one to its cohomology. The main goal of the paper is to generalize Castelnuovo-Mumford regularity for coherent sheaves on projective spaces to coherent sheaves on smooth projective varieties $X$ with a geometric collection $\sigma $. We define the notion of regularity of a coherent sheaf $\cF$ on $X$ with respect to $\sigma$. We show that the basic formal properties of the Castelnuovo-Mumford regularity of coherent sheaves over projective spaces continue to hold in this new setting and we show that in case of coherent sheaves on $\PP^n$ and for a suitable geometric collection of coherent sheaves on $\PP^n$ both notions of regularity coincide. Finally, we carefully study the regularity of coherent sheaves on a smooth quadric hypersurface $Q_n \subset \PP^{n+1}$ ($n$ odd) with respect to a suitable geometric collection and we compare it with the Castelnuovo-Mumford regularity of their extension by zero in $\PP^{n+1}$., Comment: To appear in Math. Proc. Cambridge

The main purpose of this paper is to give a simple and non-combinatorial proof of the toric Mori theory. Here, the toric Mori theory means the (log) Minimal Model Program (MMP, for short) for toric varieties. We minimize the arguments on fans and their decompositions. We recommend this paper to the following people: (A) those who are uncomfortable with manipulating fans and their decompositions, (B) those who are familiar with toric geometry but not with the MMP. People in the category (A) will be relieved from tedious combinatorial arguments in several problems. Those in the category (B) will discover the potential of the toric Mori theory. As applications, we treat the Zariski decomposition on toric varieties and the partial resolutions of non-degenerate hypersurface singularities. By these applications, the reader will learn to use the toric Mori theory., Comment: 20 pages

We study in this paper some local invariants attached via multiplier ideals to an effective divisor or ideal sheaf on a smooth complex variety. First considered (at least implicitly) by Libgober and by Loeser and Vaquie, these jumping coefficients consist of an increasing sequence of rational numbers beginning with the log canonical threshold of the divisor or ideal in question. They encode interesting geometric and algebraic information, and we show that they arise naturally in several different contexts. Given a polynomial f having only isolated singularities, results of Varchenko, Loeser and Vaquie imply that if \xi is a jumping number of f = 0 lying in the interval (0, 1], then -\xi is a root of the Bernstein-Sato polynomial of f. We adapt an argument of Kollar to show prove that this holds also when the singular locus of f has positive dimension. In a more algebraic direction, we show that the number of such jumping coefficients bounds the uniform Artin-Rees number of the principal ideal (f) in the sense of Huneke: in the case of isolated singularities, this in turn leads to bounds involving the Milnor and Tyurina numbers of f . Along the way, we establish a general result relating multiplier to Jacobian ideals. We also explore the extension of these ideas to the setting of graded families of ideals. The paper contains many concrete examples., Comment: Dedicated to Y.-T. Siu on the occasion of his sixtieth birthday

This is a sequel to the paper "Frobenius amplitude and strong vanishing theorems for vector bundles" (math.AG/0202129). We introduce a more elementary variant of the notion of F-amplitude from the earlier paper which we call amplitude. This provides another measure of positivity of a vector bundle which is related to a number of preexisting positivity notions such as k-ampleness or q-convexity. We use this to refine the estimates of F-amplitude from the first paper, and to deduce some further vanishing theorems as a consequence. We also give some new proofs of some known vanishing theorems for Abelian and toric varieties by analogous methods. For technical reasons, we need to develop a theory of partial Castelnuovo-Mumford regularity which provides a rough measure of the cohomological complexity of a sheaf. Since this material may have independent interest, it is contained in a section which can be read on its own., Comment: The final revision (to appear in Amer. J Math) contains several corrections

In this paper, we prove that if R is a commutative ring with unity and M is a finitely generated R-module, then M is Noetherian if and only if for every prime ideal P of R with $$Ann(M) \subseteq P$$ , there exists a finitely generated submodule $$N_P$$ of M such that $$PM \subseteq N_P \subseteq M(P)$$ .

Building on a recent joint paper with Sturmfels, here we argue that the combinatorics of matroids is intimately related to the geometry and topology of toric hyperkaehler varieties. We show that just like toric varieties occupy a central role in Stanley's proof for the necessity of McMullen's conjecture (or g-inequalities) about the classification of face vectors of simplicial polytopes, the topology of toric hyperkaehler varieties leads to new restrictions on face vectors of matroid complexes. Namely in this paper we give two proofs that the injectivity part of the Hard Lefschetz theorem survives for toric hyperkaehler varieties. We explain how this implies the g-inequalities for rationally representable matroids. We show how the geometrical intuition in the first proof, coupled with results of Chari, leads to a proof of the g-inequalities for general matroid complexes, which is a recent result of Swartz. The geometrical idea in the second proof will show that a pure O-sequence should satisfy the g-inequalities, thus showing that our result is in fact a consequence of a long-standing conjecture of Stanley., 11 pages

We generalize classical results about the topology of toric varieties to the case of projective Q-factorial T-varieties of complexity one using the language of divisorial fans. We describe the Hodge-Deligne polynomial in the smooth case, the cohomology ring and the Chow ring in the contraction-free case., Major update. In particular, Section 4 was removed and will be uploaded in a new paper entitled "Fundamental group of log terminal T-varieties"

This paper begins with a description of cohomological invariants of non-degenerate quadric bundles, in terms of the cohomology rings of the classifying spaces of the general orthogonal groups. Following this, the Main Theorem of the paper determines the behavior of these invariants under the Gysin boundary map, when a quadric bundle degenerates over a divisor., 41 pages, LaTeX. Final version to appear in International Journal of Mathematics. Main theorem is now proved for arbitrary coefficients, not just for Z/(2) as in the first version

We prove a Chevalley formula for anti-dominant weights in the torus-equivariant K-group of semi-infinite flag manifolds, which is described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or equivalently, quantum Lakshmibai-Seshadri paths); in contrast to the Chevalley formula for dominant weights in our previous paper [17] , the formula for anti-dominant weights has a significant finiteness property. Based on geometric results established in [17] , our proof is representation-theoretic, and the Chevalley formula for anti-dominant weights follows from a certain identity for the graded characters of Demazure submodules of a level-zero extremal weight module over a quantum affine algebra; in the proof of this identity, we make use of the (combinatorial) standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, and also a string property of Demazure-like subsets of the set of semi-infinite Lakshmibai-Seshadri paths of a fixed shape, which gives an explicit realization of the crystal basis of a level-zero extremal weight module.

This paper generalizes classical results of Griffiths, Dolgachev and Steenbrink on the cohomology of hypersurfaces in weighted projective spaces. Given a $d$-dimensional projective simplicial toric variety $P$ and an ample hypersurface $X$ defined by an polynomial $f$ in the homogeneous coordinate ring $S$ of $P$ (as defined in an earlier paper of the first author), we show that the graded pieces of the Hodge filtration on $H^d(P - X)$ are naturally isomorphic to certain graded pieces of $S/J(f)$, where $J(f)$ is the Jacobian ideal of $f$. We then discuss how this relates to the primitive cohomology of $X$. Also, if $T$ is the torus contained in $X$, then the intersection of $X$ and $T$ is an affine hypersurface in $T$, and we show how recent results of the second author can be stated using various ideals in the ring $S$. To prove our results, we must give a careful description (in terms of $S$) of $d$-forms and $(d-1)$-forms on the toric variety $P$. For completeness, we also provide a proof of the Bott-Steenbrink-Danilov vanishing theorem for simplicial toric varieties. Other topics considered in the paper include quasi-smooth hypersurfaces and $V$-submanifolds, the structure of the complement of $U$ when $P$ is represented as the quotient of an open subset $U$ of affine space, a generalization of the Euler exact sequence on projective space, and the relation between graded pieces of $R/J(f)$ and the moduli of ample hypersurfaces in $P$., Comment: 43 pages, LaTeX Version 2.09

We study ideals which are generated by monomials of degree [Formula: see text] in the polynomial ring in [Formula: see text] variables and which satisfy certain numerical side conditions regarding their exponents. Typical examples of such ideals are the ideals of Veronese type, squarefree Veronese ideals or [Formula: see text]-spread Veronese ideals. In this paper we focus on [Formula: see text]-bounded [Formula: see text]-spread Veronese ideals and on Veronese ideals of bounded support. Their powers as well as their fiber cone are also considered.

In recent years, the equations defining secant varieties and their syzygies have attracted considerable attention. The purpose of the present paper is to conduct a thorough study on secant varieties of curves by settling several conjectures and revealing interaction between singularities and syzygies. The main results assert that if the degree of the embedding line bundle of a nonsingular curve of genus $g$ is greater than $2g+2k+p$ for nonnegative integers $k$ and $p$, then the $k$-th secant variety of the curve has normal Du Bois singularities, is arithmetically Cohen--Macaulay, and satisfies the property $N_{k+2, p}$. In addition, the singularities of the secant varieties are further classified according to the genus of the curve, and the Castelnuovo--Mumford regularities are also obtained as well. As one of the main technical ingredients, we establish a vanishing theorem on the Cartesian products of the curve, which may have independent interests and may find applications elsewhere., 36 pages. Comments are welcome

In this paper, we prove a Kawamata--Viehweg type vanishing theorem for smooth Fano threefolds, canonical del Pezzo surfaces and del Pezzo fibrations in positive characteristic., 21 pages, to appear in Transactions of the American Mathematical Society

In this paper, we compute Chow rings of generically twisted (versal) complete flag varieties corresponding to simple Lie groups, Comment: 32 pages, 0 figures

Recently, Lalín, Rodrigue, and Rogers have studied the secant zeta function and its convergence. They found many interesting values of the secant zeta function at some particular quadratic irrational numbers. They also gave modular transformation properties of the secant zeta function. In this paper, we generalized secant zeta function as a Lambert series and proved a result for the Lambert series, from which the main result of Lalín et al. follows as a corollary, using the theory of generalized Dedekind eta-function, developed by Lewittes, Berndt, and Arakawa.

The goal of this paper is twofold. First, we write down the semi-infinite Pl\"ucker relations, describing the Drinfeld-Pl\"ucker embedding of the (formal version of) semi-infinite flag varieties in type A. Second, we study the homogeneous coordinate ring, i.e. the quotient by the ideal generated by the semi-infinite Pl\"ucker relations. We establish the isomorphism with the algebra of dual global Weyl modules and derive a new character formula., Comment: 32 pages

This paper is devoted to the classical correspondence between real surfaces of degree 8 which are complete intersections of three real quadrics, and real surfaces which are two-sheeted coverings of the corresponding pencils of quadrics with branching along the curves of degenerate quadrics.

In this paper, we study the strong Lefschetz property of artinian complete intersection ideals generated by products of linear forms. We prove the strong Lefschetz property for a class of such ideals with binomial generators., Comment: 9 pages

In this paper, we study the asymptotic behavior of the Hermitian–Yang–Mills flow on a reflexive sheaf. We prove that the limiting reflexive sheaf is isomorphic to the double dual of the graded sheaf associated to the Harder–Narasimhan–Seshadri filtration, this answers a question by Bando and Siu.

An Okounkov body is a convex subset of Euclidean space associated to a divisor on a smooth projective variety with respect to an admissible flag. In this paper, we recover the asymptotic base loci from the Okounkov bodies by studying various asymptotic invariants such as the asymptotic valuations and the moving Seshadri constants. Consequently, we obtain the nefness and ampleness criteria of divisors in terms of the Okounkov bodies. Furthermore, we compute the divisorial Zariski decomposition by the Okounkov bodies, and find upper and lower bounds for moving Seshadri constants given by the size of simplexes contained in the Okounkov bodies., 17 pages. Final version