Algebraic cycles from a computational point of view

DOI10.1016/J.TCS.2007.10.008MaRDI QIDQ2476017zbMATH OpenOpenAlexFDO

Publication date 11 March 2008

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2007.10.008

algebraic cycle computation decidability Hodge cycle

Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Algebraic cycles (14C25) Transcendental methods, Hodge theory (algebro-geometric aspects) (14C30) Effectivity, complexity and computational aspects of algebraic geometry (14Q20)

Review text

This paper concerns decidability questions, from an algorithmic computational point of view, in the subject of algebraic cycles on projective algebraic manifolds, more specifically the celebrated Hodge conjecture. The Hodge conjecture is a statement characterizing the algebraic cycles among the \({\mathbb Q}\)-vector space of topological cycles on a projective algebraic manifold \(X\), in terms of the vanishing of certain integrals of closed forms in a given Hodge filtration on \(X\) (that depends only on the complex structure of \(X\)) over such cycles (called Hodge integrals). The latter notion refers to Hodge cycles, and in more succinct form, the Hodge conjecture says that the \({\mathbb Q}\)-vector space inclusion of algebraic cycles in the Hodge cycles is an equality. Determining an algebraic cycle on \(X\), becomes a decidable problem if one restricts to those \(X\) defined over the enumerable algebraic closure \(\overline{\mathbb Q}\) of \({\mathbb Q}\), by searching for all subvarieties of \(X\) defined over \(\overline{\mathbb Q}\). Likewise in this setting, and regarding the nonvanishing of Hodge integrals, there is an algorithm which tries to show that a topological cycle \(\eta\) is not a Hodge class. In particular, if \(\eta\) is not Hodge, then this algorithm stops. Deligne introduced the notion of absolute Hodge classes, which is a subspace of the Hodge classes, containing the algebraic cycles. If one assumes that the spaces of Hodge classes and absolute Hodge classes coincide on all projective algebraic manifolds, then a interesting result of Voisin shows that the Hodge conjecture for all projective algebraic manifolds \(X\) can be reduced to the statement of the Hodge conjecture for those \(X\) defined over \(\overline{\mathbb Q}\). This makes the current paper particularly relevant. As a consequence of all of this, the author deduces that the Hodge conjecture implies decidability of the question as to whether a given topological cycle on a projective algebraic manifold can be represented by an algebraic cycle.

Recommendations

Cites work

Cited in

(9)

Describes a project that uses

Uses Software

kepler98

This page was built for publication: Algebraic cycles from a computational point of view

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2476017)