On the Chow ring of certain rational cohomology tori (Q2627853)

An abelian cover of a variety \(Y\) is a finite morphism \(g: X\rightarrow Y\) with a faithful action of a finite abelian group \(G\) on \(X\) such that \(Y\) is the quotient of \(X\) via \(G\). A complex algerbaic variety \(X\) is called a rational cohomology torus if \(X\) is normal and \(H^{\bullet}(X,\mathbb{Q})\simeq \wedge^{\bullet} H^1(X,\mathbb{Q})\). As explained in [\textit{O. Debarre} et al., Geom. Tool. 21, 1095--1130 (2017; Zbl 1378.32013)], any rational cohomology tori \(X\) admits an finite cover \(\alpha_X: X\rightarrow A\) to an abelian variety such that \(\alpha_X^*: H^{\bullet}(A,\mathbb{Q})\rightarrow H^{\bullet}(X,\mathbb{Q})\) is an isomorphism. Moreover, the morphism \(\alpha_X\) is the Albanese morphism of \(X\). The paper under review characterizes equivalent conditions for an abelian cover of an abelian variety to be a rational cohomology torus. Let \(f: X\rightarrow A\) be an abelian cover from a variety with quotient singularities to an abelian variety with Galois group \(G\). By [\textit{R. Pardini}, J. Reine Angew. Math. 417, 191--213 (1991; Zbl 0721.14009)], there exists a splitting \[ f_*\mathcal{O}_X=\bigoplus_{\chi\in G^*} L^{-1}_{\chi}, \] where \(L_{\chi}\) is a line bundle on \(A\) and \(G\) acts on \(L^{-1}_{\chi}\) via the character \(\chi\). For each character \(\chi\), one can define a projector \[ [\Gamma^X_\chi]:=\frac{1}{|G|}\sum_{g\in G}\chi^{-1}(g)[\Gamma^X_g]\in \text{CH}^{\dim X}(X\times X)_{\mathbb{C}}, \] where \(\Gamma^X_g\) is the graph of the automorphism \(g\). And it gives a decomposition of diagonal \[ [\Delta_{X}]=\sum_{\chi\in G^*} [\Gamma_\chi^X] \] in \(\text{CH}^{\dim X}(X\times X)_{\mathbb{C}}\). The author proves that \(X\) is a rational cohomology torus is equivalent to \(h^i(A, L_{\chi})=0\) for all \(i\in \mathbb{Z}\) and non-trivial \(\chi\in G^*\), and is also equivalent to \([\Gamma^X_\chi]=0\in \text{CH}^{\dim X}(X\times X)_{\mathbb{C}}\) for all non-trivial \(\chi\in G^*\). As a consequence, the Chow ring with rational coefficients of \(X\) is \(G\)-invariant, then the induced homomorphism \(f^*: \text{CH}^{\bullet}(A)_{\mathbb{Q}}\rightarrow \text{CH}^{\bullet}(X)_{\mathbb{Q}}\) is an isomorphism.