On a given arithmetic surface, inspired by work of Miyaoka, we consider vector bundles which are extensions of a line bundle by another one. We give sufficient conditions for their restriction to the generic fiber to be semi-stable. We then apply the arithmetic analog of Bogomolov inequality in Arakelov theory, and deduce from it a lower bound for some successive minima in the lattice of extension classes between these line bundles.
Three types of reciprocity laws for arithmetic surfaces are established. For these around a point or along a vertical curve, we first construct $K_2$ type central extensions, then introduce reciprocity symbols, and finally prove the law as an application of Parshin-Beilinson's theory of adelic complex. For reciprocity law along a horizontal curve, we first introduce a new type of arithmetic central extensions, then apply our arithmetic adelic cohomology theory and arithmetic intersection theory to prove the related reciprocity law. All this can be interpreted within the framework of arithmetic…
We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $Ø_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec Ø_K$ of the ring of integers in some number field $K$. T…
The construction of families of Sato Grassmannians, their determinant line bundles and the extensions induced by them are given. The base scheme is an arbitrary scheme.
This paper is the sequel of the paper "Continuity of volumes on arithmetic varieties", in which we established the arithmetic volume function of smooth hermitian Q-invertible sheaves and proved its continuity. The continuity of the volume function has a lot of applications as treated in the paper as above. In this paper, we would like to consider its continuous extension over R.
In a previous paper, we have defined arithmetic extension groups in the context of Arakelov geometry. In the present one, we introduce an arithmetic analogue of the Atiyah extension that defines an element -- the arithmetic Atiyah class -- in a suitable arithmetic extension group. If $\overline{E}$ is a hermitian vector bundle on an arithmetic scheme $X$, its arithmetic Atiyah class is an obstruction to the algebraicity of the unitary connection on the vector bundle $E_\C$ over the complex manifold $X(\C)$ that is compatible with its holomorphic structure. We develop basic properties of the ar…
In this paper, we consider an arithmetic Hodge index theorem for a family of semi-stable curves f: X \to B with f_{\bf C} being smooth, generalizing Faltings-Hriljac's arithmetic Hodge index theorem for an arithmetic surface.
Given a line bundle L on a smooth projective curve over the complex numbers, we show that a general extension E of L by the trivial line bundle is very stable: line bundles contained in E have degree much less than half the degree of E. From this result we deduce new inequalities for the successive minima of the euclidean lattice H^1(X,L^{-1}), where L is an hermitian line bundle on the arithmetic surface X.
In this note, we would like to propose a suitable extension of the arithmetic Chow group of codimension one, in which the Hodge index theorem holds. We also prove an arithmetic analogue of Bogomolov's instability theorem for rank 2 vector bundles on arbitrary regular projective arithmetic varieties.
We prove a conjecture by Kawaguchi-Silverman on arithmetic and dynamical degrees, for self-morphisms of semi-abelian varieties. Moreover, we determine the set of the arithmetic degrees of orbits and the (first) dynamical degrees of self-morphisms of semi-abelian varieties.
For Châtelet surfaces defined over number fields, we study two arithmetic properties, the Hasse principle and weak approximation, when passing to an extension of the base field. Generalizing a construction of Y. Liang, we show that for an arbitrary extension of number fields $L/K,$ there is a Châtelet surface over $K$ which does not satisfy weak approximation over any intermediate field of $L/K,$ and a Châtelet surface over $K$ which satisfies the Hasse principle over an intermediate field $L'$ if and only if $[L' : K]$ is even.
Stability plays a central role in arithmetic. In this article, we explain some basic ideas and present certain constructions for such studies. There are two aspects: namely, general Class Field Theories for Riemann surfaces using semi-stable parabolic bundles & for p-adic number fields using what we call semi-stable filtered (phi,N;omega)-modules; and non-abelian zeta functions for function fields over finite fields using semi-stable bundles & for number fields using semi-stable lattices.
Here we consider the set of bundles $\{V_n\}_{n\geq 1}$ associated to the plane trinomial curves $k[x,y,z]/(h)$. We prove that the Frobenius semistability behaviour of the reduction mod $p$ of $V_n$ is a function of the congruence class of $p$ modulo $2λ_h$ (an integer invariant associated to $h$). As one of the consequences of this, we prove that if $V_n$ is semistable in characteristic 0, then its reduction mod $p$ is strongly semistable, for $p$ in a Zariski dense set of primes. Moreover, for any given finitely many such semistable bundles $V_n$, there is a common Zariski dense set of such …
In this paper a concrete definition of higher K-theory in Arakelov geometry is given. The K-thoery defined in this paper is a higher extension of the arithmetic K_0 group of an arithmetic variety defined by Gillet and Soule. Products and direct images in this K-theory are discussed.
The $L^2$-cohomology of a locally symmetric variety is known to have the topological interpretation as the intersection homology of its Baily-Borel Satake compactification. In this article, we observe that even without the Hermitian hypothesis, the $L^p$-cohomology of an arithmetic quotient, for $p$ finite and sufficiently large, is isomorphic to the ordinary cohomology of its reductive Borel-Serre compactification. We use this to generalize a theorem of Mumford concerning homogeneous vector bundles, their invariant Chern forms and the canonical extensions of the bundles; here, though, we are …
Let $k$ be a number field, let $X$ be a Kummer variety over $k$, and let $δ$ be an odd integer. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for $X$. For example, we show that if the Brauer-Manin obstruction is the only obstruction to the existence of rational points on $X$ over all finite extensions of $k$, then the $2$-primary Brauer-Manin obstruction is the only obstruction to the existence of a zero-cycle of degree $δ$ on $X$ over $k$.
We show that for any given field $k$ and natural number $r\geq2$, every continuous extension of the absolute Galois group $\mathrm{Gal}_k$ by a finite group is the arithmetic fundamental group of a geometrically connected smooth projective variety over $k$ of dimension $r$.
Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following statements: (1) the Brauer-Manin obstruction is the only obstruction to weak approximation for $K$-rational points on $X_K$ for all finite extensions $K/k$; (2) the Brauer-Manin obstruction is the only obstruction to weak approximation in some sense that we define for zero-cycles of degree 1 on $X_K$ for all finite extensions $K/k$; (3) a certain sequence of local-gl…
We study arithmetic of the algebraic varieties defined over number fields by applying Lagrange interpolation to fibrations. Assuming the finiteness of the Tate-Shafarevich group of a certain elliptic curve, we show, for Châtelet surface bundles over curves, that the violation of Hasse principle being accounted for by the Brauer-Manin obstruction is not invariant under an arbitrary finite extension of the ground field.
In this article we establish the arithmetic purity of strong approximation for certain semi-simple simply connected $k$-simple linear algebraic groups and their homogeneous spaces over a number field $k$. For instance, for any such group $G$ and for any open subset $U$ of $G$ with codim$(G\setminus U, G)\geq 2$, we prove that (i) if $G$ is $k$-isotropic, then $U$ satisfies strong approximation off any one (hence any finitely many) place; (ii) if $G$ is the spin group of a non-degenerate quadratic form which is non-compact over archimedean places, then $U$ satisfies strong approximation off all…
We prove that any surjective self-morphism with $δ_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.
We prove that any open subset $U$ of a semi-simple simply connected quasi-split linear algebraic group $G$ with ${codim} (G\setminus U, G)\geq 2$ over a number field satisfies strong approximation by establishing a fibration of $G$ over a toric variety. We also prove a similar result of strong approximation with Brauer-Manin obstruction for a partial equivariant smooth compactification of a homogeneous space where all invertible functions are constant and the semi-simple part of the linear algebraic group is quasi-split. Some semi-abelian varieties of any given dimension where the complements …
This paper contains three parts. In the first part, we give a thorough overview of the theory of Artin-Schreier-Witt extensions: this theory allows one to understand the $\mathbf{Z}/p^n\mathbf{Z}$-extensions of any field $K$ of characteristic $p$ via $p$-typical Witt vectors. Let $W_n(K)$ be the ring of $p$-typical Witt vectors of $K$ of length $n$ and let $\wp = F-\mathrm{id}: W_n(K)\longrightarrow W_n(K)$, where $F$ is the Frobenius map and $\mathrm{id}$ is the identity map. Artin-Schreier-Witt theory tells us that the abelian group $W_n(K)/\wp W_n(K)$ represents the set of $\mathbf{Z}/p^n\m…
We prove new sharp asymptotic for counting the semistable elliptic curves with two marked Weierstrass points at $\infty$ and $0$ and also the cases where $0$ is a 2-torsion or a 3-torsion marked Weierstrass point over $\mathbb{F}_q(t)$ by the bounded height of discriminant $Δ(X)$. We consider the motivic probabilities over any basefield $K$ with $\text{char}(K) \neq 2,3$ of picking a nonsingular semistable elliptic surface over $\mathbb{P}^{1}$ with two marked Weierstrass sections at $\infty$ and $0$ such that marked Weierstrass section at $0$ is 2-torsion or 3-torsion. In the end, we formulat…
Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for pr…
The aim of this paper is twofold. First we prove a theorem of extension of sections of a coherent subquotient of a hermitian vector bundle on a complex analytic space with control of the norms, without any of the smoothness assumptions that were needed in previously known analogous results. Then we show how to associate an arithmetic Hilbert-Samuel function to a coherent sheaf on an arithmetic variety -- provided this coherent sheaf is a subquotient of a hermitian vector bundle -- and using the classical arithmetic Hilbert-Samuel theorem and our extension theorem, we give the leading term of t…
