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

Assuming projective determinacy, we extend Spector's strong version of the Spector-Gandy Theorem to all odd levels of the projective hierarchy: Theorem. For every space $X$ which is a finite product of the natural numbers $N$ and Baire…

For a finite group $G$, there is a map $RO(G) \to {\rm Pic}(Sp^G)$ from the real representation ring of $G$ to the Picard group of $G$-spectra. This map is not known to be surjective in general, but we prove that when $G$ is cyclic this map…

Suppose $X$ is a smooth projective scheme of finite type over a field $K$, $\mathcal{E}$ is a locally free ${\mathcal{O}}_{X}$-bimodule of rank 2, $\mathcal{A}$ is the non-commutative symmetric algebra generated by $\mathcal{E}$ and ${\sf…

Every nontrivial abelian variety over a Hilbertian field in which the weak Mordell-Weil theorem holds admits infinitely many torsors with period any $n > 1$ which is not divisible by the characteristic. The corresponding statement with…

We bound the genus of a projective curve lying on a complete intersection surface in terms of its degree and the degrees of the defining equations of the surface on which it lies.

In this paper, we study the deformation theory of degenerate algebraic curves on singular varieties which appear as the degenerate limit of families of varieties. For this purpose, we systematically develop a new method to calculate the…

We give an alternative proof of Faltings's theorem (Mordell's conjecture): a curve of genus at least two over a number field has finitely many rational points. Our argument utilizes the set-up of Faltings's original proof, but is in spirit…

We construct Belyi maps having specified behavior at finitely many points. Specifically, for any curve C defined over Q-bar, and any disjoint finite subsets S, T in C(Q-bar), we construct a finite morphism f: C -> P^1 such that f ramifies…

We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only…

Given a split $\mathbb{P}$-functor $F:\mathcal{D}^b(X) \to \mathcal{D}^b(Y)$ between smooth projective varieties, we provide necessary and sufficient conditions, in terms of the Hochschild cohomology of $X$, for it to become spherical on…

One version of the classical Lefschetz hyperplane theorem states that for $U \subset \mathbb P^n$ a smooth quasi-projective variety of dimension at least $2$, and $H \cap U$ a general hyperplane section, the resulting map on \'etale…

Let $A=(A_x)$ be a (semi-)continuous field of $C^*$-algebras over a compact Hausdorff space $X$ and let $p=(p_x)$ be a projection in $A$ such that each $p_x\in A_x$ is properly infinite ($x\in X$). Then $p$ is properly infinite if the field…

We prove a first principle of preservation of multiplicity in difference geometry, paving the way for the development of a more general intersection theory. In particular, the fibres of a \sigma-finite morphism between difference curves are…

We study local variations of causal curves in a space-time with respect to b-length (or generalised affine parameter length). In a convex normal neighbourhood, causal curves of maximal metric length are geodesics. Using variational…

Suppose that f is a projective birational morphism with at most one-dimensional fibres between d-dimensional varieties X and Y, satisfying ${\bf R}f_* \mathcal{O}_X = \mathcal{O}_Y$. Consider the locus L in Y over which f is not an…

Consider a smooth projective curve and a given embedding into projective space via a sufficiently positive line bundle. We can form the secant variety of $k$-planes through the curve. These are singular varieties, with each secant variety…

For every affine variety over a global function field, we show that the set of its points with coordinates in an arbitrary rank-one multiplicative subgroup of this function field is topologically dense in the set of its points with…

As a sequel to our proof of the analog of Serre's conjecture for function fields in Part I of this work, we study in this paper the deformation rings of $n$-dimensional mod $\ell$ representations $\rho$ of the arithmetic fundamental group…

We prove several surjectivity criteria for $p$-adic representations. In particular, we classify all adjoint and simply connected group schemes $G$ over the Witt ring $W(k)$ of a finite field $k$ such that the epimorphism…

We deal with locally free $\mathcal{O}_X$-modules with connection over a Berkovich curve $X$. As a main result we prove local and global decomposition theorems of such objects by the radii of convergence of their solutions. We also derive a…