Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userNew Approach to Arakelov Geometry
248
0
0.0
(
0
)
Authors
Nikolai Durov
Ask ChatGPT about the research
No Arabic abstract
This work is dedicated to a new completely algebraic approach to Arakelov geometry, which doesnt require the variety under consideration to be generically smooth or projective. In order to construct such an approach we develop a theory of generalized rings and schemes, which include classical rings and schemes together with exotic objects such as F_1 (field with one element), Z_infty (real integers), T (tropical numbers) etc., thus providing a systematic way of studying such objects. This theory of generalized rings and schemes is developed up to construction of algebraic K-theory, intersection theory and Chern classes. Then existence of Arakelov models of algebraic varieties over Q is shown, and our general results are applied to such models.
rate research
Read More
The purpose of this book is to build up the fundament of an Arakelov theory over adelic curves in order to provide a unified framework for the researches of arithmetic geometry in several directions.
In this article, we construct a $theta$-density for the global sections of ample Hermitian line bundles on a projective arithmetic variety. We show that this density has similar behaviour to the usual density in the Arakelov geometric setting, where only global sections of norm smaller than $1$ are considered. In particular, we prove the analogue by $theta$-density of two Bertini kind theorems, on irreducibility and regularity respectively.
A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally invariant. These vector spaces so metrized will be referred to as the pseudonormed spaces of the original varieties. A fundamental question is the following: given two mildly singular projective varieties with some of the first varietys pseudonormed spaces being isometric to the corresponding ones of the second varietys, can one construct a birational map between them which induces these isometries? In this work a positive answer to this question is given for varieties of general type. This can be thought of as a theorem of Torelli type for birational equivalence.
In this paper, we extend Delignes functorial Riemann-Roch isomorphism for hermitian holomorphic line bundles on Riemann surfaces to the case of flat, not necessarily unitary connections. The Quillen metric and star-product of Gillet-Soule are replaced with complex valued logarithms. On the determinant of cohomology side, the idea goes back to Fays holomorphic extension of determinants of Dolbeault laplacians, and it is shown here to be equivalent to the holomorphic Cappell-Miller torsion. On the Deligne pairing side, the logarithm is a refinement of the intersection connections considered in previous work. The construction naturally leads to an Arakelov theory for flat line bundles on arithmetic surfaces and produces arithmetic intersection numbers valued in ${mathbb C}/pi i {mathbb Z}$. In this context we prove an arithmetic Riemann-Roch theorem. This realizes a program proposed by Cappell-Miller to show that the holomorphic torsion exhibits properties similar to those of the Quillen metric proved by Bismut, Gillet and Soule. Finally, we give examples that clarify the kind of invariants that the formalism captures; namely, periods of differential forms.
Inspired by a theorem of Bhatt-Morrow-Scholze, we develop a stacky approach to crystals and isocrystals on Frobenius-smooth schemes over F_p . This class of schemes goes back to Berthelot-Messing and contains all smooth schemes over perfect fields of characteristic p. To treat isocrystals, we prove some descent theorems for sheaves of Banachian modules, which could be interesting in their own right.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
