In algebraic geometry and commutative algebra, a ring homomorphism is called formally smooth (from French: Formellement lisse) if it satisfies the following infinitesimal lifting property:
Suppose B is given the structure of an A-algebra via the map f. Given a commutative A-algebra, C, and a nilpotent ideal , any A-algebra homomorphism may be lifted to an A-algebra map . If moreover any such lifting is unique, then f is said to be formally étale.[1][2]
Formally smooth maps were defined by Alexander Grothendieck in Éléments de géométrie algébrique IV.
For finitely presented morphisms, formal smoothness is equivalent to usual notion of smoothness.
^Grothendieck, Alexandre; Dieudonné, Jean (1964). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Première partie". Publications Mathématiques de l'IHÉS. 20: 5–259. doi:10.1007/bf02684747. MR 0173675.
^Grothendieck, Alexandre; Dieudonné, Jean (1967). "Éléments de géométrie algébrique: IV. Étude locale des schémas et des morphismes de schémas, Quatrième partie". Publications Mathématiques de l'IHÉS. 32: 5–361. doi:10.1007/bf02732123. MR 0238860.
and 23 Related for: Formally smooth map information
A-algebra map B → C {\displaystyle B\to C} . If moreover any such lifting is unique, then f is said to be formally étale. Formallysmoothmaps were defined...
presentation. Then the following are equivalent. f is smooth. f is formallysmooth (see below). f is flat and the sheaf of relative differentials Ω X...
functor Excellent ring Fibred category – Concept in category theory Formallysmoothmap Fundamental groupoid Fundamental group scheme Gorenstein ring – Local...
real-analytic map is smooth, and every smoothmap is Ck for any k, one can see that any analytic atlas can also be viewed as a smooth atlas, and every smooth atlas...
diffeomorphism is intuitively a map between smooth manifolds that preserves the local differentiable structure. The formal definition of a local diffeomorphism...
linear operator on the space of all smooth functions (a linear operator is a linear endomorphism, that is, a linear map with the same domain and codomain)...
square-zero extensions in order to understand nilpotent extensions. Formallysmoothmap The Wedderburn principal theorem, a statement about an extension...
In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths. More formally, let U {\displaystyle U} and V...
In the mathematical field of differential geometry, a smoothmap between Riemannian manifolds is called harmonic if its coordinate representatives satisfy...
E of any smooth vector bundle carries a natural vector field Vv := vlvv, known as the canonical vector field. More formally, V is a smooth section of...
x} on a smooth (or differentiable) manifold M {\displaystyle {\mathcal {M}}} ; one can define a cotangent space for every point on a smooth manifold...
The Vinland Map was claimed to be a 15th-century mappa mundi with unique information about Norse exploration of North America but is now known to be a...
to be 0-smooth if it satisfies the following lifting property: given a k-algebra C, an ideal N of C whose square is zero and a k-algebra map u : A → C...
smooth and analytic manifolds. For smooth manifolds the transition maps are smooth, that is, infinitely differentiable. Analytic manifolds are smooth...
level using the subset operator. Smoothmaps between manifolds induce chain maps, and smooth homotopies between maps induce chain homotopies. Chain complexes...
corresponding range of values. On an unclassed choropleth map, it is common for the legend to show a smooth color gradient between the minimum and maximum values...
apply to formal schemes that are larger than points. A smoothformal group scheme is a special case of a formal group scheme. Given a smoothformal group...
a varying line: the tangent bundle is a way of organising these. More formally, in algebraic topology and differential topology, a line bundle is defined...
differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric...
_{\alpha }(x),v^{1},\cdots ,v^{n}\right)} We use these maps to define the topology and smooth structure on T M {\displaystyle TM} . A subset A {\displaystyle...
differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector...
homotopies which keep the elements of the subspace fixed. Formally: if f and g are continuous maps from X to Y and K is a subset of X, then we say that f...
conformally mapped into each other. The theorem was stated (under the assumption that the boundary of U {\displaystyle U} is piecewise smooth) by Bernhard...