Polarized endomorphisms of normal projective threefolds in arbitrary characteristic

-Cartier divisor, strengthening slightly the conclusion of Boucksom, de Fernex and Favre (Theorem C) and also covering singular varieties over an algebraically closed field of arbitrary characteristic. Suppose

f

is separable and

X

is normal. We show that the Albanese morphism of

X

is an algebraic fibre space and

f

induces polarized endomorphisms on the Albanese and also the Picard variety of

X

, and

K_{X}

being pseudo-effective and

m a t h b b Q

-Cartier means being a torsion

m a t h b b Q

-divisor. Let

f^{G a l} : o v e r l i n e X o X

be the Galois closure of

f

. We show that if

p > 5

and co-prime to

d e g, f^{G a l}

then one can run the minimal model program (MMP)

f

-equivariantly, after replacing

f

by a positive power, for a mildly singular threefold

X

and reach a variety

Y

with torsion canonical divisor (and also with

Y

being a quasi-'etale quotient of an abelian variety when

d i m (Y) l e 2

). Along the way, we show that a power of

f

acts as a scalar multiplication on the Neron-Severi group of

X

(modulo torsion) when

X

is a smooth and rationally chain connected projective variety of dimension at most three.

Review text

Let \(f: X \rightarrow X\) be a surjective endomorphism of a projective variety over a fixed algebraically closed field k of arbitrary characteristic \( p \geq 0\). \(f\) is said to be \( q\)-polarized (resp. numerically \(q\)-polarized) by \(H\), if there is an ample Cartier divisor \(H\) such that \(f^*H \sim q H\), a linear equivalence (resp. \(f^*H \equiv q H\), a numerical equivalence) for some integer \( q > 1\). In this paper, the authors prove the following results. 1. If \(\mathrm{char} k = 0\), in 2010, \textit{N. Nakayama} and \textit{D.-Q. Zhang} [Math. Ann. 346, No. 4, 991--1018 (2010; Zbl 1189.14043)] showed that the numerically polarized condition is equivalent to the polarized condition after replacing \(H\). If \( X\) is normal and \(f\) is separable, the authors generalize this result to arbitrary characteristic. 2. The authors generalize the result of \textit{S. Boucksom} et al. [Duke Math. J. 161, No. 8, 1455--1520 (2012; Zbl 1251.14026)] for \(\mathbb{Q}\)-Gorenstein normal projective variety \(X\) and prove: Let \(f: X \rightarrow X\) be a polarized separable endomorphism of a \(\mathbb{Q}\)-Gorenstein normal projective variety \(X\) of dimension \(n \geq 0\) over the field \(k\) of arbitrary characteristic. Then \(-K_X\) is numerically equivalent to an effective \(\mathbb{Q}\)-Cartier divisor. In particular, if \(\mathrm{Alb}(X)\) is trivial, then the Iitaka \(D\)-dimension \(\kappa (X, -K_X ) \geq 0\). 3. They give an affirmative answer to a question of \textit{H. Krieger} and \textit{P. Reschke} [Bull. Soc. Math. Fr. 145, No. 3, 449--468 (2017; Zbl 1387.32022)] and with a very different proof, generalize a theorem of \textit{S. Meng} and \textit{D.-Q. Zhang} [Adv. Math. 325, 243--273 (2018; Zbl 1387.14057)] to arbitrary characteristics. 4. They prove: If \(f: X \rightarrow X\) is a numerically polarized separable endomorphism of a normal projective variety \(X\) with \( K_X\) being pseudo-effective and \(\mathbb{Q}\)-Cartier, then \(f\) is quasi-étale and \(K_X\sim_\mathbb{Q} 0 \). 5. Let \(f^{\mathrm{Gal}}: \bar{X} \rightarrow X\) be the Galois closure of \( f\). Nakayama's result on a normal projective surface \(X\) defined over a field of characteristic 0 is generalized to char \(p>5\) and \(p\nmid\) deg \(f^{\mathrm{Gal}}\): If \(f: X \rightarrow X\) is a polarized endomorphism of a normal projective surface \(X\) over the field \(k\) of characteristic \(p > 5\). Suppose \(p\nmid\) deg \( f^{\mathrm{Gal}}\) and \(K_X\) is pseudo-effective, then \(X\) is a \(\mathbb{Q}\)-abelian surface. In particular, \(X\) is \(\mathbb{Q}\)-factorial and klt. 6. They show: If \( p > 5\) and co-prime to degree \(f^{\mathrm{Gal}}\), then one can run the minimal model program (MMP) \(f\)-equivariantly, after replacing \(f\) by a positive power, for a mildly singular threefold \(X\) and reach a variety \(Y\) with torsion canonical divisor (and also with \( Y\) being a quasi-étale quotient of an abelian variety when dim\((Y ) \leq 2\)). They also show that a power of \(f\) acts as a scalar multiplication on the Néron-Severi group of \( X\) (modulo torsion) when \(X\) is a smooth and rationally chain connected projective variety of dimension at most three.

Recommendations

Cites work

Cited in

(23)

This page was built for publication: Polarized endomorphisms of normal projective threefolds in arbitrary characteristic

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