Related papers: A descent theorem for formal smoothness
A very short proof of the following smooth homogeneity theorem of D. Repovs, E. V. Scepin and the author is presented. Let N be a locally compact subset of a smooth manifold M. Assume that for each two points x,y in N there exist their…
This article records multiple results coming from interplay between de-completed topological periodic cyclic homology, Segal conjecture, and F-smoothness. We establish completeness of motivic filtration on de-completed topological periodic…
In this paper, we study a natural discretization of the smooth Gaussian curvature on surfaces, which is defined as the quotient of the angle defect and the area of a geodesic disk at a vertex of a polyhedral surface. It is proved that each…
The following results are proved: Theorem 1. A totally real semiparallel submanifold of constant curvature with parallel f-structure in the normal bundle of a K\"ahler manifold N is flat or a totally geodesic submanifold of N. Theorem 2. A…
We show that for finite dimensional regular Noetherian rings that contain a field or are smooth over a Dedekind domain, the comparison map from the Hermitian K-theory of genuine symmetric forms to that of symmetric forms is an equivalence…
We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$rings instead of ordinary commutative unital…
In the present paper we generalize the construction of the nil Hecke ring of Kostant-Kumar to the context of an arbitrary algebraic oriented cohomology theory of Levine-Morel and Panin-Smirnov, e.g. to Chow groups, Grothendieck's K_0,…
Let $R$ be a commutative Noetherian ring. We give criteria for flatness of $R$-modules in terms of associated primes and torsion-freeness of certain tensor products. This allows us to develop a criterion for regularity if $R$ has…
We prove the existence of a smoothing for a toroidal crossing space under mild assumptions. By linking log structures with infinitesimal deformations, the result receives a very compact form for normal crossing spaces. The main approach is…
Relations between some kinds of formal and standard smoothness, for morphisms of schemes, are clarified in surprisingly simple and direct ways, bypassing much of the customarily employed machinery. Even the deep local-to-global property of…
The aim of these notes is to collect and motivate the basic localization toolbox for the geometric study of ``spaces'', locally described by noncommutative rings and their categories of one-sided modules. We present the basics of Ore…
For a flat commutative $k$-algebra $A$ such that the enveloping algebra $A\otimes_k A$ is noetherian, given a finitely generated bimodule $M$, we show that the adic completion of the Hochschild cohomology module $HH^n(A/k,M)$ is naturally…
In the present article, we investigate the following deformation problem. Let $(R,\mathfrak m)$ be a local (graded local) Noetherian ring with a (homogeneous) regular element $y \in \mathfrak m$ and assume that $R/yR$ is quasi-Gorenstein.…
We classify all possible automorphism groups of smooth cubic surfaces over an algebraically closed field of arbitrary characteristic. As an intermediate step we also classify automorphism groups of quartic del Pezzo surfaces. We show that…
A symmetric quadratic form $g$ on a surface~$M$ is said to be locally Hessianizable if each $p\in M$ has an open neighborhood~$U$ on which there exists a local coordinate chart $(x^1,x^2):U\to\mathbb{R}^2$ and a function $f:U\to\mathbb{R}$…
We formalize in Lean the following foundational result in commutative algebra: Let $R \to S$ be a faithfully flat map of (not necessarily noetherian) commutative rings, and let $P$ be an arbitrary $R$-module. Then $P$ is projective over $R$…
We investigate how one can detect the dualizing property for a chain complex over a commutative local noetherian ring R. Our focus is on homological properties of contracting endomorphisms of R, e.g., the Frobenius endomorphism when R…
This paper establishes a second vanishing theorem for formal local cohomology modules over Noetherian local rings. We introduce the \textit{formal dimension} invariant and characterize the vanishing of higher formal local cohomology in…
The main purpose of this article is to develop an explicit derived deformation theory of algebraic structures at a high level of generality, encompassing in a common framework various kinds of algebras (associative, commutative, Poisson...)…
In this paper, we study harmonic analysis on finite homogeneous spaces whose associated permutation representation decomposes with multiplicity. After a careful look at Frobenius reciprocity and transitivity of induction, and the…