Algebraic cycles from a computational point of view (Q2476017)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic cycles from a computational point of view |
scientific article |
Statements
Algebraic cycles from a computational point of view (English)
0 references
11 March 2008
0 references
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.
0 references
algebraic cycle
0 references
Hodge cycle
0 references
decidability
0 references
computation
0 references
0 references