SearcharxivSearch

arXiv subjects

Sho Ejiri

Publications and source records attributed to Sho Ejiri.

17 recordsLinked to original sources

Splitting of algebraic fiber spaces with nef relative anti-canonical divisor and decomposition of $F$-split varieties

In this paper, we prove that an algebraic fiber space $f:X\to Y$ over a perfect field $k$ of characteristic $p>0$ with nef relative anti-canonical divisor $-K_{X/Y}$ splits into the product after taking the base change along a finite cover of $Y$, if the geometric generic fiber has mild singularities and if one of the following conditions holds: (i) $k\subseteq\overline{\mathbb F_p}$; (ii) $\pi^{et}(Y)$ is finite; (iii) $-K_X$ is semi-ample and $Y$ is an abelian variety. As its application, we generalize Patakfalvi and Zdanowicz's Beauville-Bogomolov decomposition in positive characteristic to the case when the anti-canonical divisor is numerically equivalent to a semi-ample divisor, which is applied to study the abundance conjecture in a new case and the fundamental group of an $F$-split variety with semi-ample anti-canonical divisor. We also show that a variety over a finite field with nef anti-canonical divisor satisfying some conditions has a rational point. Furthermore, to show the splitting theorem, we generalize partially Popa and Schnell's global generation theorem and Viehweg's weak positivity theorem to the case of generalized pairs in positive characteristic.

math.AG

Positivity of extensions of vector bundles

In this paper, we study when positivity conditions of vector bundles are preserved by extension. We prove that an extension of a big (resp. pseudo-effective) line bundle by an ample (resp. a nef) vector bundle is big (resp. pseudo-effective). We also show that an extension of an ample line bundle by a big line bundle is not necessarily pseudo-effective. In particular, this implies that an almost nef vector bundle is not necessarily pseudo-effective.

math.AG

The Demailly--Peternell--Schneider conjecture is true in positive characteristic

We prove the Demailly--Peternell--Schneider conjecture in positive characteristic: if $X$ is a smooth projective variety over an algebraically closed field of characteristic $p>0$ with $-K_X$ is nef, then the Albanese morphism $a: X \to A$ is surjective. We also show strengthenings either allowing mild singularities for $X$, or proving more special properties of $a$. The above statement for compact K\"ahler manifolds was conjectured originally by Demailly, Peternell and Schneider in 1993, and for smooth projective varieties of characteristic zero it was shown by Zhang in 1996. In positive characteristic, all earlier results involved tameness assumptions either on cohomology or on the singularities of the general fibers of $a$. The main feature of the present article is the development of a technology to avoid such assumptions.

math.AG

Varieties in positive characteristic with numerically flat log cotangent bundle

In this paper, we prove that a smooth projective globally $F$-split variety with numerically flat tangent bundle is an \'etale quotient of an ordinary abelian variety. We also show its logarithmic analog, which contains a characterization of toric varieties. We further prove that, without assumption of global $F$-splitting, a smooth projective separably rationally connected variety of arbitrary characteristic with numerically flat log cotangent bundle is a toric variety.

math.AG

Notes on direct images of pluricanonical bundles

In this note, we generalize slightly Popa--Schnell's theorem regarding to direct images of pluricanonical bundles to the case when the ample line bundle is not globally generated. We also treat the case of positive characteristic.

math.AG

Numerical Kodaira dimension of algebraic fiber spaces in positive characteristic

In this paper, we prove a positive characteristic analog of Nakayama's inequality on the numerical Kodaira dimension of algebraic fiber spaces when the generic fibers have nef canonical divisors. To this end, we establish variants of Popa and Schnell's global generation theorem, Viehweg's weak positivity theorem and Fujino's global generation theorem in positive characteristic. As a byproduct, we show that Iitaka's conjecture holds true in positive characteristic when the base space is of general type and the canonical divisor of the total space is relatively semi-ample.

math.AG

Notes on Frobenius stable direct images

In this note, we prove the coherence of Frobenius stable direct images in a new case. We also show a generation theorem regarding to it. Furthermore, we prove a corresponding theorem in characteristic zero.

math.AG

Direct images of pluricanonical bundles and Frobenius stable canonical rings of fibers

In this paper, we study an algebraic fiber space in positive characteristic whose generic fiber $F$ has finitely generated canonical ring and sufficiently large Frobenius stable canonical ring. An example of such a case is when $F$ is $F$-pure and its dualizing sheaf is invertible and ample. We treat a Fujita-type conjecture due to Popa and Schnell concerning direct images of pluricanonical bundles, and prove it under some additional hypotheses. As an application, we show the subadditivity of Kodaira dimensions in some new cases.

math.AG

When is the Albanese morphism an algebraic fiber space in positive characteristic?

In this paper, we study the Albanese morphisms in positive characteristic. We prove that the Albanese morphism of a variety with nef anti-canonical divisor is an algebraic fiber space, under the assumption that the general fiber is $F$-pure. Furthermore, we consider a notion of $F$-splitting for morphisms, and investigate it of the Albanese morphisms. We show that an $F$-split variety has $F$-split Albanese morphism, and that the $F$-split Albanese morphism is an algebraic fiber space. As an application, we provide a new characterization of abelian varieties.

math.AG

On asymptotic base loci of relative anti-canonical divisors of algebraic fiber spaces

In this paper, we study the relative anti-canonical divisor $-K_{X/Y}$ of an algebraic fiber space $ϕ: X \to Y$, and we reveal relations among positivity conditions of $-K_{X/Y}$, certain flatness of direct image sheaves, and variants of the base loci including the stable (augmented, restricted) base loci and upper level sets of Lelong numbers. This paper contains three main results: The first result says that all the above base loci are located in the horizontal direction unless they are empty. The second result is an algebraic proof for Campana--Cao--Matsumura's equality on Hacon--$\rm{M^c}$Kernan's question, whose original proof depends on analytics methods. The third result partially solves the question which asks whether algebraic fiber spaces with semi-ample relative anti-canonical divisor actually have a product structure via the base change by an appropriate finite étale cover of $Y$. Our proof is based on algebraic as well as analytic methods for positivity of direct image sheaves.

math.AG

Iitaka's $C_{n,m}$ conjecture for 3-folds in positive characteristic

In this paper, we prove that for a fibration $f:X\to Z$ from a smooth projective 3-fold to a smooth projective curve, over an algebraically closed field $k$ with $\mathrm{char} k =p >5$, if the geometric generic fiber $X_{\overlineη}$ is smooth, then subadditivity of Kodaira dimensions holds, i.e. $$κ(X)\geκ(X_{\overlineη})+κ(Z).$$

math.AG

Nef anti-canonical divisors and rationally connected fibrations

We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka-Kodaira dimension of the anti-canonical divisor.

math.AG

Positivity of anti-canonical divisors and $F$-purity of fibers

In this paper, we prove that given a flat generically smooth morphism between smooth projective varieties with $F$-pure closed fibers, if the source space is Fano, weak Fano or a variety with the nef anti-canonical divisor, then so is the target space. We also show that relative anti-canonical divisors of generically smooth surjective nonconstant morphisms are not nef and big in arbitrary characteristic.

math.AG