Local and global invariant cycle theorems for Hodge modules

Morihiko Saito

2024-04-18

Abstract:We show that the local and global invariant cycle theorems for Hodge modules follow easily from the general theory. We also give some remarks about related papers.

Algebraic Geometry

What problem does this paper attempt to address?

Hodge modules and Kähler morphisms

Mads Bach Villadsen

2024-01-18

Abstract:We prove the decomposition theorem for Hodge modules with integral structure along proper Kähler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of generically defined variations of Hodge structure, as well as the theorems of Cattani-Kaplan-Schmid on $L^2$-cohomology of variations of Hodge structure for the hard Lefschetz theorem.

Algebraic Geometry,Complex Variables
Local Cohomology of Modular Invariant Rings

Kriti Goel,Jack Jeffries,Anurag K. Singh

DOI: https://doi.org/10.1007/s00031-024-09851-6

2024-03-14

Transformation Groups

Abstract:For K a field, consider a finite subgroup G of with its natural action on the polynomial ring . Let denote the homogeneous maximal ideal of the ring of invariants . We study how the local cohomology module compares with . Various results on the a -invariant and on the Hilbert series of are obtained as a consequence.

mathematics
$S^1$-localisation by pseudocycles, lifts to $S^1$-localisation of moduli spaces, and application to invariants of $S^1$-equivariant symplectic cohomology

Nicholas Wilkins

2023-06-16

Abstract:We demonstrate a way to apply $S^1$-localisation to moduli spaces of holomorphic curves. We first prove a reinterpretation of Atyiah-Bott $S^1$-localisation, called {\it localisation by pseudocycles} (LbP), for a smooth semifree $S^1$-action on a manifold. We demonstrate that, for certain moduli spaces of holomorphic curves parametrised by some stratum of the homotopy quotient of a manifold, we may ``lift" the LbP procedure from the parameter space to the moduli space. As an application we deduce relations between equivariant symplectic classes and Gromov-Witten invariants, thus proving a conjecture of Seidel.

Symplectic Geometry,Algebraic Topology,Geometric Topology
A $p$-adic local invariant cycle theorem with applications to Brauer groups

Yanshuai Qin

DOI: https://doi.org/10.48550/arXiv.2103.04945

2021-03-09

Abstract:In this article, we prove a $p$-adic analogue of the local invariant cycle theorem for $H^2$ in mixed characteristics. As a result, for a smooth projective variety $X$ over a $p$-adic local field $K$ with a proper flat regular model $\mathcal{X}$ over $O_K$, we show that the natural map $Br(\mathcal{X})\rightarrow Br(X_{\bar{K}})^{G_K}$ has a finite kernel and a finite cokernel. And we prove that the natural map $Hom(Br(X)/Br(K)+Br(\mathcal{X}), \mathbb{Q}/\mathbb{Z}) \rightarrow Alb_X(K)$ has a finite kernel and a finite cokernel, generalizing Lichtenbaum's duality between Brauer groups and Jacobians for curves to arbitrary dimensions.

Algebraic Geometry,Number Theory
The Generalized Hodge conjecture for 1-cycles and codimension two algebraic cycles

Wenchuan Hu

DOI: https://doi.org/10.48550/arXiv.math/0511725

2005-11-30

Algebraic Geometry

Abstract:In this paper, we prove that the statement: ``The (Generalized) Hodge Conjecture holds for codimension-two cycles on a smooth projective variety $X$" is a birationally invariant statement, that is, if the statement is true for $X$, it is also true for all smooth varieties $X'$ which are birationally equivalent to $X$. We also prove the analogous result for 1-cycles. As direct corollaries, the Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to five, and, the Generalized Hodge Conjecture holds for smooth rational projective manifolds with dimension less than or equal to four.
Vanishing of Local Cohomology with Applications to Hodge Theory

Scott Hiatt

2024-08-12

Abstract:Let $\textbf{H} = ((H, F^{\bullet}), L)$ be a polarized variation of Hodge structure on a smooth quasi-projective variety $U.$ By M. Saito's theory of mixed Hodge modules, the variation of Hodge structure $\textbf{H}$ can be viewed as a polarized Hodge module $\mathcal{M} \in HM(U).$ Let $X$ be a compactification of $U,$ and $j:U \hookrightarrow X$ is the natural map. In this paper, we use local cohomology with mixed Hodge module theory to study $j_{+}\mathcal{M} \in D^{b}MHM(X).$ In particular, we study the graded pieces of the de Rham complex $Gr^{F}_{p}DR(j_{+}\mathcal{M}) \in D^{b}_{coh}(X),$ and the Hodge structure of $H^{i}(U,L)$ for $i$ in sufficiently low degrees.

Algebraic Geometry
On the Cohomology Groups of Local Systems over Hilbert Modular Varieties Via Higgs Bundles

Stefan Mueller-Stach,Mao Sheng,Xuanming Ye,Kang Zuo

DOI: https://doi.org/10.1353/ajm.2015.0005

IF: 1.835

2015-01-01

American Journal of Mathematics

Abstract:Let $X$ be a Hilbert modular variety and $\Bbb{V}$ a non-trivial local system over $X$ with infinite monodromy. In this paper we study Saito's mixed Hodge structure (MHS) on the cohomology group $H^k(X,\Bbb{V})$ using the method of Higgs bundles. Among other results we prove the Eichler-Shimura isomorphism, give a dimension formula for the Hodge numbers and show that the mixed Hodge structure is split over $\Bbb{R}$. These results are analogous to the work of Y. Matsushima and G. Shimura in the cocompact case and complement the results of E. Frietag for constant coefficients.
The local cohomology spectral sequence for topological modular forms

Robert Bruner,John Greenlees,John Rognes

DOI: https://doi.org/10.1007/s00209-022-03033-4

2022-08-06

Mathematische Zeitschrift

Abstract:We discuss proofs of local cohomology theorems for topological modular forms, based on Mahowald–Rezk duality and on Gorenstein duality, and then make the associated local cohomology spectral sequences explicit, including their differential patterns and hidden extensions.

mathematics
Non-tautological cycles on moduli spaces of smooth pointed curves

Dario Faro,Carolina Tamborini

2024-10-06

Abstract:In recent work by Arena, Canning, Clader, Haburcak, Li, Mok, and Tamborini it was proven that for infinitely many values of $g$ and $n$, there exist non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ of smooth genus $g$, $n$-pointed curves. Here we show how a generalization of their technique allows to cover most of the remaining cases, proving the existence of non-tautological algebraic cohomology classes on the moduli space $\mathcal{M}_{g,n}$ for all but finitely many values of $g$ and $n$.

Algebraic Geometry
Unitary representations of real groups and localization theory for Hodge modules

Dougal Davis,Kari Vilonen

2024-08-02

Abstract:We prove a conjecture of Schmid and the second named author that the unitarity of a representation of a real reductive Lie group with real infinitesimal character can be read off from a canonical filtration, the Hodge filtration. Our proof rests on three main ingredients. The first is a wall crossing theory for mixed Hodge modules: the key result is that, in certain natural families, the Hodge filtration varies semi-continuously with jumps controlled by extension functors. The second ingredient is a Hodge-theoretic refinement of Beilinson-Bernstein localization: we show that the Hodge filtration of a mixed Hodge module on the flag variety satisfies the usual cohomology vanishing and global generation properties enjoyed by the underlying $\mathcal{D}$-module. The third ingredient is an explicit calculation of the Hodge filtration on a tempered Hodge module. As byproducts of our work, we obtain a version of Saito's Kodaira vanishing for twisted mixed Hodge modules, a calculation of the Hodge filtration on a certain object in category $\mathcal{O}$, and a host of new vanishing results for coherent sheaves on flag varieties.

Representation Theory,Algebraic Geometry
Invariants and -Spectrums of Local Theta Lifts

Hung Yean Loke,Jiajun Ma

DOI: https://doi.org/10.1112/s0010437x14007520

2014-01-01

Compositio Mathematica

Abstract:Let (C, C'S) be a type I irreducible reductive dual pair in Sp(W-R). We assume that (C, C') is in the stable range where G is the smaller member. Let K and K' be maximal compact subgroups of G and G' respectively. Let g = t circle plus p and g' = t' circle plus p' be the complexified Cartan decompositions of the Lie algebras of G and G' respectively. Let (K) over tilde and (K') over tilde be the inverse images of K and K' in the metaplectic double cover Sp(W-R) of Sp(W-R). Let rho be a genuine irreducible (g, (K) over tilde)-module. Our first main result is that if rho is unitarizable, then except for one special case, the full local theta lift rho' = Theta(rho) is equal to the local theta lift theta(rho). Thus excluding the special case, the full theta lift rho' is an irreducible and unitarizable (g', (K') over tilde)-module. Our second main result is that the associated variety and the associated cycle of p' are the theta lifts of the associated variety and the associated cycle of the contragredient representation p* respectively. Finally we obtain some interesting (9, (K) over tilde)-modules whose (K) over tilde -spectrums are isomorphic to the spaces of global sections of some vector bundles on some nilpotent K-C-orbits in p*.
Local Gromov-Witten invariants and tautological sheaves on Hilbert schemes

Fei Yang,Jian Zhou

DOI: https://doi.org/10.1007/s11425-010-3145-1

2010-01-01

Science China Mathematics

Abstract:We study the local Gromov-Witten invariants of 𝒪 ( k )⊕ 𝒪 (− k −2) → ℙ 1 by localization techniques and the Mariño-Vafa formula, using suitable circle actions. They are identified with the equivariant Riemann-Roch indices of some power of the determinant of the tautological sheaves on the Hilbert schemes of points on the affine plane. We also compute the corresponding Gopakumar-Vafa invariants and make some conjectures about them.
Noether-Lefschetz cycles on the moduli space of abelian varieties

Aitor Iribar Lopez

2024-11-15

Abstract:The locus of non-simple abelian varieties in the moduli space of principally polarized abelian varieties gives rise to Noether-Lefschetz cycles. We study their intersection theoretic properties using the tautological projection constructed in [CMOP24], and show that projection defines a homomorphism when restricted to cycles supported on that locus. Using Hecke correspondences and the pullback by Torelli we prove that $[\mathcal {A}_1 \times \mathcal A_{g-1}]$ is not tautological in the sense of [vdG99] for $g=12$ and $g\geq 16$ even. We also explore the connections between Noether-Lefschetz cycles and the Gromov-Witten theory of a moving elliptic curve.

Algebraic Geometry
Hodge theory, algebraic cycles of hyper-Kähler manifolds

Chenyu Bai

2024-07-28

Abstract:This thesis is devoted to the study of algebraic cycles in projective hyper-Kähler manifolds and strict Calabi-Yau manifolds. It contributes to the understanding of Beauville's and Voisin's conjectures on the Chow rings of projective hyper-Kähler manifolds and strict Calabi-Yau manifolds. It also studies some birational invariants of projective hyper-Kähler manifolds.

Algebraic Geometry
Curve classes on irreducible holomorphic symplectic varieties

Giovanni Mongardi,John Christian Ottem

DOI: https://doi.org/10.1142/S0219199719500780

2019-11-16

Communications in Contemporary Mathematics

Abstract:We prove that the integral Hodge conjecture holds for 1-cycles on irreducible holomorphic symplectic varieties of K3[n] -type and of generalized Kummer type. As an application, we give a new proof of the integral Hodge conjecture for cubic fourfolds.

mathematics, applied
Gromov-Witten Invariants in Complex and Morava-Local K-Theories

Mohammed Abouzaid,Mark McLean,Ivan Smith

DOI: https://doi.org/10.1007/s00039-024-00697-4

2024-10-08

Geometric and Functional Analysis

Abstract:Given a closed symplectic manifold X , we construct Gromov-Witten-type invariants valued both in (complex) K -theory and in any complex-oriented cohomology theory which is K p ( n )-local for some Morava K -theory K p ( n ). We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee's work for the quantum K -theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantum K -theory and quantum -theory as commutative deformations of the corresponding (generalised) cohomology rings of X ; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input of these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus to X . On the algebraic side, in order to establish a common framework covering both ordinary K -theory and K p ( n )-local theories, we introduce a formalism of 'counting theories' for enumerative invariants on a category of global Kuranishi charts.

mathematics
Gromov-Witten invariants in complex and Morava-local $K$-theories

Mohammed Abouzaid,Mark McLean,Ivan Smith

2024-07-17

Abstract:Given a closed symplectic manifold $X$, we construct Gromov-Witten-type invariants valued both in (complex) $K$-theory and in any complex-oriented cohomology theory $\mathbb{K}$ which is $K_p(n)$-local for some Morava $K$-theory $K_p(n)$. We show that these invariants satisfy a version of the Kontsevich-Manin axioms, extending Givental and Lee's work for the quantum $K$-theory of complex projective algebraic varieties. In particular, we prove a Gromov-Witten type splitting axiom, and hence define quantum $K$-theory and quantum $\mathbb{K}$-theory as commutative deformations of the corresponding (generalised) cohomology rings of $X$; the definition of the quantum product involves the formal group of the underlying cohomology theory. The key geometric input to these results is a construction of global Kuranishi charts for moduli spaces of stable maps of arbitrary genus to $X$. On the algebraic side, in order to establish a common framework covering both ordinary $K$-theory and $K_p(n)$-local theories, we introduce a formalism of `counting theories' for enumerative invariants on a category of global Kuranishi charts.

Symplectic Geometry,Algebraic Geometry
Local-global principle for leaf schemes

Hossein Movasati

2024-08-26

Abstract:We study Hodge loci as leaf schemes of foliations. The main ingredient is the Gauss-Manin connection matrix of families of projective varieties. We also aim to investigate a conjecture on the ring of definition of leaf schemes and its consequences such as the algebraicity of leaf schemes (Cattani-Deligne-Kaplan theorem in the case of Hodge loci). This conjecture is a consequence of a local-global principle for leaf schemes.

Algebraic Geometry,Complex Variables,Number Theory
Hodge Moduli Algebras and Complete Invariants of Singularities

Guorui Ma,Yang Wang,Stephen s. -t. Yau,Huaiqing Zuo

DOI: https://doi.org/10.4310/ajm.2024.v28.n1.a1

2024-01-01

Asian Journal of Mathematics

Abstract:We introduce the Hodge moduli algebras and Hodge moduli sequence associated with an isolated hypersurface singularity. These are new subtle invariants of singularities. We propose several characterization conjectures by using of these invariants. We investigate structural properties and numerical invariants of Hodge ideals naturally associated with isolated hypersurface singularities. In particular, we establish that the analytic isomorphisms class of an isolated two dimensional rational hypersurface singularities is determined by the Hodge moduli algebras and Hodge moduli sequence. As a result, we prove that Hodge moduli algebra together with the geometric genus give complete characterization of such singularities. In the proof, we concretely compute the Hodge ideals and the associated Hodge moduli algebras of these singularities.
Hochschild and cyclic Homologies with bounded poles

Masaya Sato

2024-01-05

Abstract:We show that the classical Hochschild homology and (periodic and negative) cyclic homology groups are representable in the category of motives with modulus. We do this by constructing Hochschild homology and (periodic and negative) cyclic homologies for modulus pairs. We show a modulus version of HKR theorem, that is, there exists an isomorphism between modulus Hochschild homology and modulus Kähler differentials for affine normal crossing modulus pairs. By using the representability of modulus Hodge sheaves in the category of motives with modulus, we construct an object of the category of motives with modulus which represents modulus Hochschild homology. Similarly, We compare modulus de Rham cohomology and modulus cyclic homologies and obtain a representability of modulus cyclic homologies.

Algebraic Geometry,K-Theory and Homology

Local and global invariant cycle theorems for Hodge modules

Hodge modules and Kähler morphisms

Local Cohomology of Modular Invariant Rings

$S^1$-localisation by pseudocycles, lifts to $S^1$-localisation of moduli spaces, and application to invariants of $S^1$-equivariant symplectic cohomology

A $p$-adic local invariant cycle theorem with applications to Brauer groups

The Generalized Hodge conjecture for 1-cycles and codimension two algebraic cycles

Vanishing of Local Cohomology with Applications to Hodge Theory

On the Cohomology Groups of Local Systems over Hilbert Modular Varieties Via Higgs Bundles

The local cohomology spectral sequence for topological modular forms

Non-tautological cycles on moduli spaces of smooth pointed curves

Unitary representations of real groups and localization theory for Hodge modules

Invariants and -Spectrums of Local Theta Lifts

Local Gromov-Witten invariants and tautological sheaves on Hilbert schemes

Noether-Lefschetz cycles on the moduli space of abelian varieties

Hodge theory, algebraic cycles of hyper-Kähler manifolds

Curve classes on irreducible holomorphic symplectic varieties

Gromov-Witten Invariants in Complex and Morava-Local K-Theories

Gromov-Witten invariants in complex and Morava-local $K$-theories

Local-global principle for leaf schemes

Hodge Moduli Algebras and Complete Invariants of Singularities

Hochschild and cyclic Homologies with bounded poles