No label defined (Q4518992)

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\).