Related papers: Stably uniform affinoids are sheafy

We prove that the cohomology of the integral structure sheaf of a normal affinoid adic space over a non-archimedean field of characteristic zero is uniformly torsion. This result originated from a remark of Bartenwerfer around the 1980s and…

We construct a non-sheafy uniform Banach algebra such that a rational localisation of the Berkovich spectrum does not preserve the uniformity. We also construct uniform affinoid rings in the sense of Roland Huber such that rational…

In this paper we will first introduce the notion of affine structures on a ringed space and then obtain several properties. Affine structures on a ringed space, arising mainly from complex analytical spaces of algebraic schemes over number…

We prove that on separated algebraic surfaces every coherent sheaf is a quotient of a locally free sheaf. This class contains many schemes that are neither normal, reduced, quasiprojective or embeddable into toric varieties. Our methods…

We prove that an algebraic stack with affine stabilizers over an arbitrary base is \'etale-locally a quotient stack around any point with a linearly reductive stabilizer. This generalizes earlier work by the authors of this article (stacks…

In this note, we show that every Noetherian graded ring with an affine degree zero part is affine. As a result, a Noetherian graded Hopf algebra whose degree zero component is a commutative or a cocommutative Hopf subalgebra is affine.…

We prove that every non-degenerate toric variety, every homogeneous space of a connected linear algebraic group without non-constant invertible regular functions, and every variety covered by affine spaces admits a surjective morphism from…

We show that if a flat group scheme acts properly, with finite stabilizers, on an algebraic space, then a quotient exists as a separated algebraic space. More generally we show any flat groupid for which the family of stabilizers is finite…

A uniform space is a topological space together with some additional structure which allows one to make sense of uniform properties such as completeness or uniform convergence. Motivated by previous work of J. Rivera-Letelier, we give a new…

We investigate the local properties of Berkovich spaces over Z. Using Weierstrass theorems, we prove that the local rings of those spaces are noetherian, regular in the case of affine spaces and excellent. We also show that the structure…

For $(R, R^{+})$ an analytic perfectoid ring in char $p$, let $A_{\text{inf}}(R^{+})$ be the ring of Witt vectors with the induced topology from $(R, R^{+})$. We prove that $\text{Spa}(A_{\text{inf}}(R^{+}),A_{\text{inf}}(R^{+}))$ is sheafy…

The main objects of study are adic spaces with logarithmic structures. After establishing the basic definitions, we analyze the Kummer \'etale and pro-Kummer \'etale topologies on log adic spaces. In particular, we show that log adic spaces…

In this paper, we identify some categorical structures in which one can model predicative formal systems: in other words, predicative analogues of the notion of a topos, with the aim of using sheaf models to interprete predicative formal…

In this note we prove that every non characteristically filiform Lie algebra is endowed with an affine structure.

The affine space of traceless complex matrices in which the sum of all elements in every row and every column is equal to one is presented as an example of an affine space with a Lie bracket or a Lie affgebra.

Dosi and, quite recently, the author showed that, on the character space of a nilpotent Lie algebra, there exists a sheaf of Fr\'echet--Arens--Michael algebras (of noncommutative holomorphic functions in the complex case and of…

This is the third installment in a series of papers on algebraic set theory. In it, we develop a uniform approach to sheaf models of constructive set theories based on ideas from categorical logic. The key notion is that of a "predicative…

In this paper, we prove the following differential analog of the Noether normalization lemma: for every $d$-dimensional differential algebraic variety over differentially closed field of zero characteristic there exists a surjective map…

We make an attempt to develop "noncommutative algebraic geometry" in which noncommutative affine schemes are in one-to-one correspondence with associative algebras. In the first part we discuss various aspects of smoothness in affine…

This thesis is concerned with equidistant foliations of Euclidean space, i.e. partitions into complete, connected, properly embedded smooth submanifolds. The space of leaves is an Alexandrov space of nonnegative curvature and the canonical…