Search

Projective varieties with ample cotangent bundle satisfy many notions of hyperbolicity, and one goal of this paper is to discuss generalizations to quasi-projective varieties. A major hurdle is that the naive generalization fails, i.e. the log cotangent bundle is never ample. Instead, we define a notion called almost ample which roughly asks that the log cotangent is as positive as possible. We show that all subvarieties of a quasi-projective variety with almost ample log cotangent bundle are of log general type. In addition, if one assumes globally generated then we obtain that such varieties contain finitely many integral points. In another direction, we show that the Lang-Vojta conjecture implies the number of stably integral points on curves of log general type, and surfaces of log general type with almost ample log cotangent sheaf are uniformly bounded., v5: exposition greatly improved. Previous section on function fields removed, to be expanded upon in a future paper. To appear in IMRN

In our previous paper we have elaborated a certain signed count of real lines on real projective n-dimensional hypersurfaces of degree 2n-1. Contrary to the honest "cardinal" count, it is independent of the choice of a hypersurface, and by this reason provides a strong lower bound on the honest count. In this count the contribution of a line is its local input to the Euler number of a certain auxiliary vector bundle. The aim of this paper is to present other, in a sense more geometric, interpretations of this local input. One of them results from a generalization of Segre species of real lines on cubic surfaces and another from a generalization of Welschinger weights of real lines on quintic threefolds., Comment: 20 pages, typos are corrected (most essential, in Proposition 4.3.3)

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

The theory of minimal K-types for p-adic reductive groups was developed in part to classify irreducible admissible representations with wild ramification. An important observation was that minimal K-types associated to such representations correspond to fundamental strata. These latter objects are triples (x, r, beta), where x is a point in the Bruhat-Tits building of the reductive group G, r is a nonnegative real number, and beta is a semistable functional on the degree r associated graded piece of the Moy-Prasad filtration corresponding to x. Recent work on the wild ramification case of the geometric Langlands conjectures suggests that fundamental strata also play a role in the geometric setting. In this paper, we develop a theory of minimal K-types for formal flat G-bundles. We show that any formal flat G-bundle contains a fundamental stratum; moreover, all such strata have the same rational depth. We thus obtain a new invariant of a flat G-bundle called the slope, generalizing the classical definition for flat connections. The slope can also be realized as the minimum depth of a stratum contained in the flat G-bundle, and in the case of positive slope, all such minimal depth strata are fundamental. Finally, we show that a flat G-bundle is irregular singular if and only if it has positive slope., Comment: 37 pages. A new trivialization-free definition of containment of a stratum in a flat G-bundle has been added. The paper has been reorganized so that the main definitions and results are given in Section 2

In this paper, we introduce an algorithm for computing p-adic integrals on bad reduction hyperelliptic curves. For bad reduction curves, there are two notions of p-adic integration: Berkovich-Coleman integrals which can be performed locally; and abelian integrals with desirable number-theoretic properties. By covering a bad reduction hyperelliptic curve by annuli and basic wide open sets, we reduce the computation of Berkovich-Coleman integrals to the known algorithms on good reduction hyperelliptic curves. These are due to Balakrishnan, Bradshaw, and Kedlaya, and to Balakrishnan and Besser for regular and meromorphic 1-forms on good reduction curves, respectively. We then employ tropical geometric techniques due to the first-named author with Rabinoff and Zureick-Brown to convert the Berkovich-Coleman integrals into abelian integrals. We provide examples of our algorithm, verifying that certain abelian integrals between torsion points vanish., Comment: Comments Welcome! figure taken from arxiv::1606.09618; v2 minor revisions

O'Grady constructed a 6-dimensional irreducible holomorphic symplectic variety by taking a crepant resolution of some moduli space of stable sheaves on an abelian surface. In this paper, we naturally extend O'Grady's construction to fields of positive characteristic p greater than 2, called OG6 varieties. We show that a supersingular OG6 variety is unirational, its rational cohomology group is generated by algebraic classes, and its rational Chow motive is of Tate type. These results confirm in this case the generalized Artin--Shioda conjecture, the supersingular Tate conjecture and the supersingular Bloch conjecture proposed in our previous work, in analogy with the theory of supersingular K3 surfaces., Comment: Final version. To appear in I.M.R.N

In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $\Gamma(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset., Comment: 40 pages, 19 figures, comments welcome. Added subsection 2.2.3 treating quotients and fibers of cluster varieties. The main theorem holds in this broader setting. To appear in IMRN

This paper studies finite Morin configurations $F$ of planes in $\mathbb P^5$ having higher length. The uniqueness of the configuration of maximal cardinality $20$ is proven. This is related to the stable canonical genus $6$ curve $C_{\ell}$ union of the $10$ lines of a smooth quintic Del Pezzo surface $Y$ in $\mathbb P^5$ and to the Petersen graph. Families of length $\geq 16$, previously unknown, are constructed by smoothing partially $C_{\ell}$. A more general irreducible family of special configurations of length $\geq 11$, we name as Morin-Del Pezzo configurations, is considered and studied. This depends on $9$ moduli and is defined via the family of nodal and rational canonical curves of $Y$. The special relations between Morin-Del Pezzo configurations and the geometry of special threefolds, like the Igusa quartic or its dual Segre primal, are focused., Comment: 27 pages

In this paper, we define the $K$-theoretic Hall algebra for dimension $0$ coherent sheaves on a smooth projective surface, prove that the algebra is associative, and construct a homomorphism to a shuffle algebra introduced by Negut [ 10].

For a reductive group $G$, Steinberg established a map from the Weyl group to the set of nilpotent $G$-orbits by using moment maps on double flag varieties. In particular, in the case of the general linear group, it provides a geometric interpretation of the Robinson-Schensted correspondence between permutations and pairs of standard tableaux of the same shape. We extend Steinberg's approach to the case of a symmetric pair $(G,K)$ to obtain two different maps, namely a \emph{generalized Steinberg map} and an \emph{exotic moment map}. Although the framework is general, in this paper we focus on the pair $(G,K) = (\mathrm{GL}_{2n}(\mathbb{C}), \mathrm{GL}_n(\mathbb{C}) \times \mathrm{GL}_n(\mathbb{C}))$. Then the generalized Steinberg map is a map from \emph{partial} permutations to the pairs of nilpotent orbits in $ \mathfrak{gl}_n(\mathbb{C}) $. It involves a generalization of the classical Robinson--Schensted correspondence to the case of partial permutations. The other map, the exotic moment map, establishes a combinatorial map from the set of partial permutations to that of signed Young diagrams, i.e., the set of nilpotent $K$-orbits in the Cartan space $(\mathrm{Lie}(G)/\mathrm{Lie}(K))^* $. We explain the geometric background of the theory and combinatorial algorithms which produce the above mentioned maps., Comment: 51 pages, 3 figures. Minor modifications. Accepted in the International Mathematics Research Notices

In previous work, Mixed-Spin-P field has been introduced and their moduli space $\cal{W}_{g,\gamma,\bf{d}}$ together with a $\mathbb{C}^*$ action is constructed. Applying virtual localization to their virtual classes $[\cal{W}_{g,\gamma,\bf{d}}]^{vir}$, polynomial relations among GW and FJRW invariants of Fermat quintics are derived. In this paper, we prove a vanishing of a class of terms in $[(\cal{W}_{g,\gamma,\bf{d}})^{\mathbb{C}^*}]^{vir}$. This vanishing verifies that in Witten's GLSM only $r$-spin invariants of insertions $2/5$ contribute to the phase transition between GW and FJRW invariants of Fermat quintics., Comment: 35pages

In this paper, we study the question of whether on smooth projective surfaces the denominators in the volumes of big line bundles are bounded. In particular, we investigate how this condition is related to bounded negativity (i.e., the boundedness of self-intersections of irreducible curves). Our 1st result shows that boundedness of volume denominators is equivalent to primitive bounded negativity, which in turn is implied by bounded negativity. We connect this result to the study of semi-effective orders of divisors: our 2nd result shows that negative classes exist, which become effective only after taking an arbitrarily large multiple.

In this paper we study derived equivalences for Symplectic reflection algebras. We establish a version of the derived localization theorem between categories of modules over Symplectic reflection algebras and categories of coherent sheaves over quantizations of Q-factorial terminalizations of the symplectic quotient singularities. To do this we construct a Procesi sheaf on the terminalization and show that the quantizations of the terminalization are simple sheaves of algebras. We will also sketch some applications: to the generalized Bernstein inequality and to perversity of wall crossing functors., Comment: 17 pages, v2 acknowledgements added, v3 19 pages, the exposition is made more detailed; v4 accepted version, significant modifications

In this paper we study the infinitesimal deformations of a trigonal curve that preserve the trigonal series and such that the associate infinitesimal variation of Hodge structure (IVHS) is of rank 1. We show that if the genus g is greater or equal to 8 or g=6,7 and the curve is Maroni general, this locus is zero dimensional. Moreover, we complete a result of Naranjo and Pirola. We show in fact that if the genus g is greater or equal to 6, the hyperelliptic locus is the only 2g-1-dimensional sub-locus Y of the moduli space of curves of genus g, such that for the general element [C] in Y, its Jacobian J(C) is dominated by a hyperelliptic Jacobian of genus g' greater or equal to g., Comment: 10 pages

The CW structure of certain spaces, such as effective orbifolds, can be too complicated for computational purposes. In this paper we use the concept of $\mathbf{q}$-CW complex structure on an orbifold, to detect torsion in its integral cohomology. The main result can be applied to well known classes of orbifolds or algebraic varieties having orbifold singularities, such as toric orbifolds, simplicial toric varieties, torus orbifolds and weighted Grassmannians., Comment: 21 pages, 7 figures, Comments are welcome

In their work on differential operators in positive characteristic, Smith and Van den Bergh define and study the derived functors of differential operators; these arise naturally as obstructions to differential operators reducing to positive characteristic. In this paper, we provide formulas for the ring of differential operators as well as these derived functors of differential operators. We apply these descriptions to show that differential operators behave well under reduction to positive characteristic under certain hypotheses. We show that these functors also detect a number of interesting properties of singularities.

We use the jump problem technique developed in a recent paper by Grushevsky, Krichever and the second author to compute the variational formula of any stable differential and its periods to arbitrary precision in plumbing coordinates. In particular, we give the explicit variational formula for the degeneration of the period matrices near an arbitrary stable curve, easily reproving the results of Yamada for nodal curves with one node. Concrete examples are included. We also apply the same technique to give an alternative proof of the sufficiency part of the theorem by Bainbridge, Chen, Gendron, Grushevsky and M\"oller on the closures of strata of differentials with prescribed multiplicities of zeroes and poles., Comment: 40 pages. To appear on International Mathematics Research Notices

We study the geometry associated to the distribution of certain arithmetic functions, including the von Mangoldt function and the M\"obius function, in short intervals of polynomials over a finite field $\mathbb{F}_q$. Using the Grothendieck-Lefschetz trace formula, we reinterpret each moment of these distributions as a point-counting problem on a highly singular complete intersection variety. We compute part of the $\ell$-adic cohomology of these varieties, corresponding to an asymptotic bound on each moment for fixed degree $n$ in the limit as $q \to \infty$. The results of this paper can be viewed as a geometric explanation for asymptotic results that can be proved using analytic number theory over function fields., Comment: 25 pages

In this paper, we prove that a smooth projective variety $X$ of characteristic $p>0$ is an ordinary abelian variety if and only if $K_X$ is pseudo-effective and $F^e_*\mathcal O_X$ splits into a direct sum of line bundles for an integer $e$ with $p^e>2$., 10 pages, v2: Abstract and Sections 3-5 shortened, Introduction revised, the statements of Theorem 1.3, Proposition 3.2 and Lemma 5.3 simplified, Corollary 1.4 moved to Remark 5.6, typos corrected

It is known that every three dimensional Gorenstein toric singularity has a crepant resolution. Although it is not unique, all crepant resolutions are connected by repeating the operation "flop". On the other hand, this singularity also has a non-commutative crepant resolution (= NCCR) which is constructed from a consistent dimer model. Such an NCCR is given as the endomorphism ring of a certain module which we call splitting maximal modifying module. In this paper, we show that all splitting maximal modifying modules are connected by repeating the operation "mutation" of splitting maximal modifying modules for the case of toric singularities associated with reflexive polygons., 50 pages, including many figures, v4: corrected the proof of Lemma 3.7, v3: revised several places, especially subsection 5.6, v2: minor changes

In this paper, we prove the moduli spaces of genus zero stable log maps to a large class of wonderful compactifications are irreducible and unirational., 21 pages

In this paper we study various aspects of the double ramification (DR) hierarchy, introduced by the first author, and its quantization. We extend the notion of tau-symmetry to quantum integrable hierarchies and prove that the quantum DR hierarchy enjoys this property. We determine explicitly the genus $1$ quantum correction and, as an application, compute completely the quantization of the $3$- and $4$-KdV hierarchies (the DR hierarchies for Witten's $3$- and $4$-spin theories). We then focus on the recursion relation satisfied by the DR Hamiltonian densities and, abstracting from its geometric origin, we use it to characterize and construct a new family of quantum and classical integrable systems which we call of double ramification type, as they satisfy all of the main properties of the DR hierarchy. In the second part, we obtain new insight towards the Miura equivalence conjecture between the DR and Dubrovin-Zhang hierarchies, via a geometric interpretation of the correlators forming the double ramification tau-function. We then show that the candidate Miura transformation between the DR and DZ hierarchies (which we uniquely identified in our previous paper) indeed turns the Dubrovin-Zhang Poisson structure into the standard form. Eventually, we focus on integrable hierarchies associated with rank-$1$ cohomological field theories and their deformations, and we prove the DR/DZ equivalence conjecture up to genus $5$ in this context., v2: corrected funding information, 46 pages

A well-known construction of B. Dubrovin and K. Saito endows the parameter space of a universal unfolding of a simple singularity with a Frobenius manifold structure. In our paper, we present a generalization of this construction for the singularities of types $A$ and $D$ that gives a solution of the open WDVV equations. For the $A$-singularity, the resulting solution describes the intersection numbers on the moduli space of $r$-spin disks, introduced recently in a work of the 2nd author, E. Clader and R. Tessler. In the 2nd part of the paper, we describe the space of homogeneous polynomial solutions of the open WDVV equations associated to the Frobenius manifolds of finite irreducible Coxeter groups.

The nef cone of a projective variety Y is an important and often elusive invariant. In this paper we construct two polyhedral lower bounds and one polyhedral upper bound for the nef cone of Y using an embedding of Y into a toric variety. The lower bounds generalize the combinatorial description of the nef cone of a Mori dream space, while the upper bound generalizes the F-conjecture for the nef cone of the moduli space \bar{M}_{0,n} to a wide class of varieties., Comment: 25 pages, 4 figures. Final version to appear in IMRN

We give an explicit combinatorial Chevalley-type formula for the equivariant K-theory of generalized flag varieties G/P which is a direct generalization of the classical Chevalley formula. Our formula implies a simple combinatorial model for the characters of the irreducible representations of G and, more generally, for the Demazure characters. This model can be viewed as a discrete counterpart of the Littelmann path model, and has several advantages. Our construction is given in terms of a certain R-matrix, that is, a collection of operators satisfying the Yang-Baxter equation. It reduces to combinatorics of decompositions in the affine Weyl group and enumeration of saturated chains in the Bruhat order on the (nonaffine) Weyl group. Our model easily implies several symmetries of the coefficients in the Chevalley-type formula. We also derive a simple formula for multiplying an arbitrary Schubert class by a divisor class, as well as a dual Chevalley-type formula. The paper contains other applications and examples., Comment: v2: Major revision: several new sections and an appendix added, references added, exposition improved. New material includes: generalization to G/P, two symmetries of coefficients, Pieri-type formula, dual Chevalley-type formula, a conjecture for quantum K-theory. v3: Minor updates and corrections

Codimension one webs are configurations of finitely many codimension one foliations in general position. Much of the classical theory evolved around the concept of abelian relation: a functional relation among the first integrals of the foliations defining the web reminiscent of Abel's addition theorem in classical algebraic geometry. The abelian relations of a given web form a finite dimensional vector space with dimension (the rank of the web) bounded by Castelnuovo number p(n,k) where n is the dimension of the ambient space and k is the number of foliations defining the web. A fundamental problem in web geometry is the classification of exceptional webs, that is, webs of maximal rank not equivalent to the dual of a projective curve. Recently, J.-M. Trepreau proved that there are no exceptional k-webs for n>2 and k > 2n-1. In dimension two there are examples of exceptional k-webs for arbitrary k and the classification problem is wide open. In this paper, we classify the exceptional Completely Decomposable Quasi-Linear (CDQL) webs globally defined on compact complex surfaces. By definition, the CDQL (k+1)-webs are formed by the superposition of k linear foliations and one non-linear foliation. For instance, we show that up to projective transformations there are exactly four countable families and thirteen sporadic exceptional CDQL webs on the projective plane., 75 pages, 7 figures