A conjecture of Mumford predicts a complete set of relations between the generators of the cohomology ring of the moduli space of rank 2 semi-stable sheaves with fixed odd degree determinant on a smooth, projective curve of genus at least 2. The conjecture was proven by Kirwan. In this article, we generalize the conjecture to the case when the underlying curve is irreducible, nodal. In fact, we show that these relations (in the nodal curve case) arise naturally as degeneration of the Mumford relations shown by Kirwan in the smooth curve case. As a byproduct, we compute the Hodge-Poincare polynomial of the moduli space of rank 2, semi-stable, torsion-free sheaves with fixed determinant on an irreducible, nodal curve.
The algebraic Sato-Tate conjecture was initially introduced by Serre and then discussed by Banaszak and Kedlaya. This note shows that the Mumford-Tate conjecture for an abelian variety A implies the algebraic Sato-Tate conjecture for A. The relevance of this result lies mainly in the fact that the list of known cases of the Mumford-Tate conjecture was up to now a lot longer than the list of known cases of the algebraic Sato-Tate conjecture.
We give a complete proof for the implication from the Manin-Mumford conjecture to the Mordell-Lang conjecture in positive characteristic, using integral models of semi-abelian varieties over a ring of formal power series, and the machinery of jet schemes.
We use perfectoid spaces associated to abelian varieties and Siegel moduli spaces to study torsion points and ordinary CM points. We reprove the Manin-Mumford conjecture i.e. Raynaud's theorem. We also prove the Tate-Voloch conjecture for a product of Siegel moduli spaces namely ordinary CM points outside a closed subvariety can not be p-adically too close to it.
In this article we study the (cohomological) Hodge conjecture for singular varieties. We prove the conjecture for simple normal crossing varieties that can be embedded in a family where the Mumford-Tate group remains constant. We show how to produce such families. Furthermore, we show for varieties with worse singularities the conjecture can be expressed solely in terms of the algebraic classes.
We prove the Tate conjecture for divisor classes and the Mumford-Tate conjecture for the cohomology in degree 2 for varieties with $h^{2,0}=1$ over a finitely generated field of characteristic 0, under a mild assumption on their moduli. As an application of this general result, we prove the Tate and Mumford-Tate conjectures for some classes of algebraic surfaces with $p_g=1$.
We study the Mumford--Tate conjecture for hyperkähler varieties. We show that the full conjecture holds for all varieties deformation equivalent to either an Hilbert scheme of points on a K3 surface or to O'Grady's ten dimensional example, and all of their self-products. For an arbitrary hyperkähler variety whose second Betti number is not 3, we prove the Mumford--Tate conjecture in every codimension under the assumption that the Künneth components in even degree of its André motive are abelian. Our results extend a theorem of André.
We construct full strong exceptional collections of line bundles on smooth toric Fano Deligne-Mumford stacks of Picard number at most two and of any Picard number in dimension two. It is hoped that the approach of this paper will eventually lead to the proof of the existence of such collections on all smooth toric nef-Fano Deligne-Mumford stacks.
The Green-Lazarsfeld secant conjecture predicts that the syzygies of a curve of sufficiently high degree are controlled by its special secants. We prove this conjecture for all curves of Clifford index at least two and not bielliptic and for all line bundles of a certain degree. Our proof is based on a classic result of Martens and Mumford on Brill-Noether varieties and on a simple vanishing criterion that comes from the interpretation of syzygies through symmetric products of curves.
Let $X$ be a smooth projective variety over a finitely generated field $K$ of characteristic~$0$ and fix an embedding $K \subset \mathbb{C}$. The Mumford--Tate conjecture is a precise way of saying that certain extra structure on the $\ell$-adic étale cohomology groups of~$X$ (namely, a Galois representation) and certain extra structure on the singular cohomology groups of~$X$ (namely, a Hodge structure) convey the same information. The main result of this paper says that if $A_1$ and~$A_2$ are abelian varieties (or abelian motives) over~$K$, and the Mumford--Tate conjecture holds for both~$A_…
In this paper we prove the Mumford-Tate conjecture in degree 2 for the product of an abelian surface $A$ and a K3 surface $X$ over a finitely generated field $K \subset \mathbb{C}$. The Mumford-Tate conjecture is a precise way of saying that the Hodge structure on singular cohomology conveys the same information as the Galois representation on $\ell$-adic étale cohomology. To make this precise, let $G_{\mathrm{B}}$ be the Mumford-Tate group of the Hodge structure $H^{2}_{\text{sing}}(A(\mathbb{C}) \times X(\mathbb{C}), \mathbb{Q})$. Let $G_{\ell}^{\circ}$ be the connected component of the iden…
Mumford defined a rational pullback for Weil divisors on normal surfaces, which is linear, respects effectivity, and satisfies the projection formula. In higher dimensions, the existence of small resolutions of singularities precludes such general results. We single out a higher-dimensional situation that resembles the surface case and show for it that a rational pullback for Weil divisors exists, which is also linear, respects effectivity, and satisfies the projection formula.
The Manin-Mumford conjecture in characteristic zero was first proved by Raynaud. Later, Hrushovski gave a different proof using model theory. His main result from model theory, when applied to abelian varieties, can be rephrased in terms of algebraic geometry. In this paper we prove that intervening result using classical algebraic geometry alone. Altogether, this yields a new proof of the Manin-Mumford conjecture using only classical algebraic geometry.
We prove the Mumford-Tate conjecture for those abelian varieties over number fields, whose simple factors of their adjoint Mumford-Tate groups have over $\dbR$ certain (products of) non-compact factors. In particular, we prove this conjecture for the orthogonal case ($B_n$ and $D_n^{\dbR}$ Shimura types). We construct embeddings of Shimura varieties of (whose adjoints are of prescribed abelian type) into unitary Shimura varieties. We also prove two general theorems involving Frobenius tori of abelian varieties over number fields.
We give a sufficient condition for a first order infinitesimal deformation of a curve on a 3-fold to be obstructed. As application we construct generically non-reduced components of the Hilbert schemes of uniruled 3-folds and the Hom scheme from a general curve of genus five to a general cubic 3-fold.
In the article [PR1] {\it On Hrushovski's proof of the Manin-Mumford conjecture} (Proceedings of the ICM 2002), R. Pink and the author gave a short proof of the Manin-Mumford conjecture, which was inspired by an earlier model-theoretic proof by Hrushovski. The proof given in [PR1] uses a difficult unpublished ramification-theoretic result of Serre. It is the purpose of this note to show how the proof given in [PR1] can be modified so as to circumvent the reference to Serre's result. J. Oesterlé and R. Pink contributed several simplifications and shortcuts to this note.
The main result of this paper amounts to a complete evaluation of the integral cohomological structure of the stable mapping class group. In particular it verifies the conjecture of D.Mumford about the rational cohomology of the stable mapping class group.
We prove Zhang's Dynamical Manin-Mumford Conjecture and Dynamical Bogomolov Conjecture for dominant endomorphisms of (P^1)^n. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with an analysis of the symmetries of the Julia set for a rational function.
We establish the Airy curve case of a conjecture of Gukov and Sułkowski by reducing to Dijkgraaf-Verlinde-Verlinde Virasoro constraints satisfied by the intersection numbers on moduli spaces of algebraic curves.
We show that the statement analogous to the Mumford-Tate conjecture for abelian varieties holds for 1-motives on unipotent parts. This is done by comparing the unipotent part of the associated Hodge group and the unipotent part of the image of the absolute Galois group with the unipotent part of the motivic fundamental group. Contains an appendix by P. Deligne. In this version: Minor corrections here and there. The Main result about the image of the Galois representations is now enriched by an adelic statement.
We introduce $\ell$-Galois special subvarieties as an $\ell$-adic analog of the Hodge-theoretic notion of a special subvariety. The Mumford-Tate conjecture predicts that both notions are equivalent. We study some properties of these subvarieties and prove this equivalence for subvarieties satisfying a simple monodromy condition. As applications, we show that the $\ell$-Galois exceptional locus is a countable union of algebraic subvarieties and, if the derived group of the generic Mumford-Tate group of a family is simple, its part of positive period dimension coincides with the Hodge locus of p…
We study the image of $\ell$-adic representations attached to subvarieties of Shimura varieties $Sh_K(G,X)$ that are not contained in a smaller Shimura subvariety and have no isotrivial components. We show that, for $\ell$ large enough (depending on the Shimura datum $(G,X)$ and the subvariety), such image contains the $\mathbb{Z}_\ell$-points coming from the simply connected cover of the derived subgroup of $G$. This can be regarded as a geometric version of the integral $\ell$-adic Mumford-Tate conjecture.
We give a short proof of the "prime-to-$p$ version" of the Manin-Mumford conjecture for an abelian variety over a number field, when it has supersingular reduction at a prime dividing $p$, by combining the methods of Bogomolov, Hrushovski, and Pink-Roessler. Our proof here is quite simple and short, and neither $p$-adic Hodge theory nor model theory is used. The observation is that a power of a lift of the Frobenius element at a supersingular prime acts on the prime-to-$p$ torsion points via nontrivial homothety.
We prove the Dynamical Bogomolov Conjecture for endomorphisms of P^1\times P^1 defined over a number field. We use the equidistribution theorem for points of small height with respect to an algebraic dynamical system, combined with a theorem of Levin regarding symmetries of the Julia set. Using a specialization theorem of Yuan and Zhang, we prove the Dynamical Manin-Mumford Conjecture for endomorhisms of P^1\times P^1 defined over the complex numbers.
Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre are true for $Y$. In particular, if a certain Hodge-maximality condition is satisfied, we obtain an adelic open image theorem for the Galois representation on the (full) Tate module of $Y$. Our second main result is an (unconditional) adelic open image theorem for K3 surfaces. The proofs of these results rely on the study of a natural representation of the …
We prove the Mumford--Tate conjecture for those abelian varieties over number fields whose extensions to C have attached adjoint Shimura varieties that are products of simple, adjoint Shimura varieties of certain Shimura types. In particular, we prove the conjecture for the orthogonal case (i.e., for the $B_n$ and $D_n^R$ Shimura types). As a main tool, we construct embeddings of Shimura varieties (whose adjoints are) of prescribed abelian type into unitary Shimura varieties of PEL type. These constructions implicitly classify the adjoints of Shimura varieties of PEL type.
We prove that in positive characteristic, the Manin-Mumford conjecture implies the Mordell-Lang conjecture, in the situation where the ambient variety is an abelian variety defined over the function field of a smooth curve over a finite field and the relevant group is a finitely generated group. In particular, in the setting of the last sentence, we provide a proof of the Mordell-Lang conjecture, which does not depend on tools coming from model theory.
Motivated by the S-duality conjecture of Vafa-Witten, Tanaka-Thomas have developed a theory of Vafa-Witten invariants for projective surfaces using the moduli space of Higgs sheaves. Their definition and calculation prove the S-duality prediction of Vafa-Witten in many cases in the side of gauge group $SU(r)$. In this survey paper for ICCM-2019 we review the S-duality conjecture in physics by Vafa-Witten and the definition of Vafa-Witten invariants for smooth projective surfaces and surface Deligne-Mumford stacks. We make a prediction that the Vafa-Witten invariants for Deligne-Mumford surface…
We present a new proof of the Manin-Mumford conjecture about torsion points on algebraic subvarieties of abelian varieties. Our principle, which admits other applications, is to view torsion points as rational points on a complex torus and then compare (i) upper bounds for the number of rational points on a transcendental analytic variety (Bombieri-Pila-Wilkie) and (ii) lower bounds for the degree of a torsion point (Masser), after taking conjugates. In order to be able to deal with (i), we discuss (Thm. 2.1) the semi-algebraic curves contained in an analytic variety supposed invariant for tra…
On the dynamical Manin-Mumford conjecture for plane polynomial maps
Sorbonne Université（索邦大学）；CNRS - Centre de Mathématiques Laurent Schwartz, École Polytechnique（法国国家科学研究中心-洛朗·施瓦茨数学中心，巴黎综合理工学院）；Université de Paris and Sorbonne Université, CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche（巴黎大学和索邦大学，法国国家科学研究中心，朱西厄-左岸巴黎数学研究所）
Castelnuovo-Mumford regularity is an important invariant of projective algebraic varieties. A well known conjecture due to Eisenbud and Goto gives a bound for regularity in terms of the codimension and degree,i.e., Castelnuovo-Mumford regularity of a given variety $X$ is less than or equal to $deg(X)-codim(X)+1$. This regularity conjecture (including classification of examples on the boundary) was verified for integral curves (Castelnuovo, Gruson, Lazarsfeld and Peskine), and for smooth surfaces (Pinkham, Lazarsfeld). In this paper we prove that $reg(X) \le deg(X)-1$ for smooth threefolds $X$ …
We show that Ribet sections are the only obstruction to the validity of the relative Manin-Mumford conjecture for one dimensional families of semi-abelian surfaces. Applications include special cases of the Zilber-Pink conjecture for curves in a mixed Shimura variety of dimension four, as well as the study of polynomial Pell equations with non-separable discriminants.
We provide stacky generalizations of classical gauge-theoretic results inspired by Donaldson, the Uhlenbeck-Yau theorem and variants due to Bando and his collaborators. Moreover, we show an application of this machinery in the study of ALE spaces.
We prove the regularity conjecture, namely Eisenbud-Goto conjecture, for a normal surface with rational, Gorenstein elliptic and log canonical singularities. Along the way, we bound the regularity for a dimension zero scheme by its Loewy length and for a curve allowing embedded or isolated point components by its arithmetic degree.
Our results concern analytic functions on the open unit $p$-adic poly-disc in $\mathbb{C}^n_p$ centered at the multiplicative unit and we prove that such functions only vanish at finitely many $n$-tuples of roots of unity $(ζ_1-1,\ldots,ζ_n-1)$ unless they vanish along a translate of the formal multiplicative group. For polynomial functions, this follows from the multiplicative Manin-Mumford conjecture. However we allow for a much wider class of analytic functions; in particular we establish a rigidity result for formal tori. Moreover, our methods apply to Lubin-Tate formal groups beyond just …
Let K be a number field and A an abelian variety over K. We are interested in the following conjecture of Morita: if the Mumford-Tate group of A does not contain unipotent Q-rational points then A has potentially good reduction at any discrete place of K. The Mumford-Tate group is an object of analytical nature whereas having good reduction is an arithmetical notion, linked to the ramification of Galois representations. This conjecture has been proved by Morita for particular abelian varieties with many endomorphisms (called of PEL type). Noot obtained results for abelian varieties without non…
We present a reduction of the function field Mordell-Lang conjecture to the function field Manin-Mumford conjecture, in all characteristics, via model theory, but avoiding recourse to the dichotomy theorems for (generalized) Zariski structures. In this version 2, the quantifier elimination result in positive characteristic is extended from simple abelian varieties to all abelian varieties, completing the main theorem in the positive characteristic case. In version 3, some corrections are made to the proof of quantifier elimination in positive characteristic, and the paper is substantially reor…
We propose a new proof, as well as a generalization of Mirzakhani's recursion for volumes of moduli spaces. We interpret those recursion relations in terms of expectation values in Kontsevich's integral, i.e. we relate them to a Ribbon graph decomposition of Riemann surfaces. We find a generalization of Mirzakhani's recursions to measures containing all higher Mumford's kappa classes, and not only kappa1 as in the Weil-Petersson case.
Let $A$ be a simple abelian surface over an algebraically closed field $k$. Let $S\subset A(k)$ be the set of torsion points $x$ of $A$ such that there exists a genus $2$ curve $C$ and a map $f: C\to A$ such that $x$ is in the image of $f$, and $f$ sends a Weierstrass point of $C$ to the origin of $A$. The purpose of this note is to show that if $k$ has characteristic zero, then $S$ is finite -- this is in contrast to the situation where $k$ is the algebraic closure of a finite field, where $S=A(k)$, as shown by Bogomolov and Tschinkel. We deduce that if $k=\bar{\mathbb{Q}}$, the Kummer surfac…
The goal of this paper is to prove the full geometric Bogomolov conjecture. We first reduce it to the case that the extension of the base fields has transcendence degree 1, and then we prove the later case by intersection theory in algebraic geometry. The proof uses Yamaki's reduction theorem on the geometric Bogomolov conjecture and the Manin--Mumford conjecture proved by Raynaud and Hrushovski.
We study geometric and algebraic geometric properties of the continuous and discrete Neumann systems on cotangent bundles of Stiefel varieties $V_{n,r}$. The systems are integrable in the non-commutative sense, and by applying a $2r\times 2r$--Lax representation, we show that generic complex invariant manifolds are open subsets of affine (non-compact) Prym varieties on which the complex flow is linear. The characteristics of the varieties and the direction of the flow are calculated explicitly. Next, we construct a family of (multi-valued) integrable discretizations of the Neumann systems and …
We prove a version of the Manin-Mumford conjecture for semiabelian varieties over fields of positive characteristic. The proof presented here contains the details of the proof sketched by the author in the article "Diophantine geometry from model theory," BSL 7 (2001) no. 1, 37 - 57; using the model theory of difference fields along the lines of Hrushovski. Algebraic proofs have been presented by Pink & Roessler and Pillay.
In this paper we prove the Eisenbud-Goto conjecture for connected curves. We also investigate the structure of connected curves for which this bound is optimal. In particular, we construct connected curves of arbitrarily high degree in projective 4-space having maximal regularity, but no extremal secants. We also show that any connected curve in projective 3-space of degree at least 5 that has no linear components and has maximal regularity has an extremal secant.
We find a complete set of relations for the rational cohomology ring of the moduli space of rank three stable bundles over a Riemann surface of genus g and also show that the Pontryagin ring vanishes in degree 12g-8 and greater. The results are obtained by introducing some 'dual' Mumford relations and generalising Kirwan's proofs of the Mumford and Newstead conjectures in the rank two case. (In this revised version of the paper the vanishing degree of the Pontryagin ring of the moduli space has been improved from `in and above degree 12g-4' to `in and above degree 12g-8'. This degree is now kn…
Let X and Y be K-equivalent toric Deligne-Mumford stacks related by a single toric wall-crossing. We prove the Crepant Transformation Conjecture in this case, fully-equivariantly and in genus zero. That is, we show that the equivariant quantum connections for X and Y become gauge-equivalent after analytic continuation in quantum parameters. Furthermore we identify the gauge transformation involved, which can be thought of as a linear symplectomorphism between the Givental spaces for X and Y, with a Fourier-Mukai transformation between the K-groups of X and Y, via an equivariant version of the …
We prove that a Shimura curve in the Siegel modular variety is not generically contained in the open Torelli locus as long as the rank of unitary part in its canonical Higgs bundle satisfies a numerical upper bound. As an application we show that the Coleman-Oort conjecture holds for Shimura curves associated to partial corestriction upon a suitable choice of parameters, which generalizes a construction due to Mumford.
Some recent progress towards understanding the cohomology of moduli spaces of curves is described. Madsen and Weiss have given a proof of a generalisation of Mumford's conjecture on the stable cohomology of these moduli spaces M_g, and other contributors have made advances related to Faber's conjectures on the tautological ring of M_g.
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…
We make explicit a construction of Serre giving a definition of an algebraic Sato-Tate group associated to an abelian variety over a number field, which is conjecturally linked to the distribution of normalized L-factors as in the usual Sato-Tate conjecture for elliptic curves. The connected part of the algebraic Sato-Tate group is closely related to the Mumford-Tate group, but the group of components carries additional arithmetic information. We then check that in many cases where the Mumford-Tate group is completely determined by the endomorphisms of the abelian variety, the algebraic Sato-T…
One can describe isomorphism of two compact hyperbolic Riemann surfaces of the same genus by a measure-theoretic property: a chosen isomorphism of their fundamental groups corresponds to a homeomorphism on the boundary of the Poincaré disc that is absolutely continuous for Lebesgue measure if and only if the surfaces are isomorphic. In this paper, we find the corresponding statement for Mumford curves, a nonarchimedean analog of Riemann surfaces. In this case, the mere absolute continuity of the boundary map (for Schottky uniformization and the corresponding Patterson-Sullivan measure) only im…
