In algebraic geometry, a morphism f : X → S {\displaystyle f:X\to S} between schemes is said to be smooth if (i) it is locally of finite presentation (ii)...
9 KB (1,561 words) - 17:58, 2 March 2025
other of morphisms. There are two objects that are associated to every morphism, the source and the target. A morphism f from X to Y is a morphism with source...
12 KB (1,497 words) - 12:12, 27 May 2025
digital animation for a Tide commercial with a Tide detergent bottle smoothly morphing into the shape of the United States. The effect was programmed by...
14 KB (1,544 words) - 01:33, 10 April 2025
general notion of a smooth morphism of schemes, which is roughly a morphism with smooth fibers. In particular, a scheme X is smooth over a field k if and...
7 KB (1,047 words) - 08:12, 4 April 2025
Glossary of algebraic geometry (redirect from Projective morphism)
a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism. Contents: !$@ A B C D E F G H I J K L M N O P Q R S T U V W XYZ...
82 KB (12,496 words) - 00:02, 12 April 2025
which can also be read off the above computation. A morphism f of finite type is a smooth morphism if it is flat and if Ω X / Y {\displaystyle \Omega _{X/Y}}...
26 KB (4,377 words) - 22:43, 2 March 2025
smooth. This also proves this morphism is not smooth from the equivalence between formally smooth morphisms locally of finite presentation and smooth...
4 KB (620 words) - 17:57, 2 March 2025
naturally the structure of a locally ringed space; a morphism between algebraic varieties is precisely a morphism of the underlying locally ringed spaces. If X...
26 KB (4,397 words) - 13:13, 27 April 2025
In algebraic geometry, an étale morphism (French: [etal]) is a morphism of schemes that is formally étale and locally of finite presentation. This is...
15 KB (2,493 words) - 14:59, 25 May 2025
Cotangent complex (section Smooth schemes)
this definition to the general situation of a morphism of ringed topoi, thereby incorporating morphisms of ringed spaces, schemes, and algebraic spaces...
30 KB (4,731 words) - 04:25, 25 May 2025
H^{2\dim(X)-2d}(X,\mathbb {Q} ).} Now consider a proper morphism f : X → Y {\displaystyle f\colon X\to Y} between smooth quasi-projective schemes and a bounded complex...
18 KB (2,766 words) - 13:05, 14 December 2024
quasi-affine morphism between algebraic stacks is a morphism that factorizes as a quasi-compact open immersion followed by an affine morphism. § 8.6 of F...
2 KB (222 words) - 18:31, 1 October 2024
Hausdorff. A closed immersion is proper. A morphism is finite if and only if it is proper and quasi-finite. A morphism f : X → Y {\displaystyle f:X\to Y} of...
18 KB (2,834 words) - 23:48, 11 March 2025
Vector bundle (redirect from Vector bundle morphism)
abelian; the kernel of a morphism of vector bundles is in general not a vector bundle in any natural way.) A vector bundle morphism between vector bundles...
31 KB (4,092 words) - 13:27, 13 April 2025
In algebraic geometry, given a morphism of schemes p : X → S {\displaystyle p:X\to S} , the diagonal morphism δ : X → X × S X {\displaystyle \delta :X\to...
4 KB (697 words) - 10:19, 14 May 2025
mathematics, in particular in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat...
21 KB (3,547 words) - 10:29, 19 May 2025
the closed immersion determined by J, and every Y-morphism g : Z0 → X, there exists a unique Y-morphism s : Z → X such that g = si. It is equivalent to...
4 KB (541 words) - 01:26, 28 March 2024
field k ′ {\displaystyle k'} of k {\displaystyle k} . étale morphism formally smooth morphism Popescu's theorem Matsumura 1989, Theorem 25.3 Matsumura 1989...
3 KB (511 words) - 05:38, 13 May 2024
Regular embedding (redirect from Complete intersection morphism)
and Y are smooth over a scheme S and if i is an S-morphism, then i is a regular embedding. In particular, every section of a smooth morphism is a regular...
8 KB (1,201 words) - 11:49, 5 May 2024
sections of the cotangent bundle are called (differential) one-forms. A smooth morphism ϕ : M → N {\displaystyle \phi \colon M\to N} of manifolds, induces...
9 KB (1,471 words) - 12:50, 21 November 2024
through f have the same étale cohomology, locally. For example, a smooth morphism is universally locally acyclic. Milne, J. S. (1980), Étale cohomology...
653 bytes (69 words) - 06:32, 6 April 2023
Scheme (mathematics) (section Examples of morphisms)
and the Hom functor on modules. Flat morphism, Smooth morphism, Proper morphism, Finite morphism, Étale morphism Stable curve Birational geometry Étale...
44 KB (7,139 words) - 09:10, 12 April 2025
_{i}N_{Y_{i}/X}|_{W}.} In particular, if X → S {\displaystyle X\to S} is a smooth morphism, then the normal bundle to the diagonal embedding Δ : X ↪ X × S ⋯ ×...
18 KB (3,349 words) - 02:04, 6 February 2025
Pullback (differential geometry) (redirect from Pullback (smooth map))
defines a morphism from the sheaf of smooth functions on N {\displaystyle N} to the direct image by ϕ {\displaystyle \phi } of the sheaf of smooth functions...
13 KB (2,251 words) - 10:33, 30 October 2024
Sheaf (mathematics) (redirect from Morphism of sheaves)
X {\displaystyle X} . A morphism φ : F → G {\displaystyle \varphi :{\mathcal {F}}\to {\mathcal {G}}} consists of a morphism φ U : F ( U ) → G ( U ) {\displaystyle...
69 KB (11,083 words) - 00:35, 6 May 2025
morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism...
26 KB (5,034 words) - 10:41, 3 March 2025
&\operatorname {Spec} (A')\end{matrix}}} the name smooth comes from the lifting criterion of a smooth morphism of schemes. Recall that the tangent space of...
23 KB (4,021 words) - 12:11, 13 April 2024
In algebraic geometry, an unramified morphism is a morphism f : X → Y {\displaystyle f:X\to Y} of schemes such that (a) it is locally of finite presentation...
3 KB (622 words) - 23:44, 23 January 2025
\mathbb {R} } . The Legendre transformation of L {\textstyle L} is the smooth morphism F L : E → E ∗ {\displaystyle \mathbf {F} L:E\to E^{*}} defined by F...
51 KB (8,917 words) - 17:13, 22 April 2025
Category (mathematics) (section Types of morphisms)
object x, there exists a morphism 1x : x → x (some authors write idx) called the identity morphism for x, such that every morphism f : a → x satisfies 1x...
21 KB (2,525 words) - 18:54, 19 March 2025