Valuations on arithmetic surfaces

In this paper, we give the definition of the height of a valuation and the definition of the big field Cp,G, where p is a prime and GR is an additive subgroup containing 1. We conclude that Cp,G is a field and Cp,G is algebraically closed. Based on this the author obtains the complete classification of valuations on arithmetic surfaces. Furthermore, for any m ≤n∈ Z, let Vm,n be an R-vector space of dimension n-m + 1, whose coordinates are indexed from m to n. We generalize the definition of Cp,G, where p i...     

Non-abelian class field theory for arithmetic surfaces

Let be a regular arithmetic surface. Assume that for all irreducible curves there are given open normal subgroups of ₁(C), which fulfill a compatibility condition at all closed points x . We then show that these data uniquely determine a normal subgroup of ₁(). This is used to construct abelian class field theory for arithmetic surfaces using only K₀ and K₁ groups of local and global fields.Mathematics Subject Classification (2000): 14G40, 11R37, 14H25     

Hurwitz quaternion order and arithmetic Riemann surfaces

We clarify the explicit structure of the Hurwitz quaternion order, which is of fundamental importance in Riemann surface theory and systolic geometry.     

Classification of arithmetic root systems

Arithmetic root systems are invariants of Nichols algebras of diagonal type with a certain finiteness property. They can also be considered as generalizations of ordinary root systems with rich structure and many new examples. On the other hand, Nichols algebras are fundamental objects in the construction of quantized enveloping algebras, in the noncommutative differential geometry of quantum groups, and in the classification of pointed Hopf algebras by the lifting method of Andruskiewitsch and Schneider. In the present paper arithmetic root systems are classified in full generality. As a byproduct many new finite dimensional pointed Hopf algebras are obtained.     

Line bundles on arithmetic surfaces and intersection theory

For line bundles on arithmetic varieties we construct height functions using arithmetic intersection theory. In the case of an arithmetic surface, generically of genusg, for line bundles of degreeg equivalence is shown to the height on the Jacobian defined by Θ. We recover the classical formula due to Faltings and Hriljac for the Néron-Tate height on the Jacobian in terms of the intersection pairing on the arithmetic surface.     

Equational fragments of systems for arithmetic

We investigate the equational fragments of formal systems for arithmetic by means of the equational theory of f-rings and of their positive cones, starting from the observation that a model of arithmetic is the positive cone of a discretely ordered ring. A consequence of the discreteness of the order is the presence of a discriminator, which allows us to derive many properties of the models of our equational theories. For example, the spectral topology of discrete f-rings is a Stone topology. We also characterize the equational fragment of Iopen, and we obtain an equational version of G?del's First Incompleteness Theorem. Finally, we prove that the lattice of subvarieties of the variety of discrete f-rings is uncountable, and that the lattice of filters of the countably generated distributive free lattice can be embedded into it. Received April 17, 1998; accepted in final form January 23, 2001.     

On arithmetic numbers

An integer n is said to be arithmetic if the arithmetic mean of its divisors is an integer. In this paper, using properties of the factorization of values of cyclotomic polynomials, we characterize arithmetic numbers. As an application, we give an interesting characterization of Mersenne numbers.     

On the fixed part of pluricanonical systems for surfaces

We show that $|m{K}_X|$ defines a birational map and has no fixed part for some bounded positive integer m for any $\frac{1}{2}$-lc surface X such that $K_X$ is big and nef. For every positive integer $n\ge 3$, we construct a sequence of projective surfaces $X_{n,i}$, such that $K_{X_{n,i}}$ is ample, $\mathrm{mld}(X_{n,i})>\frac{1}{n}$ for every i, ${\lim }_{i\to +\infty }\mathrm{mld}(X_{n,i})=\frac{1}{n}$, and for any positive integer m, there exists i such that $|m{K}_{X_{n,i}}|$ has nonzero fixed part. These results answer the surface case of a question of Xu.