Construction of Abelian varieties with given monodromy
Oliver Bueltel
备注：
This note is a juxtaposition of my Habilitation thesis (Geom. funct. anal. 15(2005) p.634-696) and a seminar given on it (Oberwolfach reports 1(2004) p.1983-1985)
发表信息：
Geom. funct. anal. 15(2005), p.634-696 and Oberwolfach reports 1(2004), p.1983-1985
Let $ρ$ be a finite-dimensional faithful representation of a semisimple algebraic group $G$. By means of a deformation argument, we show that there exists a family of Abelian varieties over a smooth and projective curve over the algebraic closure of a prime field of positive characteristic, such that its $\ell$-adic monodromy group covers $G$ and its $\ell$-adic monodromy representation contains $ρ$.
In this survey, we discuss the state of art about the monodromy property for Calabi-Yau varieties. We explain what is the monodromy property for Calabi-Yau varieties and then discuss some examples of Calabi-Yau varieties that satisfy this property. After this recap, we discuss a possible approach to future research in this area.
We prove a strong form of the motivic monodromy conjecture for abelian varieties, by showing that the order of the unique pole of the motivic zeta function is equal to the size of the maximal Jordan block of the corresponding monodromy eigenvalue. Moreover, we give a Hodge-theoretic interpretation of the fundamental invariants appearing in the proof.
We speculate on the relationship between the solvable monodromy extension (SME) property and log canonical models. A motivating example is the moduli space of smooth curves which, by earlier work, is known to have this SME property. In this case the maximal SME compactification is the moduli space of stable nodal curves which coincides with its log canonical model.
In the geometric situation of the simple Shimura varieties of Kottwitz studied in Harris and Taylor's book, we describe the monodromy filtration of the vanishing cycles complex and the spectral sequence associated to it. We prove in particular that this filtration coincides with the weight one up to shift. Thanks to the Berkovich-Fargues' theorem, we deduce the description of the local monodromy filtration of the Deligne-Carayol model. In application, we obtain the description of the local components of cohomological automorphic representations of certains unitary groups, a global Jacquet-Lang…
The classical Zariski-van Kampen theorem gives a presentation of the fundamental group of the complement of a complex algebraic curve in $\mathbb{P}^2$. The first generalization of this theorem to singular (quasi-projective) varieties was given by the first author. In both cases, the relations are generated by the standard monodromy variation operators associated with the special members of a generic pencil of hyperplane sections. In the present paper, we give a new generalization in which the relations are generated by the relative monodromy variation operators introduced by D. Chéniot and th…
We survey recent results about the Torelli question for holomorphic-symplectic varieties. Following are the main topics. A Hodge theoretic Torelli theorem. A study of the subgroup W, of the isometry group of the weight 2 Hodge structure, generated by reflection with respect to exceptional divisors. A description of the birational Kahler cone as a fundamental domain for the W-action on the positive cone. A proof of a weak version of Morrison's movable cone conjecture. A description of the moduli spaces of polarized holomorphic symplectic varieties as monodromy quotients of period domains of typ…
Necessary and sufficient conditions are given (in terms of monodromy) for extending a family of smooth curves over an open subset U of S to a family of stable curves over S. More precisely, we introduce the abelian monodromy extension (AME) property and show that the standard Deligne-Mumford compactification is the unique, maximal AME compactification of the moduli space of curves. We also show that the Baily-Borel compactification is the unique, maximal projective AME compactification of the moduli space of abelian varieties.
In this paper we study the monodromy action on the first Betti and de Rham non-abelian cohomology arising from a family of smooth curves. We describe sufficient conditions for the existence of a Zariski dense monodromy orbit. In particular we show that for a Lefschetz pencil of sufficiently high degree the monodromy action is dense.
Two-step nilpotent monodromy of local systems on special varieties
Université Côte d’Azur（蔚蓝海岸大学）；CNRS, Institut de Mathématiques de Jussieu-Paris Rive Gauche, Sorbonne Université（法国国家科学研究中心，巴黎左岸朱西厄数学研究所，索邦大学）；University of Utah（犹他大学）；Universität Bayreuth（拜罗伊特大学）
We prove the weight-monodromy conjecture for varieties which are p-adically uniformized by a product of the Drinfeld upper half spaces. It is an easy consequence of Dat's work on the cohomology complex of the Drinfeld upper half space.
Deligne's weight-monodromy conjecture gives control over the poles of local factors of L-functions of varieties at places of bad reduction. His proof in characteristic p was a step in his proof of the generalized Weil conjectures. Scholze developed the theory of perfectoid spaces to transfer Deligne's proof to characteristic 0, proving the conjecture for complete intersections in toric varieties. Building on Scholze's techniques, we prove the weight-monodromy conjecture for complete intersections in abelian varieties.
We find restrictions on the topology of tropical varieties that arise from a certain natural class of varieties. We develop a theory of tropical degenerations that is a nonconstant coefficient analogue of Tevelev's theory of tropical compactifications, and use it to construct normal crossings degenerations of a subvariety X of a torus, under mild hypotheses on X. These degenerations allow us to construct a natural, "multiplicity-free" parameterization of Trop(X) by a topological space Γ_X. We give a geometric interpretation of the cohomology of Γ_X in terms of the action of a monodromy operato…
We consider the problem of existence of Neron models for a family of abelian varieties over a base of dimension greater than 1. We show that when S is of equicharacteristic zero, the condition of toric additivity introduced in [Ore18] is sufficient for the existence of a Neron model, and also necessary under some extra assumptions. Furthermore, we give an equivalent formulation of toric additivity in terms of monodromy action on the l-adic Tate module.
We prove for abelian varieties a global form of Denef and Loeser's motivic monodromy conjecture, in arbitrary characteristic. More precisely, we prove that for every tamely ramified abelian variety $A$ over a complete discretely valued field, its motivic zeta function has a unique pole at Chai's base change conductor $c(A)$ of $A$, and that the order of this pole equals one plus the potential toric rank of $A$. Moreover, we show that for every embedding of $\Q_\ell$ in $\C$, the value $\exp(2πi c(A))$ is an $\ell$-adic tame monodromy eigenvalue of $A$. The main tool in the paper is Edixhoven's…
We define monodromy maps for tropical Dolbeault cohomology of algebraic varieties over non-Archimedean fields. We propose a conjecture of Hodge isomorphisms via monodromy maps, and provide some evidence.
By combining theorems of Drinfeld and Strauch, we show that the monodromy representation on the special fibre of a Drinfeld modular variety, with level not divisible by the characteristic, is surjective. We illustrate this result in the special case of Drinfeld $\mathbb{F}_q[t]$-modules in level $t$, and apply this to show that the Kronecker factors of a Drinfeld modular polynomial in rank $r$ are irreducible.
An abelian variety over a field K is said to have big monodromy, if the image of the Galois representation on l-torsion points, for almost all primes l contains the full symplectic group. We prove that all abelian varieties over a finitely generated field K with endomorphism ring Z and semistable reduction of toric dimension one at a place of the base field K have big monodromy. We make no assumption on the transcendence degree or on the characteristic of K. This generalizes a recent result of Chris Hall.
We prove that under some conditions on the monodromy, families of abelian covers of the projective line do not give rise to (higher dimensional) Shimura subvarieties in $A_g$. This is achieved by a reduction to $p$ argument. We also use another method based on monodromy computations to show that two dimensional subvarieties in the above locus are not special. In particular it is shown that such families have usually large monodromy groups. Together with our earlier results, the above mentioned results contribute to classifying the special families in the moduli space of abelian varieties and p…
The aim of this paper is to prove the weight-monodromy conjecture (Deligne's conjecture on the purity of monodromy filtration) for varieties p-adically uniformized by the Drinfeld upper half spaces of any dimension. The ingredients of the proof are to prove a special case of the Hodge standard conjecture, and apply a positivity argument of Steenbrink, M. Saito to the weight spectral sequence of Rapoport-Zink. As an application, by combining our results with the results of Schneider-Stuhler, we compute the local zeta functions of p-adically uniformized varieties in terms of representation theor…
We prove a fixed point theorem for the action of certain local monodromy groups on étale covers and use it to deduce lower bounds in essential dimension. In particular, we give more geometric proofs of many (but not all) of the results of the preprint of Farb, Kisin and Wolfson, which uses arithmetic methods to prove incompressibility results for Shimura varieties and moduli spaces of curves. Our method allows us to prove results for exceptional groups, and also for the reduction modulo good primes of Shimura varieties and moduli spaces of curves.
Let X be a projective irreducible holomorphic symplectic manifold. The second integral cohomology of X is a lattice with respect to the Beauville-Bogomolov pairing. A divisor E on X is called a prime exceptional divisor, if E is reduced and irreducible and of negative Beauville-Bogomolov degree. Let E be a prime exceptional divisor on X. We first observe that associated to E is a monodromy involution of the integral cohomology of X, which acts on the second cohomology lattice as the reflection by the cohomology class of E (Theorem 1.1). We then specialize to the case that X is deformation equi…
We give a bound for the order of the local monodromy of a compatible system of l-adic representations, which is independent of l. For the etale cohomology of a variety, the bound depends only on some numerical invariants of varieties.
Given a fixed product of non-isogenous abelian varieties at least one of which is general, we show how to construct complete families of indecomposable abelian varieties whose very general fiber is isogenous to the given product and whose connected monodromy group is a product of symplectic groups or is a unitary group. As a consequence, we show how to realize any product of symplectic groups of total rank $g$ as the connected monodromy group of a complete family of $g'$-dimensional abelian varieties for any $g'\ge g$. These methods also yield a construction of a new Kodaira fibration with fib…
We prove the Morrison--Kawamata cone conjecture for projective primitive symplectic varieties with $\Q$-factorial and terminal singularities with $b_2\geq 5$, from which we derive for instance the finiteness of minimal models of such varieties, up to isomorphisms. To prove the conjecture we establish along the way some results on the monodromy group which may be interesting in their own right, such as the fact that reflections in prime exceptional divisors are integral Hodge monodromy operators which, together with monodromy operators provided by birational transformations, yield a semidirect …
We formulate and study a torsion analogue of the weight-monodromy conjecture for a proper smooth scheme over a non-archimedean local field. We prove it for proper smooth schemes over equal characteristic non-archimedean local fields, abelian varieties, surfaces, varieties uniformized by Drinfeld upper half spaces, and set-theoretic complete intersections in toric varieties. In the equal characteristic case, our methods rely on an ultraproduct variant of Weil II established by Cadoret.
The order of the Milnor fiber monodromy operator of a central hyperplane arrangement is shown to be combinatorially determined. In particular, a necessary and sufficient condition for the triviality of this monodromy operator is given. It is known that the complement of a complex hyperplane arrangement is cohomologically Tate and, if the arrangement is defined over $\Q$, has polynomial count. We show that these properties hold for the corresponding Milnor fibers if the monodromy is trivial. We construct a hyperplane arrangement defined over $\Q$, whose Milnor fiber has a nontrivial monodromy o…
Mirror symmetry for a toric variety involves Laurent polynomials whose symplectic topology is related to the algebraic geometry of the toric variety. We show that there is a monodromy action on the monomially admissible Fukaya-Seidel categories of these Laurent polynomials as the arguments of their coefficients vary that corresponds under homological mirror symmetry to tensoring by a line bundle naturally associated to the monomials whose coefficients are rotated. In the process, we introduce the monomially admissible Fukaya-Seidel category as a new interpretation of the Fukaya-Seidel category…
For any split totally degenerate abelian variety over a complete discrete valuation field, we construct a log abelian variety over the discrete valuation ring extending the given abelian variety. This generalizes the log Tate curve of Kato.
There have been several constructions of family of varieties with exceptional monodromy group. In most cases, these constructions give Hodge structures with high weight(Hodge numbers spread out). N. Katz was the first to obtain Hodge structures with low weight(Hodge numbers equal to (2,3,2)) and geometric monodromy group G2. In this article I will give an alternative description of Katz's construction and give an extension of his result.
We construct the fine moduli space of log abelian varieties with PEL structure, which gives a toroidal compactification of the moduli space of abelian varieties with PEL structure.
The fundamental group of a smooth projective variety is fibered if it maps onto the fundamental group of smooth curve of genus 2 or more. The goal of this paper is to establish some strong restrictions on these groups, and in particular on the fundamental groups of Kodaira surfaces. In the specific case of a Kodaira surface, these results are in the form of restrictions on the monodromy representation into the mapping class group. When the monodromy is composed with certain standard representations, the images are Zariski dense in a semisimple group of Hermitian type.
We analyze the relationship between abelian fourfolds of Weil type and Hodge structures of type K3, and we extend some of these correspondences to the case of arbitrary dimension.
Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.
In this paper we study abelian varieties which correspond to CM points in the coarse moduli space of principally polarized abelian varieties with multiplication by a maximal order in a quaternion algebra over a totally real number field. These are abelian varieties of even dimension with quaternion and complex multiplication. We describe them explicitly via isogenies to products of abelian varieties of smaller dimension together with estimates on the degree of the isogeny.
In this paper, using a generalization of the notion of Prym variety for covers of quasi-projective varieties, we prove a structure theorem for the Mordell-Weil group of the abelian varieties over function fields that are twists of Abelian varieties by Galois covers of irreducible quasi-projective varieties. In particular, the resutls we obtain contribute in the construction of Jacobians (of covers of the projective line) of high rank.
We prove that the geometric Bogomolov conjecture for any abelian varieties is reduced to that for nowhere degenerate abelian varieties with trivial trace. In particular, the geometric Bogomolov conjecture holds for abelian varieties whose maximal nowhere degenerate abelian subvariety is isogenous to a constant abelian variety. To prove the results, we investigate closed subvarieties of abelian schemes over constant varieties, where constant varieties are varieties over a function field which can be defined over the constant field of the function field.
We study finite quotients of abelian varieties (fqav for short) i.e. quotients of abelian varieties by finite groups. We show that Q-abelian varieties (i.e. fqav's with $\mathbb Q$-linearly trivial canonical divisors) are characterized by the existence of quasiétale polarized (or int-amplified) endomorphisms. We show that every fqav has a finite quasiétale cover by the product of an abelian variety and a $\mathbb Q$-Fano fqav. Using such coverings, we give a characterization of $\mathbb Q$-Fano fqav's, and show that $\mathbb Q$-Fano fqav's and Q-abelian varieties are ``building blocks'' of gen…
For a semi-stable abelian variety A_K over a complete discrete valuation field K, we show that every finite subgroup scheme of A_K extends to a log finite flat group scheme over the valuation ring of K endowed with the canonical log structure. To achieve this, we first prove that every weak log abelian variety over an fs log scheme with its underlying scheme locally noetherian, is a sheaf for the Kummer flat topology, which answers a question of Chikara Nakayama. We also give several equivalent conditions defining isogenies of log abelian varieties.
