Related papers: Finite morphisms from curves over Dedekind rings t…

A real morphism $f$ from a real algebraic curve $X$ to $\mathbb{P}^1$ is called separating if $f^{-1}(\mathbb{R} \mathbb{P}^1) = \mathbb{R} X$. A separating morphism defines a covering $\mathbb{R} X \to \mathbb{R} \mathbb{P}^1$. Let $X_1,…

A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…

Let $p$ be a fixed prime number, and $q$ a power of $p$. For any curve over $\mathbb{F}_q$ and any local system on it, we have a number field generated by the traces of Frobenii at closed points, known as the trace field. We show that as we…

For a reduced projective scheme over the ring of integers of a number field, the set of places over which the fibres of the scheme are not reduced is a finite set. We give an explicit upper bound for the product of the norms of places in…

Let A be the local ring at a point of a normal complex variety with completion R. Srinivas has asked about the possible images of the induced map from Cl A to Cl R over all geometric normal domains A with fixed completion R. We use…

We show that the functor which assigns to an A-infinity morphism between isotopy classes of A-infinity algebras whose linear part is a chain homotopy equivalence its underlying chain map is a discrete Grothendieck bifibration. We then…

In this note we show that any basic abelian variety with additional structures over an arbitrary algebraically closed field of characteristic $p>0$ is isogenous to another one defined over a finite field. We also show that the category of…

We give a complete classification of P1-bundles over a projective manifold of Picard number one which admit another smooth morphism of relative dimension one.

We prove that any ordered field can be extended to one for which every decreasing sequence of bounded closed intervals, of any length, has a nonempty intersection; equivalently, there are no Dedekind cuts with equal cofinality from both…

We prove that the cohomology ring of a finite-dimensional restricted Lie superalgebra over a field of characteristic $p > 2$ is a finitely-generated algebra. Our proof makes essential use of the explicit projective resolution of the trivial…

By a $B$-regular variety, we mean a smooth projective variety over $C$ admitting an algebraic action of the upper triangular Borel subgroup $B \subset SL_2(C)$ such that the unipotent radical in $B$ has a unique fixed point. A result of M.…

We prove that the theory of the Farey graph is pseudofinite by constructing a sequence of finite structures that satisfy increasingly large subsets of its first-order axiomatization. This graph is an important object in the study of curve…

Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…

We formulate a multi-variable p-adic Birch and Swinnerton-Dyer conjecture for p-ordinary elliptic curves A over number fields K. It generalises the one-variable conjecture of Mazur-Tate-Teitelbaum, who studied the case K=Q and the…

A different proof to a known criterion of derived equivalence implying birationality is given. Derived equivalent smooth projective curves over an algebraically closed field are proved to be isomorphic. A different proof of derived…

We show that all subvarieties of a quotient of a bounded symmetric domain by a sufficiently small arithmetic discrete group of automorphisms are of general type. This result corresponds through the Green-Griffiths-Lang's conjecture to a…

We study the \Q_p-unipotent Albanese map for curves over local fields with residue characteristic different from p and show that it has finite image. As a corollary, we deduce a simple `pi_1'-proof of Siegel's theorem for rank 1 elliptic…

We restructure and advance the classification theory of finite racks and quandles by employing powerful methods from transformation groups and representation theory, especially Burnside rings. These rings serve as universal receptacles for…

In [Ann. of Math. 169 (2009)], Min Ru proved a second main theorem for algebraically nondegenerate holomorphic curves in complex projective varieties intersecting fixed hypersurface targets. In this paper, by introducing a new proof method…

We obtain a new important basic result on splice-quotient singularities in an elegant combinatorial-geometric way: every level of the divisorial filtration of the ring of functions is generated by monomials of the defining coordinate…