Density of monodromy actions on non-abelian cohomology
L. Katzarkov, T. Pantev, C. Simpson
备注:
LaTeX2e, 48 pages, Version substantially revised for publication. A gap in the proof of the density for Lefschetz pencils is fixed. The case of hyperelliptic monodromy is also treated in detail
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.
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.
We describe the relationship between intersection cohomology with twisted coefficients and the perverse sheaves which play the role of the eigenspaces for the Milnor monodromy of an affine hypersurface.
We say that a complex analytic space, $X$, is an intersection cohomology manifold if and only if the shifted constant sheaf on $X$ is isomorphic to intersection cohomology; this is quickly seen to be equivalent to $X$ being a homology manifold. Given an analytic function $f$ on an intersection cohomology manifold, we describe a simple relation between $V(f)$ being an intersection cohomology manifold and the vanishing cycle Milnor monodromy of $f$. We then describe how the Sebastiani-Thom isomorphism allows us to easily produce intersection cohomology manifolds with arbitrary singular sets. Fin…
We show that for a polynomial map, the size of the Jordan blocks for the eigenvalue 1 of the monodromy at infinity is bounded by the multiplicity of the reduced divisor at infinity of a good compactification of a general fiber. The existence of such Jordan blocks is related to global invariant cycles of the graded pieces of the weight filtration. These imply some applications to period integrals. We also show that such a Jordan block of size greater than 1 for the graded pieces of the weight filtration is the restriction of a strictly larger Jordan block for the total cohomology group. If ther…
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.
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.
Given a complex analytic function with a one-dimensional critical locus at the origin, we examine the monodromy action on the integral cohomology of the Milnor fiber. We relate this monodromy to that of a generic hyperplane slice through the origin, and to that of a generic hyperplane slice near the origin. We thereby obtain number-theoretic restrictions on the monodromy and on the cohomology of the original Milnor fiber.
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.
In this note we consider the Milnor fiber $F$ associated to a reduced projective plane curve $C$. A computational approach for the determination of the characteristic polynomial of the monodromy action on the first cohomology group of $F$, also known as the Alexander polynomial of the curve $C$, is presented. This leads to an effective algorithm to detect all the monodromy eigenvalues and, in many cases, explicit bases for the monodromy eigenspaces in terms of polynomial differential forms.
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 $ρ$.
We compute Stokes matrices and monodromy for the quantum cohomology of projective spaces. We prove that the Stokes' matrix of the quantum cohomology coincides with the Gram matrix in the theory of derived categories of coherent sheaves.
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 describe a general setting where the monodromy action on the first cohomology group of the Milnor fiber of a hyperplane arrangement is the identity.
For a subvariety of a smooth projective variety, consider the family of smooth hypersurfaces of sufficiently large degree containing it, and take the quotient of the middle cohomology of the hypersurfaces by the cohomology of the ambient variety and also by the cycle classes of the irreducible components of the subvariety. Using Deligne's semisimplicity theorem together with Steenbrink's theory for semistable degenerations, we give a simpler proof of the first author's theorem (with a better bound of the degree of hypersurfaces) that this monodromy representation is irreducible.
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…
Let S be a K3 surface and Aut D(S) the group of auto-equivalences of the derived category of S. We construct a natural representation of Aut D(S) on the cohomology of all moduli spaces of stable sheaves (with primitive Mukai vectors) on S. The main result of this paper is the precise relation of this action with the monodromy of the Hilbert schemes S^[n] of points on the surface. A formula is provided for the monodromy representation, in terms of the Chern character of the universal sheaf. Isometries of the second cohomology of S^[n] are lifted, via this formula, to monodromy operators of the …
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 describe an algorithm computing the monodromy and the pole order filtration on the Milnor fiber cohomology of any reduced projective plane curve $C$. The relation to the zero set of Bernstein-Sato polynomial of the defining homogeneous polynomial for $C$ is also discussed. When $C$ has some non weighted homogeneous singularities, then we have to assume that a conjecture holds in order to get some of our results. In all the examples computed so far this conjecture holds.
Let $k$ be an algebraically closed field of characteristic $0$. For a log curve $X/k^{\times}$ over the standard log point, we define (algebraically) a combinatorial monodromy operator on its log-de Rham cohomology group. The invariant part of this action has a cohomological description, it is the Du Bois cohomology of $X$. This can be seen as an analogue of the invariant cycles exact sequence for a semistable family (as in the complex, étale and $p$-adic settings). In the specific case in which $k=\mathbb C$ and $X$ is the central fiber of a semistable degeneration over the complex disc, our …
For a strictly semistable log scheme $Y$ over a perfect field $k$ of characteristic $p$ we investigate the canonical Čech spectral sequence $(C)_T$ abutting to the Hyodo-Kato (log crystalline) cohomology $H_{crys}^*(Y/T)_{\mathbb{Q}}$ of $Y$ and beginning with the log convergent cohomology of its various component intersections $Y^i$. We compare the filtration on $H_{crys}^*(Y/T)_{\mathbb{Q}}$ arising from $(C)_T$ with the monodromy operator $N$ on $H_{crys}^*(Y/T)_{\mathbb{Q}}$. We also express $N$ through residue maps and study relations with singular cohomology. If $Y$ lifts to a proper str…
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 calculate the monodromy action on the mod 2 cohomology for SL(2,C) Hitchin systems and give an application of our results in terms of the moduli space of semistable SL(2,R) Higgs bundles.
Assume that the local universal deformation of a Calabi-Yau 3-manifold X has an automorphism which does not act by 1 or -1 on the third cohomology. We show that the $F^2$ bundle in the Variation of Hodge structures of each maximal family containing $X$ is constant in this case. Thus X cannot be a fiber of a maximal family with maximally unipotent monodromy, if such an automorphism exists. Moreover we classify the possible actions of such an automorphism on the third cohomology, construct examples and show that the period domain is a complex ball containing a dense set of complex multiplication…
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…
Let $f$ and $g$ be reduced homogeneous polynomials in separate sets of variables. We establish a simple formula that relates the eigenspace decomposition of the monodromy operator on the Milnor fiber cohomology of $fg$ to that of $f$ and $g$ separately. We use a relation between local systems and Milnor fiber cohomology that has been established by D. Cohen and A. Suciu.
We explore the relation between cohomology jump loci in a finite Galois cover, formality properties and algebraic monodromy action. We show that the jump loci of the base and total space are essentially the same, provided the base space is 1-formal and the monodromy action in degree 1 is trivial. We use reduced multinet structures on line arrangements to construct components of the first characteristic variety of the Milnor fiber in degree 1, and to prove that the monodromy action is non-trivial in degree 1. For an arbitrary line arrangement, we prove that the triviality of the monodromy in de…
We define Frobenius and monodromy operators on the de Rham cohomology of $K$-dagger spaces (rigid spaces with overconvergent structure sheaves) with strictly semistable reduction $Y$, over a complete discrete valuation ring $K$ of mixed characteristic. For this we introduce log rigid cohomology and generalize the so called Hyodo-Kato isomorphism to versions for non-proper $Y$, for non-perfect residue fields, for non-integrally defined coefficients, and for the various strata of $Y$. We apply this to define and investigate crystalline structure elements on the de Rham cohomology of Drinfel'd's …
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…
Let M be a 2n-dimensional Kahler manifold deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface S. Let Mon be the group of automorphisms of the cohomology ring of M, which are induced by monodromy operators. The second integral cohomology of M is endowed with the Beauville-Bogomolov bilinear form. We prove that the restriction homomorphism from Mon to the isometry group O[H^2(M)] is injective, for infinitely many n, and its kernel has order at most 2, in the remaining cases. For all n, the image of Mon in O[H^2(M)] is the subgroup generated by reflections with res…
In this paper we study the étale cohomology groups associated to abelian varieties. We obtain necessary and sufficient conditions for an abelian variety to have semistable reduction (or purely additive reduction which becomes semistable over a quadratic extension) in terms of the action of the absolute inertia group on the étale cohomology groups with finite coefficients.
We investigate the cohomology of the Milnor fibre of a reflection arrangement as a module for the group $Γ$ generated by the reflections, together with the cyclic monodromy. Although we succeed completely only for unitary reflection groups of rank two, we establish some general results which relate the isotypic componenents of the monodromy on the cohomology, to the Hodge structure and to the cohomology degree. Using eigenspace theory for reflection groups, we prove some sum formulae for additive functions such as the equivariant weight polynomial and certain polynomials related to the Euler c…
It is shown that for a perverse sheaf $K$ on an abelian variety $X$ the integers $i$ for which the cohomology $H^i(X,K)$ does not vanish define an interval in the number line (under certain conditions on the field of definition of $K$)
We use Burgos theory of arithmetic Chow groups to exhibit a realization of the degree zero part of the polylogarithm on abelian schemes in Deligne-Beilinson cohomology.
We study when kernels of inflation maps associated to extraspecial p-groups in stable group cohomology are generated by their degree two components. This turns out to be true if the prime is large enough compared to the rank of the elementary abelian quotient, but false in general.
In this Note we prove the vanishing of (twisted) Koszul cohomology groups $K_{p,1}$ of an abelian variety with values in powers of an ample line bundle. It complements the work of G. Pareschi on the property $(N_p)$.
We show how some of our recent results clarify the relationship between the Lê numbers and the cohomology of the Milnor fiber of a non-isolated hypersurface singularity. The Lê numbers are actually the ranks of the free Abelian groups -- the Lê modules -- appearing in a complex whose cohomology is that of the Milnor fiber. Moreover, the Milnor monodromy acts on the Lê module complex, and we describe the traces of these monodromy actions in terms of the topology of the critical locus.
The primitive cohomology of the theta divisor of a principally polarized abelian variety of dimension $g$ is a Hodge structure of level $g-3$. The Hodge conjecture predicts that it is contained in the image, under the Abel-Jacobi map, of the cohomology of a family of curves in the theta divisor. In this paper we use the Prym map to show that this version of the Hodge conjecture is true for the theta divisor of a general abelian fivefold.
We place the representation variety in the broader context of abelian and nonabelian cohomology. We outline the equivalent constructions of the moduli spaces of flat bundles, of smooth integrable connections, and of holomorphic integrable connections over a compact Kaehler manifold. In addition, we describe the moduli space of Higgs bundles and how it relates to the representation variety. We attempt to avoid abstraction, but strive to present and clarify the unifying ideas underlying the theory.
Let f be a degeneration of Kahler manifolds. The local invariant cycle theorem states that for a smooth fiber of the degeneration, any cohomology class, invariant under the monodromy action, rises from a global cohomology class. Instead of the classical cohomology, one may consider the non-abelian cohomology. This note demonstrates that the analogous non-abelian version of the local invariant cycle theorem does not hold if the first non-abelian cohomology is the moduli space (universal categorical quotient) of the representations of the fundamental group.
We study the vanishing cycle complex $φ_fA_X$ for a holomorphic function $f$ on a reduced complex analytic space $X$ with $A$ a Dedekind domain (for instance, a localization of the ring of integers of a cyclotomic field, where the monodromy eigenvalue decomposition may hold after a localization of $A$). Assuming the perversity of the shifted constant sheaf $A_X[d_X]$, we show that the lowest possibly-non-zero vanishing cohomology at $0\in X$ can be calculated by the restriction of $φ_fA_X$ to an appropriate nearby curve in the singular locus $Y$ of $f$, which is given by intersecting $Y$ with …
We establish a, and conjecture further, relationship between the existence of subvarieties representing minimal cohomology classes on principally polarized abelian varieties, and the generic vanishing of certain sheaf cohomology. The main ingredient is the Generic Vanishing criterion of math.AG/0608127, based on the Fourier-Mukai transform.
We show that the monodromy operator action on the first cohomology group of the Milnor fiber is combinatorially determined for line arrangements with at most triple points and containing at most 18 lines, with one possible exception.
Hodge classes on the moduli space of admissible covers with monodromy group G are associated to irreducible representations of G. We evaluate all linear Hodge integrals over moduli spaces of admissible covers with abelian monodromy in terms of multiplication in an associated wreath group algebra. In case G is cyclic and the representation is faithful, the evaluation is in terms of double Hurwitz numbers. In case G is trivial, the formula specializes to the well-known result of Ekedahl-Lando-Shapiro-Vainshtein for linear Hodge integrals over the moduli space of curves in terms of single Hurwitz…
Given a very general abelian fivefold $A$ and a principal polarization $Θ\subset A$, we construct surfaces generating the algebraic part of the middle cohomology $H^4(Θ, {\mathbb Q})$, and determine the intersection pairing between these surfaces. In particular, we obtain a new proof of the Hodge conjecture for $H^4(Θ, {\mathbb Q})$ and show that it contains a copy of the root lattice of $E_6$.
We study the monodromy operators on the betti cohomologies associated to a good degeneration of irreducible symplectic manifold and we show that the unipotency of the monodromy operator on the middle cohomology is at least the half of the dimension.
Suppose that g > 2, that n > 0 and that m > 0. In this paper we show that if E is an irreducible smooth variety which dominates a divisor D in M_{g,n}[m], the moduli space of n-pointed, smooth curves of genus g with a level m structure, then the closure of the image of the monodromy representation pi_1(E,e)--> Sp_g(Zhat) has finite index in Sp_g(Zhat). A similar result is proved for codimension 1 families of the universal principally polarized abelian variety of dimension g > 2. Both results are deduced from a general "non-abelian strictness theorem". The first result is used in arXiv:1001.500…