Related papers: Stably uniform affinoids are sheafy
In this note we prove that any affine algebraic monoid can be obtained as the endomorphisms' monoid of a finite-dimensional (nonassociative) algebra.
We classify torsion-free real-analytic affine connections on compact oriented real-analytic surfaces which are locally homogeneous on a nontrivial open set, without being locally homogeneous on all of the surface. In particular, we prove…
To generalize some fundamental results on group schemes to the super context, we study the quotient sheaf $G \tilde{/} H$ of an algebraic supergroup $G$ by its closed supersubgroup $H$, in arbitrary characteristic $\neq$ 2. Our main theorem…
We prove that given a super affine closed subgroup $H$ of a super affine group $G$ over a field $k$ of charctersitic $\mathrm{ch} k \ne 2$, the dur $k$-sheaf $G\tilde{\tilde{/}} H$ of right cosets is affine if the affine $k$-group $\bar{H}$…
We develop foundational aspects of stability theory in affine logic. On the one hand, we prove appropriate affine versions of many classical results, including definability of types, existence of non-forking extensions, and other…
We use Tannakian methods to show that patching for coherent sheaves implies patching for objects in any Noetherian algebraic stack with affine stabilizers. Among other things, this gives a straightforward way to prove patching for torsors…
We develop the geometric and homological framework for non-commutative $n$-ary $\Gamma$-semirings by constructing a sheaf and derived theory over their non-commutative $\Gamma$-spectrum. Starting with a non-commutative $n$-ary…
Let $X$ be a smooth rigid space with an action of a finite group $G$ satisfying that $X/G$ is represented by a rigid space. We construct sheaves of $p$-adic Cherednik algebras on the small \'etale site of the quotient $X/G$, and study some…
We study here systems of symmetries on $|1|$--graded parabolic geometries. We are interested in smooth systems of symmetries and we discuss non--flat homogeneous $|1|$--graded geometries. We show the existence of an invariant admissible…
We introduce a dynamical Mordell-Lang-type conjecture for coherent sheaves. When the sheaves are structure sheaves of closed subschemes, our conjecture becomes a statement about unlikely intersections. We prove an analogue of this…
There has been a long-standing question about whether being perfectoid for an algebra is local in the analytic topology. We provide affirmative answers for the algebras (e.g., over $\overline{\mathbb{Z}_p}$) whose spectra are inverse limits…
Locally ordered spaces can be used as topological models of concurrent programs: the local order models the irreversibility of time during execution. Under certain conditions, one can even work with locally ordered manifolds. In this paper,…
We show that $\mathfrak{aff}(n)$, the Lie algebra of affine transformations of ${\mathbb R}^n,$ is formally and analytically nondegenerate in the sense of A. Weinstein. This means that every analytic (resp., formal) Poisson structure…
We characterize those algebras over a disconnected uniformly complete topological field which are representable as algebras of continuous functions on compact topological spaces, generalizing thus Gelfand duality for non-archimedean normed…
By affine arithmetic is meant the set of affine consequences of Peano arithmetic. This is a continuous theory which is studied in the framework of affine logic, a sublogic of continuous logic. Affine arithmetic is undecidable. Also, its…
We present several results on the compactness of the space of morphisms between analytic spaces in the sense of Berkovich. We show that under certain conditions on the source, every sequence of analytic maps having an affinoid target has a…
We show that the category of affine bundles over a smooth manifold M is equivalent to the category of affine spaces modelled on projective finitely generated C^\infty(M)-modules. Using this equivalence of categories, we are able to give an…
We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…
Suppose that $F$ is an $\mathbb{A}^{1}$-invariant quasi-stable $\mathbb{Z}F_{\ast}$-presheaf. Then its Zariski sheafification $F_{Zar}$ coincides with its Nisnevich sheafification $F_{Nis}$. Moreover, if $X\in Sm/k$ is $k$-smooth, then for…
We characterise the Priestley spaces corresponding to affine complete bounded distributive lattices. Moreover we prove that the class of affine complete bounded distributive lattices is closed under products and free products. We show that…