• 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
  • Thumbnail for Morphing
    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
  • 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
  • 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
  • Thumbnail for Grothendieck–Riemann–Roch theorem
    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
  • Thumbnail for Vector bundle
    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
  • 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
  • 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
  • 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
  • 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
  • Thumbnail for Legendre transformation
    \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
  • Thumbnail for Category (mathematics)
    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