Related papers: Infinitesimal local study of formal schemes

Necessary and sufficient conditions for convexity and strong convexity, respectively, of sublevel sets that are defined by finitely many real-valued $C^{1,1}$-maps are presented. A novel characterization of strongly convex sets in terms of…

We show that given a dominant morphism between two smooth varieties of the same dimension, the induced morphism between the formal neighborhoods of two arcs on these varieties is a closed embedding, of codimension given by the order of…

We investigate two invariants of Noetherian semiperfect rings, namely the depth and a new invariant we call the "delooping level". These give lower and upper bounds for the finitistic dimension, respectively. As first theorems, we give a…

We define a new class of completions of locally symmetric varieties of type IV which interpolates between the Baily-Borel compactification and Mumford's toric compactifications. An arithmetic arrangement in a locally symmetric variety of…

Let $\fa$ be an ideal of a Noetherian local ring $(R,\fm)$ and $M$ a finitely generated $R$-module. In this paper we introduce some criterions on Artinianness of formal local cohomology, in particular vanishing and finiteness of local…

We prove a dynamical version of the Mordell-Lang conjecture for etale endomorphisms of quasiprojective varieties. We use p-adic methods inspired by the work of Skolem, Mahler, and Lech, combined with methods from algebraic geometry. As…

An analytic approach and description are presented for the moduli cotangent sheaf for suitable stable curve families including noded fibers. For sections of the square of the relative dualizing sheaf, the residue map at a node gives rise to…

We give a necessary and sufficient smoothness condition for the scheme parameterizing the n-dimensional representations of a finitely generated associative algebra over an algebraically closed field of characteristic zero. In particular,…

We show that a map $\mathrm{Spa}\,B \to \mathrm{Spa}\,A$ of sous-perfectoid affinoid adic spaces is \'etale if and only if there exists a presentation $B \cong A\langle X_{1},\dots, X_{n} \rangle/(f_{1},\dots,f_{n})$ such that the…

We find necessary and sufficient conditions for a complete local ring to be the completion of a noncatenary local (Noetherian) domain, as well as necessary and sufficient conditions for it to be the completion of a noncatenary local…

This note presents an approach to studying the iterates of a mapping whose restriction to the complement of a finite set is continuous and open. The main examples to which the approach can be applied are piecewise monotone mappings defined…

Let $M$ denote a finitely generated module over a Noetherian ring $R$. For an ideal $I \subset R$ there is a study of the endomorphisms of the local cohomology module $H^g_I(M), g = \operatorname{grade} (I,M),$ and related results. Another…

We characterize those regular, holomorphic or formal maps into the orbit space $V/G$ of a complex representation of a finite group $G$ which admit a regular, holomorphic or formal lift to the representation space $V$. In particular, the…

We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes.

We define a class of maps between holomorphically embedded null curves which generalize conformal transformations, and can be defined in any complex dimension. In four dimensions, we can also define a similar map between self-dual surfaces,…

For a smooth finite cyclic covering over a projective space of dimension greater than one, we show that the group of automorphisms acts faithfully on the cohomology except for a few cases. In characteristic zero, we study the equivariant…

We are interested in classifying groups of local biholomorphisms (or even formal diffeomorphisms) that can be endowed with a canonical structure of algebraic group up to add extra formal diffeomorphisms. We show that this is the case for…

Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article we make no essential use of the higher structure and use…

Let $R$ be an algebra over a ring $\Bbbk$, $T$ an $R$-algebra, $M$ a finitely generated projective $R$-module, and $N$ a $T$-module. Let $G$ be a linearly reductive group scheme over $\Bbbk$ equipped with a representation…

We study what we call quasi-spline sheaves over locally Noetherian schemes. This is done with the intention of considering splines from the point of view of moduli theory. In other words, we study the way in which certain objects that arise…