We construct a motivic homotopy theory for rigid analytic varieties with the rigid analytic affine line $\mathbb{A} ^1_\mathrm{rig}$ as an interval object. This motivic homotopy theory is inspired from, but not equal to, Ayoub's motivic homotopy theory for rigid analytic varieties. Working in the so constructed homotopy theory, we prove that a homotopy classification of vector bundles of rank $n$ over rigid analytic quasi-Stein spaces follows from $\mathbb{A}^1_\mathrm{rig}$-homotopy invariance of vector bundles. This $\mathbb{A}^1_\mathrm{rig}$-homotopy invariance is equivalent to a rigid analytic version of Lindel's solution to the Bass--Quillen conjecture. Moreover, we establish a homotopy classification of line bundles over rigid analytic quasi-Stein spaces. In fact, line bundles are classified by infinite projective space.
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that the functor sending a variety to the p-th step of the Hodge filtration of its complex cohomology is representable in the homotopy category of simplicial presheaves on smooth complex varieties. The main motivation are recent applications of homotopy theory to Deligne-Beilinson cohomology theories.
We study the Galois actions on the l-adic schematic and Artin-Mazur homotopy groups of algebraic varieties. For proper varieties of good reduction over a local field K, we show that the l-adic schematic homotopy groups are mixed representations explicitly determined by the Galois action on cohomology of Weil sheaves, whenever l is not equal to the residue characteristic p of K. For quasi-projective varieties of good reduction, there is a similar characterisation involving the Gysin spectral sequence. When l=p, a slightly weaker result is proved by comparing the crystalline and p-adic schematic…
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…
We survey some topics in ${\mathbb A}^1$-homotopy theory. Our main goal is to highlight the interplay between ${\mathbb A}^1$-homotopy theory and affine algebraic geometry, focusing on the varieties that are "contractible" from various standpoints.
We study the homotopy type of the simplicial set of continuous semi-algebraic simplexes of an algebraic variety defined over a real closed field, which we will call the real homotopy type. We prove an analogue of the theorem of Artin-Mazur comparing the real homotopy type with the étale homotopy type. This paper is part one of a sequence of papers on this topic.
Let X be a complex projective variety of dimension n with only isolated normal singularities. In this paper we prove, using mixed Hodge theory, that if the link of each singular point of X is (n-2)-connected, then X is a formal topological space. This result applies to a large class of examples, such as normal surface singularities, varieties with ordinary multiple points, hypersurfaces with isolated singularities and more generally, complete intersections with isolated singularities. We obtain analogous results for contractions of subvarieties.
We study homotopy rational points of Brauer-Severi varieties over fields of characteristic zero. We are particularly interested if a Brauer-Severi variety admitting a homotopy rational point splits. The analogue statement turns out to be true for open subvarieties of twisted hyperplane arrangements. In the complete case, the obstruction turns out to be the pullback of the Chern class of a generator of the Picard group along the homotopy rational point. Moreover, we will show that every Brauer-Severi variety over a $p$-adic field with $p$-primary period admits a homotopy rational point.
We start to study the problem of classifying smooth proper varieties over a field k from the standpoint of A^1-homotopy theory. Motivated by the topological theory of surgery, we discuss the problem of classifying up to isomorphism all smooth proper varieties having a specified A^1-homotopy type. Arithmetic considerations involving the sheaf of A^1-connected components lead us to introduce several different notions of connectedness in A^1-homotopy theory. We provide concrete links between these notions, connectedness of points by chains of affine lines, and various rationality properties of al…
We prove several related results on the low-degree Hodge numbers of proper smooth rigid analytic varieties over non-archimedean fields. Our arguments rely on known structure theorems for the relevant Picard varieties, together with recent advances in p-adic Hodge theory. We also define a rigid analytic Albanese naturally associated with any smooth proper rigid space.
In this paper, we study smooth proper rigid varieties which admit formal models whose special fibers are projective. The main theorem asserts that the identity components of the associated rigid Picard varieties will automatically be proper. Consequently, we prove that p-adic Hopf varieties will never have a projective reduction. The proof of our main theorem uses the theory of moduli of semistable coherent sheaves.
We construct examples of smooth proper rigid-analytic varieties admitting formal model with projective special fiber and violating Hodge symmetry for cohomology in degrees $\geq 3$. This answers negatively a question raised by Hansen and Li.
Homotopy continuation provides a numerical tool for computing the equivalence of a smooth variety in an intersection product. Intersection theory provides a theoretical tool for relating the equivalence of a smooth variety in an intersection product to the degrees of the Chern classes of the variety. A combination of these tools leads to a numerical method for computing the degrees of Chern classes of smooth projective varieties in P^n. We illustrate the approach through several worked examples.
Let G be a real reductive algebraic group with maximal compact subgroup K, and let F be a rank r free group. Here, we summarize the construction of a natural strong deformation retraction from the space of closed orbits in Hom(F,G)/G to the orbit space Hom(F,K)/K. In particular, these spaces have the same homotopy type.
We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-etale site, which makes all constructions completely functorial.
We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods. The main technical input is a construction of a Hyodo-Kato cohomology and a Hyodo-Kato isomorphism with de Rham cohomology.
We study a wide class of affine varieties, which we call affine Fano varieties. By analogy with birationally super-rigid Fano varieties, we define super-rigidity for affine Fano varieties, and provide many examples and non-examples of super-rigid affine Fano varieties.
We show that if X is any proper complex variety, there is a weight decomposition on the real schematic homotopy type, in the form of an algebraic G_m-action. This extends to a real Hodge structure, in the form of a discrete C^*-action, such that C^* x X -> X^{sch} is real analytic. If the fundamental group is algebraically good, and the higher homotopy groups have finite rank, this gives bigraded decompositions on the complexified homotopy groups. For smooth proper varieties, the Hodge structure can be recovered from the cohomology ring with coefficients in the universal semisimple local syste…
A differential operator $D$ commuting with an $S^1$-action is said to be rigid if the non-constant Fourier coefficients of $\ker D$ and $\coker D$ are the same. Somewhat surprisingly, the study of rigid differential operators turns out to be closely related to the problem of defining Chern numbers on singular varieties. This relationship comes into play when we make use of the rigidity properties of the complex elliptic genus--essentially an infinite-dimensional analogue of a Dirac operator. This paper is a survey of rigidity theorems related to the elliptic genus, and their applications to th…
We study some properties of A^1-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of A^1-homotopy theory. These concepts and results are well-suited to the study of certain quotients via geometric invariant theory. As a case study in the geometry of solvable group quotients, we investigate A^1-homotopy groups of smooth toric varieties. We give simple combinatorial conditions (in terms of fans) guaranteeing vanishing of low degree A^1-homotopy gr…
Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the étale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are compatible with Poincaré duality and with the canonical morphisms among such cohomology. We deduce these results from their analogues for rigid analytic varieties that are Zariski open in some proper smooth rigid analytic varieties over $k$. In particular, we prove finiteness of étale cohomology with partial compact support of any $\mathbb Z_p$-local systems, and e…
We consider the inclusion of the space of algebraic (regular) maps between real algebraic varieties in the space of all continuous maps. For a certain class of real algebraic varieties, which include real projective spaces, it is well known that the space of real algebraic maps is a dense subset of the space of all continuous maps. Our first result shows that, for this class of varieties, the inclusion is also a homotopy equivalence. After proving this, we restrict the class of varieties to real projective spaces. In this case, the space of algebraic maps has a ` minimum degree\rq filtration b…
Let G be a connected reductive complex affine algebraic group, and let X denote the moduli space of G-valued representations of a rank r free group. We first characterize the singularities in X, extending a theorem of Richardson and proving a Mumford-type result about topological singularities; this resolves conjectures of Florentino-Lawton. In particular, we compute the codimension of the orbifold singular locus using facts about Borel-de Siebenthal subgroups. We then use the codimension bound to calculate higher homotopy groups of the smooth locus of X, proving conjectures of Florentino-Lawt…
We study aspects of the A^1-homotopy classification problem in dimensions >= 3 and, to this end, we investigate the problem of computing A^1-homotopy groups of some A^1-connected smooth varieties of dimension >=. Using these computations, we construct pairs of A^1-connected smooth proper varieties all of whose A^1-homotopy groups are abstractly isomorphic, yet which are not A^1-weakly equivalent. The examples come from pairs of Zariski locally trivial projective space bundles over projective spaces and are of the smallest possible dimension. Projectivizations of vector bundles give rise to A^1…
In this paper we prove criteria for a nonnormal toric variety to be flexible, to be rigid and to be almost rigid. For rigid and almost rigid toric varieties we describe the automorphism group explicitly.
We prove some $\ell$-independence results on local constancy of étale cohomology of rigid analytic varieties. As a result, we show that a closed subscheme of a proper scheme over an algebraically closed complete non-archimedean field has a small open neighborhood in the analytic topology such that, for every prime number $\ell$ different from the residue characteristic, the closed subscheme and the open neighborhood have the same étale cohomology with $\mathbb Z/\ell \mathbb Z$-coefficients. The existence of such an open neighborhood for each $\ell$ was proved by Huber. A key ingredient in the…
We give a brief survey of the concept of birational rigidity, from its origins in the two-dimensional birational geometry, to its current state. The main ingredients of the method of maximal singularities are discussed. The principal results of the theory of birational rigidity of higher-dimensional Fano varieties and fibrations are given and certain natural conjectures are formulated.
We give a characterization of all complete smooth toric varieties whose rational homotopy is of elliptic type. All such toric varieties of complex dimension not more than three are explicitly described.
In this paper we study the connection between rigid sheaves and separable-exceptional objects on Fano varieties over arbitrary fields. We give criteria for a rigid vector bundle on a Fano variety to be the direct sum of separable-exceptional bundles and for a separable-exceptional vector bundle to be part of a full separable-exceptional collection.
Trinomial varieties are affine varieties given by some special system of equations consisting of polynomials with three terms. Such varieties are total coordinate spaces of normal rational varieties with torus action of complexity one. For an affine variety X we consider the subgroup SAut(X) of the automorphism group generated by all algebraic subgroups isomorphic to the additive group of the ground field. An affine variety X is rigid if SAut(X) is trivial. In opposite an affine variety is flexible if SAut(X) acts transitively on the regular locus. Arzhantsev proved a criterium for a factorial…
Rigid analytic 1-motives and conjugate uniformization of abeloid varieties
Morningside Center of Mathematics, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of Chinese Academy of Sciences（中国科学院大学）；Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学数学研究所）
We prove analogs of Whitehead's theorem (from algebraic topology) for both the Chow groups and for the Grothendieck group of coherent sheaves: a morphism between smooth projective varieties whose pushforward is an isomorphism on the Chow groups, or on the Grothendieck group of coherent sheaves, is an isomorphism. As a corollary, we show that there are no nontrivial naive $\mathbb{A}^1$-homotopy equivalences between smooth projective varieties.
Motivated by a question of Hansen and Li, we show that a smooth and proper rigid analytic space $X$ with projective reduction satisfies Hodge symmetry in the following situations: (1) the base non-archimedean field $K$ is of residue characteristic zero, (2) $K$ is $p$-adic and $X$ has good ordinary reduction, (3) $K$ is $p$-adic and $X$ has "combinatorial reduction."' We also reprove a version of their result, Hodge symmetry for $H^1$, without the use of moduli spaces of semistable sheaves. All of this relies on cases of Kato's log hard Lefschetz conjecture, which we prove for $H^1$ and for lo…
We show how to functorially attach continuous $p$-adic representations of the profinite fundamental group to vector bundles with numerically flat reduction on a proper rigid analytic variety over $\mathbb{C}_p$. This generalizes results by Deninger and Werner for vector bundles on smooth algebraic varieties. Our approach uses fundamental results on the pro-étale site of a rigid analytic variety introduced by Scholze. This enables us to get rid of the smoothness condition and to work in the analytic category. Moreover, under some mild conditions, the functor we construct gives a full embedding …
A result of Belyi can be stated as follows. Every curve defined over a number field can be expressed as a cover of the projective line with branch locus contained in a rigid divisor. We define the notion of geometrically rigid divisors in surfaces and then show that every surface defined over a number field can be expressed as a cover of the projective plane with branch locus contained in a geometrically rigid divisor in the plane. The main result is the characterisation of arithmetically defined divisors in the plane as geometrically rigid divisors in the plane.
We complete the study of birational geometry of Fano fiber spaces $π\colon V\to {\mathbb P}^1$, the fiber of which is a Fano double hypersurface of index 1. For each family of these varieties we either prove birational rigidity or produce explicitly non-trivial structures of Fano fiber spaces. A new linear method of studying movable systems on Fano fiber spaces $V/{\mathbb P}^1$ is developed.
