Let $K$ be a complete non-trivially valued non-Archimedean field. Given an algebraic group over $K$ on which every regular function is constant, any rigid analytic function is shown to be constant too. It follows that an algebraic group over $K$ is affine if and only if the associated $K$-analytic space is Stein; that is, rigid analytic embeddings of it in an affine space may always be chosen to be given by algebraic functions. Arguably curiously, the corresponding statement over the complex numbers is false.
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 construct a smooth rational affine surface S with finite automorphism group but with the property that the group of automorphisms of the cylinder SxA^2 acts infinitely transitively on the complement of a closed subset of codimension at least two. Such a surface S is in particular rigid but not stably rigid with respect to the Makar-Limanov invariant.
We construct families of smooth affine surfaces with pairwise non isomorphic A 1-cylinders but whose A 2-cylinders are all isomorphic. These arise as complements of cuspidal hyperplane sections of smooth projective cubic surfaces.
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a subcategory defined by simple algebraic (normal) and topological (overconvergent) criteria. The affine manifold of a rigid space can be recovered either as a set of `Novikov field' points or as a universal Hausdorff quotient. After base change to any topological field, one obtains a `toric' analytic space that fibres over the affine manifold.
An irreducible algebraic variety $X$ is rigid if it admits no nontrivial action of the additive group of the ground field. We prove that the automorphism group $\text{Aut}(X)$ of a rigid affine variety contains a unique maximal torus $\mathbb{T}$. If the grading on the algebra of regular functions $\mathbb{K}[X]$ defined by the action of $\mathbb{T}$ is pointed, the group $\text{Aut}(X)$ is a finite extension of $\mathbb{T}$. As an application, we describe the automorphism group of a rigid trinomial affine hypersurface and find all isomorphisms between such hypersurfaces.
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…
I extend the definitions of schemes relative to monoids with zero - and therefore, toric geometry - to the world of formal schemes. This expands the usual framework to include, for instance, models for Mumford's degenerating Abelian varieties. Following the usual toric paradigm, normal formal monoid schemes can be classified in terms of certain cone complexes, and their properties understood in combinatorial terms. I use this to give a simple algebraisation criterion. I also reformulate the traditional notions of separated and proper morphism in a manner amenable to the context of relative for…
Let $Z\to X$ be a closed immersion of smooth affine schemes over an arbitrary field $k$, and $X^h_Z$ denote the henselization of $X$ along $Z$. For each presheaf $E\colon \mathbf{SH}(k)\to \mathrm{Ab}^\mathrm{op}$ on the stable motivic homotopy category over $k$ and the induced continuous presheaf $E\colon \mathrm{EssSm}_k\to \mathrm{Ab}^\mathrm{op}$ on the category of essentially smooth schemes there is a homomorphism \[E(X^h_Z)\to E(Z).\] We prove that this is an isomorphism for any $l_\varepsilon$-torsion presheaf $E$, for $l\in \mathbb Z$, $(l,\mathrm{chark}\,k)=1$, and $l_\varepsilon=\sum…
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 ana…
Following Steinberg, we construct an adjoint quotient for the Vinberg semi-group and a section to this quotient. Then, after Ngô, we show the existence of a regular centralizer on it and use it to compute the affine Springer fibers for groups.
An affine algebraic variety $X$ is rigid if the algebra of regular functions ${\mathbb K}[X]$ admits no nonzero locally nilpotent derivation. We prove that a factorial trinomial hypersurface is rigid if and only if every exponent in the trinomial is at least 2.
We describe a method to construct completions of affine spaces into total spaces of $\mathbb{Q}$-factorial terminal Mori fiber spaces over the projective line. As an application we provide families of examples with non-rational, birationally rigid and non-stably rational general fibers.
We introduce the notion of algebraic volume density property for affine algebraic manifolds and prove some important basic facts about it, in particular that it implies the volume density property. The main results of the paper are producing two big classes of examples of Stein manifolds with volume density property. One class consists of certain affine modifications of $\C^n$ equipped with a canonical volume form, the other is the class of all Linear Algebraic Groups equipped with the left invariant volume form.
A large family of periodic planar non-linear bimode metamaterials are constructed from rigid bars and pivots. They are affine materials in the sense that their macroscopic deformations are only affine deformations: at large distances any deformation must be close to an affine deformation. Bimode means that the paths of all possible deformations of Bravais lattices that preserve the periodicity of the lattice lie on a two dimensional surface in the three dimensional space of invariants describing the deformation (excluding translations and rotations). By adding two actuators inside a single mic…
We first develop some basic facts about certain sorts of rigid local systems on the affine line in characteristic $p>0$. We then apply them to exhibit a number of rigid local systems of rank $23$ on the affine line in characteristic $p=3$ whose arithmetic and geometric monodromy groups are the Conway group $\mathrm{Co}_3$ in its orthogonal irreducible representation of degree $23$.
Recently, Gekeler proved that the group of invertible analytic functions modulo constant functions on Drinfeld's upper half space is isomorphic to the dual of an integral generalized Steinberg representation. In this note we show that the group of invertible functions is the dual of a universal extension of that Steinberg representation. As an application, we show that lifting obstructions of rigid analytic theta cocycles of Hilbert modular forms in the sense of Darmon--Vonk can be computed in terms of $\mathcal{L}$-invariants of the associated Galois representation. The same argument applies …
Correlation matrices are standardized covariance matrices. They form an affine space of symmetric matrices defined by setting the diagonal entries to one. We study the geometry of maximum likelihood estimation for this model and linear submodels that encode additional symmetries. We also consider the problem of minimizing two closely related functions of the covariance matrix: the Stein's loss and the symmetrized Stein's loss. Unlike the Gaussian log-likelihood these two functions are convex and hence admit a unique positive definite optimum. Some of our results hold for general affine covaria…
For any formal group law, there is a formal affine Hecke algebra defined by Hoffnung, Malagón-López, Savage, and Zainoulline. Coming from this formal group law, there is also an oriented cohomology theory. We identify the formal affine Hecke algebra with a convolution algebra coming from the oriented cohomology theory applied to the Steinberg variety. As a consequence, this algebra acts on the corresponding cohomology of the Springer fibers. This generalizes the action of classical affine Hecke algebra on the $K$-theory of the Springer fibers constructed by Lusztig. We also give a residue inte…
We consider the analogue for regular maps from affine varieties to suitable algebraic manifolds of Oka theory for holomorphic maps from Stein spaces to suitable complex manifolds. The goal is to understand when the obstructions to approximation or interpolation are purely topological. We propose a definition of an algebraic Oka property, which is stronger than the analytic Oka property. We review the known examples of algebraic manifolds satisfying the algebraic Oka property and add a new class of examples: smooth nondegenerate toric varieties. On the other hand, we show that the algebraic ana…
A complete characterization is given of the possible macroscopic deformations of periodic nonlinear affine unimode metamaterials constructed from rigid bars and pivots. The materials are affine in the sense that their macroscopic deformations can only be affine deformations: on a local level the deformation may vary from cell to cell. Unimode means that macroscopically the material can only deform along a one dimensional trajectory in the six dimensional space of invariants describing the deformation (excluding translations and rotations). We show by explicit construction that any continuous t…
The goal of this paper is to establish a general rigidity statement for abstract representations of elementary subgroups of Chevalley groups of rank at least 2 over a class of commutative rings that includes the localizations of 1-generated rings and the coordinate rings of affine curves. This is achieved by developing the approach introduced in our previous work, and in particular by verifying condition (Z) over the class of rings at hand. Our main result implies, for example, that any finite-dimensional representation of SL_n(Z[X]) (for n at least 3) over an algebraically closed field of cha…
