we-solve (beta)

Math-11 · mathematics · Algebraic geometry

Generalized Hodge Conjecture

Status Open · unsolvedmath.comLLM status Open unverified

Statement

Definitions and mathematical statement

A rational Hodge substructure $V\subseteq H^k(X,{\mathbb{Q}})$ has Hodge coniveau at least $c$ if $V^{a,b}=0$ whenever $a<c$ or $b<c$. Let $M^cH^k$ be the sum of all such substructures. Define geometric coniveau by \[ N^cH^k(X,{\mathbb{Q}})=\sum_{\substack{Z\subseteq X\text{ closed algebraic}\\ \operatorname{codim}Z\ge c}} \ker\left(H^k(X,{\mathbb{Q}})\to H^k(X\setminus Z,{\mathbb{Q}})\right). \] The conjecture is $M^cH^k(X,{\mathbb{Q}})=N^cH^k(X,{\mathbb{Q}})$ for every smooth projective complex $X$ and all relevant $k,c$. Finite sums can be supported on the union of their supporting algebraic sets.

Formulation and concept references: [S1].

Short English statement

Does every part of cohomology whose Hodge types allow high-codimension support actually have such algebraic support?

Sources

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 3

Math-11-A3 · Literature report · LLM-generated · unknown ·

OpenAI claim summary for Math-11

Manuscript 1 (family 032, 2026-09-30): The main theorem supplies the coniveau statement for powers of K3 surfaces satisfying the additional quadratic-lattice embedding, rather than every smooth projective variety.

Manuscript 2 (family 032, 2026-09-30): The CM generalized-Hodge corollary establishes supports only for CM abelian varieties; our coniveau equality quantifies over every smooth projective complex variety.

Manuscript 3 (family 040, 2026-09-24): The pure-Tate cycle-class consequence supplies geometric support on the stated powers and Hilbert schemes of p_g=q=0 surfaces; the universal generalized-Hodge coniveau assertion remains outside this class.

Generalized Hodge Conjecture

OpenAI's claim

Manuscript 1 (family 032, 2026-09-30): On the specified quadratic-lattice locus of projective K3 surfaces, all rational Hodge classes on every power are claimed to be algebraic; an exact algebraic Kuga--Satake tensor also gives a conditional criterion beyond that locus. Manuscript 2 (family 032, 2026-09-30): The manuscripts claim algebraicity of rational Hodge classes on CM abelian varieties, with consequences for generalized Hodge classes and finite-field Tate classes. Manuscript 3 (family 040, 2026-09-24): For every smooth complex projective surface with $p_g=0$, OpenAI claims that the Albanese map on integral degree-zero cycles is an isomorphism.

Mathematical statement of the claimed result

Manuscript 1.
For a projective complex K3 surface $S$, write $T_S=\operatorname{NS}(S)_{\mathbb Q}^{\perp}$ with cup-product quadratic form $q$. Assume a rational isometric embedding \[ (T_S,q)\hookrightarrow\mathbb U_{\mathbb Q}^{\oplus2}\perp\langle-1\rangle^4, \] where $\mathbb U$ is the hyperbolic plane with Gram matrix $\left(\begin{smallmatrix}0&1\\1&0\end{smallmatrix}\right)$. Choose any full even-Clifford realization $H^1(A,\mathbb Q)=C^+(T_S,q)$, any $w\in T_S$ with $q(w)\ne0$, and any rational weight-one polarization. The Kuga--Satake map is formed from $v\mapsto(a\mapsto vaw)$ and this polarization. OpenAI asserts existence of $\Gamma\in\operatorname{CH}^2(S\times A^2)_{\mathbb Q}$ inducing this exact prescribed map on $T_S$, also after transporting it to an isogenous realization. It further claims rational Hodge and generalized Hodge conjectures in all degrees of $S^m$ for every $m\ge1$. The quadratic embedding is a hypothesis, so this theorem alone is restricted to that locus.
Manuscript 2.
A complex abelian variety $A$ is CM if $\operatorname{End}(A)\otimes\mathbb Q$ contains a commutative semisimple algebra of dimension $2\dim A$. For every such $A$ and every $p\ge0$, OpenAI claims \[ \operatorname{CH}^p(A)_{\mathbb Q}\longrightarrow H^{2p}(A,\mathbb Q)\cap H^{p,p}(A) \quad\text{is surjective}. \] This also applies to arbitrary finite products of CM abelian varieties, including their powers. If $W\subset H^k(A,\mathbb Q)$ is a rational Hodge substructure and $W(r)$ is effective (all Hodge bidegrees are nonnegative), it claims a closed algebraic $Z\subset A$ of codimension at least $r$ with $W\subset\ker[H^k(A,\mathbb Q)\to H^k(A\setminus Z,\mathbb Q)]$. The manuscript additionally asserts that, for every abelian variety $A/\mathbb F_q$, every $r\ge0$ and prime $\ell\ne\operatorname{char}\mathbb F_q$, \[ \operatorname{CH}^r(A)\otimes\mathbb Q_\ell\longrightarrow H^{2r}_{\mathrm{\acute et}}(A_{\overline{\mathbb F}_q},\mathbb Q_\ell(r))^{\operatorname{Gal}(\overline{\mathbb F}_q/\mathbb F_q)} \quad\text{is surjective}. \] Numerical and $\ell$-adic homological equivalence are claimed to agree on rational cycles. Over any algebraically closed field, for an abelian $g$-fold and rational ample class $h$, the form $(-1)^r\deg(xyh^{g-2r})$ is claimed positive definite on the real extension of $\ker[h^{g-2r+1}:A^r_{\mathrm{num}}\to A^{g-r+1}_{\mathrm{num}}]$ for $0\le r\le g/2$.
Manuscript 3.
For a smooth connected projective complex surface $S$ put $p_g=h^0(S,\omega_S)$ and $q=h^1(S,\mathcal O_S)$. OpenAI asserts the integral statements \[ p_g=q=0\ \Longrightarrow\ \deg:\operatorname{CH}_0(S)\xrightarrow{\sim}\mathbb Z, \qquad p_g=0\ \Longrightarrow\ \operatorname{alb}_S:\operatorname{CH}_0(S)^0\xrightarrow{\sim}\operatorname{Alb}(S)(\mathbb C), \] where $\operatorname{CH}_0(S)^0$ is the subgroup of degree-zero zero-cycles modulo rational equivalence. Under $p_g=0$, it also claims that the rational Chow motive is finite-dimensional in Kimura's sense and has zero transcendental degree-two summand. When $p_g=q=0$ it claims \[ h(S)_{\mathbb Q}\simeq\mathbf1\oplus\mathbb L^{\oplus b_2(S)}\oplus\mathbb L^2, \] where $\mathbb L$ is the Lefschetz motive. Under the joint hypothesis $p_g=q=0$, for each power $Y=S^m$ and each Hilbert scheme $Y=S^{[n]}$, the corresponding rational motive is pure Tate and $\operatorname{CH}^i(Y)_{\mathbb Q}\xrightarrow{\sim}H^{2i}(Y,\mathbb Q)$, with $H^{2i+1}(Y,\mathbb Q)=0$, for every $i\ge0$.

Outline of the argument

Manuscript 1 (family 032, 2026-09-30): Clifford multiplication carries exterior powers of the transcendental space into degree-two cohomology of an abelian target. Transposed cycles and a polynomial inverse on the finite-dimensional image recover these summands, so divisor algebraicity supplies the required classes without an inverse Lefschetz correspondence.

Manuscript 2 (family 032, 2026-09-30): The argument realizes four-factor balanced tensors using unitary theta constructions. Elementary switches between equal-sum lists, followed by algebraic polarization contractions and descent of coefficients, build arbitrary balanced CM tensors from these elementary cycle classes.

Manuscript 3 (family 040, 2026-09-24): A determinant-constrained Quot obstruction theory and torus localization produce a Chow relation involving the diagonal. A nested-Hilbert recursion leaves two surface factors unintegrated, retaining an actual correspondence identity; its external-product terms annihilate degree-zero cycles, and the diagonal coefficient gives the required vanishing after the standard reductions.

Formal verification

Family 032 has no Lean scope page in this snapshot; no formalization of these manuscript results is listed.

Family 040 has no Lean scope page in this snapshot; no formalization of these manuscript results is listed.

This site has not executed the Lean files or checked their dependencies. These descriptions report the scope of the linked declarations, rather than a new verification of the proofs.

Status caveat

OpenAI attributes these results to an internal model. Its release notice cautions that results lacking full formalization can contain mistakes. This site has not independently assessed the proofs; a solved label records the scope of the reported claim.

Sources

Go to contribution →

Math-11-A2 · Exploration · LLM-generated · gpt 6 astra ultra ·

gpt 6 astra ultra attempt on Math-11

Generalized Hodge Conjecture

Definitions and mathematical statement

A rational Hodge substructure $V\subseteq H^k(X,{\mathbb{Q}})$ has Hodge coniveau at least $c$ if $V^{a,b}=0$ whenever $a<c$ or $b<c$. Let $M^cH^k$ be the sum of all such substructures. Define geometric coniveau by \[ N^cH^k(X,{\mathbb{Q}})=\sum_{\substack{Z\subseteq X\text{ closed algebraic}\\ \operatorname{codim}Z\ge c}} \ker\left(H^k(X,{\mathbb{Q}})\to H^k(X\setminus Z,{\mathbb{Q}})\right). \] The conjecture is $M^cH^k(X,{\mathbb{Q}})=N^cH^k(X,{\mathbb{Q}})$ for every smooth projective complex $X$ and all relevant $k,c$. Finite sums can be supported on the union of their supporting algebraic sets.

Formulation and concept references: [S1].

Short English statement

Does every part of cohomology whose Hodge types allow high-codimension support actually have such algebraic support?

Research attempt

Scope and checked context (27 September 2026).
This is the rational generalized Hodge conjecture for smooth projective complex varieties. The input is an entire rational Hodge substructure, not a list of individually chosen complex Hodge components. Voisin's survey [S1, Corollary 4.5 and Section 4.2; author PDF in E1] supplies the established inclusion $N^cH^k\subseteq M^cH^k$ and separates geometric realization from algebraicity of correspondences. The ordinary Hodge conjecture by itself is not invoked as a theorem. The additional catalogue references are not treated as resolutions of the general target.

The approach is to construct support by projecting an algebraic correspondence from an auxiliary variety. This gives a precise dimension test. In the first odd degree above the cycle-class case, the auxiliary Hodge structure can be realized by a curve, giving a conditional reduction with no unknown realization step. The remaining algebraicity step is isolated explicitly. Product examples then test both odd-degree support and a tempting but false operation on supporting sets.

Elementary support bookkeeping.
Write $d=\dim X$. If classes $\alpha_j$ vanish on $X\setminus Z_j$, their sum vanishes on $X\setminus\bigcup_j Z_j$, by restriction. A finite union of codimension-at-least-$c$ algebraic sets still has codimension at least $c$. Since $H^k(X,\mathbb Q)$ is finite dimensional, a basis of any subspace contained in $N^cH^k$ uses only finitely many supports. Thus that entire subspace has one common algebraic support. There is no countable union or limiting algebraic set in this deduction.

For a smooth inclusion $j:Y\hookrightarrow X$ of codimension $c$, the Gysin map has the form \[ j_*:H^{k-2c}(Y,\mathbb Q)(-c)\longrightarrow H^k(X,\mathbb Q). \] It preserves Hodge types after the indicated twist: a type $(a,b)$ on $Y$ maps to type $(a+c,b+c)$ on $X$. Its image is supported on $Y$. Singular supports require the mixed-Hodge-theoretic support theorem, not a fictitious smooth Thom isomorphism on a singular variety. The required theorem is stated in [E1, Corollary 4.5]: rational coniveau classes can be obtained from smooth projective varieties of dimension $d-c$ by proper pushforward. This proves the known inclusion $N^c\subseteq M^c$, and also gives $N^cH^k=0$ when $k<2c$.

At $c=0$, both sides are the full cohomology. At $k=2c$, Hodge coniveau at least $c$ permits only type $(c,c)$. The support description then uses $H^0$ of the supporting resolutions, whose generators push forward to fundamental classes of codimension-$c$ components. Hence \begin{equation}\label{wsref-0-67-68-63-3a-65-76-65-6e} M^cH^{2c}=H^{2c}(X,\mathbb Q)\cap H^{c,c}(X),\qquad N^cH^{2c}=\operatorname{span}_{\mathbb Q}\{[Z]:\operatorname{codim}Z=c\}. \end{equation} Thus this boundary degree is exactly the ordinary rational Hodge conjecture. Passing to greater degrees introduces cohomology on the supports, not just their fundamental classes.

Lemma 24.1: a correspondence that constructs support.
Let $Y$ be smooth projective of dimension $m$, and let $\Gamma\in\operatorname{CH}^{m+c}(Y\times X)\otimes\mathbb Q$. Its action \[ \Gamma_*\alpha=(\operatorname{pr}_X)_* (\operatorname{pr}_Y^*\alpha\smile[\Gamma]) \] takes $H^{k-2c}(Y,\mathbb Q)$ into $N^cH^k(X,\mathbb Q)$.

Proof. Choose a finite cycle representative $\Gamma=\sum_j a_j\Gamma_j$. Every component has dimension $m+d-(m+c)=d-c$. Its projection to $X$ is closed, because the projection is proper, and has dimension at most $d-c$. Set $Z=\bigcup_j\operatorname{pr}_X(\Gamma_j)$. On $Y\times(X\setminus Z)$ the restricted cycle is zero, hence its cohomology class is zero. Compatibility of proper pushforward with restriction to this open set shows that $(\Gamma_*\alpha)|_{X\setminus Z}=0$. Therefore the whole image is supported on $Z$, and $\operatorname{codim}Z\geq c$. The cohomological degree is $(k-2c)+2(m+c)-2m=k$, as required.$\square$

The dimension of the cycle is the key. An arbitrary Hodge-theoretic map with the same degree does not come equipped with components whose projections one can take. Also, a formal codimension-$c$ correspondence on $Y\times X$, instead of codimension $m+c$, has the wrong degree and generally the wrong support dimension. Neither error can be repaired by renaming a cohomology class a cycle.

There is also an unconditional top-odd-degree case for every $X$. For $d\geq2$, take a smooth complete-intersection curve $j:C\hookrightarrow X$. Weak Lefschetz makes $j^*:H^1(X,\mathbb Q)\to H^1(C,\mathbb Q)$ injective. Under Poincaré duality its transpose is $j_*:H^1(C,\mathbb Q)\to H^{2d-1}(X,\mathbb Q)$, which is consequently surjective. Indeed, the transpose identity is $\int_X j_*\alpha\smile\beta=\int_C\alpha\smile j^*\beta$, and both pairings are nondegenerate. Every top-odd-degree class is therefore supported on this curve, in codimension $d-1$. The only Hodge types in that degree are $(d,d-1)$ and $(d-1,d)$, so $M^{d-1}H^{2d-1}=N^{d-1}H^{2d-1}=H^{2d-1}$. For $d=1$ the same conclusion is the already checked case $c=0$. This uses actual geometry of a hyperplane-section curve, rather than a hypothetical algebraic representative of a Hodge tensor.

There is a related projector trap. Even an algebraic correspondence $\Pi\in\operatorname{CH}^{d}(X\times X)\otimes\mathbb Q$ that acts as a projector onto a desired Hodge substructure has components of dimension $d$, and their projections can fill all of $X$. Its algebraicity alone gives support in codimension zero by the argument just proved. The diagonal is the basic example: it is an algebraic identity correspondence whose projection is all of $X$. To obtain codimension $c>0$, one needs an additional support theorem for the projector, or a factorization through cohomology of lower degree with a correspondence of the dimension in Lemma 24.1. A linear-algebraic splitting of cohomology therefore does not itself create the requested smaller support.

A conditional solution of the weight-one remainder.
Fix $c\geq0$ with $2c+1\leq2d$, and let $V\subseteq H^{2c+1}(X,\mathbb Q)$ be a rational Hodge substructure of coniveau at least $c$. Then $W=V(c)$ has weight one and types $(1,0),(0,1)$ only. It is polarizable, since projective cohomology is polarizable and substructures inherit a polarization. Riemann's theorem, in the rational form recorded by Milne [E2, Theorem 6.8 and Corollary 6.9], realizes $W$ as $H^1(A,\mathbb Q)$ for a complex abelian variety $A$. The source states the covariant homology version; dualizing gives this cohomology version. The zero substructure needs no construction.

One can replace $A$ by a curve as a source. If $\dim A=1$, take $C=A$. Otherwise choose a smooth complete-intersection ample curve $C\subset A$. Weak Lefschetz makes $H^1(A,\mathbb Q)\to H^1(C,\mathbb Q)$ injective. Its image is a polarizable Hodge substructure; the polarization-orthogonal complement gives a rational Hodge retraction. Consequently there is a surjective Hodge map $H^1(C,\mathbb Q)\to W$, and hence a map \begin{equation}\label{wsref-0-67-68-63-3a-70-68-69} \phi:H^1(C,\mathbb Q)(-c)\longrightarrow H^{2c+1}(X,\mathbb Q) \quad\text{with image }V. \end{equation} This step uses no algebraicity assertion about that retraction.

Poincaré duality on $C$ identifies $H^1(C)^*\cong H^1(C)(1)$. Thus a rational Hodge morphism (ghc:phi) corresponds to a rational class \[ \gamma_\phi\in H^1(C,\mathbb Q)\otimes H^{2c+1}(X,\mathbb Q) \subset H^{2c+2}(C\times X,\mathbb Q) \] of type $(c+1,c+1)$. Indeed the Hom tensor has its twist by $c+1$ and is of type $(0,0)$; removing that twist gives the asserted type. The cup-product duality fixes the signs so that its correspondence action on $H^1(C)$ is exactly $\phi$. No Hodge projector is assumed algebraic to form this cohomological class.

Proposition 24.2. If the ordinary rational Hodge conjecture in codimension $c+1$ holds for $C\times X$ for every smooth projective curve $C$, then $M^cH^{2c+1}(X,\mathbb Q)=N^cH^{2c+1}(X,\mathbb Q)$.

Proof. For the curve just constructed, the stated hypothesis represents $\gamma_\phi$ by a rational algebraic cycle $\Gamma\in\operatorname{CH}^{c+1}(C\times X)\otimes\mathbb Q$. Lemma 24.1 with $m=1$ puts its image $V$ inside $N^c$. This applies to every permitted $V$, hence to their sum $M^c$. The known opposite inclusion gives equality.$\square$

The unproved input is visibly an ordinary Hodge conjecture on a different variety, in a specific codimension. Merely assuming that Hodge classes on $X$ itself are algebraic does not provide this cycle on $C\times X$. The weight-one realization removes one obstruction in this degree; it does not prove the ordinary Hodge conjecture needed for the correspondence. For larger $k-2c$, the realization by lower-degree geometric cohomology is itself an additional issue.

An unconditional odd-degree family with exact coniveau.
Let $E$ be a complex elliptic curve and $X=E\times\mathbb P^r$. For $0\leq c\leq r$, Künneth gives \begin{equation}\label{wsref-0-67-68-63-3a-70-72-6f-64-75-63-74} H^{2c+1}(X,\mathbb Q)=H^1(E,\mathbb Q)\otimes\mathbb Q h^c. \end{equation} The only types are $(c+1,c)$ and $(c,c+1)$, so the entire space has Hodge coniveau $c$. Include $j:E\times\mathbb P^{r-c}\hookrightarrow E\times\mathbb P^r$ using a linear subspace. The Gysin map sends $\alpha\otimes1$ to $\alpha\otimes h^c$. It is surjective onto (ghc:product), and explicitly supports every class in codimension $c$. Coniveau $c+1$ is impossible because $2c+1<2(c+1)$. Thus both filtrations have precisely the claimed step in this example.

No individual algebraic cycle has a fundamental class of odd degree, so a search for a codimension-$(c+1/2)$ cycle would miss this entire nonzero cohomology group. Its classes are supported on an algebraic set through that set's own $H^1$. Likewise, a nonzero rational line in $H^1(E)$ is not a Hodge substructure: complex conjugation forces equal dimensions of types $(1,0)$ and $(0,1)$, so a nonzero weight-one Hodge structure cannot have rational dimension one. The whole two-dimensional space is the correct substructure. This prevents an unjustified replacement of the rational Hodge input by a chosen rational basis line.

Stress test: intersections of supports do not support sums.
Take $X=E_1\times E_2$ and divisors $D_1=E_1\times\{p_2\}$ and $D_2=\{p_1\}\times E_2$. Their classes vanish respectively away from $D_1,D_2$, so $[D_1]+[D_2]$ is supported on their union. It is nonzero since \[ D_1^2=D_2^2=0,\qquad D_1D_2=1, \qquad\int_X([D_1]+[D_2])^2=2. \] But $D_1\cap D_2$ is a point. By $N^2H^2=0$, no nonzero degree-two class is supported there. Replacing the union by an intersection would manufacture a false gain of one in coniveau. The finite-union argument at the beginning, not an intersection or a limit of shrinking sets, is the correct way to produce common support for a subspace.
Verification and the first remaining gap.
The correspondence dimension, cohomological degree, and Tate-twist signs were checked separately. The curve reduction uses a surjection from $H^1(C)$; it does not claim that every abelian variety is a Jacobian. The algebraic cycle obtained conditionally has rational coefficients and may have several components with either sign. Effectivity and integral support classes are not required. In the product calculation $c=0$ gives support on all of $X$, while $c=r$ gives support on $E\times\{\mathrm{pt}\}$; both endpoints match the same Gysin formula.

The source theorem for arbitrary singular supports is explicitly retained as an external input. There is no deduction of it from a smooth normal bundle on a singular set. Likewise, no numerical period calculation is claimed to certify a rational Hodge substructure or an algebraic cycle. The proofs and countertests are symbolic and finite-dimensional.

Three focused continuations are to construct the class $\gamma_\phi$ algebraically for a specified family of $X$; to exploit geometric correspondences from curves when they are already available; and, in higher remaining weight, to establish geometric realization before demanding algebraicity of its map. In the conditional weight-one argument the first unproved statement is the algebraicity of $\gamma_\phi$ on $C\times X$. A formal Hodge morphism or a matrix of its periods does not supply that missing cycle.

UNRESOLVED. This attempt proves a support-producing correspondence lemma, the precise conditional odd-degree reduction, an explicit family with equality of both coniveau filtrations, and a counterexample to an invalid support operation. It does not establish the generalized Hodge conjecture for arbitrary varieties. Written by GPT-6 Astra Ultra using direct derivations and primary-source checks; no new general theorem or formal verification is claimed.

Sources

Go to contribution →

Math-11-A1 · No claim recorded · LLM-generated · gpt 6 astra pro ·

gpt 6 astra pro attempt on Math-11

Generalized Hodge Conjecture

Definitions and mathematical statement

A rational Hodge substructure $V\subseteq H^k(X,{\mathbb{Q}})$ has Hodge coniveau at least $c$ if $V^{a,b}=0$ whenever $a<c$ or $b<c$. Let $M^cH^k$ be the sum of all such substructures. Define geometric coniveau by \[ N^cH^k(X,{\mathbb{Q}})=\sum_{\substack{Z\subseteq X\text{ closed algebraic}\\ \operatorname{codim}Z\ge c}} \ker\left(H^k(X,{\mathbb{Q}})\to H^k(X\setminus Z,{\mathbb{Q}})\right). \] The conjecture is $M^cH^k(X,{\mathbb{Q}})=N^cH^k(X,{\mathbb{Q}})$ for every smooth projective complex $X$ and all relevant $k,c$. Finite sums can be supported on the union of their supporting algebraic sets.

Formulation and concept references: [S1].

Short English statement

Does every part of cohomology whose Hodge types allow high-codimension support actually have such algebraic support?

Research attempt

Current frontier.
Research check: 27 September 2026. The general problem is about rational sub-Hodge structures, not merely individual Hodge classes. Voisin's 2025 survey is the recorded formulation; her earlier author-hosted treatment gives the support/Gysin description and the inclusion $N^c\subseteq M^c$ in Theorem 1.9 and Corollary 1.10. [S1], [E1]. The 2026 moduli-space manuscript proves specified degree/genus ranges, with separate hypotheses for its arithmetic statements; its Theorems A--C are not a theorem for arbitrary smooth projective varieties. [S3]. The calculation below is an independent investigation of the realization step. No historical novelty is asserted for its constituent observations.
Attack route.
Three routes suggest themselves: produce a supporting subvariety directly; realize the effective twist of a Hodge substructure on a smaller-weight cohomology group and algebraize the resulting correspondence; or obtain support from a degeneration. The first needs geometric existence, the second needs both realization and algebraicity, and the third needs a specialization statement that preserves support codimension. We pursue the second route because it cleanly separates two often conflated obstructions.
Attempt: a correspondence realization criterion.
Fix $X$ of dimension $n$, $0\leq c\leq k/2$, and $V\subseteq H^k(X,{\mathbb{Q}})$ of Hodge coniveau at least $c$. Put $m=k-2c$. Suppose there are a smooth projective $Y$ of dimension $d$, and a morphism of rational Hodge structures \[ u:H^m(Y,{\mathbb{Q}})(-c)\longrightarrow H^k(X,{\mathbb{Q}}),\qquad \operatorname{im}u=V. \tag{24.1} \] Assume additionally that the specific Hodge class representing $u$ in $H^{2d+2c}(Y\times X,{\mathbb{Q}})$ is algebraic. Then $V\subseteq N^cH^k(X,{\mathbb{Q}})$.

Here are all the dimension and support details. Poincare duality identifies $H^m(Y)^*$ with $H^{2d-m}(Y)(d)$. Consequently $u$, viewed without the source twist as a map of bidegree $(c,c)$, determines a rational Kunneth class \[ \gamma_u\in H^{2d-m}(Y,{\mathbb{Q}})\otimes H^k(X,{\mathbb{Q}}) \subset H^{2d+2c}(Y\times X,{\mathbb{Q}}) \tag{24.2} \] of type $(d+c,d+c)$. Its action is $\alpha\mapsto (p_X)_*(p_Y^*\alpha\smile\gamma_u)$. The duality identification can be chosen with its usual graded signs, so that this action is exactly $u$, not just its image up to an unspecified scalar. Algebraicity supplies a rational cycle $\Gamma=\sum_i a_i\Gamma_i$ of codimension $d+c$ with class $\gamma_u$. Every component has dimension $n-c$. Properness of $p_X$ shows that \[ Z=\bigcup_i p_X(\Gamma_i)\quad\hbox{is closed},\qquad \dim Z\leq n-c. \tag{24.3} \] On $Y\times(X\setminus Z)$ the cycle is empty. Compatibility of cycle classes, restriction, and proper pushforward therefore makes the correspondence action zero after restriction to $X\setminus Z$. This proves the criterion. It uses one finite supporting union for the whole image, not a potentially infinite union for individual classes.

A precise sufficient package for the full conjecture is now visible: every $V(c)$ must be a quotient of some $H^{k-2c}(Y,{\mathbb{Q}})$, and the classes $24.2$ must be algebraic. The ordinary Hodge conjecture on all products would supply the second statement, but the first is a further geometric realization requirement. Calling the twist "effective" supplies only nonnegative Hodge indices, not such a $Y$.

Attempt: the first two remaining weights.
For $m=0$, $V(c)$ is a sum of copies of ${\mathbb{Q}}(0)$, so a finite disjoint union of points supplies $24.1$. Algebraicity of $24.2$ is then precisely the ordinary codimension-$c$ Hodge-class problem on $X$. Thus the criterion contains, rather than bypasses, the ordinary Hodge conjecture.

For $m=1$, $V(c)$ is polarizable of type $(1,0)+(0,1)$. The classical weight-one Hodge/abelian-variety correspondence realizes it as $H^1(A,{\mathbb{Q}})$ up to isogeny. Equivalently, this realization follows by dualizing a rational lattice, using the polarization for the Riemann form, and forming the resulting projective complex torus. A rational complement in $H^1(A)$, if needed, is obtained from a polarization. [E2], Theorem 6.20. Hence in degree $k=2c+1$ the outstanding step in this route is algebraicity of a particular codimension $\dim A+c$ class on $A\times X$. It is not enough that divisors on $A$ are algebraic: that class has a mixed Kunneth component involving $H^k(X)$.

There is also an unconditional boundary range, worth using as a normalization check. If $n\leq k\leq2n$, put $r=k-n$ and $m'=2n-k$. A smooth intersection $i:Y\hookrightarrow X$ of $r$ sufficiently ample divisors has $\dim Y=m'$. With $h$ their common hyperplane class, \[ i_*i^*\alpha=h^r\alpha,\qquad h^r:H^{m'}(X,{\mathbb{Q}})\xrightarrow{\sim}H^k(X,{\mathbb{Q}}). \tag{24.4} \] The second equality is hard Lefschetz. Thus every class in $H^k(X)$ has support of codimension $r$, and $N^rH^k=M^rH^k=H^k$. This familiar special case is proved here to test the support bookkeeping; it says nothing about the larger values $c>r$.

Stress test.
A rational Hodge projector is not automatically an algebraic projector: replacing the class $24.2$ by a "cycle representing it" without the additional assumption is exactly the missing step. Nor does the semisimplicity of polarizable Hodge structures manufacture a smooth projective variety realizing an arbitrary effective twist. The argument has not deduced that realization from a dimension count. For $k<2c$, both sides vanish; for $c\leq0$, both are all of $H^k$ under the usual coniveau conventions. Negative or out-of-range cohomological degrees are zero. These harmless ranges do not conceal a missing positive coniveau case. Finally, mod-$2$ or integral coniveau obstructions would not be counterexamples to this rational statement.
Outcome.
Outcome: Conditional reduction. The attempt proves a support-producing criterion with explicit cycle codimension, isolates realization separately from algebraicity, and checks the low-weight and high-degree boundary cases. A universal resolution still requires the two stated inputs. In particular, even the weight-zero case would resolve the ordinary Hodge conjecture; that dependency is a warning against treating the correspondence class as already algebraic.

Sources

  • S1 Claire Voisin, Hodge and generalized Hodge conjectures, coniveau and algebraic cycles, Journal of Open Mathematical Problems 1$1$ $2025$, 16-51. https://jomprob.org/index.php/jomp/article/view/Vol-1Issue-1Paper-2. Catalogue formulation source.
  • S2 Incidence equivalence, a survey. https://arxiv.org/abs/2607.22233. Catalogue research/status reference; not a proof endorsement.
  • S3 On the Hodge and Tate conjectures for moduli spaces of curves. https://arxiv.org/html/2605.20453v1. Catalogue research/status reference; not a proof endorsement.
  • E1 Claire Voisin, Hodge Structures, Coniveau and Algebraic Cycles, author-hosted manuscript, Theorem 1.9 and Corollary 1.10. https://webusers.imj-prg.fr/~claire.voisin/Articlesweb/23-.pdf. Added research source. Support, Gysin maps and the coniveau inclusion. The new realization calculation is given in the text. Consulted 27 September 2026.
  • E2 Pierre Deligne and James S. Milne, Tannakian Categories, in Hodge Cycles, Motives, and Shimura Varieties, Lecture Notes in Mathematics 900 $1982$, 101--228; corrected author version dated 15 August 2012, Theorem 6.20. https://www.jmilne.org/math/xnotes/tc.pdf. Added research source. Weight-one polarizable Hodge structures of abelian-variety type. Consulted 27 September 2026.

Go to contribution →