scientific article; zbMATH DE number 1538131
Let \(X\) be an Abelian variety. Denote by \(D^\ast(X)\) the subring of \(H^\ast(X,\mathbb{Q})\) generated by divisor classes and let \(B^\ast(X)\) denote the subring of Hodge classes. The author calls an Abelian variety \(X\) of CM-type ``non degenerate if \(D^\ast(X) = B^\ast(X)\). It then follows that \(B^\ast(X^n) = D^\ast(X^n)\) for all \(n\). These Abelian varieties can be characterized simply in terms of their Hodge group [see \textit{F. Hazama}, J. Fac. Sci., Univ. Tokyo, Sect. I A 31, 487-520 (1984; Zbl 0591.14006)]. The author introduces (definition 4.5) the notion \(N\)-dominatedness for any simple Abelian variety \(A\) to measure its distance from being non degenerate (non degenerate Abelian varieties are \(1\)-dominated). This invariant is denoted \(d(A)\). The author proves: Proposition 4.6: Suppose that a simple Abelian variety \(A\) is \(N\)-dominated, say \(N = d(A)\), and that every Hodge cycle on \(A\) up to codimension \(N\) is algebraic. Then the Hodge conjecture holds for \(A\). The author also proves that every Hodge cycle on any power \(A^n\) of an \(N\)-dominated abelian variety comes from the cycles of codimension \(N\) on some \(A^k\) (essentially by definition) and that those Abelian varieties that are \(N\)-dominated can be characterized by their Hodge group. The Abelian varieties of \(S_n\)-type appearing in the title are defined as follows. One takes a totally real field \(L_n'\) that is Galois with Galois group \(S_n\) and a CM field \(L_n\) of degree \(2n!\) containing it with Galois group \(G = S_n \times \{ 1, \rho\}\), where \(\rho\) is complex conjugation. Let \(i_n\in S_n\) be the permutation \(i_n(j) = n-j+1\) and \(G_0 = \{ 1, \rho i_n\} \). Let \(E_n\) denote the fixed field under \(G_0\). It is a CM field. A particular CM type \(H \subset G_0\backslash G\) is defined. An Abelian variety of \(S_n\)-type is an Abelian variety \(A_n\) with CM type \((E_n, H)\). The author proves: Theorem 5.1-5.2: The dimension of \(A_n\) is \(n!/2\), \(\text{End}^0(A_n)\cong E_n\), \(A_n\) is absolutely simple. Furthermore, for \(n\geq 4\) we have \(\dim \text{ Hg}(A_n) = n(n-1)/2\) (hence \(A_n\) is degenerate), \(i(A_n) = 1\), \(d(A_n)=2\). Here \(i(A_n)\) is the ``index of degeneracy defined for any degenerate Abelian variety of CM-type as \(\min\{r: B^\ast(A^r) \nsupseteq D^\ast(A^r) \}\). The Abelian varieties \(A_n\) are connected to certain braid arrangements (particular hyperplane arrangements) to which the author associates a matrix which he calls the additive Varchenko matrix. It is close to the matrices associated by \textit{A. Varchenko} [Adv. Math. 97, No. 1, 110-144 (1993; Zbl 0777.52006)] to hyperplane arrangements. The properties of the matrix are intimately connected with the structure of the Hodge ring on \(A_n\).
- On Galois representations for abelian varieties with complex and real multiplications.
- General Hodge conjecture for abelian varieties of CM-type.
- On the general Hodge conjecture for abelian varieties of CM-type
- Cycles representing the top Chern class of the Hodge bundle on the moduli space of abelian varieties
- Hodge structures an abelian varieties of CM-type
- scientific article; zbMATH DE number 3853242 (Why is no real title available?)
- Branching Rules and Hodge Cycles on Certain Abelian Varieties
- scientific article; zbMATH DE number 66134 (Why is no real title available?)
- scientific article; zbMATH DE number 1547240 (Why is no real title available?)
- The index of degeneracy of a CM abelian variety can be arbitrarily large
- CM-types with large index of degeneracy
- On the index of degeneracy of a CM abelian variety
- Algebraic cycles on nonsimple abelian varieties
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518992)
