The Hodge conjecture for rationally connected fivefolds

Donu Arapura

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

2005-02-19

Abstract:The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional.

Algebraic Geometry

What problem does this paper attempt to address?

Topological characterization and Hodge structures of some rationally elliptic projective fourfolds

Jianqiang Yang

2024-09-06

Abstract:In this paper, we consider the rationally elliptic projective fourfolds that are holomorphically embedded into the complex projective eight-space $\mathbb{P}^8$. It is proved that a simply-connected $\mathbb Q$-homological projective four-space $X\subset\mathbb{P}^8$ is biholomorphic to $\mathbb P^4$ by using Euler characteristic and Chern numbers formulae of the normal bundle for a holomorphic embedding $i:X \to\mathbb{P}^8$. During the process of proving the result, we incidentally discovered that a $\mathbb{Q}$-homological projective 4-space $X$ with Kodaira dimension $k(X) \neq 4$ is isomorphic to $\mathbb{P}^4$. This finding provides a positive answer to a question posed by Wilson in the case where the dimension $n=4$. Using a similar approach, we show that the Hodge conjecture holds for the rationally elliptic fourfold $X \subset\mathbb{P}^8$, and the rationally elliptic fourfold $X \subset\mathbb{P}^8$ has non-positive Hodge level.

Algebraic Geometry
On the abelian fivefolds attached to cubic surfaces

Jeff Achter

DOI: https://doi.org/10.4310/MRL.2013.v20.n5.a1

2013-10-29

Abstract:To a family of smooth projective cubic surfaces one can canonically associate a family of abelian fivefolds. In characteristic zero, we calculate the Hodge groups of the abelian varieties which arise in this way. In arbitrary characteristic we calculate the monodromy group of the universal family of abelian varieties, and thus show that the Galois group of the 27 lines on a suitably general cubic surface in positive characteristic is as large as possible.

Algebraic Geometry,Number Theory
Hodge-theoretic variants of the Hopf and Singer Conjectures

Donu Arapura,Laurentiu Maxim,Botong Wang

2023-10-22

Abstract:We propose several Hodge theoretic analogues of the conjectures of Hopf and Singer, and prove them in some special cases.

Algebraic Geometry
Hodge conjecture for projective hypersurface

Johann Bouali

2024-01-29

Abstract:We show that a Hodge class of a complex smooth projective hypersurface is an analytic logarithmic De Rham class. On the other hand we show that for a complex smooth projective variety an analytic logarithmic De Rham class of of type $(d,d)$ is the class of codimension $d$ algebraic cycle. We deduce the Hodge conjecture for smooth projective hypersurfaces.

Algebraic Geometry
The primitive cohomology of the theta divisor of an abelian fivefold

E. Izadi,Cs. Tamas,J. Wang

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

2013-11-25

Abstract: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.

Algebraic Geometry
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.
A Hodge-theoretic proof of Hwang's theorem on base manifolds of Lagrangian fibrations

Benjamin Bakker,Christian Schnell

2023-11-15

Abstract:We give a Hodge-theoretic proof of Hwang's theorem, which says that if the base of a Lagrangian fibration of an irreducible holomorphic symplectic manifold is smooth, it must be projective space.

Algebraic Geometry
Equivariant Hodge modules and rational singularities

Donu Arapura,Scott Hiatt

2024-03-25

Abstract:We define a notion of Hodge modules with rational singularities. A variety has rational singularities in the usual sense, if it is normal and the Hodge module related to intersection cohomology has rational singularities in the present sense. Our main result is a generalization of Boutot's theorem that if a reductive group acts on an affine variety with a stable point, and $H$ is an equivariant Hodge module with rational singularities, then the induced module on the GIT quotient also has rational singularities.

Algebraic Geometry
The homotopy decomposition of the suspension of a non-simply-connected five-manifold – ADDENDUM

Pengcheng Li,Zhongjian Zhu

DOI: https://doi.org/10.1017/prm.2024.72

2024-06-01

Proceedings of the Royal Society of Edinburgh Section A Mathematics

Abstract://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0308210524000726/resource/name/firstPage-pdf-S0308210524000726a.jpg

mathematics, applied
Moduli of Higgs bundles over the five punctured sphere

Thiago Fassarella,Frank Loray

2023-03-22

Abstract:We look at rank two parabolic Higgs bundles over the projective line minus five points which are semistable with respect to a weight vector $\mu\in[0,1]^5$. The moduli space corresponding to the central weight $\mu_c=(\frac{1}{2}, \dots, \frac{1}{2})$ is studied in details and all singular fibers of the Hitchin map are described, including the nilpotent cone. After giving a description of fixed points of the $\mathbb C^*$-action we obtain a proof of Simpson's foliation conjecture in this case. For each $n\ge 5$, we remark that there is a weight vector so that the foliation conjecture in the moduli space of rank two logarithmic connections over the projective line minus $n$ points is false.

Algebraic Geometry,Mathematical Physics
The Dirac-Dolbeault Operator Approach to the Hodge Conjecture

Simone Farinelli

DOI: https://doi.org/10.3390/sym16101291

2024-10-01

Symmetry

Abstract:The Dirac-Dolbeault operator for a compact Kähler manifold is a special case of Dirac operator. The Green function for the Dirac Laplacian over a Riemannian manifold with boundary allows the expression of the values of the sections of the Dirac bundle in terms of the values on the boundary, extending the mean value theorem of harmonic analysis. Utilizing this representation and the Nash–Moser generalized inverse function theorem, we prove the existence of complex submanifolds of a complex projective manifold satisfying globally a certain partial differential equation under a certain injectivity assumption. Thereby, internal symmetries of Dolbeault and rational Hodge cohomologies play a crucial role. Next, we show the existence of complex submanifolds whose fundamental classes span the rational Hodge classes, proving the Hodge conjecture for complex projective manifolds.

multidisciplinary sciences
Examples for the standard conjecture of Hodge type

Thomas Agugliaro

2024-01-31

Abstract:For each prime number $p$ and each integer $g \geqslant 5$, we construct infinitely many abelian varieties of dimension $g$ over $\overline{\mathbb{F}}_p$ satisfying the standard conjecture of Hodge type. The main tool is a recent theorem of Ancona on certain rank $2$ motives. These varieties are constructed explicitly through Honda-Tate theory. Moreover, they have Tate classes that are not generated by divisors nor liftable to characteristic zero. Also, we prove a result towards a classification of simple abelian varieties for which the result of Ancona can be applied to. Along the way, we prove a result about Honda-Tate theory of independant interest.

Algebraic Geometry,Number Theory
Congruences for the number of rational points, Hodge type and motivic conjectures for Fano varieties

Spencer Bloch,Hélène Esnault

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

2002-12-19

Abstract:This is meant to be a survey article for the Cubo Journal. We discuss the existence and number of rational points over a finite field, the Hodge type over the complex numbers, and the motivic conjectures which are controlling those invariants. We present a geometric version of it.

Algebraic Geometry
Degeneration of families of projective hypersurfaces and Hodge conjecture

Johann Bouali

2024-04-28

Abstract:We prove by induction on dimension the Hodge conjecture for smooth complex projective varieties. Let $X$ be a smooth complex projective variety. Then $X$ is birational to a possibly singular projective hypersurface, hence to a smooth projective variety $E_0$ which is a component of a normal crossing divisor $E=\cup_{i=0}^rE_i\subset Y$ which is the singular fiber of a pencil $f:Y\to\mathbb A^1$ of smooth projective hypersurfaces. Using the smooth hypersurface case by a previous result of the autor, the nearby cycle functor on mixed Hodge module with rational de Rham factor, and the induction hypothesis, we prove that an Hodge class of $E_0$ is absolute Hodge, more precisely the locus of Hodge classes inside the algebraic vector bundle given the De Rham cohomology the rational deformation of $E_0$ is defined over $\mathbb Q$. By another previous result of the autor, we get the Hodge conjecture for $E_0$. By the induction hypothesis we also have the Hodge conjecture for $X$.

Algebraic Geometry
Hodge cycles for cubic hypersurfaces

Hossein Movasati

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

2019-02-03

Algebraic Geometry

Abstract:We study an algebraic cycle of the form $Z_0= r {\mathbb P}^{\frac{n}{2}}+\check r \check{\mathbb P}^{\frac{n}{2}}$, $r \in{\mathbb N},\check r \in{\mathbb Z},\ \ 1\leq r , |\check r |\leq 10,\ \ \gcd ( r ,\check r )=1$, inside the cubic Fermat variety $X_0$ of even dimension $n\geq 4$ and with $\dim\left ({\mathbb P}^{\frac{n}{2}}\cap \check{\mathbb P}^{\frac{n}{2}}\right)=m$. We take a smooth deformation space $\sf S$ of $X_0$ such that the triple $(X_0, {\mathbb P}^\frac{n}{2}, \check{\mathbb P}^\frac{n}{2})$ becomes rigid. For $m=\frac{n}{2}-2$ and for many examples of $N\in{\mathbb N}$ and $n$ we show that the $N$-th order Hodge locus attached to $Z_0$ is smooth and reduced of positive dimension if and only if $( r ,\check r )=(1,-1)$. In this case, the underlying algebraic cycles are conjectured to be cubic ruled cycles. For $m=\frac{n}{2}-3$ the same happens for all choices of coefficients $ r $ and $\check r $ and we do not know what kind of algebraic cycles might produce such Hodge cycles. The first case gives us a conjectural description of a component of the Hodge locus, and the second case gives us strong computer assisted evidences for the existence of new Hodge cycles for cubic hypersurfaces. Whereas the well-known construction of Hodge cycles due to D. Mumford and A. Weil for CM abelian varieties, and Y. Andr\'e's motivated cycles can be described in theoretical terms, the full proof of the existence of our Hodge cycle seems to be only possible with more powerful computing machines.
Hilali conjecture and complex algebraic varieties

Shoji Yokura

2024-07-09

Abstract:A simply connected topological space is called \emph{rationally elliptic} if the rank of its total homotopy group and its total (co)homology group are both finite. A well-known Hilali conjecture claims that for a rationally elliptic space its homotopy rank \emph{does not exceed} its (co)homology rank. In this paper, after recalling some well-known fundamental properties of a rationally elliptic space and giving some important examples of rationally elliptic spaces and rationally elliptic singular complex algebraic varieties for which the Hilali conjecture holds, we give some revised formulas and some conjectures. We also discuss some topics such as mixd Hodge polynomials defined via mixed Hodge structures on cohomology group and the dual of the homotopy group, related to the ``Hilali conjecture \emph{modulo product}", which is an inequality between the usual homological Poincaré polynomial and the homotopical Poincaré polynomial.

Algebraic Topology,Algebraic Geometry
Addendum to: Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$ (homological interpretation)

Tadayuki Watanabe

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

2023-02-02

Abstract:In this addendum, we give a differential form interpretation of the proof of the main theorem of <a class="link-https" data-arxiv-id="1812.02448" href="https://arxiv.org/abs/1812.02448">arXiv:1812.02448</a>, which gives lower bounds of the dimensions of $\pi_k(B\mathrm{Diff}(D^4,\partial))\otimes\mathbb{Q}$ in terms of the dimensions of Kontsevich's graph homology, and explain why it can be extended to arbitrary even dimensions $d\geq 4$. We attempted to make the proof accessible to more readers. Thus we do not assume familiarity with configuration space integrals nor knowledge of finite type invariants. Part of this addendum might be joined to the original article when it will be re-submitted to the journal. This is not aimed at giving a correction to the previous version.

Geometric Topology,Algebraic Topology
Hodge rank of ACM bundles and Franchetta's conjecture

Indranil Biswas,G.V. Ravindra

2023-06-06

Abstract:We prove that on a general hypersurface in $\mathbb{P}^N$ of degree $d$ and dimension at least $2$, if an arithmetically Cohen-Macaulay (ACM) bundle $E$ and its dual have small regularity, then any non-trivial Hodge class in $H^{n}(X, E\otimes\Omega^n_X)$, $n = \lfloor\frac{N-1}{2}\rfloor$, produces a trivial direct summand of $E$. As a consequence, we prove that there is no universal Ulrich bundle on the family of smooth hypersurfaces of degree $d\geq 3$ and dimension at least $4$. This last statement may be viewed as a Franchetta-type conjecture for Ulrich bundles on smooth hypersurfaces.

Algebraic Geometry
Rational $p$-adic Hodge theory for rigid-analytic varieties

Guido Bosco

2023-06-10

Abstract:We study a cohomology theory for rigid-analytic varieties over $\mathbb{C}_p$, without properness or smoothness assumptions, taking values in filtered quasi-coherent complexes over the Fargues-Fontaine curve, which compares to other rational $p$-adic cohomology theories for rigid-analytic varieties $-$ namely, the rational $p$-adic pro-étale cohomology, the Hyodo-Kato cohomology, and the infinitesimal cohomology over the positive de Rham period ring. In particular, this proves a conjecture of Le Bras. Such comparison results are made possible thanks to the systematic use of the condensed and solid formalisms developed by Clausen-Scholze. As applications, we deduce some general comparison theorems that describe the rational $p$-adic pro-étale cohomology in terms of de Rham data, thereby recovering and extending results of Colmez-Niziol.

Algebraic Geometry,Number Theory
Hodge theory in combinatorics

Matthew Baker

DOI: https://doi.org/10.1090/bull/1599

2017-09-11

Bulletin of the American Mathematical Society

Abstract:If GG is a finite graph, a proper coloring of GG is a way to color the vertices of the graph using nn colors so that no two vertices connected by an edge have the same color. (The celebrated four-color theorem asserts that if GG is planar, then there is at least one proper coloring of GG with four colors.) By a classical result of Birkhoff, the number of proper colorings of GG with nn colors is a polynomial in nn, called the chromatic polynomial of GG. Read conjectured in 1968 that for any graph GG, the sequence of absolute values of coefficients of the chromatic polynomial is unimodal: it goes up, hits a peak, and then goes down. Read’s conjecture was proved by June Huh in a 2012 paper making heavy use of methods from algebraic geometry. Huh’s result was subsequently refined and generalized by Huh and Katz (also in 2012), again using substantial doses of algebraic geometry. Both papers in fact establish log-concavity of the coefficients, which is stronger than unimodality. The breakthroughs of the Huh and Huh–Katz papers left open the more general Rota–Welsh conjecture, where graphs are generalized to (not necessarily representable) matroids, and the chromatic polynomial of a graph is replaced by the characteristic polynomial of a matroid. The Huh and Huh–Katz techniques are not applicable in this level of generality, since there is no underlying algebraic geometry to which to relate the problem. But in 2015 Adiprasito, Huh, and Katz announced a proof of the Rota–Welsh conjecture based on a novel approach motivated by but not making use of any results from algebraic geometry. The authors first prove that the Rota–Welsh conjecture would follow from combinatorial analogues of the hard Lefschetz theorem and Hodge–Riemann relations in algebraic geometry. They then implement an elaborate inductive procedure to prove the combinatorial hard Lefschetz theorem and Hodge–Riemann relations using purely combinatorial arguments. We will survey these developments.

mathematics

The Hodge conjecture for rationally connected fivefolds

Topological characterization and Hodge structures of some rationally elliptic projective fourfolds

On the abelian fivefolds attached to cubic surfaces

Hodge-theoretic variants of the Hopf and Singer Conjectures

Hodge conjecture for projective hypersurface

The primitive cohomology of the theta divisor of an abelian fivefold

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

A Hodge-theoretic proof of Hwang's theorem on base manifolds of Lagrangian fibrations

Equivariant Hodge modules and rational singularities

The homotopy decomposition of the suspension of a non-simply-connected five-manifold – ADDENDUM

Moduli of Higgs bundles over the five punctured sphere

The Dirac-Dolbeault Operator Approach to the Hodge Conjecture

Examples for the standard conjecture of Hodge type

Congruences for the number of rational points, Hodge type and motivic conjectures for Fano varieties

Degeneration of families of projective hypersurfaces and Hodge conjecture

Hodge cycles for cubic hypersurfaces

Hilali conjecture and complex algebraic varieties

Addendum to: Some exotic nontrivial elements of the rational homotopy groups of $\mathrm{Diff}(S^4)$ (homological interpretation)

Hodge rank of ACM bundles and Franchetta's conjecture

Rational $p$-adic Hodge theory for rigid-analytic varieties

Hodge theory in combinatorics