Related papers: A Luna \'etale slice theorem for algebraic stacks

The central objective of this article is to provide an elementary proof of the following theorem, of which we are unaware of any trace in the existing literature. If $B$ is a net finite free algebra over a commutative ring $A$, then it is…

We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…

In this paper, we prove that a smooth projective globally $F$-split variety with numerically flat tangent bundle is an \'etale quotient of an ordinary abelian variety. We also show its logarithmic analog, which contains a characterization…

We study the notion of linear sofic approximations for algebras, analogous to the concept of sofic representations for groups. We prove that for a finitely generated amenable $K$-algebra with no zero divisors, all linear sofic…

For algebraic stacks over number fields, we define their Brauer-Manin sets, Brauer-Manin pairings, and extend the descent theory of Colliot-Th\'el\`ene and Sansuc. By extending Sansuc's exact sequence, we show the torsionness of Brauer…

Let G be a reductive linear algebraic group, H a reductive subgroup of G and X an affine G-variety. Let Y denote the set of fixed points of H in X, and N(H) the normalizer of H in G. In this paper we study the natural map from the quotient…

We explicitly calculate an arithmetic adelic quotient group for a locally free sheaf on an arithmetic surface when the fiber over the infinite point of the base is taken into account. The calculations are presented via a short exact…

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

Using moduli of equinormalized curves and Ishii's theory of territories, we prove that the moduli stack of all reduced n-pointed algebraic curves of fixed arithmetic genus is connected.

Let X be an irreducible affine T-variety. We consider families of affine stable toric T-varieties over X and give a description of the corresponding moduli space as the quotient stack of an open subscheme in a certain toric Hilbert scheme…

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…

We prove that every orbit of the adjoint representation of any connected reductive algebraic group $G$ is a rational algebraic variety. For complex simply connected semisimple $G$, this implies rationality of affine Hamiltonian…

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…

For a complete discrete valuation field $K$, we show that one may always glue a separated formal algebraic space $\mathfrak{X}$ over $\mathcal{O}_K$ to a separated algebraic space $U$ over $K$ along an open immersion of rigid spaces…

In this paper we prove that the etale sheafification of the functor arising from the quotient of an algebraic supergroup by a closed subsupergroup is representable by a smooth superscheme.

Kleene algebra (KA) is an important tool for reasoning about general program equivalences, with a decidable and complete equational theory. However, KA cannot always prove equivalences between specific programs. For this purpose, one adds…

We provide a characterization of homogeneous spaces under a reductive group scheme such that the geometric stabilizers are maximal tori. The quasi-split case over a semilocal base is of special interest and permits to answer a question…

When the plane is pie-sliced in $n\leq 4$ parts (with nonempty interior and common vertex at the origin) our main result provides a sufficient condition for any map $L$, that is continuous and piecewise linear relatively to this slicing, to…

We prove that every unital stably finite simple amenable $C^*$-algebra $A$ with finite nuclear dimension and with UCT such that every trace is quasi-diagonal has the property that $A\otimes Q$ has generalized tracial rank at most one, where…

We construct and study a graded version of absolute perfectoidization for $G$-graded adic rings. As a main geometric application, we show that the absolute perfectoidization of the structure sheaf of a projective-type formal scheme admits…