Related papers: An algebraic proof of Iitaka's Conjecture C_{2,1}

We study deformations of rational curves and their singularities in positive characteristic. We use this to prove that if a smooth and proper surface in positive characteristic $p$ is dominated by a family of rational curves such that one…

Let (X,D) be a dlt pair, where X is a normal projective variety. Let S denote the support of the rounddown of D, and K the canonical divisor of X. We show that any smooth family of canonically polarized varieties over X\S is isotrivial if…

In 1984, H. Yoshihara conjectured that if two plane irreducible curves have isomorphic complements, they are projectively equivalent, and proved the conjecture for a special family of unicuspidal curves. Recently, J. Blanc gave…

We prove that the universal cover of a normal complex algebraic variety admitting a faithful complex representation of its fundamental group is an analytic Zariski open subset of a holomorphically convex complex space. This is a non-proper…

Let C be a real nonsingular affine curve of genus one, embedded in affine n-space, whose set of real points is compact. For any polynomial f which is nonnegative on C(R), we prove that there exist polynomials f_i with f \equiv \sum_i f_i^2…

In this note, we generalized Berndtsson's result about the Nakano positivity of direct image sheaves to some special singular cases.

Let $k$ be a perfect field of characteristic $p>0$, $\mathcal{V}$ a complete discrete valuation ring with residue field $k$ and field of fractions $K$ of characteristic 0, and $S$ a separated $k$-scheme of finite type. When $S$ is smooth…

We prove that the derived direct image of the constant sheaf with field coefficients under any proper map with smooth source contains a canonical summand. This summand, which we call the geometric extension, only depends on the generic…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

It is conjectured that the canonical models of varieties (not of general type) are bounded when the Iitaka volume is fixed. We confirm this conjecture when the general fibers of the corresponding Iitaka fibration are in a fixed bounded…

In this short note, we present a trick to ensure that the Jacobian of a given smooth curve over a number field has strictly positive Mordell-Weil rank. More explicitly, we prove that a smooth curve with no rational non-trivial 2-torsion and…

We prove the discreteness of algebraic points (with respect to the Neron-Tate height) on a curve of genus greater than one embedded in his jacobian. This result was conjectured by Bogomolov. We also prove the positivity of the self…

Let $C$ be a hyperelliptic curve of genus $g\geq 1$ over a number field $K$ with good reduction outside a finite set of places $S$ of $K$. We prove that $C$ has a Weierstrass model over the ring of integers of $K$ with height effectively…

We prove a conjecture of Kashiwara and Miemietz on canonical bases and branching rules of affine Hecke algebras of type D. The proof is similar to the proof of the type B case.

Let \(E\) be a finite-dimensional real vector space. We study invertible objects in the monoidal category of constructible sheaves on \(E\), endowed with the convolution product \(\star\). We show that the inverse of an invertible…

We first provide details for the proof of Fujita's second theorem for K\"ahler fibre spaces over a curve, asserting that the direct image $V$ of the relative dualizing sheaf splits as the direct sum $ V = A \oplus Q$, where $A$ is ample and…

In this paper, we prove the Iwasawa main conjecture for elliptic curves at an odd supersingular prime p. Some consequences are the p-parts of the leading term formulas in the Birch and Swinnerton-Dyer conjectures for analytic rank 0 or 1.

We prove Arnol'd's three cusps conjecture about the front of Legendrian curves in the projectivized cotangent bundle of the $2$-sphere. We use the microlocal theory of sheaves of Kashiwara and Schapira and study the derived category of…

We prove that the log Iitaka conjecture holds for log canonical fibrations when log canonical divisor of a sufficiently general fiber is abundant.

This paper presents three results on F-singularities. First, we give a new proof of Eisenstein's restriction theorem for adjoint ideal sheaves, using the theory of F-singularities. Second, we show that a conjecture of Musta\c{t}\u{a} and…