We define a new type of valuation of a ring that combines the notion of Krull valuation with that of multiplicative seminorm. This definition partially restores the broken symmetry between archimedean and non-archimedean valuations. This also allows us to define a notion of global analytic space that reconciles Berkovich's notion of analytic space of a (Banach) ring with Huber's notion of non-archimedean analytic space. After defining natural generalized valuation spectra and computing the spectrum of Z and Z[X], we define analytic spectra and sheaves of analytic functions on them.
This text is the write-up of a talk at the Bellairs Workshop in Number Theory on Tropical and Non-Archimedean Geometry that took place at the Bellairs Research Institute, Barbados, in May 2011. The goal of this text is to present recent work by in Diophantine Geometry over function fields due to Gubler and Yamaki, where analytic geometry in the sense of Berkovich plays a significant place. I also give an introduction to basic concepts and notions on Diophantine Geometry, such as heights, the Manin-Mumford conjecture, the Bogomolov conjecture, and its proof by Ullmo and Zhang.
This is our sequel to our previous work on the corresponding generalized Frobenius modules over some big multivariate Robba rings. We will go beyond our previous discussion where we focused on the corresponding analytic functions on polydiscs and polyannuli in the strictly affinoid situation, and general Hodge-Frobenius structures which are admissible in the corresponding context in our previous work.
We establish asymptotic formulae for volumes of height balls in analytic varieties over local fields and in adelic points of algebraic varieties over number fields, relating the Mellin transforms of height functions to Igusa integrals and to global geometric invariants of the underlying variety. In the adelic setting, this involves the construction of general Tamagawa measures.
We prove a rigid analytic analogue of the Artin vanishing theorem. Precisely, we prove (under mild hypotheses) that the geometric etale cohomology of any Zariski-constructible sheaf on any affinoid rigid space $X$ vanishes in all degrees above the dimension of $X$. Along the way, we show that branched covers of normal rigid spaces can often be extended across closed analytic subsets, in analogy with a classical result for complex analytic spaces. We also prove a general comparison theorem relating the algebraic and analytic etale cohomologies of any affinoid rigid space.
In this paper we use the connections between tropical algebraic geometry and rigid analytic geometry in order to prove two main results. We use tropical methods to prove a theorem about the Newton polygon for convergent power series in several variables: if f_1,...,f_n are n convergent power series in n variables with coefficients in a non-Archimedean field K, we give a formula for the valuations and multiplicities of the common zeros of f_1,...,f_n. We use rigid-analytic methods to show that stable complete intersections of tropical hypersurfaces compute algebraic multiplicities even when the…
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve. Formal-analytic surfaces provide a natural framework for arithmetic algebraization theorems, old and new. Formal-analytic arithmetic surfaces admit a rich geometry which parallels the geometry of complex analytic surfaces. Notably the dichotomy between pseudoconvexity and pseudoconcavity plays a central role in their geometry. Our study of formal-analytic arithmetic surf…
This paper develops a theory of analytic geometry over the field with one element. The approach used is the analytic counter-part of the Toen-Vaquie theory of schemes over F_1, i.e. the base category relative to which we work out our theory is the category of sets endowed with norms (or families of norms). Base change functors to analytic spaces over Banach rings are studied and the basic spaces of analytic geometry (like polydisks) are recovered as a base change of analytic spaces over F_1. We end by discussing some applications of our theory to the theory of the Fargues-Fontaine curve and to…
We develop a full 6-functor formalism for $p$-torsion étale sheaves in rigid-analytic geometry. More concretely, we use the recently developed condensed mathematics by Clausen--Scholze to associate to every small v-stack (e.g. rigid-analytic variety) $X$ with pseudouniformizer $π$ an $\infty$-category $\mathcal D^a_\square(\mathcal O^+_X/π)$ of "derived quasicoherent complete topological $\mathcal O^+_X/π$-modules" on $X$. We then construct the six functors $\otimes$, $\underline{Hom}$, $f^*$, $f_*$, $f_!$ and $f^!$ in this setting and show that they satisfy all the expected compatibilities, s…
Gromov's compactness theorem for pseudo-holomorphic curves is a foundational result in symplectic geometry. It controls the compactness of the moduli space of pseudo-holomorphic curves with bounded area in a symplectic manifold. In this paper, we prove the analog of Gromov's compactness theorem in non-archimedean analytic geometry. We work in the framework of Berkovich spaces. First, we introduce a notion of Kähler structure in non-archimedean analytic geometry using metrizations of virtual line bundles. Second, we introduce formal stacks and non-archimedean analytic stacks. Then we construct …
We discuss the behavior of Landau-Ginzburg models for toric orbifolds near the large volume limit. This enables us to express mirror symmetry as an isomorphism of Frobenius manifolds which aquire logarithmic poles along a boundary divisor. If the toric orbifold admits a crepant resolution we construct a global moduli space on the B-side and show that the associated tt^*-geometry exists globally.
We show that Berkovich analytic geometry can be viewed as relative algebraic geometry in the sense of Toën--Vaquié--Vezzosi over the category of non-Archimedean Banach spaces. For any closed symmetric monoidal quasi-abelian category we can define a topology on certain subcategories of the of the category of affine schemes with respect to this category. By examining this topology for the category of Banach spaces we recover the G-topology or the topology of admissible subsets on affinoids which is used in analytic geometry. This gives a functor of points approach to non-Archimedean analytic geo…
As a starting point for higher-dimensional patching in the Berkovich setting, we show that this technique is applicable around certain fibers of a relative Berkovich analytic curve. As a consequence, we prove a local-global principle over the field of overconvergent meromorphic functions on said fibers. By showing that these germs of meromorphic functions are algebraic, we also obtain local-global principles over function fields of algebraic curves defined over a class of (not necessarily complete) ultrametric fields.
This note surveys basic topological properties of nonarchimedean analytic spaces, in the sense of Berkovich, including the recent tameness results of Hrushovski and Loeser. We also discuss interactions between the topology of nonarchimedean analytic spaces and classical algebraic geometry.
We construct a derived enhancement of Hom spaces between rigid analytic spaces. It encodes the hidden deformation-theoretic informations of the underlying classical moduli space. The main tool in our construction is the representability theorem in derived analytic geometry, which has been established in our previous work. The representability theorem provides us sufficient and necessary conditions for an analytic moduli functor to possess the structure of a derived analytic stack. In order to verify the conditions of the representability theorem, we prove several general results in the context…
We give a formulation for derived analytic geometry built from commutative differential graded algebras equipped with entire functional calculus on their degree 0 part, a theory well-suited to developing shifted Poisson structures and quantisations. In the complex setting, we show that this formulation recovers equivalent derived analytic spaces and stacks to those coming from Lurie's structured topoi. In non-Archimedean settings, there is a similar comparison, but for derived dagger analytic spaces and stacks, based on overconvergent functions.
Geometry over non--existent "field with one element" $F_1$ conceived by Jacques Tits [Ti] half a century ago recently found an incarnation, in at least two related but different guises. In this paper I analyze the crucial role of roots of unity in this geometry and propose a version of the notion of "analytic functions" over $F_1$. The paper combines a focused survey with some new constructions. In new version, several local additions and changes are made, references added.
We use Kiehl-Verdier's and Houzel's finiteness theorems in the setting of local analytic geometry, and the Whitney-Thom theory of stratified spaces, to prove that fibrewise constructible complex of sheaves have coherent direct images. We review the notions of stratification theory which are needed.
We isolate a class, say $\mathcal{A}$, of global real analytic functions such that, each global semi-analytic set defined by $\mathcal{A}$ has only finitely many connected components and each component is also a global semi-analytic set defined by $\mathcal{A}$.
This is a survey written for the Proceedings of the AMS Summer Institute in Algebraic Geometry held in Seattle in 2005. Topics discussed in the survey include the ample and the effective cone of the moduli space of curves, Kodaira dimension, Slope Conjecture, log canonical models etc.
We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and practical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor.…
We continue the explorations of derived \canal geometry started in [DAG-IX] and in http://arxiv.org/abs/1506.09042. We describe the category of $\mathcal O_X$-modules over a derived complex analytic space $X$ as the stabilization of a suitable category of analytic algebras over $\mathcal O_X$. Finally, we apply this description to introduce the notion of analytic square-zero extension and prove a fundamental structure theorem for them.
We prove that the outer Lipschitz geometry of a germ $(X,0)$ of a normal complex surface singularity determines a large amount of its analytic structure. In particular, it follows that any analytic family of normal surface singularities with constant Lipschitz geometry is Zariski equisingular. We also prove a strong converse for families of normal complex hypersurface singularities in $\mathbb C^3$: Zariski equisingularity implies Lipschitz triviality. So for such a family Lipschitz triviality, constant Lipschitz geometry and Zariski equisingularity are equivalent to each other.
If $X$ is a smooth scheme of characteristic zero or a complex analytic manifold, and $S$ is a locally split infinitesimal thickening of $X$, we compute explicitly the derived self-intersection of $X$ in $S$.
We show that every compact complex analytic space endowed with a fine logarithmic structure and every morphism between such spaces admit a semi-universal deformation. These results generalize the analogous results in complex analytic geometry first independently proved by A. Douady and H. Grauert in the '70. We follow Douady's two steps process approach consisting of an infinite-dimensional construction of the semi-universal deformation space followed by a finite-dimensional reduction.
We study tropical geometry in the global setting using Berkovich's deformation retraction. We state and prove the generalized balancing conditions in this setting. Starting with a strictly semi-stable formal scheme, we calculate certain sheaves of vanishing cycles using analytic étale cohomology, then we interpret the tropical weights via these cycles. We obtain the balancing condition for tropical curves on the skeleton associated to the formal scheme in terms of the intersection theory on the special fiber. Our approach works over any complete discrete valuation field.
In this article we give a homological characterization of the topology of Stein spaces over any valued base field. In particular, when working over the field of complex numbers, we obtain a characterization of the usual Euclidean (transcendental) topology of complex analytic spaces. For non-Archimedean base fields the topology we characterize coincides with the topology of the Berkovich analytic space associated to a non-Archimedean Stein algebra. Because the characterization we used is borrowed from a definition in derived geometry, this work should be read as a contribution towards the found…
We develop homotopical algebraic geometry (see math.AG/0207028) in the special context where the base symmetric monoidal model category is the category S of spectra, i.e. what might be called, after Waldhausen, ``brave new algebraic geometry''. We discuss various model topologies on the model category of commutative algebras in S, the associated theories of geometric S-stacks (a geometric S-stack being an analog of Artin notion of algebraic stack in Algebraic Geometry), and finally show how to define global moduli spaces of associative ring spectra structures and a moduli space related to topo…
This paper provides an overview of the theory of Bruhat-Tits buildings. Besides, we explain how Bruhat-Tits buildings can be realized inside Berkovich spaces. In this way, Berkovich analytic geometry canbe used to compactify buildings. We discuss in detail the example of the special linear group. Moreover, we give an intrinsic description of Bruhat-Tits buildings in the framework of non-Archimedean analytic geometry.
Main mathematical applications of Frobenius manifolds are in the theory of Gromov - Witten invariants, in singularity theory, in differential geometry of the orbit spaces of reflection groups and of their extensions, in the hamiltonian theory of integrable hierarchies. The theory of Frobenius manifolds establishes remarkable relationships between these, sometimes rather distant, mathematical theories.
We define a notion of global analytic space with overconvergent structure sheaf. This gives an analog on a general base Banach ring of Grosse-Kloenne's overconvergent p-adic spaces and of Bambozzi's generalized affinoid varieties over R. This also gives an affinoid version of Berkovich's and Poineau's global analytic spaces. This affinoid approach allows the introduction of a notion of strict global analytic space, that has some relations with the ideas of Arakelov geometry, since the base extension along the identity morphism on Z (from the archimedean norm to the trivial norm) sends a strict…
In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme locally almost of finite presentation $X$, the canonical map $X^{\mathrm{an}} \to X$ is flat in the derived sense. Next, we provide a comparison result relating derived complex analytic spaces to geometric stacks. Using these results and building on the previous work arXiv:1412.5166, we prove a derived version of the GAGA theorems. As an application, we pro…
We show that every coarse moduli space, parametrizing complex special linear rank two local systems with fixed boundary traces on a surface with nonempty boundary, is log Calabi-Yau in that it has a normal projective compactification with trivial log canonical divisor. We connect this to a novel symmetry of generating series for counts of essential multicurves on the surface.
We give a systematic presentation of the stability theory in the non-algebraic Kaehlerian geometry. We introduce the concept of "energy complete Hamiltonian action". To an energy complete Hamiltonian action of a reductive group G on a complex manifold one can associate a G-equivariant maximal weight function and prove a Hilbert criterion for semistability. In other words, for such actions, the symplectic semistability and analytic semistability conditions are equivalent.
The tempered fundamental group of a p-adic analytic space classifies coverings that are dominated by a topological covering (for the Berkovich topology) of a finite etale covering of the space. Here we construct cospecialization homomorphisms between (p') versions of the tempered fundamental groups of the fibers of a smooth family of curves with semistable reduction. To do so, we will translate our problem in terms of cospecialization morphisms of fundamental groups of the log fibers of the log reduction. In particular, we will have to study invariance of the geometric log fundamental group of…
It is proved by Kawamata that the canonical bundle of a projective manifold is semi-ample if it is big and nef. We give an analytic proof using the Ricci flow, degeneration of Riemannian manifolds and $L^2$-theory. Combined with our earlier results, we construct unique singular Kahler-Einstein metrics with a global Riemannian structure on canonical models. Our approach can be viewed as the Kodaira embedding theorem on singular metric spaces with canonical Kahler metrics.
Harder's reduction theory provides filtrations of euclidean buildings that allow one to deduce cohomological and homological properties of S-arithmetic groups over global function fields. In this survey I will sketch the main points of Harder's reduction theory starting from Weil's geometry of numbers and the Riemann-Roch theorem, describe a filtration that is particularly useful for deriving finiteness properties of S-arithmetic groups, and state the rank conjecture and its partial verifications that do not restrict the cardinality of the underlying field of constants. As a motivation for fur…
We introduce and study a notion of analytic loop group with a Riemann-Hilbert factorization relevant for the representation theory of quantum affine algebras at roots of unity with non trivial central charge. We introduce a Poisson structure and study properties of its Poisson dual group. We prove that the Hopf-Poisson structure is isomorphic to the semi-classical limit of the center of the quantum affine algebra (it is a geometric realization of the center). Then the symplectic leaves, and corresponding equivalence classes of central characters, are parameterized by certain G-bundles on an el…
It is shown that in dimension at least three a local diffeomorphism of Euclidean n-space into itself is injective provided that the pull-back of every plane is a Riemannian submanifold which is conformal to a plane. Using a similar technique one recovers the result that a polynomial local biholomorphism of complex $n$-space into itself is invertible if and only if the pull-back of every complex line is a connected rational curve. These results are special cases of our main theorem, whose proof uses geometry, complex analysis, elliptic partial differential equations, and topology.
