How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Zariski Tangent Spaces, Regular Points, Smoothness, and Bertini
1 · Prerequisites
- Abelian Categories
- Adjunctions Units and Counits
- Affine Algebraic Sets and Coordinate Rings
- Affine Schemes and the Structure Sheaf
- Algebraic Closure, Embeddings, and Separability
- Algebraic Differentials Separability and Smooth Local Presentations
- Algebraic Extensions, Extension Degree, and Finite Fields
- Artinian Rings and Length
- Associated Primes and Primary Decomposition
- Binary Operations, Monoids, Groups and Subgroups
- Cardinal Arithmetic, Cofinality and the Alephs
- Categories, Functors and Natural Transformations
- Chain Complexes and Homology
- Chain Conditions, Semisimple Modules and the Wedderburn–Artin Theorem
- Chain Homotopy and the Homotopy Category
- Classical Affine Varieties: Coordinate Rings, Morphisms, and Rational Maps
- Compactness
- Compactness in Metric Spaces
- Congruences, the Integers Modulo n and the Chinese Remainder Theorem
- Connectedness
- Construction of the Natural Numbers
- Construction of the Real Numbers via Cauchy Sequences
- Construction of the Real Numbers via Dedekind Cuts
- Cosets, Index and Lagrange's Theorem
- Countability and Uncountability
- Cyclic Groups and Direct Products
- Dedekind Domains and Ideal Classes
- Delta Functors and Universality
- Depth and Cohen Macaulay Modules
- Derived Functors
- Determinants of Matrices over a Commutative Ring
- Diagonals Separated Morphisms and Valuative Uniqueness
- Dimension Constructible Images and Dimensions of Fibres
- Divisibility, Euclidean Domains, Principal Ideal Domains and Unique Factorisation
- Divisibility, Greatest Common Divisors and Bézout's Identity
- Dual Spaces, Bilinear and Quadratic Forms, and Sylvester's Law of Inertia
- Eigenvalues, Eigenvectors and the Characteristic Polynomial
- Exactness and the Member Calculus
- Ext and Balanced Resolutions
- Fibre Products Base Change and Scheme Theoretic Fibres
- Finite Counting, Factorials and Binomial Coefficients
- Finite Fields and Cyclotomic Extensions
- Flatness and Faithful Flatness
- Foundations of the Real Numbers for Analysis
- Free Modules, Exact Sequences, Projective and Injective Modules
- Group Actions, Orbits, Stabilisers and Cayley's Theorem
- Group Homomorphisms and the Isomorphism Theorems
- Ideals, Quotient Rings and the Isomorphism Theorems for Rings
- Integral Extensions and Going Up
- Kahler Differentials Conormal Sequences and Infinitesimal Lifting
- Koszul Complexes and Regular Sequences
- Krull Dimension and Height Theorems
- Limits and Colimits
- Linear Algebra Methods in Combinatorics
- Linear Independence, Bases and Dimension
- Linear Transformations, Rank-Nullity and Quotient Spaces
- Localisation of Modules and Support
- Long Exact Sequences in Homology
- Mapping Cones Cylinders and Chain Triangles
- Matrices, the Matrix of a Linear Map, and Change of Basis
- Metric Spaces
- Modules, Submodules, Quotient Modules and the Isomorphism Theorems
- Monotone Sequences, Bolzano-Weierstrass, and Cauchy Completeness
- Morphisms Local Rings and Rational Maps of Affine Varieties
- Noether Normalisation and Nullstellensatz
- Noetherian Rings and Hilbert Basis
- Normal Subgroups and Quotient Groups
- Order, Zorn's Lemma, and the Axiom of Choice
- Ordinal Arithmetic and the First Uncountable Ordinal
- Ordinals, Cardinals, and Transfinite Recursion
- Polynomial Rings, the Division Algorithm and Roots
- Preadditive and Additive Categories and Biproducts
- Presheaves Sheaves Stalks and Sheafification
- Prime Spectra and Radicals
- Primes, Euclid's Lemma and the Fundamental Theorem of Arithmetic
- Products Segre and Veronese Embeddings and Grassmannians
- Projective Algebraic Sets Projective Morphisms and Cones
- Projective and Injective Resolutions
- Rees Modules Artin Rees and Hilbert Samuel Theory
- Reflective Subcategories and the Adjoint Functor Theorems
- Regular Local Rings and Homological Dimension
- Relations, Functions, and Quotients
- Rings, Subrings, Integral Domains and Fields
- Roots, Rational Powers, and Classical Inequalities
- Schemes Subschemes and Morphisms Locally of Finite Type
- Sheaf Operations Exactness Ringed Spaces and Module Pullback
- Simple Field Extensions and the Construction of the Complex Numbers
- Splitting Fields
- Subobject Lattices Generators and the Grothendieck Axioms
- Subspaces, Products, and Quotients
- Suprema and Infima
- Symmetric Groups, Cycle Decomposition and the Sign Homomorphism
- Tensor Products of Modules
- The Determinant of a Linear Operator, Cofactors and Cramer's Rule
- The Diagram Lemmas in an Abelian Category
- The Field of Fractions and Localisation
- The Fundamental Theorem of Finite Abelian Groups
- The Holomorphic Inverse Function Theorem and Weierstrass Preparation
- The ZFC Axioms and the Basic Set Constructions
- Topological Spaces and Continuity
- Topology of ℝ
- Tor Flatness and Global Dimension
- Universal Coefficients and Kunneth Theorems
- Universal Properties, Representables and the Yoneda Lemma
- Valuation Rings and Discrete Valuation Rings
- Vector Spaces, Linear Subspaces, Span and Direct Sums
- Yoneda Extensions and Homological Dimension
- Zariski Topology on Prime Spectra
2 · Summary
The page builds the tangent space from the cotangent space. For a point of a finite-type -scheme the intrinsic cotangent space is over the residue field , and the Zariski tangent space is its dual; at a -rational point this is the classical , and the tangent vectors are exactly the dual-number points lifting the point, equivalently the -derivations . The Jacobian matrix of a finite generating list of the defining ideal computes the tangent space at a rational point, , independently of the chosen finite generating list, and the calculus continues with tangent points over square-zero vector extensions, functoriality for morphisms, with open immersions inducing isomorphisms, and the splitting of the tangent space of a product. No identification at a nonrational point is asserted.
A Noetherian local ring is regular when its embedding dimension equals its dimension, and the embedding dimension is always at least the local dimension. For a reduced finite-type scheme over an algebraically closed field a closed point is regular exactly when , so regularity is readable from tangent dimensions. The Jacobian criterion turns this into an algebraic test: over a perfect field is regular if and only if , and at a rational point the same rank formula holds over an arbitrary field. The consequences assembled here are that the singular locus of a squarefree hypersurface is the common zero locus of its partial derivatives, that a regular point lies on exactly one irreducible component, that the regular locus is open, and that for a nonempty reduced finite-type scheme over a perfect field the regular locus is nonempty and dense in every irreducible component. For an irreducible classical variety the minimum of over the closed points equals , so regularity is equivalent to constancy of the tangent-dimension function; a transitive group action likewise forces regularity.
Smoothness of a finite-type -scheme is the locally standard-smooth presentation, local on source and target. Over a perfect field it coincides with regularity, while over imperfect fields the two notions separate: for of characteristic and the scheme is regular but not smooth. Smoothness is stable under products and under base change of the standard-smooth presentation, the submersion criterion identifies smoothness at a point of a morphism between smooth classical varieties with surjectivity of the differential there, a hyperplane slice transverse to the tangent space is smooth, and every tangent direction is realized by a reduced curve that is smooth at the point and has the prescribed tangent line. In characteristic zero a dominant morphism of smooth classical varieties restricts to a smooth morphism over a nonempty open subset of the source: the locus where the differential has rank at most has image of dimension at most , so away from these images the differential is everywhere surjective.
The tangent cone at a rational point is the spectrum of the associated graded ring of the local ring, presented by the initial ideal with respect to a regular system of parameters, and its -linear span is the tangent space, in the scheme-theoretic sense that no proper linear closed subscheme of the tangent affine space contains the cone; the full, possibly nonreduced, cone is retained, while its reduction can span less. Multiplicity enters through the lowest nonvanishing homogeneous part of a hypersurface equation: a hypersurface point is smooth exactly at multiplicity one, over any field. The page closes with the Bertini package: the zero scheme of a section of a line bundle, base loci of linear systems, smoothness of the incidence correspondence over a smooth base, and the theorem that in characteristic zero the general member of a nonzero linear system is smooth on the complement of its base locus, the hyperplane case being recovered for an embedding. The corollary specialises to complete intersections: for a nonempty smooth projective variety of pure dimension over an algebraically closed field of characteristic zero and prescribed positive degrees, a general tuple of hypersurfaces meets in a nonempty smooth scheme of pure dimension when , and in the empty scheme when . A closing remark separates the intrinsic conventions of the page from those that depend on a chosen presentation. The Axiom of Choice is declared and inherited only through the cited suppliers; the Jacobian, differential and linear-algebra computations are choice-free.
3 · Logical flowchart
4 · Definitions, theorems and proofs
The intrinsic cotangent space
Definition
Let be a scheme and . Write and let be the maximal ideal of this local ring. The intrinsic Zariski cotangent space of at is It is a vector space over the residue field (The residue field at a point of an affine scheme).
The scalar action is induced by multiplication in : the class of acts on the class of by the class of . This action depends only on the residue class of , since replacing by an element congruent modulo changes by an element of . Thus the action factors through the field .
For a classical variety over an algebraically closed field at a closed -rational point, the residue field is and this is the usual cotangent space of the local ring. The definition above also applies to nonclosed points of arbitrary schemes.
This is the cotangent space of the underlying scheme at the point. No identification with a relative cotangent space over a chosen base is included in this definition.
For a direct check of the extreme dimensions, at the origin of the local ring is and its maximal ideal is generated by , so with basis the class of . At the generic point of , the local ring is the field , so its maximal ideal is zero and .
The intrinsic Zariski tangent space
Definition
Let be a scheme and . Write for the intrinsic cotangent space from The intrinsic cotangent space. The intrinsic Zariski tangent space of at is its linear dual over the residue field: If , then and .
For a -scheme (Schemes and morphisms over a base), the relative tangent space is separately defined as the -dual of (Relative cotangent and tangent spaces). This definition makes no identification between and at a nonrational point. At a -rational point they agree by the cotangent-space isomorphism Cotangent space at a rational point.
If is locally of finite type, then is finite-dimensional. Indeed, an affine neighborhood has coordinate algebra finite type over , hence Noetherian; its local ring is a localization and is Noetherian. Its maximal ideal is therefore finitely generated, so the images of a finite generating set span . The dual of a finite-dimensional vector space is finite-dimensional. This argument uses no Axiom of Choice.
For example, at the closed origin of , the local ring is and its maximal ideal is generated by . Hence with basis the class of , so . At the generic point , the local ring is the field and its maximal ideal is zero, so and . In contrast, the relative tangent space over at is one-dimensional: the generic stalk of is , so . Thus the two notions can differ at a nonrational point.
The definition also applies without a reducedness hypothesis. For the closed point of (The affine scheme of dual numbers), every with has inverse . Thus its local ring is with maximal ideal and square zero. Hence and .
Facts & Assumptions
Given: A scheme , a point , and, for the finiteness assertion, a field and a morphism locally of finite type.
The intrinsic cotangent space: is a -vector space. At the origin of it is with basis the class of , while at the generic point it is zero.
Locally finite type and finite type morphisms: locally of finite type means every point has an affine open neighborhood over an affine base , with of finite type.
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: a commutative -algebra of finite type has the form for some finite list, so the evaluation map is surjective.
A field has only the zero ideal and itself, hence is Noetherian: every field is a Noetherian ring.
If is Noetherian then is Noetherian for every : if is Noetherian, then is Noetherian for every .
Localisation at a prime ideal: : if is prime in , then consists of fractions with .
Noetherian commutative rings and modules: a commutative ring is Noetherian exactly when every ideal is finitely generated.
Affine charts recover the algebraic module of differentials: on an affine scheme, , compatibly with the localization maps.
Polynomial differentials are free: is free on when there is one polynomial variable.
Kähler differentials commute with localization: Kähler differentials commute with localization.
Cotangent space at a rational point: at a -rational point, .
Proof
Finite-dimensionality in the locally finite-type case. Choose an affine neighborhood of provided by [F2], with a finite-type -algebra. By [F3], for some finite list the evaluation map is surjective. By [F4] and [F5], and then are Noetherian. The preimage in of any ideal of is an ideal of ; it is finitely generated by [F8], and its generators map to generators of the ideal in . Thus is Noetherian. If corresponds to , [F6] identifies with , and [F7] describes this localization by fractions. For any ideal , its contraction is an ideal of , hence is generated by finitely many by [F8]. If , then , so and ; consequently . Conversely each lies in , so they generate . Thus is Noetherian. Its maximal ideal is finitely generated by [F8], say by . Modulo , every element is the -linear combination , so is finite-dimensional by [F1]. The dual is finite-dimensional as well: a surjection induces an injection . This uses only finite generating lists and ordinary induction on the polynomial degree; no dependent choice or Axiom of Choice is invoked.
Difference at the generic point of the affine line. Let and . By [F6] and [F7], its local ring is the field with maximal ideal zero, so [F1] gives and hence . On this affine chart [F11] gives ; using [F10] and [F12] to pass to the generic stalk gives . Its residue-field fibre is the one-dimensional -vector space , so [F9] gives . This proves that the intrinsic and relative tangent spaces need not agree at a nonrational point.
Rational-point comparison. If is -rational, [F13] identifies the intrinsic cotangent space with the relative cotangent space. Taking -linear duals and using [F9] identifies with . No such identification is asserted for nonrational points.
Cotangent spaces commute with localization at a rational point
Statement
Let be a field, let be a commutative -algebra, and let be a maximal ideal whose residue field is via the structure map. Set , , and . Use the conventions and , and similarly for . For every , the canonical map
is an isomorphism. At this is the localization comparison for the intrinsic cotangent space The intrinsic cotangent space.
Facts & Assumptions
Given: A field , a commutative -algebra , and a maximal ideal such that as a -algebra.
The intrinsic cotangent space: the intrinsic cotangent space at a point is the maximal ideal of its local ring modulo its square, over the residue field.
Localisation at a prime ideal: : for a prime ideal , and its elements are fractions with .
is local with unique maximal ideal : is local with unique maximal ideal .
Ideals of correspond to -saturated ideals of , and prime ideals correspond to primes disjoint from : for an ideal of , its extension is .
Equality, vanishing, and the kernel of the localisation map: in exactly when for some .
The sum and product of two-sided ideals: the product of ideals consists of finite sums of products with and .
Proof
Localization of the powers. If , then in the field , so or ; hence is prime and is multiplicative. By [F2] and [F3], and its maximal ideal is . By [F4], and each extension consists of fractions with numerator in . With the stated recursive convention for powers, [F6] gives for every : it holds for . If it holds at , every element of is a finite sum of products with and , so it lies in . Conversely, writing a numerator in as a finite sum of such products expresses every fraction in as an element of . Therefore is well-defined.
Injectivity. Suppose and . By step 1.1 and [F4], for some and . By [F5], there is with , so . The residue of in the field is nonzero; choose whose residue is its inverse. Then and . Thus and is injective.
Surjectivity and boundary instances. Let a class in be represented, by step 1.1 and [F4], by with and . Choose whose residue is the inverse of the nonzero residue of . Then , and . Hence the class is , proving surjectivity. This covers , where the map is , and , the cotangent-space map of [F1]. If , then : is the identity of and for every both sides are zero. The lifts above are chosen separately for each displayed fraction, so no choice principle is used.
Tangent vectors at rational points are dual-number points
Statement
Let be any -scheme and let be a -rational point. The intrinsic Zariski tangent space is naturally isomorphic, as a -vector space, to the fibre over of where the map is induced by . Equivalently, where acts on through evaluation at . The bijection is induced by writing a local -algebra map as . No identification at a nonrational point is asserted.
Facts & Assumptions
Given: A field , a -scheme , and a -rational point . Put and let send to zero.
The intrinsic Zariski tangent space: is the -linear dual of when .
The affine scheme of dual numbers: is the dual-numbers scheme, with .
Affine schemes are contravariantly equivalent to commutative rings: for commutative rings , ring maps correspond contravariantly to morphisms .
Cotangent spaces commute with localization at a rational point: if , localization induces an isomorphism .
Schemes: every point of a scheme has an affine open neighborhood.
Affine open subschemes: an open subscheme has the restricted structure sheaf; an affine open is affine with this structure.
Open immersions of schemes: the inclusion of an open subscheme is an open immersion.
The underlying space of an affine spectrum: the points of are the prime ideals of .
Schemes and morphisms over a base: a -morphism commutes with the structure maps to .
Prime ideals and maximal ideals in a commutative ring: a proper ideal is prime when implies or ; a maximal ideal has no proper ideal strictly between it and the ring.
The quotient ring with : is formed from cosets with .
is a field if and only if is a maximal ideal: for a commutative ring , is a field exactly when is maximal.
Proof
The dual-numbers scheme has one point. If is a prime ideal of , then implies by [F11]. The quotient is , so is maximal by [F12, F13]. Every prime containing this maximal ideal equals it. Thus has the single point defined by , and the map induced by selects that point.
Based morphisms can be computed in an affine neighborhood. Choose an affine open containing by [F5, F6]. Its inclusion into is an open immersion by [F7]. Since has only one point, every morphism in the fibre over factors uniquely through . The affine anti-equivalence [F3], together with the -morphism condition [F10], identifies such maps with -algebra homomorphisms whose reduction is the point . Conversely every such homomorphism gives a based morphism. If , then is the point of by [F8].
These homomorphisms are exactly derivations. Each has a unique image , where . Since is a -algebra homomorphism, is -linear and vanishes on . Comparing the -coefficients of gives , so is a derivation for the -module structure on given by evaluation at . Conversely each such derivation defines a homomorphism by this formula, since . These constructions are inverse.
Derivations on are the dual of its cotangent space at . The structure map splits evaluation , so as -vector spaces. The derivation identity makes vanish on , and restriction gives a linear form on . Conversely, for , define for , . For , the product has -part , and ; hence this formula satisfies the Leibniz rule. It is inverse to restriction.
Passing to the stalk gives the claimed intrinsic tangent and local derivation formulation. By [F9], with maximal ideal . The rational-point localization isomorphism [F4] identifies with , so their -linear duals agree; [F1] identifies the latter dual with . Also every has with , which is a unit in with inverse . Thus extends uniquely to a local -algebra map . Conversely, every local -algebra map has a unique form , where multiplicativity makes a -derivation through the residue action. Every such derivation defines a local map by this formula, since units have nonzero residue. Applying the decomposition as in step 4.1 gives . The localization, extension, and restriction maps commute on smaller affine neighborhoods, so the identifications are independent of and natural. Scaling by scales the derivation and tangent vector by .
Square-zero vector extensions encode tangent vectors with coefficients
Statement
Let be algebraically closed, let be a classical affine variety over , and write . Regard with its associated affine scheme when forming . For a finite-dimensional -vector space , give the square-zero -algebra structure Then reduction by the augmentation , , defines a natural bijection
Facts & Assumptions
Given: An algebraically closed field , a classical affine variety , its coordinate ring , and a finite-dimensional -vector space . The product on is the one displayed above.
A classical affine variety over an algebraically closed field is a nonempty irreducible affine algebraic set (A classical affine variety).
, and the coordinate classes generate as a -algebra. The zero algebra is allowed, so (The coordinate ring of a classical affine algebraic set).
consists exactly of the polynomials vanishing at every point of (The classical vanishing ideal).
For a commutative ring , a homomorphism is uniquely determined by its coefficient map and the image of ; iteration gives evaluation on (Universal property of : a coefficient homomorphism and the image of determine a unique ring homomorphism).
An affine scheme is a locally ringed space isomorphic to (Affine schemes and their coordinate rings).
The underlying topological spectrum has the prime ideals of as its points (The underlying space of an affine spectrum).
A proper ideal is prime when implies or (Prime ideals and maximal ideals in a commutative ring).
For a prime ideal , is the localization using denominators outside (Localisation at a prime ideal: ).
is local with unique maximal ideal ( is local with unique maximal ideal ).
The stalk of the affine structure sheaf at is canonically (The stalk of the affine structure sheaf at a prime is A_p).
If via the structure map, localization canonically identifies with (Cotangent spaces commute with localization at a rational point).
The intrinsic cotangent space at is the maximal ideal of modulo its square (The intrinsic cotangent space).
at a -rational point (The intrinsic Zariski tangent space).
If is finite-dimensional, the canonical map is a natural isomorphism (For finite-dimensional , the canonical map is an isomorphism).
A balanced bilinear map out of two modules induces a unique map from their tensor product (Universal property of the tensor product for balanced maps into abelian groups).
At a rational point, tangent vectors are naturally the based points of the dual-numbers scheme (Tangent vectors at rational points are dual-number points).
The coordinate ring convention allows the zero algebra and gives (The coordinate ring of a classical affine algebraic set).
Proof
For , compose with and put . Every satisfies , so by [F1, F2, F3, F4]; conversely evaluation at each is a -algebra map , and the coordinate classes generate , so this identifies with .
Fix and put ; evaluation is surjective on constants, so , which makes proper, maximal, and prime. Since is contained in the polynomial evaluation kernel at by [F3], and that kernel is generated by by telescoping each monomial's factors using [F4], their classes generate and is finite-dimensional. By [F5, F6, F8, F9, F10, F11], has maximal ideal and localization induces a canonical isomorphism .
Among maps whose reduction is , write uniquely with ; comparing products in shows is a -derivation for the -module structure on through , with , and conversely every such derivation gives a map because . It kills and restricts to a linear map ; conversely, for , defines the inverse derivation, since writing , with leaves only the terms modulo .
The canonical tensor-Hom map sends to ; by [F14] and the canonical tensor symmetry obtained from [F15], it identifies with . Dualizing identifies this with by [F12, F13], so maps to where is its reduction and encodes its induced map , and the inverse sends to evaluation plus the corresponding derivation from step 1.2. These constructions are canonical and natural in ; when , , , identifies this with [F16].
If , then and the bijection is ; if , then and every map over is evaluation. For the empty algebraic set, outside the variety hypothesis, and no unital map exists, matching the absence of pairs. The construction works for every tensor , including , and has no reverse implication. Only the finite coordinate presentation of this fixed is used to prove finite-dimensionality; the tensor-Hom map is canonical, no family of bases or points is selected, and no Axiom of Choice is used.
Equation rows and coordinate columns in an affine Jacobian
Definition
Let be a field, let be an ideal with a specified finite generating list , and let satisfy for every . The Jacobian matrix at , with the equation-row convention, is the matrix Thus row is the differential of equation , and column corresponds to coordinate . Formal derivatives are computed on monomials by with the integer coefficient read in , and are extended -linearly. The definition uses the actual scheme ideal ; it does not assume that is radical or that is perfect. For a reduced classical algebraic set over an algebraically closed field, this specializes to its coordinate ring (The coordinate ring of an affine algebraic set).
For a scheme-theoretic affine zero locus, an equation list for the same underlying point set is not substituted for the actual ideal: nilpotent structure changes the Jacobian problem.
The Jacobian kernel computes the tangent space
Statement
Let be any field, let be finite, let be an ideal of , and put Let , and let be any finite generating list of the actual ideal . Then the coordinate-velocity map gives a canonical -linear isomorphism The kernel is independent of the chosen finite generating list of . No reducedness, perfectness, or characteristic hypothesis is needed. Finiteness of the list is available for every finite by the finite-variable polynomial Noetherian result cited below.
Facts & Assumptions
Given: A field , finite , an ideal , the affine -scheme with , and a rational point , represented by its coordinate tuple . Set .
Equation rows and coordinate columns in an affine Jacobian: the equation-row Jacobian matrix uses formal monomial derivatives at a rational point and the actual scheme ideal.
Tangent vectors at rational points are dual-number points: is naturally isomorphic as a -vector space to the fibre of based dual-number maps over ; equivalently, its vectors are the coefficient derivations of those maps.
The affine scheme of dual numbers: , so every element is uniquely with and .
Schemes and morphisms over a base: a -morphism commutes with the structure maps to .
Affine schemes are contravariantly equivalent to commutative rings: ring maps correspond contravariantly to morphisms ; together with [F4], the maps over are the -algebra maps.
Universal property of a polynomial ring on an arbitrary family of indeterminates: a coefficient map and assigned images of the variables determine a unique polynomial-ring homomorphism.
A ring homomorphism whose kernel contains a two-sided ideal factors uniquely through the quotient ring: a ring map from that kills factors uniquely through .
Finite-variable polynomial algebras over fields are Noetherian by finite generators: for every field and finite , every ideal of has a finite generating list; the result is choice-free.
Proof
By [F8], fix a finite list generating . Since is a -rational point, the affine anti-equivalence [F5] and the base condition [F4] give a -algebra map . Its composite with the quotient map is evaluation at : the polynomial universal property [F6] identifies the composite as the unique map sending to . It kills , so for each .
For any , [F6] gives a unique -algebra map with . For a monomial , expansion and give . Extending over its finitely many monomials yields ; the integer is read in , including in positive characteristic, and the empty sum and product conventions cover .
The map kills exactly when it kills every generator . By steps 1.1 and 1.2, , which is zero exactly when row of annihilates . Thus factors uniquely through by [F7] exactly when , and its reduction modulo is . Conversely, any based -morphism corresponds by [F4, F5] to a -algebra map reducing to evaluation at ; the images of the coordinates have unique form . By [F6] its composite from the polynomial ring is , and the same calculation forces . The two constructions are inverse. Their coefficient derivations depend -linearly on , and [F2] identifies them with , proving the canonical linear isomorphism in the statement and both membership implications.
Let be another finite generating list of , and write each . The coefficient-of- formula in step 1.2 is a derivation because each is a ring homomorphism. Its product rule in each coordinate direction, together with , gives , so each row of lies in the row span of . Reversing the lists gives equality of row spans and hence equality of their annihilators, which are the kernels in . For all rows are empty and both row spans are zero.
The boundary cases are explicit. If is empty there is no rational point, so the pointwise statement has no instance. If , then , the matrix has no rows, and the result says . If and a rational point exists, its -algebra map composed with is the identity, so ; hence . In one coordinate, at has Jacobian row (also in characteristic ), so its tangent space is all of , as the scheme-theoretic nilpotent structure requires. The zero vector corresponds to the constant based map . No AC or DC is used: the finite generating tuple is chosen for this single ideal, and no basis or family of choices is made. Steps 2.1 and 2.2 prove both directions of the kernel characterization and generator independence.
Differentials, open restriction, and the chain rule
Statement
Let be a field, let be -schemes, and let be a -morphism. For points and whose structure maps and are isomorphisms (that is, the points are -rational), write and . The local map induces a -linear map . Its dual is the differential It agrees with post-composition by on based dual-number points. For the identity, ; for composable -morphisms and rational points , , one has Every -open immersion induces an isomorphism on tangent spaces at each rational point.
No finite-type, reducedness, or smoothness hypothesis is needed. No Axiom of Choice is assumed or used.
Facts & Assumptions
Given: A field , -schemes, a -morphism, and points whose residue fields are identified with by their structure maps. For the last assertion, the morphism is an open immersion over and the source point has residue field .
Morphisms of schemes: a scheme morphism is a morphism of locally ringed spaces, and its induced maps on stalks are local homomorphisms.
Morphisms of locally ringed spaces: a local stalk homomorphism sends the maximal ideal at the image point into the maximal ideal at the source.
Schemes and morphisms over a base: a -morphism commutes with the structure maps to .
The intrinsic cotangent space: is a vector space over the residue field. At a -rational point this residue field is identified with by the structure map.
The intrinsic Zariski tangent space: is the linear dual of over the residue field; at a rational point it is .
Tangent vectors at rational points are dual-number points: at a rational point of a -scheme, tangent vectors are naturally the fibre of based morphisms from .
Open immersions of schemes: an open immersion identifies its source isomorphically with an open subscheme of its target.
Affine open subschemes: an open subscheme has structure sheaf .
Proof
Put , , , and . By [F1], is local; [F2] means that and . It therefore induces a map . Since is a -morphism, [F3] says that its stalk map commutes with the two structure maps from ; because and are rational, these maps identify both residue fields with . The quotient map is thus -linear by [F4]. Dualizing it over gives the stated map by [F5].
Let be a -open immersion and let map to . By [F7], identifies with an open subscheme of ; by [F8] that open subscheme carries the restricted structure sheaf. Hence the induced stalk map is an isomorphism. It identifies maximal ideals and their squares, so the induced cotangent map is an isomorphism. Its dual is therefore an isomorphism .
For the identity morphism, the local-ring and cotangent maps are identities, so their dual is the identity. If is another -morphism and , contravariance on stalks gives . Passing to maximal ideals modulo squares gives . Dualizing reverses this order, so . This proves identity and chain rules without choosing coordinates or bases.
Under [F6], a tangent vector is represented by a based map . For , the coefficient of in the pullback of by is the value of on , namely . This is exactly the functional on . Constants have zero -coefficient, so the agreement holds on the whole local ring. Thus the dualized construction is the map on based dual-number points induced by post-composition with ; the identity and composition laws also agree with composition of these maps.
If a source or target cotangent space is zero, the induced cotangent map still has the displayed source and target, and its dual is the unique corresponding linear map; in particular zero tangent vectors map to zero. If both cotangent spaces are one-dimensional and the cotangent map sends a chosen target generator to times a chosen source generator, its dual sends a source functional with value on the source generator to the target functional with value on the target generator. This is precisely the same formula as step 1.1 and introduces no exceptional one-dimensional case. The construction is defined for every local map, including zero, noninjective, or nonsurjective cotangent maps. If is empty there is no source rational point and the pointwise assertions are vacuous. The zero tangent vector is the based map factoring through and is preserved by post-composition. All maps used are canonical, so no choice of bases or other choices, and no Axiom of Choice, is used. The statement contains no iff claim.
Tangent spaces of products over a field
Statement
Let be a field, let be -schemes, and let , be -rational points. Write and for the projections. The canonical map that sends a tangent vector, represented by a based map , to is a -linear isomorphism. No finite-type, reducedness, or smoothness hypothesis is needed.
Facts & Assumptions
Given: A field , -schemes , and points whose residue fields are identified with by their structure maps.
Schemes: each point of a scheme has an open neighbourhood that is an affine scheme with the restricted structure sheaf.
Schemes and morphisms over a base: a -scheme and its morphisms to other -schemes have structure maps to and commute with those maps.
The affine scheme of dual numbers: the dual-numbers scheme is .
Affine schemes are contravariantly equivalent to commutative rings: a map between affine schemes corresponds contravariantly to a ring map; in particular, based maps from the dual-numbers scheme into an affine chart correspond to -algebra maps from its coordinate ring to .
Existence of all scheme fibre products: for affine covers of -schemes , the product has an open affine cover with charts for charts and .
Universal mapping property of the tensor product of commutative algebras: given -algebra maps and , there is a unique -algebra map whose restrictions to and are the given maps; it sends to the product of their images.
Tangent vectors at rational points are dual-number points: for any -scheme at a -rational point, its tangent vectors are naturally the based dual-number maps, as a -vector space.
Tangent vectors at rational points are dual-number points: under the same identification, a based local map is the -derivation representing the tangent vector.
Proof
By [F1], choose affine open neighbourhoods of and of . Their structure maps make and -algebras by [F2]. The fibre-product theorem [F5] gives an open affine neighbourhood of in with coordinate ring ; the two projections correspond to its canonical -algebra maps from and .
Let and be the maps of the rational points, and put . By [F7] and [F4], a tangent vector at or is represented in these charts by a -algebra map or , with reductions and . Conversely, any such pair determines by [F6] a unique -algebra map satisfying . Its reduction is , so it is based at . Restriction along the two projection maps recovers and ; therefore post-composition by the projections gives a bijection between the based dual-number maps of the product and pairs of based dual-number maps of the factors.
Write and ; [F8] says are the derivations representing the two tangent vectors. Since , the map of step 2.1 satisfies Thus its coefficient derivation is linear in . Conversely, restriction of the coefficient derivation of along the two projection maps returns . The bijection in step 2.1 and its inverse are therefore -linear, proving the asserted natural vector-space isomorphism. Its construction uses only the projections, so it is independent of the chosen affine neighbourhoods.
If either factor has zero tangent space, its based maps consist only of the constant map at that point, and step 2.1 pairs it with the based maps of the other factor; if both tangent spaces are zero, the product tangent space is zero as well. For a one-dimensional tangent factor with generator derivation , step 3.1 sends to the coefficient derivation ; a generator in the other factor is sent to . Each scalar multiple is sent to the same scalar multiple; no one-dimensional exception occurs. The formula also covers nonsmooth and nonreduced schemes because it uses only their based dual-number maps. The zero vector is the constant based map, and the zero pair corresponds to the constant map at . If either scheme is empty, there is no point pair and the assertion has no instance. Only one affine neighbourhood for each of the two fixed points is used, no bases are chosen, and no Axiom of Choice is needed. The statement contains no iff claim.
Regular points of locally Noetherian schemes
Statement
Let be a locally Noetherian scheme and . Write , let be its maximal ideal, and set . The point is regular when is a regular local ring, with regularity defined by . Then the intrinsic tangent space is finite-dimensional over , and This is absolute regularity of the local ring; it asserts no smoothness over a base field.
Facts & Assumptions
Given: A locally Noetherian scheme and a point .
Locally Noetherian and Noetherian schemes: a locally Noetherian scheme has an affine open cover by spectra of Noetherian rings.
Affine open subschemes: an open subscheme carries the restricted structure sheaf, and it is affine when that restricted locally ringed space is affine.
The stalk of a presheaf at a point: the stalk is the filtered colimit of over open neighborhoods of .
The stalk of the affine structure sheaf at a prime is A_p: for a point , the affine structure-sheaf stalk is canonically .
Localisation at a prime ideal: : consists of fractions with .
is local with unique maximal ideal : is a nonzero local ring with maximal ideal .
Left and right Noetherian rings: a ring is left Noetherian when its left regular module is Noetherian; here is commutative, so its ideals are submodules of that regular module.
Noetherian modules: every submodule is finitely generated: every submodule of a Noetherian module is finitely generated.
embedding dimension and regular local ring: for a nonzero Noetherian local ring, , and is regular local exactly when .
Proof
Noetherian local stalk. Fix . By [F1], there is an affine open neighborhood of with Noetherian. Because the sheaf on is the restriction from [F2], neighborhoods of contained in are cofinal among its neighborhoods in ; the stalk-colimit description [F3] therefore identifies with . Let be the prime corresponding to . By [F4], , and [F6] makes this a nonzero local ring with maximal ideal . We verify Noetherianity directly. Let be any ideal of and contract it to . This is an ideal of , hence a submodule of its regular module [F7]; by [F8], take a finite generating list of . If , then [F5] and the ideal property give , so and . It follows that . Conversely every lies in , so these images generate . Thus every ideal of is finitely generated and is Noetherian. This uses a chart for the fixed point and a finite list for the fixed ideal, not a simultaneous choice over all points or ideals.
Intrinsic tangent dimension and regularity. By step 1.1, is Noetherian local, so its maximal ideal is finitely generated by [F7, F8]. The images of a finite generating list span over ; hence is finite-dimensional. A finite basis of gives the same number of dual basis vectors, so [F9] yields by [F10]. Therefore is regular local if and only if , proving both directions. If or , this is respectively the equality or ; if , both criteria reduce to . Since is finite-dimensional, an infinite value of cannot satisfy either criterion. If is empty, there is no point to test. The argument uses only finite generation and finite-dimensional linear algebra, so neither AC nor DC is used.
Local dimension for a reducible classical algebraic set
Statement
Assume the Axiom of Choice. Let be a reduced classical finite-type space over an algebraically closed field , and let be a closed point. If are the irreducible components of , then
Facts & Assumptions
Given: AC, an algebraically closed field , a reduced classical finite-type space over , and a closed point .
A classical variety is Noetherian with finitely many irreducible components; every open or closed subvariety has a finite affine cover (Classical varieties have finite irreducible decompositions).
For an affine algebraic set , its coordinate ring is (The coordinate ring of an affine algebraic set).
Over algebraically closed and under AC, the Nullstellensatz correspondence identifies radical ideals of with closed subsets of ; nonempty irreducible closed subsets correspond to proper prime ideals (Classical affine algebraic sets correspond to radical ideals, and irreducible sets to prime ideals).
For a classical affine variety and , the local ring is canonically , where is the ideal of functions vanishing at (The local ring at a point of an affine variety is the localization at its maximal ideal).
For a ring and multiplicative set , prime ideals of correspond by an inclusion-preserving bijection to the prime ideals of disjoint from (Prime ideals of a localization are exactly the primes disjoint from the denominator set).
If is an irreducible classical variety and is a closed point of , then (Closed-point local dimension equals ambient irreducible dimension).
AC says that every family of nonempty sets has a choice function (The Axiom of Choice).
Proof
Choose an affine open neighborhood of , put , let be the maximal ideal of functions vanishing at , and write . By [F4], . The finite component decomposition of restricts to a finite decomposition of by its irreducible components ; precisely those containing come from the global components containing .
For each component , let . The Nullstellensatz correspondence makes prime and reverses inclusions of closed subsets. The localization correspondence identifies the primes of with the primes of , preserving strict chains. In particular, if , then is a prime of .
Consider any strict prime chain in , and contract it to in using [F5]. The irreducible closed subset contains , since . Because is a finite union of its irreducible components, irreducibility forces for some . Thus and , so . The chain therefore gives a chain of length in .
The quotient-localization isomorphism gives , which is the local ring because is an open neighborhood of in . Hence [F6] gives . Step 3.1 now bounds every chain length in by .
Conversely, for every global component containing , its is prime in by step 2.1 and by step 4.1. Every prime chain in lifts to a prime chain in , so . Taking the maximum gives the reverse inequality.
Steps 3.1–5.1 prove the asserted equality. The argument uses AC only through the explicitly AC-dependent component, affine-correspondence, local-ring, and irreducible local-dimension suppliers; after their finite component and prime correspondences are in hand, the chain comparison makes no further choice.
Source note
Milne’s §3c notes 3.13–3.14 identify local primes with irreducible closed subsets through a point and identify the components through that point with minimal local primes. The proof of Corollary 4.45 in §4i uses this local component description. The dimension of each irreducible component at a closed point is supplied here by Closed-point local dimension equals ambient irreducible dimension; Milne’s Chapter 10 supplement, 10.54–10.56, gives the corresponding irreducible-scheme dimension conventions. The finite reducible case above is proved by the displayed prime-chain comparison.
Tangent dimension bounds local dimension
Statement
Assume the Axiom of Choice. For every point of a locally Noetherian scheme , For a reduced classical finite-type variety over an algebraically closed field and a closed point , this gives where over the irreducible components containing .
Facts & Assumptions
Given: AC, a locally Noetherian scheme , and a point . The classical specialization additionally assumes that is a reduced finite-type variety over an algebraically closed field and that is closed.
The Axiom of Choice: Every family of nonempty sets has a choice function.
Schemes: A scheme is a locally ringed space such that every point has an open neighbourhood which, with the restricted structure sheaf, is an affine scheme.
Locally Noetherian and Noetherian schemes: if it has an affine open cover by spectra of Noetherian rings.
Affine open subschemes: For a scheme and an open set , the open subscheme means .
The underlying space of an affine spectrum: whose points are the prime ideals of .
The stalk of the affine structure sheaf at a prime is A_p: there is a canonical isomorphism .
is local with unique maximal ideal : is a nonzero local ring. Its unique maximal ideal is
Noetherian commutative rings and modules: Equivalently, every ideal of is finitely generated.
dimension at most embedding dimension: every nonzero commutative Noetherian local ring satisfies .
Prime ideals and maximal ideals in a commutative ring: A proper ideal is prime when implies or .
Prime ideals and maximal ideals in a commutative ring: there is no proper ideal strictly between and .
Krull dimension of a nonzero ring: the Krull dimension of is the supremum of all integers for which such a chain exists.
Proof
Choose an affine open neighborhood of with Noetherian by [F2, F3]. Since is an open subscheme with the restricted structure sheaf [F4], neighborhoods contained in are cofinal among neighborhoods of , so . The point corresponds to a prime by [F5], and [F6, F7] identify with . By [F8], is a nonzero local ring with maximal ideal ; [F9] identifies its residue field with .
The local ring is Noetherian. Let be any ideal of and contract it to . Since is Noetherian, [F10] gives generators of . If with , then , so and . Therefore , while each lies in . Thus the images generate . As this holds for every , [F10] implies that is Noetherian.
The tangent dimension equals the embedding dimension of . The maximal ideal is finitely generated because is Noetherian, so is a finite-dimensional vector space over . By [F11] this quotient is , and by [F12] is its -linear dual; a finite-dimensional vector space and its dual have equal dimension. By [F13], this common dimension is .
Now [F8] and step 2.1 make a nonzero Noetherian local ring, so the AC-dependent bound [F14] applies. Together with step 3.1 it gives . AC is used here through [F14], whose height-theorem input requires it; it is an explicit assumption, not a consequence of finite choice.
In the stated classical closed-point specialization, [F15] gives . Substituting this equality into step 4.1 proves . This local-dimension supplier also assumes AC, already declared in the statement.
At , the only prime is , so the unique local ring is , its maximal ideal is zero, and [F19] gives local dimension zero; [F11, F12] give tangent dimension zero. The nonreduced dual-numbers scheme shows that the inequality may be strict. Its ring is a two-dimensional -vector space, so every ideal, as a subspace, has a finite basis that generates it as an ideal; hence is Noetherian. Every prime contains because by [F17]. The ideal is proper because its elements are multiples of and cannot equal . Any proper ideal strictly containing would contain with , a unit with inverse . Thus is maximal by [F18] and, since every prime contains it, it is the unique prime. By [F5], has one point. Its local ring is since every denominator outside is a unit; by [F6, F7, F8, F19] its local dimension is zero. The residue field is by [F9], while the maximal ideal squares to zero, so is one-dimensional over the residue field. By [F11, F12], the tangent dimension is one.
Regular and singular loci
Definition
Let be a locally Noetherian scheme. Define subsets of its underlying point set by
These are the regular locus and singular locus of . This definition alone asserts no openness or closedness property and no smoothness over a chosen base.
For the classical dimension test, assume the Axiom of Choice and suppose that is a reduced classical finite-type space over an algebraically closed field . If is closed, define
where range over the irreducible components containing . Then
The Axiom of Choice is used for this classical component-dimension identification through Local dimension for a reducible classical algebraic set; it is not needed to define either locus. At reducible points, uses only components through , not a single global dimension for all of .
Facts & Assumptions
Given: A locally Noetherian scheme ; for the numerical specialization, also AC and a reduced classical finite-type over an algebraically closed field with a closed point .
Regular points of locally Noetherian schemes: for any point of a locally Noetherian scheme, regularity is equivalent to .
Local dimension for a reducible classical algebraic set: under AC, for a reduced classical finite-type space over an algebraically closed field and a closed point , is the maximum of over components containing .
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function; its use here is inherited only through [F2].
Proof
Use the regular-point predicate of [F1] to define as the points whose local rings are regular local, and take its set-theoretic complement in for . These definitions apply to every locally Noetherian scheme, including nonreduced schemes; they do not assert that either set is open or closed.
Under the classical hypotheses, [F2] gives . By [F1], exactly when . Substituting the equality from [F2] proves if and only if . This argument uses AC only through [F2], not for the locus definitions in step 1.1.
When is reducible, the right side uses the maximum dimension of components containing this particular by the definition of and [F2]. Components not containing do not enter the local dimension, so replacing by the global is not justified in general. If or , the same equivalence specializes respectively to equality of tangent and local dimension zero or one; it does not require all components of to have the same dimension.
If for a field , its only local ring is the field , its maximal ideal is zero, and its tangent and local dimensions are both zero, so its point belongs to . For an empty scheme, both loci are empty by step 1.1. Nilpotents do not affect the definition in step 1.1, but the numerical component formula is stated only for reduced classical spaces, exactly as required by [F2]. The proof makes no choices beyond AC's stated use through [F2], and the displayed criterion has both directions by step 2.1.
Source note
Milne's book-wide field convention is algebraically closed. In §4h, Definition 4.35, printed pp. 93–94, a point on an affine algebraic variety is called nonsingular when it lies on a single irreducible component and ; otherwise it is singular. In §4i, Theorem 4.44 and Corollary 4.45, printed pp. 96–97, Milne identifies that classical notion with regularity of the local ring; the corollary's proof uses that a regular local ring is a domain to exclude points on multiple components. Those passages support the classical terminology, not a general scheme definition or any openness assertion here. The scheme-theoretic locus definition and the reducible local-dimension test are supplied and proved through [F1] and [F2].
Jacobian rank detects regularity at closed points
Statement
Let be a field, let be finite, put , and let with a specified finite generating list for the actual ideal defining the affine scheme. For a maximal ideal , write . Let be the matrix over obtained by mapping the formal partial derivatives through .
If is perfect, then is finite separable and
if and only if is a regular local ring. For any field , the same equivalence holds at a -rational point, where , without a perfectness assumption. If for a reduced classical affine algebraic set over an algebraically closed field and corresponds to a closed point , then, assuming AC,
where ranges over the irreducible components through . The finite generating list need not be minimal, and need not be radical in the first two assertions.
Facts & Assumptions
Given: A field , a finite , the polynomial ring , an ideal with a specified finite generating list , the quotient , and a maximal ideal with residue field . For the rational case, . For the classical dimension clause, is algebraically closed, for a reduced classical affine algebraic set , and AC is assumed.
Finite-variable polynomial algebras over fields are Noetherian by finite generators: every finite-variable polynomial ring over a field is Noetherian, so its quotients and localizations are Noetherian.
A maximal ideal of an affine algebra has finite residue field over the base field: if is a finite-type -algebra and is maximal, then is finite over .
Every algebraic extension of a perfect field is separable: every algebraic extension of a perfect field is separable.
Separable residue and the cotangent sequence of a local algebra: for a Noetherian local -algebra with finite separable residue field , the map is an isomorphism, where is the maximal ideal of .
Localization, base change and functoriality of differentials: localization of the source algebra localizes its module of Kähler differentials, so .
Localisation of modules is extension of scalars: for a multiplicative set , ; after tensoring with the residue field of this identifies with .
Differentials of a polynomial quotient and the Jacobian cokernel: if and , then is the cokernel of the map whose columns are the formal derivative vectors of the .
Tensoring is right exact: tensoring a cokernel presentation with gives the cokernel of the base-changed map.
The intrinsic Zariski tangent space: at a point with residue field , .
Regular points of locally Noetherian schemes: for a locally Noetherian scheme, is regular exactly when .
The Jacobian kernel computes the tangent space: at a rational point of the affine scheme defined by the actual ideal , the coordinate-velocity tangent space is canonically .
The coordinate ring of a classical affine algebraic set: the coordinate ring of an affine algebraic set is .
Local dimension for a reducible classical algebraic set: for a reduced classical finite-type variety and closed point , .
Global and local dimension of classical varieties: at a closed point, over the components containing .
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function; only the classical component-dimension clause below uses it, through [F13] and the convention in [F14].
Proof
Since is a quotient of the finite-variable polynomial ring , [F1] makes a Noetherian local ring. The algebra is finite type over , so [F2] makes finite. If is perfect, [F3] then makes separable; this verifies the residue-field hypothesis in [F4] without assuming that is rational.
Now let be any field and let be -rational. By [F11], , so rank-nullity gives . Applying [F10] proves the same equivalence without a perfectness assumption. This argument uses the rational-point theorem only in the case .
In the reduced classical case, [F12] identifies with the coordinate ring . Under the stated AC assumption, [F13] gives , and [F14] identifies this maximum with . This is the claimed classical dimension formula; AC enters this clause through the local-dimension lemma [F13] and the fixed-field convention in [F14].
In the perfect-field case put and . By [F4], . Applying [F5] and then [F6] identifies this with .
By [F7], is the cokernel of represented by the derivative vectors of . Right exactness [F8] identifies with the cokernel of represented by those same vectors after mapping their entries to . This is the transpose presentation of the equation-row matrix , so the map has rank . Hence . Since this cokernel is finite-dimensional, [F9] gives .
The local-ring definition [F10] says is regular exactly when its tangent dimension equals . Substituting the dimension computed in step 3.1 gives regular iff , equivalently iff . This proves both directions for every closed point over a perfect field.
The degenerate cases fit the same calculations. If , then has no maximal ideal and the pointwise assertions are vacuous. If and a maximal ideal exists, then , , the local ring is a field of dimension zero, and the empty-column Jacobian has rank zero; if , the map has rank zero and the cokernel calculation in step 3.1 still applies. For one equation in one variable, at has local ring , Jacobian , and rank , so it is regular. In contrast, at has a unique prime , local dimension zero, one-dimensional cotangent space , and Jacobian entry in the residue field (including characteristic two); it is not regular and its rank does not equal . The equivalence in steps 1.2 and 4.1 handles both iff directions. At local dimension zero the regularity equality requires full Jacobian rank; when tangent dimension is the ambient dimension , it requires rank zero. No separate dimension-range assertion is used. No minimality of the generator list or reducedness of entered [F7], and the cokernel's dimension is independent of the chosen list. The general-field rational proof and the perfect-field proof use no choice or DC; AC enters only the classical clause through [F13] and [F14].
Source qualification
Milne, Algebraic Geometry v6.10, §4d, Definition 4.23 and the Jacobian tangent-rank discussion (printed pp. 87–88 / PDF pp. 86–87; web lines 4636–4672), computes and gives the classical nonsingularity criterion for algebraic sets over an algebraically closed field. §4i, Corollary 4.45 (printed p. 97 / PDF p. 96; web lines 5224–5229), identifies nonsingularity with regularity under its classical variety conventions. Those passages do not establish the arbitrary scheme-ideal or nonrational perfect-field clauses here. Milne, Algebraic Geometry, Chapter 10 supplement, §f, 10.58 and 10.60–10.64 (web lines 892–985), gives the cotangent-dimension/regularity comparison, rational-point tangent description, Jacobian-minor construction, and regularity/smoothness comparison in the stated classical settings; in particular 10.62 is for an irreducible closed subscheme and does not prove the arbitrary quotient statement here. The proof above instead uses the complete separable-residue cotangent sequence, differential localization, polynomial-quotient differential presentation, and tensor right exactness recorded in [F4]–[F8]. Stacks Lemma 10.140.4 (tag 00TU), full statement and proof, proves the separable-residue injection by constructing a section modulo after lifting a separating transcendence basis and correcting a lift using the derivative of its separable minimal polynomial. Stacks Lemma 10.140.5 (tag 00TV), full statement and proof, corroborates the regularity comparison for finite-type algebras with separable residue field but is not used as a logical input here.
The gradient test for a reduced hypersurface
Statement
Assume the Axiom of Choice. Let be an algebraically closed field, let , and let be nonconstant and squarefree, meaning that no irreducible factor occurs more than once. Put with its reduced classical variety structure. For every , the point is singular exactly when every formal first partial derivative of vanishes at . Equivalently,
The affine scheme uses the actual ideal , which is already radical for squarefree . For a non-squarefree equation, passing from its principal ideal to its radical can change the scheme and its tangent space; for example, and its radical have different tangent spaces at .
Facts & Assumptions
Given: AC, an algebraically closed field , a finite integer , a nonconstant squarefree polynomial , the classical zero set , and a point . The word squarefree means that the finite factorization of in the polynomial-ring UFD has no repeated irreducible factor.
The Jacobian kernel computes the tangent space: for an affine scheme over any field, its tangent space at a rational point is the kernel of the Jacobian matrix of any finite generating list for the actual scheme ideal.
Regular and singular loci: for a reduced classical finite-type space over an algebraically closed field and a closed point, the singular locus is the complement of the regular locus, and regularity is characterized by tangent dimension equalling the maximum dimension of the irreducible components through the point.
Local dimension for a reducible classical algebraic set: under AC, the local dimension at a closed point of a reduced classical finite-type space is the maximum dimension of its irreducible components through that point.
A nontrivial principal section has pure codimension one: under AC, the zero locus of a nonzero nonunit on an irreducible affine variety is nonempty and each irreducible component has dimension one less than the ambient variety.
Affine geometric dimension equals ring dimension: under AC, the dimension of a nonempty affine algebraic set is the Krull dimension of its coordinate ring.
A polynomial ring in n variables over a field has dimension n: for a field and finite , .
Every finite-variable polynomial ring over a field is a UFD, with prime irreducibles and principal height-one primes: the finite variable polynomial ring over a field is a UFD, and its irreducible elements are prime.
Strong Nullstellensatz: I(V(I)) equals the radical of I: under AC and for an algebraically closed field, for every polynomial ideal .
The Axiom of Choice: AC says every family of nonempty sets has a choice function; its uses here are inherited through [F2]–[F5] and [F8].
Proof
The polynomial ring is a UFD by [F7], so write with and pairwise nonassociate irreducibles ; each is prime. If for some , every divides and hence divides . Since the are distinct prime factors, their product divides , so and is radical. By [F8], , so is reduced and its affine scheme is with the actual equation ideal. This finite factorization argument makes no choice; AC is used here only for the Nullstellensatz identification.
The affine space is irreducible because is a domain by [F7], and [F5] and [F6] give . The polynomial is a nonzero nonunit of its coordinate ring, so [F4] gives that is nonempty and each irreducible component has dimension . For the fixed closed point , [F3] therefore gives . Component dimensions come from [F4], and AC identifies their maximum with local dimension through [F3].
By [F1] applied to the actual ideal and its one-element generating list, the intrinsic tangent space at is the kernel of the single row . If some coefficient is nonzero, the equation determines , so the other coordinates vary freely and . If every partial vanishes, the kernel is all of and has dimension . These alternatives include every characteristic because [F1] uses formal polynomial derivatives without a characteristic restriction.
The point is closed in the reduced classical finite-type space . By [F2], it is regular exactly when . Step 1.2 identifies this maximum as , and step 1.3 shows that equality holds exactly when some partial derivative of is nonzero. Since the singular locus is the complement of the regular locus by [F2], is singular exactly when all partial derivatives vanish. Since , this proves both inclusions in the displayed equality. The choice use is inherited through [F2]–[F4], as recorded in [F9].
The non-squarefree distinction is visible in one variable: in at the actual Jacobian row is in every characteristic, so [F1] gives tangent space , whereas for the radical ideal the row is and the tangent space is zero. Thus radicalizing a non-squarefree equation changes its tangent computation; for the squarefree here, step 1.1 proves radicalization is redundant. For and , the unique point has nonzero derivative, tangent dimension zero and local dimension zero, so it is regular. For the reducible squarefree example in , at the origin the gradient vanishes, the tangent dimension is two and the local dimension is one; away from the origin on either axis the gradient is nonzero and tangent dimension is one, so those points are regular. The zero tangent vector lies in every Jacobian kernel. Here and nonconstant nonzero make the principal-subvariety theorem applicable; [F4] makes the hypersurface nonempty, so the empty case has no instance. Steps 1.3–2.1 establish both implications, and no arbitrary choice is made beyond the declared AC uses.
A regular point lies on one irreducible component
Statement
Assume the Axiom of Choice (The Axiom of Choice). A regular point of a reduced Noetherian scheme lies on exactly one irreducible component.
Facts & Assumptions
Given: A reduced Noetherian scheme and a point whose local ring is regular.
AC says every family of nonempty sets has a choice function (The Axiom of Choice).
A Noetherian scheme has a finite affine open cover by spectra of Noetherian rings (Locally Noetherian and Noetherian schemes).
An open subscheme has the restricted structure sheaf, and an affine open subscheme is affine with that structure sheaf (Affine open subschemes).
For and , the stalk is (The stalk of the affine structure sheaf at a prime is A_p).
A point is regular when its local ring is regular local (Regular points of locally Noetherian schemes).
Under AC, every regular local ring is a domain (regular local rings are domains and cohen macaulay).
An irreducible component of a scheme is a maximal irreducible closed subset of its underlying space (Irreducible components as schemes).
In an irreducible space, every nonempty open subset is dense (Irreducibility via nonempty open subsets, connectedness and open subspaces).
Under AC, the closure of an irreducible subset is irreducible (Existence and basic properties of irreducible components).
Under AC, the irreducible components of are exactly for minimal prime ideals of (Irreducible components of the spectrum correspond to minimal prime ideals).
For a multiplicative set , primes of correspond bijectively and in an inclusion-preserving way to primes of disjoint from ; the inverse is extension (Prime ideals of a localization are exactly the primes disjoint from the denominator set).
consists of the primes containing (The prime spectrum and vanishing sets).
A nonempty open subset of an irreducible space is irreducible (Irreducibility via nonempty open subsets, connectedness and open subspaces).
Under AC, every point lies in an irreducible component (Existence and basic properties of irreducible components).
means (Localisation at a prime ideal: ).
Proof
Fix . By the AC assumption [F1] and [F2], choose an affine open neighbourhood of with Noetherian. Write as the prime . The open-scheme structure in [F3] and the affine stalk calculation [F4] identify with . Since is regular, this is a regular local ring by [F5], and therefore a domain by [F6]. Put ; by [F15], . These are pointwise choices of one chart and its corresponding prime; no family of charts is chosen.
Let be any irreducible component of containing . By [F7], is closed and irreducible. The subset is a nonempty open subset of , so [F8] makes it dense in and [F13] makes it irreducible. It is closed in because is closed in . To see it is maximal irreducible in , let be an irreducible closed subset of containing . Its closure in is irreducible by [F9]. Since and is dense in , we have . The maximality of then gives . As is closed in , , so . Thus is an irreducible component of . By [F10], there is a unique minimal prime of with . Since corresponds to and lies in this vanishing set, [F12] gives .
The prime correspondence [F11] identifies the primes of with primes of contained in . Since is minimal in , its extension is minimal in : a prime properly below it would contract to a prime properly below . But is a domain by step 1.1, so its only minimal prime is . Hence . The localization correspondence is one-to-one, so all components through have the same prime . Their intersections with are therefore the same; each such intersection is dense in its component by [F8], so taking its closure in recovers that component. Thus there is at most one component through .
Under the assumed AC [F1], [F14] gives at least one irreducible component through . Together with step 2.1 this proves there is exactly one. If is empty, there is no point and the assertion is vacuous. If the local dimension is zero, is a zero-dimensional local domain and hence a field; the same minimal-prime argument still gives one component. No dimension restriction was used in steps 1.1–2.1. AC is also used through [F6] and [F10] for the local-domain theorem and the affine minimal-prime correspondence. For the fixed point , the proof chooses one chart and makes no simultaneous choices. The statement is a uniqueness-and-existence claim, not an iff criterion; no endpoint parameter is present.
Openness of the regular locus over a perfect field
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be a perfect field (Perfect fields: every irreducible polynomial is separable) and let be a -scheme of finite type over . Then the regular locus of Regular and singular loci is open in . No reducedness, irreducibility, equidimensionality, or separatedness hypothesis is imposed, and may be empty.
Facts & Assumptions
Given: AC; a perfect field ; a -scheme of finite type over .
The Axiom of Choice: every family of nonempty sets has a choice function.
Perfect fields: every irreducible polynomial is separable: a field is perfect when every nonconstant irreducible polynomial in is separable.
Regular and singular loci: for a locally Noetherian scheme one defines and ; these definitions assert no openness or closedness property and apply to nonreduced schemes as well.
Regular points of locally Noetherian schemes: for a point of a locally Noetherian scheme, is regular exactly when is a regular local ring, and then ; this is absolute regularity and asserts no smoothness over a base field.
Locally finite type and finite type morphisms: a morphism is locally of finite type when every point of has an affine open neighbourhood whose image lies in an affine open of with and of finite type; it is of finite type when it is locally of finite type and quasi-compact.
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: a commutative -algebra is of finite type over exactly when is isomorphic as an -algebra to a quotient for some and some ideal ; the case gives the quotients of itself.
Finite-variable polynomial algebras over fields are Noetherian by finite generators: for every field and every finite the ring is Noetherian, each ideal of it having a finite generating list; the proof is choice-free.
Locally Noetherian and Noetherian schemes: a scheme is locally Noetherian when it has an affine open cover by spectra of Noetherian rings.
Affine open subschemes: for a scheme and an open set , the open subscheme means , so its structure sheaf is the restriction of the structure sheaf of ; it is affine when this restricted ringed space is affine.
The stalk of a presheaf at a point: the stalk of a presheaf at a point is the filtered colimit of the sections over the open neighbourhoods of , concretely equivalence classes of pairs with .
The stalk of the affine structure sheaf at a prime is A_p: for there is a canonical isomorphism .
Topology on a set, open and closed sets, clopen sets, the closed-set axiomatisation, and the coarser/finer comparison: a topology satisfies (T1) and and (T2) for every family of open sets, so arbitrary unions of open sets are open.
Jacobian criterion and openness of the regular locus over a perfect field: under AC, for a perfect field , a polynomial ring with , an ideal and , clause 3 states that the regular locus is open in .
Proof
Setup. Since is of finite type it is locally of finite type [F5], so every point of has an affine open neighbourhood with the structure map of finite type, and by [F6] such a is isomorphic as a -algebra to for some and some ideal . The polynomial ring is Noetherian by [F7], hence so is its quotient ; as the point was arbitrary, has an affine open cover by spectra of Noetherian rings and is locally Noetherian by [F8]. Consequently the regular locus is defined by [F3] and the regular-point predicate of [F4] applies to .
Locality of openness. It suffices to prove that every point of has an open neighbourhood contained in : if that holds, then is the union of the family of all open subsets of contained in , and this union is open by (T2) [F12]. The family is specified by a property of its members rather than by a selection, so no choice is used here.
The chart at a regular point. Fix . By [F5] the point has an affine open neighbourhood with the structure map of finite type, and [F6] gives an isomorphism of -algebras for some and some ideal ; this chart is chosen for the single fixed point .
Stalks on the chart and the equivalence. Let correspond to the prime . The open neighbourhoods of contained in are cofinal among all open neighbourhoods of in , because the intersection of any open neighbourhood with the open set is again an open neighbourhood of inside ; since the structure sheaf of the open subscheme is the restriction [F9], the stalk colimits of [F10] agree on these cofinal systems and give , while [F11] gives . It follows that for one has if and only if is a regular local ring, both directions being the definition of in [F3] together with the regular-point criterion [F4]; hence .
The supplier. The field is perfect [F2], and with by step 2.1, so clause 3 of [F13] applies with and : the set is open in . By step 3.1 this set is , so is open in ; since is open in , such an open subset of is open in , and is an open neighbourhood of contained in .
Conclusion and boundaries. The point of step 2.1 was arbitrary, so step 4.1 shows that every point of has an open neighbourhood contained in , and step 1.2 then makes open in , which is the assertion. Boundaries. If is empty then is open by (T1) [F12] and the argument is vacuous. If the chart of step 2.1 has then is a quotient of the field and clause 3 of [F13] still applies, covering (one point, whose local ring is the field and is regular) and (no regular point). The scheme may be reducible or nonequidimensional: no purity, irreducibility, or dimension-uniformity input occurs, the supplier being applied chart by chart, and its clause 3 speaks about every point of the spectrum and not only the closed ones, so nonclosed points are covered as well. Nilpotents are retained and no reduction is performed, so the argument does not use reducedness and in fact proves the statement for arbitrary finite-type -schemes over a perfect field. AC is declared as [F1] and enters only through the supplier [F13], which assumes it; the chart of step 2.1 is chosen for one fixed point, and the union of step 1.2 is defined by a property, so no further choice occurs. The statement is not an if-and-only-if assertion; the one equivalence used, the characterization of in step 3.1, is proved in both directions.
Source qualification
Milne, Algebraic Geometry v6.10, §4h, Theorem 4.37 (printed p. 95; PDF page 94) proves that the set of nonsingular points of an affine algebraic variety over an algebraically closed field is dense and open, arguing that the singular locus is the zero set of the minors of the Jacobian matrix and then that it is proper on each irreducible component; Milne works with closed points of classical varieties, and his density half is not asserted here, being the subject of the next theorem on this page. The Stacks Project, Varieties Lemma 33.25.8 (tag 0B8X) states the scheme-level result over a perfect field in the reduced case, where the regular locus equals the smooth locus and is dense open. The proof above instead applies the affine clause 3 of Jacobian criterion and openness of the regular locus over a perfect field, which is stated for every quotient of a polynomial ring over a perfect field and therefore also covers nonreduced and nonequidimensional charts; reducedness is consequently not used, and the statement is phrased without it. The scheme-theoretic locus is in the sense of Regular and singular loci, and the argument is deliberately local: it compares the stalk of an affine chart with the stalk of and quotes the supplier on that chart rather than re-proving the Jacobian rank criterion.
A dense hypersurface chart with a nonzero partial derivative
Statement
Assume the Axiom of Choice. Let be algebraically closed and let be an irreducible classical variety over of dimension . There is a nonconstant irreducible polynomial such that the hypersurface is irreducible, , and and contain isomorphic nonempty open subvarieties. In particular, .
Facts & Assumptions
Given: The Axiom of Choice; an algebraically closed field ; and an irreducible classical variety of dimension over .
The Axiom of Choice says every family of nonempty sets has a choice function (The Axiom of Choice).
Every algebraically closed field is perfect (Fields of characteristic zero, finite fields, and algebraically closed fields are perfect); every nonconstant polynomial over it has a root (An algebraically closed field: every nonconstant polynomial has a root in the field).
A classical variety has a finite affine-model cover; for an irreducible variety its compatible affine atlas makes it an integral classical variety. Thus a nonempty affine chart exists (Classical algebraic prevarieties, regular maps, and varieties, Integral classical varieties in the compatible affine-atlas register).
For an affine algebraic set , its coordinate ring is the quotient of a finite-variable polynomial ring by its vanishing ideal (The coordinate ring of an affine algebraic set). In particular it is a finitely generated -algebra.
The fraction fields of the nonempty affine charts of an integral classical variety identify canonically as (Function fields and dominant pullbacks on general varieties).
If is irreducible classical, then (Dimension equals transcendence degree).
A finitely generated field extension of a perfect field has a separating transcendence basis: for some algebraically independent , the extension over is finite separable (Finitely generated extensions of a perfect field are separably generated).
Every finite separable field extension is generated by one element (A finite extension generated by elements all but possibly one of which are separable is simple).
The minimal polynomial of an algebraic element is monic irreducible and generates the kernel of its evaluation map (The evaluation kernel and the unique monic irreducible minimal polynomial of an algebraic element).
An element of a field extension is separable when its minimal polynomial is separable; an extension is separable when every element is (Separable algebraic elements and separable extensions).
For an irreducible polynomial over a field , the quotient is a field (For a nonconstant in , the ideal is maximal and is a field exactly when is irreducible).
An irreducible polynomial over a field is separable exactly when its formal derivative is nonzero (An irreducible polynomial over a field is separable exactly when its derivative is nonzero).
Every finite-variable polynomial ring over a field is a UFD, and its irreducible elements are prime (Every finite-variable polynomial ring over a field is a UFD, with prime irreducibles and principal height-one primes).
Over a UFD, a primitive positive-degree polynomial is irreducible exactly when it is irreducible over the fraction field (Gauss lemma over a UFD).
Over algebraically closed and under AC, irreducible affine algebraic sets correspond to proper prime ideals, and (Classical affine algebraic sets correspond to radical ideals, and irreducible sets to prime ideals).
For an affine classical variety , its function field is (The function field of an irreducible classical affine variety).
Under AC, two integral classical varieties over algebraically closed are birationally equivalent exactly when their function fields are -isomorphic (Classical integral varieties are birational exactly when their function fields are isomorphic over ).
For integral classical varieties with compatible affine atlases, birational equivalence means that they have isomorphic nonempty open subvarieties (Birational maps and birational equivalence of classical varieties).
Proof
By [F3], choose a nonempty affine chart . Its coordinate ring is finite type by [F4], so its fraction field is finitely generated over ; by [F5] this field is . Equation [F6] gives .
By [F2] and [F7], choose a separating transcendence basis of length for ; its residual extension , for , is finite separable. Here has fraction field under . If , then is finite and every element has an irreducible minimal polynomial over the algebraically closed field ; [F2] and [F9] force each such polynomial to be linear, so and we may take . In general, [F8] gives with ; when , again take .
Let be the monic minimal polynomial of . It is irreducible by [F9] and separable by [F10], since is separable. Hence by [F12]. For the trivial extension this is , so the same derivative conclusion holds. Also [F9] and [F11] identify with the field .
Clear the finitely many coefficient denominators of with a nonzero , obtaining . In the UFD , factor the common irreducible divisors of the finitely many coefficients of to write , where is their common content and is primitive. The polynomial has positive -degree and is an associate of over . Thus it is irreducible in , and [F14] makes it irreducible in . Since is independent of , in and .
Put . By [F13] the irreducible polynomial is prime in ; it is a nonunit because it has positive -degree. Therefore is a proper prime ideal. By [F15], is nonempty and irreducible and . Thus [F4] gives , a domain, and [F16] gives . Localizing this coordinate ring at the nonzero elements of yields . Here embeds in because has positive -degree, and the localized quotient is a field by [F11]; hence it is the fraction field of . Consequently over .
Both and are integral classical varieties by their hypotheses and step 5.1. Their function fields are -isomorphic, so [F17] and [F18] supply isomorphic nonempty open subvarieties. By [F6], . Step 4.1 gives the required nonzero last-coordinate partial derivative, and the construction makes an irreducible hypersurface in . AC is propagated through the integral-atlas, chart-function-field, dimension, Nullstellensatz, affine-function-field and birational interfaces [F3, F5, F6, F15, F16, F17]; once these apply, the construction uses only the finite chart, basis, generator and denominator/content selections above.
Source note
Milne, Algebraic Geometry v6.10, §3k Proposition 3.36 and Theorem 3.37, printed p. 74, reduces birationality of affine varieties to isomorphic nonempty affine opens and constructs a birational hypersurface from a -dimensional function field generated by elements. Proposition 3.38, printed pp. 74–75, supplies the separable last generator over a perfect base; §4h, proof of Theorem 4.37, printed p. 95, uses the resulting hypersurface chart and a nonvanishing partial derivative. The present proof obtains the specific last-coordinate derivative directly: a primitive generator over a separating transcendence basis has separable minimal polynomial, and clearing denominators and removing content multiplies it only by a nonzero scalar in , so that derivative stays nonzero.
Dense regular loci on every component
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be a perfect field (Perfect fields: every irreducible polynomial is separable) and let be a reduced -scheme of finite type over . Then:
- the regular locus (Regular and singular loci) is open in ;
- for every irreducible component of (Irreducible components of a topological space) the intersection is a dense open subset of ; in particular every irreducible component contains a nonempty dense open subset of points regular on ;
- if , then .
No separatedness, irreducibility or equidimensionality hypothesis is imposed, and may be empty, in which case the second clause is vacuous and the third is not asserted.
Facts & Assumptions
Given: AC; a perfect field ; a reduced -scheme of finite type over .
The Axiom of Choice: every family of nonempty sets has a choice function.
Perfect fields: every irreducible polynomial is separable: a field is perfect when every nonconstant irreducible polynomial in is separable.
The reduction of a scheme and Reduced affine schemes: the nilradical ideal sheaf has nilpotent germs and is reduced exactly when ; on the reduction is , and an affine scheme is reduced exactly when its coordinate ring is reduced.
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras, Locally finite type and finite type morphisms and Every algebra of finite type over a Noetherian ring is a Noetherian ring: a -algebra of finite type is a quotient of a polynomial ring in finitely many variables; a morphism of finite type is locally of finite type, so an affine chart of a finite-type -scheme has of finite type over ; an algebra of finite type over a Noetherian ring is Noetherian, and Locally Noetherian and Noetherian schemes makes locally Noetherian for such an , so a finite-type -scheme is locally Noetherian.
Regular and singular loci: for a locally Noetherian scheme, ; the definition alone asserts no openness.
Schemes and Affine open subschemes: a scheme has an open cover by affine open subschemes, and for an open the open subscheme is ; The stalk of a presheaf at a point then gives for every , the neighbourhood systems in and in being cofinal.
Openness of the regular locus over a perfect field: under AC, for a perfect field and every finite-type -scheme, the regular locus is open; no reducedness is needed.
Jacobian criterion and openness of the regular locus over a perfect field: under AC, let be perfect, , an ideal and . Then the regular locus is open in ; if is a minimal prime of with reduced, then the regular locus contains a dense open subset of ; when is reduced this holds for every irreducible component.
Irreducible components of the spectrum correspond to minimal prime ideals: under AC, the irreducible components of are exactly the closed sets for minimal primes of , each minimal prime giving one component.
Irreducible components of a topological space and Existence and basic properties of irreducible components: components are nonempty maximal irreducible subsets; under AC they are closed, every irreducible subset is contained in a component, every point of a nonempty space lies in a component, and the closure of an irreducible subset is irreducible.
Irreducibility via nonempty open subsets, connectedness and open subspaces: a space is irreducible if and only if it is nonempty and every nonempty open subset is dense; a nonempty open subspace of an irreducible space is irreducible.
Interior, closure, boundary, exterior, derived set and isolated point in a topological space and Subspace topology: the traces of the open sets, its closed sets and its bases, the continuity of the inclusion, and the characteristic property of a map into a subspace: the closure of a subset is the smallest closed superset of it, so a subset of a closed set has its closure contained in , and a subset is dense in exactly when its closure computed in is ; the closed subsets of a subspace are exactly the traces of the closed subsets of the ambient space, so the closure in a subspace of a subset of is contained in its closure in the ambient space.
Dual numbers give a one-point nonreduced affine scheme: for a field and , the scheme has exactly one point, the prime , whose residue field is , and it is not reduced.
The stalk of the affine structure sheaf at a prime is A_p: for a prime of a commutative ring there is a canonical isomorphism .
regular local rings are domains and cohen macaulay: under AC, a regular local ring is a domain (and Cohen--Macaulay).
Proof
Setup. The field is perfect [F2] and AC is assumed [F1]. By [F4] the scheme is locally Noetherian, so the regular locus is defined [F5], and it is open in by [F7]. For an open subscheme , [F6] gives for every , so and if is affine then is reduced: reduced means [F3], the restriction of the zero sheaf is zero, and on the reduction is , so and has no nonzero nilpotent, that is, is reduced [F3]. This proves clause 1 of the statement and records the two facts used below.
Comparing a component of with a chart component. Let be an irreducible component of ; it is nonempty and closed in [F10]. Choose ; by [F6] there is an affine open subscheme of with . Then is a nonempty open subspace of , hence irreducible [F11], and dense in [F11]; by [F10] it is contained in an irreducible component of , and by [F9] we have for a minimal prime . The closure of in is irreducible and closed [F10], and it contains , whose closure in equals : indeed is dense in , so , the second inclusion because and is closed in [F12]. Since is a maximal irreducible subset of and is irreducible, ; finally , because is closed in [F10] and any point of outside would have the open neighbourhood in disjoint from . Hence
The affine chart input. Let be a nonempty affine open subscheme of , with reduced of finite type over the perfect field [step 1.1, F4]. Let be an irreducible component of ; by [F9] there is a minimal prime with , and because [F10]. Since is reduced, clause 3 of [F8] applies and the regular locus of contains a dense open subset of ; in particular [step 1.1], the set is open in because is open in , and it is dense in because it contains the dense subset ; also , because a dense subset of the nonempty space cannot be empty.
Density of the regular locus on every component. With , and as in step 1.2, step 2.1 applied to the component of produces the dense open subset with . Here [step 1.1, step 1.2], so is a nonempty subset of that is open in ; since is open in (as is open in ), is open in . Thus is a nonempty subset of that is open in (ostensibly open in by clause 1, hence open in ), and therefore it is dense in because is irreducible [F11]. This proves clause 2 of the statement, including the assertion that each component contains a nonempty dense open set of regular points, namely itself.
Nonemptiness and boundaries. If , pick a point ; by [F10] it lies in some irreducible component , and step 3.1 gives , so the regular locus is nonempty; this proves clause 3. If then there are no irreducible components [F10] and clauses 2 and 3 are vacuous, while is open in . Reducedness cannot be dropped: let be a perfect field [F2], let and . By [F13] the scheme has exactly one point, the prime , whose residue field is , and is not reduced, while is of finite type over because is a quotient of the polynomial ring [F4]. Every element of has the form with ; such an element with is a unit, with inverse , and the elements with are exactly the multiples of , so is the unique maximal ideal and the localization at it is itself; the stalk at the unique point is therefore [F14]. The nonreducedness of means by [F3] that the coordinate ring is not reduced, so has a nonzero nilpotent element and is not a domain, a domain having no nonzero nilpotent; since a regular local ring is a domain [F15], the local ring is not regular. Hence by [F5], as is the only point of [F13] and its local ring is not regular, while is irreducible [F11] with sole irreducible component itself [F10] and is not dense in [F12], so clauses 2 and 3 fail for this finite-type -scheme, which is not reduced. Perfectness is used only through [F7] and [F8] and nothing is asserted for imperfect . The Axiom of Choice enters through the statement [F1] and through the suppliers that assume it, namely [F7], [F8], [F9], [F10] and [F15], each cited at the step that uses it; the remaining steps use only explicit set-theoretic and ring-theoretic operations.
Source qualification
Milne, Algebraic Geometry v6.10, §4h, Theorem 4.37 (printed p. 95; PDF p. 94) proves that over a perfect field the singular locus of a variety is closed and that the regular points are dense in every irreducible component, working with classical varieties over an algebraically closed field and asserting the density through the nonsingularity of a suitable hypersurface section; the item above instead derives the density clause for an arbitrary reduced finite-type -scheme from clause 3 of Jacobian criterion and openness of the regular locus over a perfect field, which packages the affine-adapted version of the same theorem, and makes the passage from affine charts to global components explicit through the closure of a chart component. The Stacks Project's treatment of the same statement (Varieties, Lemma 33.25.8, tag 0B8X, and the more general criterion for the smooth locus) agrees with the affine form used here; its reducedness hypothesis on the ambient scheme matches the hypothesis above, which is necessary as the dual-numbers example of step 4.1 records. No separatedness is imposed, no smoothness is concluded, and nothing is asserted over imperfect fields.
Minimal tangent dimension and homogeneous regularity
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field and let be an irreducible classical variety over (Classical algebraic prevarieties, regular maps, and varieties), with dimension (Global and local dimension of classical varieties). Then the minimum taken over the closed points of (The intrinsic Zariski tangent space), and is regular (Regular and singular loci) if and only if the function is constant on the closed points of .
More generally, a nonempty reduced classical finite-type space over whose automorphism group acts transitively on its point set is regular.
Facts & Assumptions
Given: AC; an algebraically closed field ; a classical variety over ; and the intrinsic tangent spaces at its closed points.
The Axiom of Choice: Every family of nonempty sets has a choice function.
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic prevariety over is a quasi-compact locally ringed space with a structure sheaf of -algebras covered by open subspaces isomorphic over to affine polynomial models, and its points are the closed points of these models, with residue field canonically .
Global and local dimension of classical varieties: for a classical variety , is the chain dimension and over the irreducible components containing the closed point .
Local dimension for a reducible classical algebraic set: for a reduced classical finite-type space over an algebraically closed field and a closed point , over the irreducible components containing .
Regular and singular loci: the regular locus is , and for a reduced classical finite-type space over an algebraically closed field, a closed point lies in exactly when .
Regular points of locally Noetherian schemes: a point of a locally Noetherian scheme is regular when its local ring is a regular local ring, and then is regular if and only if .
Tangent dimension bounds local dimension: for every point of a locally Noetherian scheme, ; for a reduced classical finite-type variety over an algebraically closed field and a closed point , .
Dense regular loci on every component: for a perfect field and a reduced -scheme of finite type, the regular locus is open, its trace on every irreducible component is a dense open subset of that component, and whenever .
Fields of characteristic zero, finite fields, and algebraically closed fields are perfect: every algebraically closed field is perfect.
Existence and basic properties of irreducible components: every irreducible subset is contained in an irreducible component, and a nonempty irreducible space is its own unique irreducible component.
Differentials, open restriction, and the chain rule: for a -morphism of -schemes, the differential is defined at -rational points, is compatible with composition, and .
Morphisms of locally ringed spaces: a morphism of locally ringed spaces induces at every point a local ring homomorphism on stalks.
The intrinsic Zariski tangent space: the intrinsic tangent space is the -dual of , and differentials of -morphisms act on it by the dual of the induced cotangent map.
The coordinate ring of a classical affine algebraic set: the coordinate ring of an affine algebraic set over an algebraically closed field is reduced, and the finite coordinate classes generate it as a -algebra.
In a finite-type algebra over a field, closed points are dense in every closed subset of the spectrum: for every finite-type -algebra , each nonempty open subset of a closed subset of contains a closed point of . On a reduced affine model over algebraically closed , these points are exactly the classical -points by Classical k-points give closed points over an algebraically closed field. A -point is closed in the whole finite-type model: its intersection with any affine chart containing it is a maximal ideal there, while its intersection with a chart not containing it is empty.
localisations of regular local rings are regular: assuming AC, every prime localization of a regular local ring is regular. If in a finite-type affine coordinate ring and is regular, then is regular.
Proof
Since is an irreducible classical variety over the algebraically closed field , it is nonempty, because irreducible means nonempty [F3]. Its affine models have reduced coordinate rings [F14], so is a reduced classical finite-type space over and the classical suppliers [F4], [F5], [F7] apply to it, while [F8] applies to the reduced finite-type spectra of its affine coordinate rings; in particular is its own unique irreducible component [F10], and the field is perfect [F9]. Fix a closed point of . Because the only irreducible component of is itself [F10], [F3] and [F4] give , and then [F7] gives . Apply [F8] to the spectrum of any nonempty affine model chart. Its regular locus is open and nonempty, so [F15] supplies a closed, hence classical, point there whose local ring is regular by [F5]. At such a point [F6] gives , while [F4] with [F3] gives ; hence for every closed point .
Let be an automorphism of the classical variety , that is, an isomorphism of locally ringed spaces over with inverse . At every closed point the induced stalk map of [F12], , is a local ring homomorphism, and the stalk maps of and are mutually inverse isomorphisms of local rings, so is a regular local ring if and only if is; hence . Likewise, since and , the functoriality of the differential [F11] applied to these two composites gives and , so is an isomorphism and for every closed point .
By the affine application of [F8] and [F15] in step 1.1 there is a classical closed point ; by step 1.1 its tangent dimension equals , and by step 1.1 again every closed point has tangent dimension at least . Hence the minimum of over the closed points of is attained and . Comparing step 1.1 with the criterion of [F5] and the definition of in [F3] shows in addition that a closed point attains the minimum exactly when , that is, exactly when .
Now let be a nonempty reduced classical finite-type space over whose automorphism group acts transitively on its classical point set. Take a nonempty affine model with reduced finite-type coordinate ring [F2, F14]. By [F8] and [F9] the regular locus of is a nonempty open subset, so [F15] gives a classical closed point there with a regular local ring. By step 1.2, for every classical point an automorphism taking to identifies their local rings; thus every classical closed point is regular. Now take any point of the scheme model, represented by a prime in an affine chart . Applying [F15] to the nonempty closed subset gives a maximal ideal , hence a classical closed point. Its local ring is regular; [F16] then makes regular. Since was arbitrary, every scheme point is regular, so the classical space and its scheme model are regular in the sense of [F5].
By definition [F5] the variety is regular when every point of it is regular, that is, when ; every point of a classical variety is a closed point [F2]. If is regular, step 1.1 applies at every closed point and gives , so the function is constant. Conversely, suppose for every closed point; then is the minimum computed in step 2.1, so , and step 1.1 with [F3] gives for every closed point ; by [F5] each such lies in , so and is regular. This proves both directions of the equivalence.
Boundary and scope dispositions. Empty: an irreducible classical variety is nonempty by convention [F3], so the minimum of step 2.1 is taken over a nonempty set, and for the general claim the empty reduced space is excluded by hypothesis, the assertion being vacuous for it. Zero and one: at a point with the criterion [F5] reads " regular if and only if ", so the zero-dimensional case is covered by the criterion without modification, and in the one-dimensional case the minimum of step 2.1 has the value one, attained at the regular points. Degenerate: reducedness is genuinely needed for the transitive claim, since a nonreduced local ring is not a regular local ring while the one-point nonreduced space has a transitive automorphism group on its single point; for such a space the regular locus can be empty, so the supplier [F8] cannot be applied. Endpoints: the minimum of step 2.1 is attained exactly at the regular points, and the constant value of step 3.1 is exactly . Choice: AC is declared in [F1] and is used only through the AC-assuming suppliers [F4], [F5], [F7], [F8], [F10], [F15] and [F16], each cited at the step that uses it, while the automorphism arguments of steps 1.2 and 2.2 make no choice. Biconditional directions: step 3.1 proves both directions of the regularity-constancy equivalence, using step 1.1 in the forward direction and the minimum of step 2.1 in the reverse direction, and the criterion [F5] is instantiated in step 3.1 in the direction "tangent dimension equal to local dimension implies regular" while its defining content, regularity of the local ring, is what defines in step 1.1.
∎
Source qualification
J. S. Milne, Algebraic Geometry v6.10, §4h, Corollaries 4.38-4.40 (printed p. 95), records for a variety over an algebraically closed field that the dimension is the minimum of the tangent-space dimensions, that nonsingularity is equivalent to constancy of the tangent dimension, and that homogeneous spaces are nonsingular; Milne's book-wide conventions (classical varieties, algebraically closed field) are narrower than the scheme-level inputs used here, so the statement is derived from the library's openness/density supplier for the regular locus and the embedding-dimension bound rather than quoted from the source. Donu Arapura, Notes on Basic Algebraic Geometry §5.2 Corollary 5.2.4, states the homogeneous regularity conclusion in the same classical setting. Neither source is used as a substitute for the proof, which is given above from the cited library items.
Smoothness over a field by geometric regularity
Definition
Assume the Axiom of Choice (The Axiom of Choice). Let be a field and a finite-type -scheme. Smoothness of is defined by local standard smooth presentations in Smooth morphisms via local standard smooth presentations. The following is an equivalent characterization: is smooth if and only if, for every field extension , every local ring of the scheme-theoretic base change is regular. Here is formed by tensoring affine coordinate rings with and gluing as in Extension of scalars of a scheme along a field extension. We call this condition geometric regularity of over . It retains nilpotents in every field change.
Facts & Assumptions
Given: A field , a finite-type -scheme , the earlier local-standard-smooth definition, and the Axiom of Choice.
Locally finite type and finite type morphisms: a finite-type morphism is locally of finite type; hence every point has an affine neighbourhood on which the structure algebra is of finite type.
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: an -algebra is of finite type when it is a finitely generated -algebra.
Smooth morphisms via local standard smooth presentations and Standard smooth presentations and locally standard smooth maps: a morphism is smooth when every source point has affine neighbourhoods on which the induced ring map is standard smooth at the corresponding prime; standard smoothness at a prime holds after a further principal shrinking, and a standard smooth presentation is a finitely presented algebra.
Geometrically regular algebras and geometrically regular fibres: a finite-type -algebra is geometrically regular over when is a regular Noetherian ring for every finitely generated field extension .
Locally standard smooth iff flat with geometrically regular fibres: for a finite-type -algebra , geometric regularity over is equivalent to the structure map being locally standard smooth.
Field tests for geometric regularity: if is geometrically regular over , then is a regular ring for every field extension .
regular noetherian ring: a commutative Noetherian ring is regular when its localization at every prime is a regular local ring.
Extension of scalars of a scheme along a field extension: for every affine open , its restriction in is canonically , open in ; the theorem's AC use is only to index affine opens by points, and it notes that the set of all affine opens gives a choice-free construction.
Regular points of locally Noetherian schemes: a point of a locally Noetherian scheme is regular when is a regular local ring.
embedding dimension and regular local ring: a nonzero Noetherian local ring is regular local exactly when its embedding dimension equals its Krull dimension.
The affine scheme of dual numbers: for a field , ; its class is nilpotent.
The stalk of the affine structure sheaf at a prime is A_p: for a point , the stalk is canonically .
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function.
Proof
Finite-type affine charts and the assumption. The structural morphism is of finite type, so around each there is an affine open with of finite type over [F1, F2]. The field-change scheme and its affine restrictions are those of [F8]. AC is carried in the hypotheses of the standard-smooth equivalence [F5], the all-field field-test [F6], and the field-change construction [F8], so it is declared here [F13]. The field-change theorem says its AC use is only to index a pointwise affine cover and that the set of all affine opens also gives a choice-free construction [F8]. The proof below uses one chart at a time and makes no simultaneous choice of charts or local generators.
Smoothness implies regularity after every field change. Assume is smooth, fix any extension , and let map to . By [F3], there is an affine neighbourhood of on which is standard smooth at the prime for ; shrinking further by a principal open gives containing with standard smooth over . Thus is locally standard smooth, so [F5] makes geometrically regular. By [F6], is a regular ring. By [F8], is an open neighbourhood of in . If is the prime for in this chart, [F12] identifies its local ring with ; this is regular by [F7], and hence the local ring of is regular in the sense of [F9]. Since and were arbitrary, every local ring of every is regular.
Regularity after every field change implies smoothness. Suppose every local ring of is regular for every extension . Fix and choose a finite-type affine neighbourhood as in step 1.1. For every finitely generated extension , [F8] identifies with the open subscheme . All its local rings are regular by hypothesis and [F12], and the ring is Noetherian because it is a finite-type algebra over the field [F4]. It is therefore regular by [F7]. This holds for every finitely generated , hence is geometrically regular by [F4]. The equivalence [F5] gives that is locally standard smooth, in particular standard smooth at the prime for . As this applies at every , [F3] says that is smooth. The empty scheme satisfies both conditions vacuously.
Boundary calculations. For , every field change is and its only local ring is the field , so the zero-dimensional one-point case is smooth. For the nonreduced point of [F11], the field change has coordinate ring : the map is a ring isomorphism with inverse . Every prime contains the nilpotent , and every element with nonzero constant term is a unit, so is the unique prime and maximal ideal. The ring is a two-dimensional -vector space, so its ideals are finite-dimensional -subspaces and it is Noetherian. Its unique local ring has dimension zero, while its maximal ideal has square zero and one-dimensional quotient by its square; it is not regular local by [F10]. Thus the criterion detects the nilpotent structure and correctly says is not smooth. Taking shows the original scheme itself is included among the required field changes; no interval or endpoint parameter occurs.
Regular equals smooth over a perfect field
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be a perfect field and let be a finite-type -scheme. Here regular means that is locally Noetherian and every local ring is regular local; smooth over means that is smooth under the local-standard-smooth convention of Smooth morphisms via local standard smooth presentations. Then No reducedness, irreducibility, or closed-point restriction is imposed.
Facts & Assumptions
Given: A perfect field , a finite-type -scheme , and the Axiom of Choice.
Locally finite type and finite type morphisms: a finite-type morphism is locally of finite type, so every point of has an affine open neighbourhood on which is of finite type over .
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: an algebra of finite type over is a quotient of a finite-variable polynomial -algebra.
Finite-variable polynomial algebras over fields are Noetherian by finite generators: for every field and finite , is Noetherian, meaning each ideal has a finite generating list.
Left and right Noetherian rings: a ring is left Noetherian when its left regular module is Noetherian.
Noetherian modules: every submodule is finitely generated: a module is Noetherian when each submodule is finitely generated.
Left, right and two-sided ideals: in a commutative ring, its ideals are exactly the submodules of its left regular module.
Locally Noetherian and Noetherian schemes: a scheme is locally Noetherian when it has an affine open cover by spectra of Noetherian rings.
Affine open subschemes: an open subscheme has the restricted structure sheaf .
Regular points of locally Noetherian schemes: on a locally Noetherian scheme, a point is regular exactly when its local ring is regular local.
regular noetherian ring: a commutative Noetherian ring is regular when every prime localization is regular local; the zero ring is regular vacuously.
Geometrically regular algebras and geometrically regular fibres: a finite-type -algebra is geometrically regular when is a regular Noetherian ring for every finitely generated field extension .
Regular algebras over a perfect field are geometrically regular: assuming AC, a regular finite-type algebra over a perfect field remains a regular ring after tensoring with every field extension.
Locally standard smooth iff flat with geometrically regular fibres: under AC, for a finite-type -algebra , geometric regularity over is equivalent to the structure map being locally standard smooth.
Smooth morphisms via local standard smooth presentations: under AC, a finite-type scheme morphism is smooth when every source point has affine neighbourhoods on which the induced ring map is standard smooth at that point.
Standard smooth presentations and locally standard smooth maps: locally standard smooth means that the map is standard smooth at every prime, where standard smoothness at a prime is checked after a further principal shrinking.
Standard smooth presentations and locally standard smooth maps: the presentation definition allows , and the case with localization element presents over itself.
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function. It is declared here because [F13], [F14], and [F15] carry that assumption; no additional simultaneous choice or DC is used.
embedding dimension and regular local ring: a nonzero Noetherian local ring is regular local exactly when its embedding dimension equals its Krull dimension.
Proof
Finite-type affine charts. If is empty, its local regularity and smoothness conditions are vacuous. Otherwise, by [F1], every point has an affine open neighbourhood with of finite type over . By [F2], for some finite and ideal . We consider all such affine charts, so no simultaneous choice of a chart at every point is made.
Noetherianity of the chart rings. Fix any chart from step 1.1 and write . Let be an ideal and let be its preimage under the quotient map . By [F3], has a finite generating list in ; the images of that list generate because is surjective. Thus every ideal of is finitely generated. By [F4]–[F6], the left regular module of is Noetherian and is a Noetherian ring. The zero quotient is also Noetherian (its only ideal is generated by the finite list ) and is regular vacuously by [F11]; its spectrum is empty. Since these charts cover , [F7] makes locally Noetherian.
Regularity transfers to each affine chart ring. Assume is regular and fix from step 1.1. For any , let be its point in . The restricted structure sheaf [F8] identifies the stalk on with , and [F9] identifies it with . Since is locally Noetherian by step 2.1, [F10] and the regularity hypothesis make regular local. We have already shown that is Noetherian, so [F11] gives that is a regular ring.
Smooth implies regular. Assume is smooth. Fix any affine chart . By [F15], each point of has a neighborhood on which the structure map has a standard smooth presentation; restricting these neighborhoods within and using [F16] shows that is locally standard smooth. By [F14], is geometrically regular over . The finitely generated extension is included in [F12], and the canonical isomorphism therefore makes a regular Noetherian ring. By [F11], every is regular local; [F8]–[F10] identify this with regularity of each corresponding point of . Since is locally Noetherian by step 2.1, is regular. This proves the reverse implication.
A regular chart is geometrically regular. Let be any chart and assume is regular. Step 3.1 makes a regular finite-type -algebra. For every finitely generated field extension , [F13] gives that is regular, and [F11] includes Noetherianity in the meaning of regular ring. Hence the defining condition [F12] holds and is geometrically regular over .
Geometric regularity gives local standard smoothness. By [F14], the structure map for each chart in step 4.1 is locally standard smooth.
Regular implies smooth. At each point of , take a chart from step 1.1. The local standard-smooth presentations supplied by step 5.1 make the morphism smooth at that point under [F15]. This proves the forward implication at all points, including nonclosed points.
Boundary and nilpotent checks. For , the local ring is , with maximal ideal zero and both dimension and embedding dimension zero, so it is regular by [F19]. The map has the standard smooth presentation with and by [F17], so is smooth. For , the unique prime is because every prime contains the nilpotent and an element with nonzero constant term is a unit. The ring is two-dimensional over , hence Noetherian; its local dimension is zero, whereas is one-dimensional, so its embedding dimension is one and [F19] shows it is not regular. Consequently it is not geometrically regular, since [F12] includes the extension . By [F14] its structure map is not locally standard smooth, and [F15] says it is not smooth. Thus nilpotents are retained, and the theorem does not silently replace by its reduced point. Step 6.1 proves regular smooth, while step 3.2 proves smooth regular. AC is used only through the stated suppliers [F13]–[F15]; the proof treats one chart or point at a time, and no DC is invoked. [F12, F13, F14, F15, F17, F18, F19, step 6.1, step 3.2, given, algebra]
Source qualification
Stacks Project Lemma 33.12.3 (tag 038V), lines 23–38, gives the affine-chart characterization of geometric regularity and its finite purely inseparable field tests. Lemma 33.12.6 (tag 038X), lines 23–28, proves that geometric regularity at a point is equivalent to smoothness there for a locally finite-type scheme. The latter statement does not assume perfectness; perfectness enters this item through the regular-algebra scalar-extension theorem. Stacks Algebra Lemma 10.166.1 (tag 0381), lines 22–36, gives the finitely-generated-field versus finite-purely-inseparable test. The stronger arbitrary-field scalar-extension assertion used here is supplied by the fully proved library item Regular algebras over a perfect field are geometrically regular via Field tests for geometric regularity.
Milne, Algebraic Geometry, Chapter 10 supplement, §f, item 10.64 (printed p. 18 / PDF page 18), states that a regular variety over a perfect field is smooth and that a smooth variety is regular. Milne's “variety” conventions are narrower than the present claim about arbitrary finite-type schemes and do not include this proof's nonreduced dual-number boundary; that citation is corroboration for the classical case, not a substitute for the scheme-level chart argument above.
Purely inseparable field algebras separate regularity from smoothness
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be a field of characteristic and put . Let satisfy , and put
Then is a field, the structural map is injective, and , so is a field extension of ; the affine -scheme is of finite type over and regular; for every field extension and every with there is a -algebra isomorphism
where is a Noetherian local ring with unique prime , Krull dimension and embedding dimension , and is not regular; and consequently is not smooth, although is regular. The failure is witnessed already by and . No reduction, radicalization or Frobenius twist is applied: the displayed isomorphism is of the actual tensor product, and the nilpotent class is retained.
Facts & Assumptions
Given: A field of characteristic , the set , an element with , the ring with the class of , and the Axiom of Choice.
If is not a th power in a characteristic- field, then is irreducible for every : for a field of characteristic , an element that is not a th power, and , the polynomial is irreducible in .
For a nonconstant in , the ideal is maximal and is a field exactly when is irreducible: for a field and a nonconstant , the quotient ring is a field exactly when is irreducible.
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: a commutative -algebra is of finite type over when for some finite list, equivalently when is isomorphic to a quotient .
Finite type is affine-local on source and target: a quasi-compact morphism locally of finite type is of finite type; equivalently, over each affine target open it may be tested on a finite affine source cover.
Smoothness over a field by geometric regularity: under AC, for a finite-type -scheme , the morphism is smooth if and only if for every field extension every local ring of the scheme-theoretic base change is regular.
Affine charts after extension of the ground field: for a field extension and a -scheme , the inverse image under of every affine open of is , and these affine charts cover .
Presentations and localization under base extension: for a unital ring map and an ideal , there is a ring isomorphism ; no flatness, finite-generation or nonzero-ring hypothesis is required.
Affine schemes are contravariantly equivalent to commutative rings: is a contravariant equivalence from commutative rings to affine schemes with quasi-inverse global sections, so a ring isomorphism induces an isomorphism of affine schemes.
embedding dimension and regular local ring: for a nonzero commutative Noetherian local ring , , and is regular local exactly when .
An algebra that is finite dimensional as a vector space over a field is a Noetherian ring: a commutative algebra over a field whose underlying vector space is finite dimensional is a Noetherian ring.
Fields and are Noetherian, and so are their polynomial rings in finitely many variables: every field is a Noetherian ring.
Locally Noetherian and Noetherian schemes: a scheme is locally Noetherian when it has an affine open cover by spectra of Noetherian rings.
Regular points of locally Noetherian schemes: on a locally Noetherian scheme , a point is regular when the local ring is a regular local ring.
The stalk of the affine structure sheaf at a prime is A_p: for a prime there is a canonical isomorphism .
Krull dimension of a nonzero ring: for a nonzero commutative ring, the Krull dimension is the supremum of the lengths of strict chains of prime ideals.
The binomial theorem over an arbitrary commutative ring: in every commutative ring, with natural-number coefficients acting by repeated addition.
A prime divides for : if is prime and , then divides .
Field: a field has , and every nonzero element has a multiplicative inverse with .
Field homomorphism and embedding: a field homomorphism satisfies and , and an embedding is an injective field homomorphism.
A field is perfect exactly when it has characteristic zero or its Frobenius map is surjective: a field is perfect exactly when , or and the Frobenius map is surjective.
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function; it is declared here because [F5] carries that assumption, and no further simultaneous choice is used below.
Proof
The class of satisfies , and is a quotient of , hence of finite type over by [F3]. The polynomial is nonconstant, and [F1] with , and makes it irreducible in ; by [F2] the quotient is therefore a field. The structural map is a field homomorphism by [F19] and by [F18]; for in the inverse relation of [F18] is preserved by [F19], giving , so . Hence is injective and exhibits as a subfield of .
For any field , the quotient ring has the classes of as an -basis, because division by the monic polynomial leaves unique remainders of degree less than . Hence is a commutative -algebra of dimension over , and it is a Noetherian ring by [F10]. Since , the ring is nonzero and in .
Let be a field extension and let satisfy . Then has characteristic , and [F16] with , and gives in the commutative ring ; the intermediate coefficients with vanish by [F17], while , so , where holds in every characteristic.
is of finite type over : over the affine base the source is covered by the single affine chart , and the ring map is of finite type by step 1.1, so [F4] applies.
is locally Noetherian and regular. Since is a field, [F11] makes a Noetherian ring, and the one-chart cover witnesses local Noetherianity by [F12]. The field has the single prime ideal , so by [F15]; its maximal ideal is , so and , which makes a regular local ring by [F9]. The single point of has local ring by [F14], so it is regular by [F13]; being the only point, it makes regular.
For a field extension , write for the base change of along . The inverse image of the affine open under is by [F6], and it is all of ; applying [F7] with , the variable , the ideal and gives a ring isomorphism .
For any field , the ring is local with unique prime . By the basis of step 1.2 every element of has a unique expression . If , write the element as ; then , so has inverse and the element is a unit. If , the element lies in and is not a unit, because is nilpotent and a nilpotent element of a nonzero commutative ring cannot be a unit. Hence is the unique maximal ideal. Since , every prime ideal contains and hence contains ; and is prime because is a field. So is the only prime ideal.
Fix a field extension and with . Combining steps 2.3 and 1.3 and substituting gives -algebra isomorphisms , with as in steps 1.2 and 2.4; in particular, taking and , which is legitimate by step 1.1, the base change is isomorphic to by [F8].
For any field , the ring is not a regular local ring. It is nonzero, Noetherian by step 1.2, and local with maximal ideal by step 2.4. As is the only prime ideal, [F15] gives . Every element of is congruent modulo to for some by the basis of step 1.2, and because has basis coefficient in degree while every element of has basis coefficients only in degrees at least ; hence is one-dimensional over with basis the class of , and . Thus , and [F9] shows that is not regular local.
The scheme has a nonregular local ring. By step 3.1, , and by step 2.4 the ring is local with unique maximal ideal , so consists of the single point . Its local ring is by [F14], the last equality because every element outside is a unit by step 2.4. Step 3.2 says that is not a regular local ring, so this local ring of is not regular.
is not smooth over . By [F5], the AC-carrying geometric-regularity characterization, is smooth only if every local ring of every base change , with a field, is regular. The field extension of step 1.1 and the nonregular local ring of exhibited in step 4.1 contradict that condition, so is not smooth. Meanwhile is of finite type over by step 2.1 and regular by step 2.2, so an imperfect base field separates regularity from smoothness.
Boundary and hypothesis checks. (i) The hypothesis is exactly what step 1.1 needs, and by [F20] the existence of some such is equivalent to imperfection of in characteristic ; a perfect field of characteristic has no such , so the conclusion of step 5.1 cannot arise there. (ii) If instead lies in , then and is the nonreduced ring of steps 1.2 and 3.2, which is not even regular; so the hypothesis is used, not decorative. (iii) The nilpotent class survives: steps 2.3 and 3.1 are isomorphisms of the actual tensor product, and no reduction or radical is taken, so the nonreduced base change is retained. (iv) The extension is genuinely needed: for the base change is itself, which is regular by step 2.2, and the witness is the field generated over by one th root of . (v) At the ring is the classical dual-number ring of dimension and embedding dimension ; steps 1.2 through 3.2 divide by nothing except the monic polynomial , so characteristic is included. (vi) AC is declared in [F21] and used only through [F5]; the proof exhibits the single extension and one point, so it makes no simultaneous choice and invokes no dependent choice.
Source qualification
Stacks Project Example 33.12.7 (tag 038S) takes and observes that is a regular variety over that is not geometrically reduced, the base change to becoming . That example is the case of the statement above. The example is used here as the literature source for the phenomenon only: the field, regularity, base-change and non-smoothness assertions are each proved from the library's own suppliers in steps 1.1--5.1, and the general statement over an arbitrary field of characteristic with an arbitrary is not asserted by that example. The equivalence between smoothness over a field and geometric regularity invoked in step 5.1 is the one proved in Smoothness over a field by geometric regularity, not an external citation. The dual-number case is the published example of dual numbers not regular, which records the same dimension-zero, embedding-dimension-one computation for .
The scheme-theoretic tangent cone at a point
Definition
Let be a locally Noetherian scheme and . Write , let be its maximal ideal, and put , as in The intrinsic cotangent space. The associated graded ring for the maximal-ideal filtration is
with multiplication induced from (The associated graded ring and associated graded module of an ideal-adic filtration).
For every , multiplication by sends into , so it acts trivially on the degree- quotient. Thus the scalar action on each graded piece factors canonically through , and the degree-zero piece is . This makes the associated graded ring a graded -algebra without choosing a coefficient field in .
The scheme-theoretic tangent cone of at is the affine -scheme
We use to distinguish this scheme from the
cotangent space denoted in the preceding definition. Here Spec carries its affine scheme structure
(The underlying space of an affine spectrum, Affine schemes and their coordinate rings), and the map to
is the structure morphism of a scheme over
(Schemes and morphisms over a base) induced by the degree-zero inclusion. The
grading is retained as part of the cone presentation. The reduction
is a closed subscheme that can
differ from ;
the definition uses the full associated graded ring, without quotienting by
its nilpotents (The reduction of a scheme).
If is already a field, then , every positive graded piece vanishes, and .
For the closed point of the dual-numbers scheme (The affine scheme of dual numbers), every element with is a unit, so and . Its associated graded pieces are in degree , in degree , and zero in every degree ; the degree-one class squares to zero. Hence
The nilradical is , so the reduction is . Thus and its reduction have the same one-point topological space but different structure sheaves.
All initial forms define the tangent cone
Statement
Let be any field, , , and . Let , , , and let be the rational origin, so and . For a nonzero polynomial decomposed into total-degree homogeneous parts, let be its lowest nonzero homogeneous part, and let be the ideal generated by all with . The canonical graded -algebra map sending each variable to its degree-one initial class, is an isomorphism. Consequently If with , then . The initial forms of a chosen generating set for need not generate .
Facts & Assumptions
Given: A field , a finite , and an ideal of .
The scheme-theoretic tangent cone at a point: for a locally Noetherian scheme and a point , the scheme-theoretic tangent cone is over .
Cotangent spaces commute with localization at a rational point: when , localization induces an isomorphism for every .
The associated graded ring and associated graded module of an ideal-adic filtration: , with multiplication induced by multiplication in .
Finite-variable polynomial algebras over fields are Noetherian by finite generators: for a field and finite , every ideal of has a finite generating list.
Left and right Noetherian rings: a ring is left Noetherian when its left regular module is Noetherian.
Noetherian modules: every submodule is finitely generated: every submodule of a Noetherian module is finitely generated.
Left, right and two-sided ideals: an additive subgroup of the left regular module is a left ideal exactly when it is closed under left multiplication; in a commutative ring the left, right and two-sided ideals agree.
Submodule of a module: a subset of a module is a submodule when it is an additive subgroup closed under scalar multiplication.
The sum and product of two-sided ideals: products of ideals consist of finite sums of products of their elements.
The quotient ring with : consists of additive cosets with .
The canonical projection is a surjective ring homomorphism with kernel : the canonical projection is a surjective ring homomorphism with kernel .
is a field if and only if is a maximal ideal: is a field if and only if is a maximal ideal.
Every maximal ideal of a commutative ring is prime: every maximal ideal of a commutative ring is prime.
is local with unique maximal ideal : is a nonzero local ring with unique maximal ideal .
Monomials, coefficients, degree in each variable and total degree in : each polynomial in finitely many variables has a unique finite monomial expansion, and each monomial has its total degree.
homogeneous polynomial and homogeneous ideal: a polynomial is homogeneous of degree when every occurring monomial has total degree .
The ideal generated by a subset and principal ideals: the ideal generated by a subset is the smallest ideal containing that subset; the ideal generated by is written .
In a commutative ring, consists of finite sums , and : in a commutative ring, an ideal generated by a set consists of finite sums of ring multiples of its generators; in particular, elements of are of the form .
Every field is a commutative ring with ; it is an integral domain, and it is a commutative division ring: every field is an integral domain.
A polynomial ring in finitely many indeterminates over an integral domain is an integral domain: a polynomial ring in finitely many variables over an integral domain is an integral domain.
Locally Noetherian and Noetherian schemes: a scheme is locally Noetherian if it has an affine open cover by spectra of Noetherian rings.
Unital left and right modules over a ring; unqualified module means left module: the left regular module has scalar action , given by ring multiplication.
Proof
Noetherian affine scheme. The finite-generation theorem [F4] says every ideal of is finitely generated. The left regular modules and have scalar action by multiplication [F23]; hence [F7] and [F8] identify their submodules with left ideals, which are ideals because both rings are commutative. Thus every submodule of is finitely generated; [F6] makes this module Noetherian and [F5] makes a Noetherian ring. Put and let be the quotient map [F10, F11]. For an ideal , its preimage is an ideal of : additivity and closure under multiplication follow by applying the homomorphism and the ideal property of . Since is Noetherian, [F7, F8] identify with a submodule of , and [F6] gives a finite generating list for . Every has a representative by [F11], and then ; writing shows . Each lies in , so they generate . Thus every ideal of is finitely generated. By [F7, F8, F23], every submodule of is an ideal; it too is finitely generated, so [F6] and [F5] show that is Noetherian. The affine cover itself makes locally Noetherian by [F22]. Each argument fixes one ideal or submodule and establishes existence of a finite generating list for it; no simultaneous family of lists is chosen, and no choice principle is used.
The polynomial associated graded ring. Let be the homogeneous polynomials of total degree . By [F16, F17], every polynomial is a finite sum of homogeneous parts. For every , : a product of elements of has no term of degree below , while every monomial of degree at least factors as variables times a monomial; the finite-sum description of ideal products [F9] gives the two inclusions. Thus the degree- map is an isomorphism. Since multiplication in the associated graded ring is induced from [F3], these maps identify with as graded rings. In degree zero this is the identification .
The principal case. Suppose for . By [F20, F21], is a domain. If , [F19] writes ; since , . Let and be the lowest degrees of and . The lowest-degree part of is : all other products of homogeneous parts have degree greater than , and this product is nonzero in the domain . Thus every lowest form of a nonzero element of lies in , while is itself one of those forms. By [F18], .
The rational stalk. Evaluation at the origin sends every to zero and each constant to itself. By the unique monomial expansion [F16], its kernel in is . As , evaluation factors through with kernel and quotient ; [F12] makes maximal, and [F13] makes it prime. The stalk formula [F14] gives , whose unique maximal ideal is by [F15]. By [F1] and step 1.1, .
Quotient filtration and its kernel. The quotient operations [F10, F11] give for every , by induction on . Projection therefore defines a graded ring map , which is surjective in each degree because every class in is represented by an element of . Use step 1.2 to identify its source with . For a homogeneous , its class lies in the degree- kernel exactly when . Write with and . If , then has no terms below degree and its degree- part is , so . Conversely, if has lowest part of degree , then , so lies in the degree- kernel. The kernel is a homogeneous ideal; it contains every lowest form, and each of its homogeneous elements is itself a lowest form. It is therefore exactly , including when .
The local tangent cone. The localization maps of [F2] give an isomorphism in every degree from to . They preserve multiplication because each degree map is induced by the ring map and the products in both associated graded rings are induced by ring multiplication [F3]. Thus step 2.2 yields the canonical graded -algebra isomorphism , sending each variable to its degree-one initial class. By [F1] and step 2.1, its spectrum is the scheme-theoretic tangent cone at .
A generating list need not suffice, and boundary cases. For , set , , and , so the origin belongs to . The initial forms of this generating list are and , which generate an ideal contained in . But is a nonzero homogeneous element of , so it is its own lowest form and belongs to . Since while (its image modulo is the same nonzero polynomial), the two displayed initial forms do not generate the initial ideal. This witness works in every characteristic because the distinct monomials and cannot cancel. For , forces and , so the graded ring is in degree zero and the initial ideal is zero; the nonzero principal case is excluded. For , each is generated by , consistent with steps 1.2 and 2.2. Degree zero has and contains no nonzero constant; degree one is covered by the same kernel calculation with . If , the set of nonzero elements of is empty and its generated initial ideal is zero. The condition implies , so the origin exists and is not empty. The lemma asserts no iff, so there are no converse directions to check.
The scheme-theoretic linear span of the tangent cone
Statement
Let be a locally Noetherian -scheme and let be a -rational point. Put and . The module is finite-dimensional; write for the affine space associated to , using the canonical evaluation isomorphism . Multiplication in the local ring induces a graded surjection
whose degree-one map is the identity on . It therefore defines a closed immersion of the scheme-theoretic tangent cone into , and no proper linear closed subscheme of this affine space contains scheme-theoretically. Here a linear closed subscheme means one defined by an ideal generated by a vector subspace of degree-one forms; the full scheme structure of the cone is retained.
Facts & Assumptions
Given: A locally Noetherian -scheme and a -rational point .
The scheme-theoretic tangent cone at is (The scheme-theoretic tangent cone at a point).
The intrinsic tangent space is (The intrinsic Zariski tangent space); at a rational point .
A locally Noetherian scheme has an affine open cover by spectra of Noetherian rings (Locally Noetherian and Noetherian schemes).
A point of an affine scheme corresponds to a prime ideal (Prime ideals and maximal ideals in a commutative ring).
The left regular module of a left Noetherian ring is Noetherian (Left and right Noetherian rings).
Every submodule of a Noetherian module is finitely generated (Noetherian modules: every submodule is finitely generated).
In a commutative ring the left, right and two-sided ideal notions agree (Left, right and two-sided ideals).
A submodule is an additive subgroup closed under scalar multiplication (Submodule of a module).
The stalk of the affine structure sheaf at a prime is (The stalk of the affine structure sheaf at a prime is A_p).
The localization is (Localisation at a prime ideal: ).
The unique maximal ideal of is ( is local with unique maximal ideal ).
The dual-numbers scheme is and its class is nilpotent (The affine scheme of dual numbers).
The symmetric algebra is a commutative graded algebra generated by the degree-one image of (Symmetric algebra of a vector space).
A linear map from to a commutative -algebra extends uniquely to an algebra map from (Universal property of the symmetric algebra).
Proof
Choose an affine open containing , available by [F3], and write . Then is Noetherian, and is a submodule of the left regular module by [F4, F7, F8]. By [F5, F6], it has a finite generating list. The stalk and its maximal ideal are and by [F9, F10, F11], so the images of that list generate . Hence is finite-dimensional over . By [F2], is its dual, and the finite-dimensional evaluation map is an isomorphism. Thus the coordinate algebra of is .
By step 1.1, is the coordinate algebra of the affine tangent space. The degree-one quotient maps to the degree-one part of by the identity. Its multiplication extends to a graded algebra map by [F13, F14]. In degree , every element of is a finite sum of products of elements of ; replacing each factor by its class modulo changes each product only by an element of . Thus is surjective in every degree. In degree one it is the identity, so if , then .
By [F1], the spectrum of the target of is . The surjection gives a closed immersion , with scheme ideal . If a linear closed subscheme contains the cone scheme-theoretically, its ideal is generated by a subspace of degree-one forms and must satisfy . Taking degree-one parts gives , hence and . This proves both the embedding and the claimed scheme-theoretic linear span without replacing the cone by its reduction.
If , then the target affine space is and the surjection in step 2.1 forces every positive graded piece of the local associated graded ring to vanish; the cone is the whole point. For the one-dimensional nonreduced example from [F12] at , the local ring is and its maximal ideal is , so its associated graded ring is . The cone is a doubled origin in , while its reduction is only the origin; no nonzero linear equation vanishes on the scheme-theoretic cone. The point hypothesis rules out an empty at the point under discussion. The argument uses one affine neighborhood and a finite generating list for its one prime ideal, and makes no simultaneous choices, basis selection, or Axiom of Choice. The statement is not an iff.
Multiplicity of a hypersurface equation at a rational point
Definition
Let be any field, let , put , and let . Suppose and . Write the unique finite homogeneous decomposition
where is homogeneous of total degree . The multiplicity of the hypersurface equation at , denoted , is the least for which .
Let and , with maximal ideal . For of finite order, write when Then . In particular, replacing the local equation by for a unit leaves its -adic order unchanged.
This is multiplicity of the equation, unchanged under a local unit. It is not an invariant of the reduced support: for every integer , .
Facts & Assumptions
Given: A field , a finite , a point , and a nonzero polynomial with .
Monomials, coefficients, degree in each variable and total degree in : a polynomial has a unique finite monomial expansion; grouping its monomials by total degree gives a unique finite sum of homogeneous parts.
homogeneous polynomial and homogeneous ideal: a polynomial is homogeneous of degree when each occurring monomial has total degree .
Localisation at a prime ideal: : consists of fractions with .
is a field if and only if is a maximal ideal: is a field if and only if is maximal.
is local with unique maximal ideal : is a nonzero local ring with unique maximal ideal .
All initial forms define the tangent cone: at the rational origin of , the canonical graded map from the polynomial ring to the associated graded local ring is an isomorphism; it sends each variable to its degree-one initial class.
The associated graded ring and associated graded module of an ideal-adic filtration: multiplication in the associated graded ring is induced by multiplication in the local ring.
Every field is a commutative ring with ; it is an integral domain, and it is a commutative division ring: every field is an integral domain.
A polynomial ring in finitely many indeterminates over an integral domain is an integral domain: a polynomial ring in finitely many variables over an integral domain is an integral domain.
The stalk of the affine structure sheaf at a prime is A_p: on an affine scheme, the structure-sheaf stalk at a prime is canonically the corresponding ring localization.
Every maximal ideal of a commutative ring is prime: every maximal ideal of a commutative ring is prime.
Proof
Translate coordinates by : the substitution is a polynomial-ring isomorphism with inverse , and evaluation at becomes evaluation at the origin. By [F1], the latter has kernel generated by the variables, since every monomial with zero constant term is divisible by some ; hence its transported kernel is . Thus , so [F4] makes maximal and [F11] makes it prime; [F3] and [F5] identify as a local ring with maximal ideal . Evaluation extends to because every denominator outside has nonzero value at , and it identifies with . The affine stalk identification [F10] gives ; translation identifies this filtered local ring with .
Write as in [F1]–[F2], and let be the least index with ; it exists because translation is an isomorphism and , and because . Apply [F6] with at the rational origin: it identifies the associated graded local ring with , taking the degree- symbol of a polynomial to its degree- homogeneous part. Hence and its class in is the nonzero polynomial , so and its -adic order is exactly the least degree .
Let . Its degree-zero initial class is its nonzero residue in , while the degree- initial class of is by step 2.1. By [F7], the initial class of is the product of these classes; [F8]–[F9] make the identified graded ring a domain, so the product is nonzero. Thus and . For , the initial class of is , nonzero and homogeneous of degree in the same domain, so .
In one variable, has multiplicity , unchanged after multiplication by the local unit by step 3.1; has multiplicity . Degree zero cannot occur for a nonzero polynomial vanishing at , and the zero polynomial is excluded because it has no least nonzero homogeneous part. If , every polynomial is constant, so no nonzero polynomial vanishes at the unique point of . The proof uses only the fixed coordinate translation, the unique finite polynomial expansion, and a fixed local unit; it makes no family selection and uses neither AC nor DC. There is no interval or endpoint parameter and no iff assertion in this definition.
Multiplicity one is the smooth hypersurface test
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be any field, let be finite, let be nonconstant, and let satisfy . Put and let be the point defined by evaluation at . Then the structure morphism is smooth at if and only if . Here “smooth at ” means that the structure map is standard smooth at the corresponding prime after shrinking to an open neighborhood of (Smooth morphisms via local standard smooth presentations, Standard smooth presentations and locally standard smooth maps). The equation is used with its actual scheme structure; no reducedness, perfectness, or characteristic assumption is imposed.
Facts & Assumptions
Given: A field , finite , a nonzero nonconstant polynomial , a point with , the affine -scheme , the corresponding point , and the Axiom of Choice. Set , , , and with maximal ideal .
Multiplicity of a hypersurface equation at a rational point: the least nonzero homogeneous part of has degree , and this is the -adic order of in . Thus multiplicity one means exactly that the class of in is nonzero.
Standard smooth presentations and locally standard smooth maps: a finite-presentation map is standard smooth at when, after localizing away from , it has a presentation with an invertible Jacobian minor; for the one equation , the minor is a partial derivative of .
Smooth morphisms via local standard smooth presentations: smoothness is defined locally by standard smooth presentations at the source points. In particular, the pointwise condition at is precisely standard smoothness at after a neighborhood shrinking.
Locally standard smooth iff flat with geometrically regular fibres: for a finite-presentation map and over , standard smoothness at is equivalent to flatness of and geometric regularity of the fiber at .
Geometrically regular algebras and geometrically regular fibres: geometric regularity of a fiber at a point requires that, after every field extension, all local rings at points above it are regular; it therefore implies regularity after the extension itself.
Modules over a field are projective, flat, and injective: under AC every module over a field is flat, so the local -algebra map to any local ring of a chart is flat.
regular local regular quotient ideal is parameter generated: under AC, if is regular local, , and is regular, then is generated by an initial part of a regular system of parameters.
regular system of parameters equivalent basis: under AC, the classes of a regular system of parameters form a basis of ; hence the classes in any initial part are linearly independent.
localisation and polynomial extension of regular rings: under AC, finite polynomial extensions and localizations of regular Noetherian rings are regular; in particular is regular local.
Localisation commutes with quotient rings: : for an ideal and a multiplicative set .
The stalk of the affine structure sheaf at a prime is A_p: the local ring of at is canonically .
The Axiom of Choice: AC supplies a choice function for every family of nonempty sets; its uses here are only those explicitly inherited through [F4], [F6], [F7], [F8], and [F9].
Source qualification
Milne, Algebraic Geometry v6.10, §4b, Definition 4.9 and the following paragraph (printed pp. 83–84 / PDF pp. 83–84), defines the leading form as the least-degree nonzero homogeneous summand and uses its degree as the multiplicity of a plane-curve singularity. The book's global convention is that is algebraically closed; this is terminology and classical context, not proof of the present arbitrary-field scheme statement. Milne's Chapter 10 supplement, §f, 10.58 (PDF p. 16) and 10.64 (PDF p. 18), treats algebraic schemes over a field and states that a rational point is nonsingular exactly when its local ring is regular. These source statements motivate the criterion; the argument below proves the equation-level result for every field and retains nonreduced hypersurfaces.
Proof
Translate to and write terms of degree at least two. By [F1], exactly when . For each , the coefficient of in is : expanding each monomial , its linear coefficient is the formal derivative coefficient, with the integer exponent interpreted in . Thus multiplicity one is equivalent, in every characteristic, to at least one partial derivative being nonzero at .
Suppose , and choose the least index with . The class of the polynomial is outside in , so localizing there gives the one-equation presentation with its Jacobian minor invertible. Since , this is a standard smooth chart by [F2]; hence the structure morphism is smooth at by [F3].
Conversely, suppose the structure morphism is smooth at . By [F2]–[F3], shrink once around to a finite-presentation standard smooth chart and let be its prime for . The local -module is flat by [F6]. Apply [F4] with base field and its zero prime: the fiber is , and it is geometrically regular at . Taking the extension in [F5] shows that is regular. The chart does not change the stalk, so [F11] gives ; then [F10] identifies this ring with . By [F9], is regular local, and is nonzero by the finite order in [F1]. By [F7], is generated by an initial part of a regular system of parameters. Their classes in are linearly independent by [F8]. Since and , every modulo is the residue of times the class of , so the image of in has dimension at most one. Hence . If , [F7] makes , contrary to [F1]; therefore , and the image of is nonzero. It is spanned by the class of , so . By [F1], .
In one variable, at , has multiplicity and derivative , giving the standard smooth chart; in characteristic has multiplicity and derivative , and step 2.2 rules out smoothness. The zero polynomial is excluded because it has no least nonzero homogeneous part; a zero-variable polynomial cannot meet the nonconstant hypothesis. If the hypersurface has no -rational points there is no instance of this pointwise claim, and there is no interval or endpoint parameter. Steps 2.1 and 2.2 establish both iff directions. The coefficient and chart arguments make no family of choices; AC is used through [F4], [F6], [F7], [F8], and [F9], and no additional DC assumption is used.
Products preserve smoothness
Statement
Assume the Axiom of Choice. Let be an algebraically closed field, and let and be smooth classical varieties over . Their classical product is smooth. If and are their irreducible-component decompositions, the irreducible components of are exactly the nonempty products , and If either factor is empty, the product has no components.
More generally, for any field and finite-type -schemes smooth over , the scheme-theoretic product is smooth over . In both clauses, smoothness is measured by the local-standard-smooth convention. The dimension assertion concerns only the classical-variety components; no dimension claim is made for arbitrary finite-type schemes.
Facts & Assumptions
Given: The Axiom of Choice, an algebraically closed field , smooth classical varieties over , and finite-type -schemes smooth over a field in the general clause.
A finite-type morphism of schemes is smooth when each source point has affine neighbourhoods on which the induced ring map is standard smooth at the corresponding prime; standard smoothness at a prime allows a further principal shrinking (Smooth morphisms via local standard smooth presentations).
An affine model is a polynomial zero set in finite-dimensional affine space; its coordinate ring is a quotient of a finite-variable polynomial -algebra and is therefore finite type (The coordinate ring of a classical affine algebraic set).
A classical variety has a finite affine-model cover (Classical algebraic prevarieties, regular maps, and varieties).
Regular maps, including the product projections, are continuous because they are morphisms of locally ringed spaces (Classical algebraic prevarieties, regular maps, and varieties).
Every scheme fibre product exists. For affine charts over an affine base, its open charts are spectra of the tensor-product algebras (Existence of all scheme fibre products).
A standard-smooth algebra remains standard smooth at every point after arbitrary base change of the base ring (Base change and composition of standard smooth presentations).
A composite of locally standard-smooth maps is locally standard smooth; the displayed standard-smooth presentation has the sum of the two relative presentation dimensions (Base change and composition of standard smooth presentations).
Over an algebraically closed field and under AC, products of nonempty classical varieties exist; products of irreducible varieties are irreducible, and their dimensions add (Dimensions add under products).
A classical variety has finitely many irreducible components (Classical varieties have finite irreducible decompositions).
A constructed product has the categorical universal property; a product with a point is the other factor, and a product with an empty factor has empty underlying set (Products of classical algebraic sets and their universal property).
AC asserts that every family of nonempty sets has a choice function (The Axiom of Choice).
A morphism is of finite type when it is locally of finite type and quasi-compact (Locally finite type and finite type morphisms).
The case is allowed in a standard-smooth presentation; it is a localisation of a polynomial ring. In particular presents the base ring itself (Standard smooth presentations and locally standard smooth maps).
The affine product of classical affine varieties exists as a classical affine variety and has coordinate ring (The product of affine varieties has coordinate ring k[X] tensor_k k[Y]).
Proof
Let be the scheme-theoretic product of finite-type -schemes smooth over . For affine neighbourhoods and of the projections of any point, [F3] gives the product chart . Finite generating lists for and generate , so is locally of finite type. Each factor has a finite affine cover because its structure morphism is quasi-compact; the resulting finite family of product charts covers , so is quasi-compact. Thus [F10] makes finite type. Fix and write for its projections. Smoothness and [F1] give affine neighbourhoods of and of where and are standard smooth at the corresponding primes; shrink by the principal opens witnessing the presentations. By [F3], is an open affine neighbourhood of . The map is the base change of , so [F4] makes it standard smooth at the prime for . Its composite with is standard smooth there by [F5]. Hence is locally standard smooth at .
Suppose and are nonempty. By [F7], write them as finite unions of irreducible components and . A point of either factor is a morphism from the one-point affine variety. Given and , [F8] gives a unique point of the product whose projections are ; conversely, the projections of a product point determine it uniquely by the same universal property. Thus product points are pairs, and each belongs to some , so these products cover . Each product is closed as the intersection of the inverse images of the closed sets and under the continuous projections [F15]; there are finitely many by [F7]. Each is irreducible by [F6]. Fix one point in each of the two nonempty factors; pairing that fixed point with an arbitrary point of the other factor shows that both product projections are surjective. If , surjectivity gives and , so maximality of the original components forces equality in both coordinates. Conversely, an irreducible closed subset of a finite union of closed sets lies in one member of that union, so every irreducible component of is one of these products. Applying [F6] to each irreducible pair gives . If one factor is empty, the product and the component-pair list are empty by [F8].
Since was arbitrary, [F1] gives smoothness of over . If either factor is empty, then is empty and smoothness is vacuous, proving the general finite-type-scheme claim. For the classical product, [F14] gives finite affine covers; each affine chart has a finite-type coordinate algebra by [F2], so [F10] makes its associated scheme finite type. Fix a product point with projections , and choose affine neighbourhoods and . The open set in the classical product is itself the classical product : a pair of maps into gives a unique map into the global product by [F6], and its image lies in this open set; uniqueness is inherited. By [F13] its coordinate ring is , so its associated affine scheme is the same chart as the scheme product chart supplied by [F3]. The principal-open restrictions agree because both invert and on a product of and ; the resulting ring is . Therefore the local chart calculation in step 1.1 applies at every classical product point, and [F1] gives smoothness.
The product with the zero-dimensional point is the other factor by [F8], and dimensions add as ; its map to has the zero-variable, zero-equation standard-smooth presentation allowed by [F11]. The one-dimensional example has the standard-smooth presentation with two variables and no equations by [F11], and its component dimension is by [F6]. If a factor is the empty scheme , its tensor-product chart is empty and no point requires a smoothness check [F3]. AC is propagated because the smooth-morphism convention [F1] and the classical component and dimension suppliers [F6, F7] are stated under AC [F9]; the pointwise standard-smooth argument makes no simultaneous chart choice. There is no interval endpoint, and neither smoothness preservation nor the component-dimension assertion is an iff.
Source qualification
Vakil, Foundations of Algebraic Geometry, Classes 51–52, §2.8, printed/PDF p. 5, states the smooth-product result as an exercise and points to base change and composition; it is corroboration, not a proof here. The Stacks Project, Morphisms of Schemes, Lemmas 29.35.4–5 (Section 29.35, tag 01V4, lines 51–56), states and proves composition and base-change stability for smooth morphisms. Lemma 29.35.11 (same section, lines 80–85) records the local standard-smooth chart criterion. The item proves the needed presentation steps directly from the fully written local standard-smooth result Base change and composition of standard smooth presentations; the Stacks results corroborate those operations and do not replace that argument. Milne, Algebraic Geometry v6.10, §5j, Proposition 5.35 (printed p. 115), proves dimension additivity for irreducible varieties by reducing to affine varieties and comparing transcendence bases in their tensor-product coordinate rings. Its irreducible hypotheses hold for each pair ; the identification of all component products as components is proved in step 1.2.
Smooth morphisms via local standard smooth presentations
Definition
Assume the Axiom of Choice (The Axiom of Choice). Let be a field and a morphism of finite-type -schemes. The morphism is smooth if every point has affine neighborhoods and , with , for which the induced map is standard smooth at the prime corresponding to (Standard smooth presentations and locally standard smooth maps). Thus the condition is imposed at every source point, including nonclosed points; it is local on the source and target. In this condition, standard smoothness at a prime means that after a further principal shrinking around that prime the ring map has a standard smooth presentation.
The pointwise and global equivalences in Locally standard smooth iff flat with geometrically regular fibres identify standard smoothness for finite-presentation affine charts with flatness and geometrically regular scheme-theoretic fibres. Applied after the local shrinkings above, this gives the corresponding local criterion for . The local-presentation clause itself is choice-free; AC is assumed here for that proved equivalence, through the cited theorem.
The submersion criterion between smooth varieties
Statement
Assume the Axiom of Choice. Let be algebraically closed and let be smooth classical varieties over , with their finite-type -scheme structures. Assume their structure morphisms are smooth in the sense of Smooth morphisms via local standard smooth presentations. Let be a finite-type morphism of these -schemes (Locally finite type and finite type morphisms) and let be a classical closed point with . All such points have residue field . Here “smooth at ” means that the induced scheme morphism is locally standard smooth at (Smooth morphisms via local standard smooth presentations); the structural morphisms and are locally standard smooth at and , respectively. Then is smooth at if and only if its differential is surjective. If these equivalent conditions hold, the scheme-theoretic fibre has a regular local ring at of dimension . For every such (whether or not it is smooth at ), its fibre tangent space is canonically
Facts & Assumptions
Given: AC; an algebraically closed field ; smooth classical varieties over ; their locally standard-smooth structural morphisms; a finite-type morphism ; and a classical closed point with . Write and for the cotangent spaces of the local scheme charts.
The Axiom of Choice: every family of nonempty sets has a choice function.
Classical algebraic prevarieties, regular maps, and varieties: classical varieties here are over an algebraically closed field; their classical points have residue field , and regular maps respect the -algebra structures.
Global and local dimension of classical varieties: for a classical closed point , is the maximum of the dimensions of the irreducible components of containing .
Local dimension for a reducible classical algebraic set: for a reduced classical finite-type variety and a closed point , .
Smooth morphisms via local standard smooth presentations: smoothness of a finite-type -scheme morphism is defined locally by standard smooth presentations; pointwise smoothness at is the standard-smooth condition at its prime after shrinking.
Locally finite type and finite type morphisms: a morphism is of finite type when it is locally of finite type and quasi-compact.
The intrinsic Zariski tangent space: at a rational point, ; these spaces are finite-dimensional for locally finite-type schemes over .
Differentials, open restriction, and the chain rule: for a -morphism at rational points, the differential is the dual of the induced cotangent map and agrees with post-composition on based dual-number points.
Submersion criterion for locally standard smooth morphisms: under AC, if are locally standard smooth over at rational and is of finite type, then is locally standard smooth at iff is injective.
Submersion criterion for locally standard smooth morphisms: in the smooth case the fibre local ring is regular of dimension .
Scheme-theoretic fibre: is , viewed as a -scheme; here .
Base change of objects, morphisms and properties: base change uses the fibre product and its projection maps.
Existence of all scheme fibre products: fibre products exist with their universal property.
Proof
Put and , and let be the cotangent map induced by . By [F2], are -rational; by [F5] their structural smoothness assumptions give standard-smooth charts, and [F6] records that is finite type. Hence [F9] applies and says is smooth at exactly when is injective.
By [F7], and are finite-dimensional; the differential is by [F8]. A linear map and its dual have equal rank, so is injective iff , iff is surjective. With step 1.1 this proves both directions.
If these equivalent conditions hold (step 2.1), [F10] gives a regular local ring for the scheme-theoretic fibre at , of dimension . By [F3] and [F4], these stalk dimensions equal and . This proves the stated local fibre dimension; no regularity at other fibre points is asserted.
Let . By [F8], is represented by a based map , and by . By [F11]–[F13] and the fibre-product universal property, based maps at correspond to based whose composite is the constant map . That constant map represents zero in , so these are exactly the with . The correspondence is linear and canonical, proving even when is not smooth at .
If , every differential to it is surjective and makes injective, so [F9] gives smoothness; if but , neither condition holds, and when both vanish the fibre has local dimension zero. The identity at has differential and point fibre , regular of dimension zero. For at , the derivative vanishes in every characteristic, so [F8, F9] show the differential is zero and the map is not smooth. Its fibre is ; since is nilpotent the only prime is , so the local dimension is zero, while its maximal ideal has and . Thus the local ring is not regular and its one-dimensional tangent space is the full kernel. This checks the degenerate case and shows regularity is asserted only under smoothness. If has no classical points there is no to check; the dimension difference is nonnegative when is smooth by steps 2.1 and 3.1. AC is inherited only through [F1], [F4], [F5], and [F9]; linear algebra and the fibre-product argument add no choice principle.
Source qualification
Vakil, Foundations of Algebraic Geometry, Classes 51–52, §2.2, printed and PDF p. 5, calls the related result a “Trickier Exercise”: it assumes pure-dimensional smooth varieties and surjectivity at every closed point, then asks for smoothness of relative dimension ; it gives the local flatness criterion as a hint, not a proof. The present pointwise proof uses the complete local argument in [F9], so it does not infer the result from that exercise or require global pure dimension. Stacks Project Algebra Lemma 10.128.2 (tag 07DY), statement and proof, independently gives flatness when parameters of a regular local base map to a regular sequence. That is corroboration for the parameter-flatness step inside [F9], not a premise used directly here; the local-flatness and regular-sequence inputs are proved in the cited published supplier. The separate fibre-tangent identity above follows from the fibre-product universal property and the dual-number description.
A transverse hyperplane slice is smooth at the chosen point
Statement
Assume the Axiom of Choice. Let be an algebraically closed field, let , and let be a classical variety over , embedded as a closed subvariety and carrying its reduced finite-type -scheme structure. Suppose that is smooth at the classical closed point (Smooth morphisms via local standard smooth presentations) and put , assumed to satisfy . Let be an affine-linear polynomial whose linear part is nonzero and which satisfies , and let be the closed subscheme of cut out by the principal ideal --- the fibre of over the origin , that is, the affine hyperplane through . Assume that is nonzero on : under the identification obtained from Tangent vectors at rational points are dual-number points and Universal property of a polynomial ring on an arbitrary family of indeterminates, the composite is not the zero map, where is the inclusion. Then the restricted morphism is smooth at ; the scheme-theoretic intersection is canonically the scheme-theoretic fibre of over , its structure morphism is smooth at , and is a regular local ring of dimension ; and the kernel of the composite displayed above (so that, under that identification, is the subspace of ).
Facts & Assumptions
Given: AC; an algebraically closed field ; ; a classical variety with closed point at which is smooth; ; the affine-linear polynomial with nonzero linear part and ; the closed subscheme ; and the transversality assumption that the composite induced by is not the zero map.
The Axiom of Choice: every family of nonempty sets has a choice function.
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic variety over an algebraically closed field is a separated classical prevariety; varieties may be reducible or empty, their affine models are polynomial zero sets whose points have residue field canonically , and these definitions use no Axiom of Choice.
The coordinate ring of a classical affine algebraic set: for an affine algebraic set the coordinate ring is ; it is reduced, and the finite coordinate classes generate it as a -algebra.
Global and local dimension of classical varieties: for a classical variety with irreducible components and a closed point one has , where is the chain dimension.
Local dimension for a reducible classical algebraic set: under AC, for a reduced classical finite-type space over an algebraically closed field and a closed point one has .
Smooth morphisms via local standard smooth presentations: a morphism of finite-type -schemes is smooth when every source point has affine neighbourhoods on which the induced ring map is standard smooth at the prime for that point; the condition is local on source and target, and the definition assumes AC.
Standard smooth presentations and locally standard smooth maps: a standard smooth presentation of an -algebra is an isomorphism with an invertible Jacobian minor; the case is exactly a localisation of a polynomial ring, and standard smoothness at a prime holds after a principal shrinking.
Fibres of standard smooth algebras are regular of relative dimension: under AC, if is standard smooth over the commutative ring , then for every prime of and every field extension of its residue field, every local ring of the corresponding base-changed fibre is a regular local ring.
The stalk of the affine structure sheaf at a prime is A_p: for , the affine structure-sheaf stalk is canonically .
Regular points of locally Noetherian schemes: for a point of a locally Noetherian scheme, is regular exactly when is a regular local ring, and then the intrinsic tangent space is finite-dimensional over with .
The affine scheme of dual numbers and Tangent vectors at rational points are dual-number points: is the dual-numbers scheme, and for a -scheme with the intrinsic tangent space is naturally isomorphic, as a -vector space, to the fibre over of ; equivalently .
Universal property of a polynomial ring on an arbitrary family of indeterminates: a -algebra map from to a commutative -algebra is uniquely determined by arbitrary images of its variables.
Differentials, open restriction, and the chain rule: the differential is the dual of the induced cotangent map, it agrees with post-composition by on based dual-number points, it satisfies the chain rule, and it is an isomorphism for isomorphisms of -schemes; no choice is used.
Scheme-theoretic fibre: for a morphism and a point , the scheme-theoretic fibre is .
Intersections of subschemes: the scheme-theoretic intersection of finitely many closed subschemes of a scheme is their iterated fibre product over it, cut out by the sum of their ideal sheaves.
Fibre product of schemes and Existence of all scheme fibre products: a fibre product of is a scheme with projections , such that and, for every test scheme and morphisms , with , there is exactly one with and ; every such diagram of schemes has a fibre product.
Affine fibre products are spectra of tensor products: the fibre product of affine schemes over an affine base is , with projections corresponding to and .
naturally: for a commutative ring , an ideal and an -module there is a natural isomorphism , ; it is -linear, for it is the tensor-unit isomorphism, and for both sides are zero.
Base change and composition of standard smooth presentations: base change of a standard smooth presentation along an arbitrary ring map is standard smooth with the same parameters, so locally standard smooth maps are stable under base change of the base ring.
Submersion criterion for locally standard smooth morphisms: under AC, let be -schemes locally standard smooth over at -rational points and , and let be of finite type; then is locally standard smooth at if and only if the induced map is injective; if so, and , , then the local ring of the scheme-theoretic fibre at is a regular local ring of dimension .
embedding dimension and regular local ring: for a nonzero commutative Noetherian local ring one has , and is regular local exactly when .
Locally finite type and finite type morphisms and Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: a morphism is of finite type when it is locally of finite type and quasi-compact, and an -algebra is of finite type over when it is generated as an -algebra by finitely many elements, equivalently a quotient of a polynomial ring in finitely many variables.
Classical varieties have finite irreducible decompositions: every classical variety is Noetherian with finitely many irreducible components, and every open or closed subvariety has a finite affine cover.
The affine line has coordinate ring by The coordinate ring of a classical affine algebraic set, and its local ring at a closed point is with residue field by The classical affine local ring is localization at the point's maximal ideal.
Affine schemes are contravariantly equivalent to commutative rings: for commutative unital rings the assignment gives a natural bijection , a contravariant equivalence on affine schemes.
Finite type is affine-local on source and target: being locally of finite type is affine-local on source and target, and a quasi-compact morphism locally of finite type is of finite type; equivalently, over each affine target open this may be tested on a finite affine source cover.
Affine and projective n-space have dimension n: for every integer , .
Every algebra of finite type over a Noetherian ring is a Noetherian ring: a commutative algebra of finite type over a Noetherian commutative ring is a Noetherian ring.
Locally Noetherian and Noetherian schemes: a scheme is locally Noetherian if it has an affine open cover by spectra of Noetherian rings.
Proof
Setup. The closed subvariety is an affine model with its reduced finite-type structure and function sheaf [F2], and its coordinate ring is reduced and generated as a -algebra by the finitely many classes [F3]. Its points have residue field [F2], so is a -rational point. The variety is Noetherian with finitely many irreducible components [F23], and [F5] with [F4] gives the maximum being over the components containing , a nonempty finite family. Smoothness of at means that the structure morphism is locally standard smooth at [F6]; fix an affine chart containing on which is standard smooth [F7], and write for the prime of in , so that [F9]. The subscheme is cut out by the principal ideal , and its defining equation vanishes at : .
The differential of . Write . Every is represented by a based dual-number point at [F11]. Its composite corresponds to a -algebra map [F25]. By [F12] this map is uniquely determined by the images of the . Since reduction modulo gives the point , these images have the unique form for . Conversely every gives such a based point by [F12], and the -linear dual-number correspondence [F11] identifies with in these coordinates. Call the image of under . By [F13] the differential is represented by the composite , and substituting in the affine-linear form gives because and is -linear. Hence , that is, and ; the transversality hypothesis is therefore exactly the condition . Taking in the same calculation gives , which is one-dimensional, and is finite-dimensional [F10]. Thus a nonzero is surjective, and by [F13] the induced cotangent map is its dual, hence injective.
The morphism is of finite type. The affine model has coordinate ring , generated as a -algebra by the finitely many classes [F3], and the affine line has coordinate ring [F24]; by [F25] the -morphism from the affine chart to corresponds to the -algebra map sending to the class of , the pullback of the coordinate function. This ring map is of finite type: the same finite family generates over [F3], hence over [F22]. By [F26] finiteness of type may be tested over each affine target open on a finite affine source cover; the target is affine and the single chart is such a cover, so is of finite type.
Regularity of at and of the affine line at the origin. The coordinate ring of the chart of step 1.1 is a finitely generated -algebra [F3], hence a Noetherian ring by [F28] because is a field and therefore Noetherian; so is locally Noetherian [F29]. Applying clause 1 of [F8] to the standard smooth presentation of step 1.1 with , and shows that every local ring of that chart, in particular , is a regular local ring; by [F10] therefore , so because . The affine line has coordinate ring and local ring at the origin with residue field [F24], and is standard smooth with one variable and no equation [F7]; hence is locally standard smooth at [F6] and is a regular local ring [F8]. The affine line is irreducible with [F27], so [F5] with [F4] gives . [F3, F4, F5, F6, F7, F8, F10, F24, F27, F28, F29, step 1.1, given, algebra] 2.2 The slice is the fibre. First, is the fibre of over the origin: the fibre product of and the point is with the projections of [F17], and [F18] identifies , where is a -algebra through , the ideal is generated by for and , and the isomorphism is one of -algebras; hence is this fibre, with projections and satisfying [F16]. Second, is the scheme-theoretic intersection of the closed subschemes and of affine space, with projections , satisfying [F15]. Third, the fibre of over has projections , satisfying [F14]. All three fibre products exist, and a morphism into any of them is determined by its projections [F16]. The morphisms and have equal composites to , namely , so the universal property of gives a unique with and ; since , the pair induces a unique with and . Conversely the morphisms and have equal composites to , namely , so the universal property of gives a unique with and . By the uniqueness clauses and : both composites induce the same projections, and a morphism into is determined by its composites with and . Hence is a canonical isomorphism over and over . The -point satisfies because , so it induces a -point of , carried by to a -point of mapping to ; this is the point at which all local statements are taken. Finally the tangent space. A -morphism is by the universal property a pair with and such that [F16]; the morphism is unique, and being based at means that is based at and is the structure morphism. Hence based dual-number points of at correspond bijectively to based dual-number points of at whose composite is the constant point at . Under the identifications of [F11] this correspondence is -linear and identifies with : by [F13], is represented by , and the constant point at represents the zero vector of [F12]. Since is an isomorphism, its differential at is an isomorphism [F13], so
The submersion criterion. Take and : the point has residue field [F24], and both and are -rational [step 1.1]. The schemes and are locally standard smooth over at and [step 1.1, step 2.1], the morphism is of finite type [step 1.3], and the cotangent map of [F20] is injective by [step 1.2]. Clause 1 of [F20] therefore makes locally standard smooth at , that is, smooth at in the sense of [F6]. [F6, F20, F24, step 1.1, step 2.1, step 1.2, step 1.3, given, algebra] 4.1 Dimension of the slice. By step 3.1, clause 2 of [F20] applies at with , , [step 1.1] and [step 2.1]; it makes the local ring of the fibre at a regular local ring of dimension . By step 2.2, , so is a regular local ring of dimension in the sense of [F21]. Consistently, rank-nullity for the surjective differential [step 1.2] gives [step 2.1], and by step 2.2, so the tangent dimension of the slice agrees with the local dimension. [F20, F21, step 2.1, step 1.2, step 3.1, step 2.2, given, algebra] 5.1 Smoothness of the slice and conclusion. Since is smooth at [step 3.1] and is the base change of along the point [step 2.2], clause 1 of [F19] makes locally standard smooth at , so the slice is smooth at [F6]. Together with steps 3.1, 2.2 and 4.1 this proves the assertions of the statement, including and its description as the set of with . Boundaries. The hypothesis guards against vacuity: if then [step 2.1], so carries no nonzero linear functional and the transversality hypothesis fails. For the conclusion gives [step 4.1], so the slice is isolated at in the local sense. The ambient endpoint forces , hence and the same zero-dimensional conclusion. For the inclusion is the identity, the slice is the hyperplane itself (the projection is an isomorphism by the universal property [F16] applied to ), the transversality condition is exactly , and step 2.2 gives . No characteristic hypothesis is used: the argument never divides by an integer, so all characteristics are covered. The variety may be reducible, and nothing is asserted in the nontransverse case where vanishes on . AC enters the statement through [F1] and is used only through the suppliers that assume it, namely [F5], [F6], [F8], [F20], [F23] and [F24], each cited at the step that uses it; the affine chart, its presentation, the polynomial and the point are single given objects, so no further selection is made and [F13], [F15], [F16] and [F18] are choice-free.
Source qualification
Milne, Algebraic Geometry v6.10, Exercise 4-2 (printed pp. 98-99; PDF pages 98-99) assumes irreducible and nonsingular on , and asks only that be nonsingular on each irreducible component of on which it lies, adding "you may assume" that each component has codimension one in ; the official solution (printed p. 222) argues from and the dimension inequality. The item above instead treats the scheme-theoretic intersection of an arbitrary closed subvariety with the hyperplane cut out by an affine-linear equation, allows a reducible , and proves the tangent identity by the fibre-product universal property and dual-number points. Regularity and the local dimension are taken from the locally standard smooth submersion criterion Submersion criterion for locally standard smooth morphisms, whose pointwise hypotheses suffice; the earlier scaffold planned to route them through The submersion criterion between smooth varieties, which assumes globally smooth varieties. The converse questions of the exercise -- an example with and singular on , and whether must be singular in that case -- are not asserted here; the affine-linear form, the characteristic and the ambient dimension are unrestricted.
A tangent direction is realized by a local smooth curve
Statement
Assume the Axiom of Choice. Let be an algebraically closed field, let , and let be a classical variety over , embedded as a closed subvariety and carrying its reduced finite-type -scheme structure. Suppose that is smooth at the classical closed point (Smooth morphisms via local standard smooth presentations) and put , assumed to satisfy . Then for every vector there is a reduced closed subvariety (The reduction of a scheme) with which is smooth at and satisfies , and the differential of the closed immersion maps isomorphically onto the line when ; in particular for every . When the construction produces a curve whose tangent space is a line through the origin, so that . The curve is closed, hence locally closed, in ; no characteristic, perfectness (beyond algebraic closedness), irreducibility or separatedness hypothesis on beyond the standing conventions is used. The dimension-zero case admits no such curve: if , then no reduced closed subvariety with and exists, so the hypothesis is necessary.
Facts & Assumptions
Given: AC; an algebraically closed field ; an integer ; a classical variety with closed point at which is smooth; ; and a tangent vector . Write for the coordinates of the point and for the polynomial ring. Throughout this proof, coordinate vectors and standard basis vectors are indexed by : the coordinate means the value in the function-on- convention, and is the unit vector at .
The Axiom of Choice: every family of nonempty sets has a choice function.
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic variety over an algebraically closed field is a separated classical prevariety; varieties may be reducible or empty, their affine models are polynomial zero sets whose points have residue field canonically , and these definitions use no Axiom of Choice.
The coordinate ring of a classical affine algebraic set: for an affine algebraic set the coordinate ring is ; it is reduced, and the finite coordinate classes generate it as a -algebra.
Global and local dimension of classical varieties: for a classical variety with irreducible components and a closed point one has ; the definition is made over an algebraically closed field and uses the Axiom of Choice.
Local dimension for a reducible classical algebraic set: under AC, for a reduced classical finite-type space over an algebraically closed field and a closed point one has .
Smooth morphisms via local standard smooth presentations: a morphism of finite-type -schemes is smooth when every source point has affine neighbourhoods on which the induced ring map is standard smooth at the prime for that point; the condition is local on source and target, and the definition assumes AC.
Standard smooth presentations and locally standard smooth maps: a standard smooth presentation of an -algebra is an isomorphism with an invertible Jacobian minor; the case is exactly a localisation of a polynomial ring, and standard smoothness at a prime holds after a principal shrinking.
Fibres of standard smooth algebras are regular of relative dimension: under AC, if is standard smooth over the commutative ring , then for every prime of and every field extension of its residue field, every local ring of the corresponding base-changed fibre is a regular local ring.
Regular points of locally Noetherian schemes: for a point of a locally Noetherian scheme, is regular exactly when is a regular local ring, and then .
The intrinsic cotangent space and The intrinsic Zariski tangent space: is the cotangent space and the intrinsic tangent space; at a -rational point these are -vector spaces.
The affine scheme of dual numbers and Tangent vectors at rational points are dual-number points: , and for a -scheme and the intrinsic tangent space is naturally isomorphic, as a -vector space, to the fibre over of ; equivalently .
Universal property of a polynomial ring on an arbitrary family of indeterminates: a -algebra map from to a commutative -algebra is uniquely determined by arbitrary images of its variables.
Differentials, open restriction, and the chain rule: the differential is the dual of the induced cotangent map, it agrees with post-composition by on based dual-number points, it satisfies the chain rule, and it is an isomorphism for isomorphisms of -schemes; no choice is used.
The reduction of a scheme: the reduction is the closed subscheme with structure sheaf , where the germs of are the nilpotent elements of the local rings; on it is , so the stalk at is .
Affine schemes are contravariantly equivalent to commutative rings: for commutative unital rings the assignment gives a natural bijection , a contravariant equivalence on affine schemes; hence a closed subscheme of is for its ideal and morphisms into it are the ring maps out of .
Fibre product of schemes and Existence of all scheme fibre products: a fibre product of is a scheme with projections , such that and, for every test scheme and morphisms , with , there is exactly one with and ; every such diagram of schemes has a fibre product.
A transverse hyperplane slice is smooth at the chosen point: under AC, for a classical variety over an algebraically closed smooth at a closed point with , and an affine-linear with nonzero linear part , , such that is nonzero on , the scheme-theoretic intersection is canonically the scheme-theoretic fibre of over , its structure morphism is smooth at , is a regular local ring of dimension , and .
Fields of characteristic zero, finite fields, and algebraically closed fields are perfect: every algebraically closed field is perfect.
Jacobian criterion and openness of the regular locus over a perfect field: under AC, for a perfect field , , an ideal , and with regular, there is such that is a standard smooth -algebra; in particular such an is locally standard smooth over at every prime at which it is regular.
The standard list with and for is an ordered basis of ; hence , and is the zero space with basis and dimension : the standard unit vectors form an ordered basis of with ; a vector has coordinates and , so each coordinate projection is a linear functional and has dimension .
Linear subspace of a vector space and Finite-dimensional vector space, and its dimension ; infinite-dimensional means having no finite basis: a linear subspace is a subset closed under the vector-space operations, and is the cardinality of a basis of when is finite-dimensional.
Rank-nullity: : for a linear map with finite-dimensional, ; the theorem is choice-free.
Existence and basic properties of irreducible components: under AC, every irreducible subset of a topological space is contained in an irreducible component, and every irreducible component is closed.
The polynomial ring over a commutative ring as finitely supported coefficient sequences with convolution and Universal property of a polynomial ring on an arbitrary family of indeterminates: is the polynomial ring in the variables over , and for every commutative -algebra and every family in there is a unique -algebra map with ; in particular evaluation at is the -algebra map , and expressions such as are elements of .
regular local rings are domains and cohen macaulay: under AC, every regular local ring is a domain, hence reduced.
Proof
Setup and dimensions. By [F2] and [F3] the closed subvariety is the affine model with its reduced finite-type structure, is reduced and generated by the finitely many classes , and the closed points of have residue field ; thus is a -rational point with coordinates . Smoothness at means that the structure morphism is locally standard smooth at [F6], so some principal shrinking around has a standard smooth presentation [F7]; applying [F8] with , and shows that is a regular local ring, so is a regular point and [F9], while by [F5] with [F4]. A based dual-number point of at is, by the affine anti-equivalence [F15] and the polynomial universal property [F12], a map whose reduction modulo sends to . Its variable images are therefore uniquely for a vector , and conversely every such vector determines a based point. Under the -linear dual-number bijection [F11], the tangent space is thus in these coordinates, and the composite with sends a tangent vector of to the unique whose map factors through ; write Since the correspondence is -linear and bijective, is a linear subspace [F21] with , so because ; let denote the image of the given tangent vector , and note that all tangent-space identifications below are made with these coordinates, so that as subspaces of .
Reduction does not change the tangent subspace. Let be a closed subscheme of finite type over with , say for its ideal [F15], and suppose that the local ring is reduced. Then the closed immersion has [F14], so it induces an isomorphism of local rings at , hence an isomorphism of cotangent spaces [F10] and, dualizing, an isomorphism [F13]; since the composite is the closed immersion , the chain rule of [F13] shows that the identification of with a subspace of [F11, F12] agrees with the composite of the identifications for and , and since the first of these is an isomorphism the two subspaces of coincide: . This equality is the form in which the invariance under reduction is used below, and it also shows that a reduced closed subscheme with regular local ring at is smooth at : if is regular, then is a regular point of , and is locally standard smooth at by [F19] because is perfect [F18]; by [F6] that is smoothness of at .
The linear forms. Assume first that ; since , there is a least index with in the relabelled coordinates. For every index define a -linear functional on [F20, F21] satisfying ; consequently for every , and conversely if satisfies for all , then for all and therefore , so For each put [F24]; then and is affine-linear with linear part , because for every , and because and for .
The active indices. Recursively for , put and the first case being called active at ; let be the finite set of active indices, listed in increasing order as . At an active index the restriction is a nonzero linear map to , so its image has dimension [F20] and rank-nullity [F22] gives , while at an inactive index ; hence for every , and . Moreover : on the one hand every contains because and for all [step 1.3], so ; on the other hand if and , then either is active, in which case , or is inactive, in which case vanishes on ; so by step 1.3, giving . Therefore and .
The induction on the active slices. Put , and for define , where is the hyperplane cut out by the affine-linear polynomial of step 1.3 for the index , and put [F14, F15, F16]. Each is a closed subscheme of (base change of the closed immersion ) and each is a reduced closed subvariety of containing , because and each vanishes at [step 1.3] so the -point lifts to and to . The induction claim is: as subspaces of , , is a regular local ring of dimension , , and is smooth at . For this is step 1.1 together with the given smoothness. Assume the claim for with ; then , so the slice lemma [F17] applies to the variety , smooth at by the induction claim, with the affine-linear form of linear part : the index is active, which means is nonzero on , and (for , because all indices below are inactive), so the transversality hypothesis holds. The slice lemma gives that is smooth at over with a regular local ring of dimension and Since is regular, it is reduced by [F25], so step 1.2 applied to gives and , a regular local ring of dimension ; moreover is reduced, so [F5] with [F4] gives , and is smooth at by the second part of step 1.2. This proves the claim for and completes the induction.
The case . If , then by step 1.1, so choose any nonzero and apply the construction of steps 1.3, 2.1 and 3.1 to in place of ; it yields a curve with mapped isomorphically onto the line , and .
Conclusion for nonzero . Let and put with the notation of step 3.1; then is a reduced closed subvariety with , smooth at , and step 3.1 at gives (if , the last active slice has ; if , no slice occurs and ) [step 2.1] and . Under the closed immersion the differential is injective and the diagram with the two ambient identifications commutes [F13, step 1.1, step 1.2], so carries isomorphically onto the subspace of whose ambient image is , namely onto itself; in particular .
Boundaries. If then [step 2.1] and works: is reduced with , smooth at by hypothesis with , and is one-dimensional, so for the nonzero [step 1.1]. If no such curve exists: a reduced closed subvariety with and has, by [F5] with [F4], an irreducible component of containing of dimension , which is an irreducible closed subset of passing through and hence is contained in an irreducible component of containing [F23], so that by [F4], a contradiction; this is why the hypothesis is stated. The construction divides only by [step 1.3], so no characteristic hypothesis is needed and the affine-linear forms are available in every characteristic; the ambient dimension may equal , in which case and the case above applies; may be reducible, and the curve produced is closed in , hence locally closed. The Axiom of Choice enters the statement through [F1] and is used only through the suppliers that assume it, namely [F4], [F5], [F6], [F8], [F17], [F18 as used through F19] and [F23], [F25], each cited at the step that uses it; the explicit linear forms , the finite recursion defining the active set, the polynomials , the enumerations and all tangent identifications involve no selection, and [F20], [F22] and the reductions of [F14] are choice-free.
Source qualification
Milne, Algebraic Geometry v6.10, Exercise 4-3 (printed p. 98) asks: "Given a smooth point on a variety and a tangent vector at the point, show that there is a smooth curve passing through the point with the given vector as its tangent vector (see mo111467)." The solution printed at p. 222 argues by choosing suitable hypersurfaces through the point with linearly independent differentials and citing the predecessor Exercise 4-2; the item above makes that argument scheme-precise: it constructs the hyperplanes from explicit coordinate forms , replaces the intermediate intersections by their reductions so that each step can invoke A transverse hyperplane slice is smooth at the chosen point verbatim, and obtains the curve as a reduced closed subvariety (the exercise asks only for a locally closed curve). Milne works over an algebraically closed field with classical varieties and radical vanishing ideals; the item allows reducible and records the dimension-zero obstruction. No smoothness of the curve away from is claimed, and no characteristic hypothesis is used.
A dominant map has a surjective differential on a dense source open
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field of characteristic , let and be irreducible classical varieties over , and let be a dominant morphism (Dominant classical morphisms and rational maps). Regard and as integral finite-type -schemes under Irreducible classical varieties and integral separated finite-type schemes, and let , be their regular loci (Regular and singular loci). Then there exist nonempty open subsets and with such that for every closed point , with , the differential of Differentials, open restriction, and the chain rule is surjective. In the construction is taken to be , and is of the form for a nonempty affine chart lying inside an affine chart and a nonzero element ; thus is a nonempty open subset of , dense in . No smoothness of or of is assumed on the complements of the two regular loci.
Facts & Assumptions
Given: An algebraically closed field of characteristic , irreducible classical varieties over , a dominant morphism , and the Axiom of Choice.
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function.
Irreducible classical varieties and integral separated finite-type schemes: over the algebraically closed field , under AC the closed-point construction and its inverse give an equivalence between irreducible classical -varieties and integral finite-type -schemes satisfying the affine-overlap separation condition, each original point being identified with its singleton, so classical points correspond to closed points.
Dominant classical morphisms and rational maps: a morphism from a nonempty open subset of an affine variety to an affine variety is dominant when the closure of is ; for morphisms of varieties this is density of the image.
Classical varieties have finite irreducible decompositions: every classical variety is Noetherian and has finitely many irreducible components; every open or closed subvariety has a finite affine cover.
The coordinate ring of a classical affine algebraic set: for an affine algebraic set the coordinate ring is , it is reduced, and the finitely many coordinate classes generate it as a -algebra.
A classical affine variety has a domain coordinate ring, and conversely: under AC an affine algebraic set is a classical affine variety if and only if is a nonzero integral domain.
Classical affine morphisms are contravariantly equivalent to coordinate-ring homomorphisms: under AC, pullback gives a natural bijection for affine algebraic sets, reversing composition and preserving identities.
Irreducibility via nonempty open subsets, connectedness and open subspaces: a space is irreducible if and only if it is nonempty and every two nonempty open subsets meet, if and only if it is nonempty and every nonempty open subset is dense; a nonempty open subspace of an irreducible space is irreducible.
Function fields and dominant pullbacks on general varieties: under AC, for irreducible classical the fraction fields of all nonempty affine charts identify canonically with , and a dominant morphism between irreducible classical varieties induces an injection .
Finitely generated field extensions : is finitely generated when for a finite list.
Dimension equals transcendence degree: under AC, if is an irreducible classical variety then .
Transcendence degree is additive in finite towers: for a tower with finite transcendence degrees, .
Fields of characteristic zero, finite fields, and algebraically closed fields are perfect: every field of characteristic zero is perfect.
Finitely generated extensions of a perfect field are separably generated: a finitely generated field extension of a perfect field has a separating transcendence basis.
Differentials of a separably generated field extension: if is a finitely generated field extension separably generated over by , then are an -basis of .
Localization, base change and functoriality of differentials: for a ring map : base change gives ; localization gives ; and a ring map carries a canonical -linear functoriality map , .
Localisation of modules is extension of scalars: for a multiplicative subset the map , , is an isomorphism.
Localisation of a module at a multiplicative subset: elements of are fractions , and exactly when for some .
The field of fractions of an integral domain: for an integral domain , its field of fractions is , with elements , .
Differentials of a polynomial quotient and the Jacobian cokernel: for and , the module is free with basis , and the sequence is exact.
Universal property of a polynomial ring on an arbitrary family of indeterminates: a ring map and elements extend uniquely to a ring map with .
Tensoring is right exact: tensoring a right-exact sequence by any module preserves right exactness.
Every spanning subset of a vector space contains a basis: under AC, every subset of a vector space that spans it contains a basis.
Finite-dimensional vector space, and its dimension ; infinite-dimensional means having no finite basis: for a finite-dimensional vector space over a field, is the number of elements of a basis.
Change of rings: : for , a right -module and a left -module , there is a natural isomorphism .
Cotangent space at a rational point: at a -rational point of a -scheme, the map , , is an isomorphism.
Differentials, open restriction, and the chain rule: at -rational points the local map induces , whose dual is .
Transitivity sequence for differentials: for ring maps the sequence is exact.
The map of affine spectra induced by a ring homomorphism: a ring map gives the contraction map , , whose sheaf map on is the localization map .
The stalk maps induced by a ring map are local: the induced stalk homomorphism at is local.
The stalk of the affine structure sheaf at a prime is A_p: for there is a canonical isomorphism .
Affine charts recover the algebraic module of differentials: for one has and , compatibly with the universal derivations and localization.
Assuming choice, and ; in finite dimensions : under AC, for a linear map of finite-dimensional spaces, .
Rank-nullity: : for a linear map with finite-dimensional, .
Regular and singular loci: the regular locus is the set of points with regular local ring; under AC, for a reduced classical finite-type space over an algebraically closed field and a closed point , if and only if .
Dense regular loci on every component: under AC, for a perfect field and a reduced finite-type -scheme , the regular locus is open, meets every irreducible component in a dense open subset of it, and is nonempty when .
Global and local dimension of classical varieties: for a classical variety with irreducible components and a closed point , , and is the chain dimension.
The spectrum of a principal localisation is the distinguished open D(f): the localization map induces a homeomorphism from onto the distinguished open subset .
The intrinsic Zariski tangent space: for a locally finite-type -scheme the intrinsic tangent space at any point is finite-dimensional over the residue field, and at a -rational point the intrinsic and relative tangent spaces agree.
Proof
The variety is nonempty and irreducible, so it has a nonempty affine chart [F4], and by dominance [F3] the open subset is nonempty; it therefore contains a nonempty affine chart [F4]. The rings and are finitely generated -algebras given by finitely many coordinate classes [F5], and because and are nonempty open subsets of irreducible spaces they are themselves irreducible [F8], so and are nonzero integral domains [F6]. The restriction is a morphism of affine varieties, so its pullback is a -algebra homomorphism [F7]. The fraction fields of the charts identify canonically with and , and dominance makes injective [F9]; carrying the affine pullback through these identifications exhibits the map induced by as , so is injective. Write and .
Write the coordinate generators of as , so that and is finitely generated over [F5, F10]; in the same way for the coordinate generators of [F5, F10]. Since is injective, , so is finitely generated [F10]. By [F11], and are finite, so the tower has, by [F12], Moreover, since and the generate as a -algebra, they generate as an -algebra: the -subalgebra they generate is a -subalgebra containing every , hence equals [F5].
The field contains and so has characteristic , hence is perfect [F13]. By [F14] the finitely generated extension has a separating transcendence basis ; a separating transcendence basis is in particular a transcendence basis, so its length is as computed in step 2.1. By [F15] the differentials form an -basis of . In particular ; for the empty list is the basis and .
By step 2.1 the elements generate as an -algebra, so by the universal property [F21] there is a surjective -algebra map with , whose kernel we call . By [F20], is free with basis , and the sequence is exact. Therefore is a quotient of the free -module with basis , and in particular it is generated as an -module by the elements , where is the image of .
Apply the localization clause of [F16] to the injective ring map with and : the image of in is contained in because is injective, and , are the fraction fields [F19]. This gives an isomorphism , and [F17] identifies with . Hence and, by step 3.1, the -vector space has dimension .
For each , the element of from step 4.1 has the form with and [F18]. If is the localization map, then , which is nonzero because in the field and is part of an -basis (step 3.1). The two -spans agree, since each lies in the span of the and each lies in the span of the .
Each generator of step 3.2 satisfies by step 5.1, say with . Since [F19], the finitely many coefficients have a common denominator: with and . Then , so by the kernel criterion for localizations [F18] there is with in . Put . In the localization the element is invertible, and the relations rewrite as with coefficients in . Hence is generated over by . (For , step 5.1 gives , so for suitable and with , generated by the empty family.)
Let satisfy . Applying [F25] with the localization , and , and identifying with via [F17], shows The right-hand side is generated as a -vector space by the images of , because is generated over by these elements (step 6.1) and is right exact [F22]. A vector space spanned by elements contains a basis inside that spanning set [F23] and therefore has dimension at most [F24]. Thus
Let and be the regular loci of the schemes and [F35]. The field is perfect [F13], and , are reduced finite-type -schemes via [F2]; hence by [F36] the two regular loci are open, and each meets every irreducible component of its scheme in a dense open subset. Since and are irreducible, and are nonempty dense open subsets of and . The preimage is nonempty, because the dense image meets the nonempty open set [F3, F8], and it is open. The principal open is an open subset of the chart [F38] and it is nonempty because (step 6.1), so is a nonempty open subset of . Define The three sets displayed are nonempty open subsets of the irreducible space [F8], so is a nonempty open subset of with and .
Fix a closed point and put ; both are -rational points of the respective schemes [F2]. Let and be the corresponding maximal ideals. The local rings are and [F31], and the induced map of local rings is the localization of at these primes, which sends to [F29] and is local [F30]; hence the cotangent map of [F27] sends the class of to the class of . The cotangent isomorphism [F26] at the -rational points, applied on the charts and and combined with [F32], gives identifications both sending . Let be the functoriality map of F16, ; it is the first map of the exact sequence of [F28]. Base changing this sequence along and using the identification of [F25], together with the fact that is evaluation at , yields the exact sequence [F22]. For one computes , so under the identifications , the map is precisely the cotangent map ; in particular .
By [F27], is the transpose of , so by [F33] its rank equals ; all tangent and cotangent spaces here are finite-dimensional [F39, F26]. Hence . Since is exact (step 8.1), the rank-nullity theorem [F34] applied to gives the last equality because identifies with [F26] and is the dual of the finite-dimensional space [F39].
Since , the classical dimension test [F35] gives , and since is irreducible its only irreducible component is itself, so by [F37]. Likewise gives by [F35, F37]. The point lies in , so and step 7.1 bounds . Therefore step 9.1 and (step 2.1) give A linear map has rank at most the dimension of its target, so and is surjective. This holds at every closed point of the nonempty open set , and , which is the assertion.
Boundary and scope dispositions. Empty: and are nonempty because irreducible means nonempty [F8], so the charts and the open of step 7.2 are nonempty, and no empty-case convention is needed; the sets , are nonempty by [F36], and if is a point then , and the separating basis in step 3.1 is empty exactly when . Zero: the case is covered by the empty-list convention of steps 3.1 and 6.1: then , , so step 7.1 gives , and step 10.1 concludes with no modification; likewise forces to be a single point in the present irreducible setting, , and surjectivity is the equality already obtained. One: nothing in the argument divides by a natural number or assumes a generator count ; the lists , , and may have length one or zero, and the length-one case has ; generically finite maps instead have , and both cases are covered by the same argument. Degenerate: the proof does not require to be surjective or the charts to be smooth, and it does not require to be finite or flat; the degenerate dominant case (so , , and the nonempty open are obtained as in steps 6.1 and 7.2) is covered by steps 6.1-10.1, and characteristic is essential, the Frobenius example , showing failure in characteristic and lying outside the hypothesis of characteristic . Endpoints: the two inequalities used in step 10.1 are the endpoint bounds of step 7.1 and ; at the first is tight and at the second is tight, in both cases producing the stated equality rather than a strict inequality. Nonempty-choice: AC is declared in [F1] and is used in this proof only through the AC-assuming suppliers [F36] (regular loci), [F33] (transpose rank), [F23] (bases inside spanning sets), [F2] (the classical-scheme dictionary), [F7] (affine antiequivalence), [F6] (domain criterion), [F9] (function fields of charts) and [F11] (dimension equals transcendence degree), each cited at the step that uses it; the field-theoretic steps 3.1, 3.2-6.1 and the linear algebra of steps 8.1-10.1 make no further choice. Biconditional directions: no biconditional is asserted by this lemma; the only implications are the chain of equalities and the single inequality of step 10.1, whose forward reading gives surjectivity, and no converse is claimed.
Source qualification
The classical statement proved here is the source-open form of generic smoothness in characteristic . Vakil proves at §3.1, Proposition 3.1, for a dominant morphism of integral finite-type -schemes that there is a nonempty open set on which the morphism is smooth; his proof defines the relative dimension , notes that the relative differential module has rank at the generic point and rank at least everywhere, and uses upper semicontinuity of fibre rank and constant rank to conclude local freeness and flatness on a dense open set. The present item records only the source-side differentiability conclusion and is proved without local freeness, flatness or the smoothness of the structure morphisms: the spreading-out step 6.1 produces a nonempty principal open on which the fibre of the relative differential module is generated by the lifted elements, and the final comparison step 10.1 uses the tangent-space criterion through Differentials, open restriction, and the chain rule. The smoothness conclusion that Vakil draws from that criterion is taken up by the consumer Generic smoothness on the source through The submersion criterion between smooth varieties, not asserted here. The characteristic- hypothesis enters only through perfectness of and the separating transcendence basis of [F14]; positive characteristic is genuinely different, as recorded on the counterexample page. The source works with schemes; the translation to irreducible classical varieties is the equivalence of [F2], and the affine charts, their coordinate rings and the canonical function fields are those of [F5] and [F9].
Generic smoothness on the source
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field of characteristic , let and be irreducible classical varieties over , and let be a dominant morphism. Regard and as integral finite-type -schemes under Irreducible classical varieties and integral separated finite-type schemes, let be their regular loci (Regular and singular loci), and let be the nonempty open subset of produced by A dominant map has a surjective differential on a dense source open, so that and is surjective at every closed point .
Then there are a nonempty affine open subvariety of — explicitly a nonempty principal open of an affine chart of — and a nonempty affine open subvariety — a nonempty principal open of an affine chart of — such that:
- , and and are smooth, so that and are smooth affine classical varieties over ;
- the restriction is a morphism of finite type and is smooth in the sense of Smooth morphisms via local standard smooth presentations: it is locally standard smooth at every point of ; consequently the restriction (equivalently ) is smooth as well.
In particular is smooth at every point of the nonempty open subset of its source. Neither nor is assumed smooth outside its regular locus, and the target-side statement — a dense open subset of over which the source is smooth — is not asserted here: it requires a smooth source and fails without that hypothesis.
Facts & Assumptions
Given: The Axiom of Choice; an algebraically closed field of characteristic ; irreducible classical varieties and over ; a dominant morphism ; and the open subset supplied by [F3].
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function.
Irreducible classical varieties and integral separated finite-type schemes: under AC the closed-point construction and its inverse give an equivalence between irreducible classical -varieties and integral finite-type -schemes satisfying the affine-overlap separation condition, each original point being identified with its singleton; classical points correspond to closed points, and classical regular maps to scheme -morphisms.
A dominant map has a surjective differential on a dense source open: under AC, for algebraically closed of characteristic and dominant between irreducible classical varieties, the set for a nonempty affine chart over an affine chart and is a nonempty open subset of with , , and surjective at every closed point .
Regular and singular loci: for a locally Noetherian scheme , .
Affine open subschemes: for a scheme and open , the open subscheme is , with the restricted structure sheaf.
The stalk of a presheaf at a point: the stalk at is the filtered colimit of the sections over open neighbourhoods of ; the neighbourhoods of contained in an open are cofinal, so for the restricted sheaf canonically.
Regular points of locally Noetherian schemes: a point of a locally Noetherian scheme is regular exactly when is a regular local ring; this is absolute regularity of the local ring.
Fields of characteristic zero, finite fields, and algebraically closed fields are perfect: every field of characteristic zero is perfect, and every algebraically closed field is perfect.
Regular equals smooth over a perfect field: under AC, for a perfect field and a finite-type -scheme , is regular (every local ring is regular) if and only if is smooth in the local-standard-smooth sense.
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic prevariety over an algebraically closed is a quasi-compact locally ringed space with a sheaf of -algebras covered by open subspaces isomorphic to affine models (polynomial zero sets, including empty and reducible ones), whose points have residue field canonically ; a classical algebraic variety is a separated prevariety; polynomial principal opens form a basis of the topology; zero loci of regular functions are closed. These definitions use no Axiom of Choice.
Classical varieties have finite irreducible decompositions: every classical variety is Noetherian and has finitely many irreducible components; every open or closed subvariety has a finite affine cover.
Irreducibility via nonempty open subsets, connectedness and open subspaces: a nonempty open subspace of an irreducible space is irreducible; an irreducible space is nonempty.
Every nonempty principal open is a classical affine variety: under AC, for an affine variety and , the principal open , with its regular functions, is isomorphic to the closed graph ; its coordinate ring is canonically , a nonzero domain, and is affine.
The coordinate ring of a classical affine algebraic set: for an affine algebraic set , is reduced and generated as a -algebra by the finitely many coordinate classes.
Classical affine algebraic sets correspond to radical ideals, and irreducible sets to prime ideals: under AC, and are inverse inclusion-reversing bijections between radical ideals and algebraic sets; nonempty irreducible algebraic sets correspond precisely to proper prime ideals, and points to maximal ideals.
The closed points of the prime spectrum are exactly the maximal ideals: under AC, for a commutative ring and , the singleton is closed if and only if is a maximal ideal.
In a finite-type algebra over a field, closed points are dense in every closed subset of the spectrum: under AC, for a finite-type -algebra and a closed subset , every nonempty open subset of contains a closed point of .
The submersion criterion between smooth varieties: under AC, for smooth classical varieties over algebraically closed whose structure morphisms are smooth, and a finite-type morphism , at a classical closed point with the morphism is smooth at if and only if is surjective.
Differentials, open restriction, and the chain rule: at -rational points the differential is the dual of the induced cotangent map and is functorial under composition; every -open immersion induces an isomorphism on tangent spaces at each rational point.
Smooth morphisms via local standard smooth presentations: a finite-type -scheme morphism is smooth if at every source point there are affine neighbourhoods for which the induced ring map has a standard smooth presentation after principal shrinking; the condition is local on the source and on the target.
Standard smooth presentations and locally standard smooth maps: a standard smooth presentation of an -algebra is an isomorphism whose Jacobian matrix has a minor that is a unit in ; standard smoothness at a prime holds after localizing at an element outside that prime, and a further principal localization may be absorbed into the presentation.
The intrinsic Zariski tangent space: is the dual of ; for a locally finite-type -scheme it is finite-dimensional over .
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: is the smallest -subalgebra containing the , and an -algebra is of finite type exactly when it is generated by finitely many elements.
Locally finite type and finite type morphisms: a morphism is locally of finite type when locally on affine charts the ring maps are of finite type, and of finite type when it is locally of finite type and quasi-compact.
Proof
The field is perfect by [F8]. By [F2] the varieties and are integral finite-type -schemes with a -morphism; the regular loci are defined by [F4], and by [F3] the set is a nonempty open subset of contained in with , and is surjective at every closed point . We keep these notations throughout.
Affine pieces. By [F11] the variety has a finite affine cover; choose a chart with and a point . Since principal opens form a basis of the topology [F10], there is with . Similarly ; choose an affine chart of with [F11] and with [F10]. The set is a nonempty open subset of the affine variety containing , so by [F10] there is with . Put and , so that is a nonempty open subvariety of with , and . By [F13] the principal opens and are affine varieties with coordinate rings and . Since and are nonempty open subsets of the irreducible varieties and , all four are irreducible [F12].
Points of and finite generation. By [F14] the coordinate ring is reduced and generated over by finitely many coordinate classes; hence so is its localization , generated by those classes together with the inverse of [F23]. So is a finite-type -scheme, and likewise . By [F13] and [F15] the points of the affine variety are the maximal ideals of , and by [F16] these are exactly the closed points of the scheme ; under the equivalence [F2] they are the classical points of , hence closed points of the scheme lying in . In particular every point of the classical variety is a closed point of and satisfies the conclusion of [F3], and its image lies in .
The varieties and are smooth over . Let . Since , the open subscheme description [F5] and the cofinality of the neighbourhoods inside [F6] give , which is regular because [F4, F7]. Hence the finite-type -scheme is regular, and is smooth by [F9]. The same argument with gives regular for , and smooth by [F9]. Each of and is a classical algebraic variety in the sense of [F10]: as an affine model it is a quasi-compact locally ringed space covered by itself, and it is separated because for regular maps from any classical prevariety the coordinate components are regular functions on (pullback of the coordinate functions of the affine model), so the equalizer is the finite intersection of the closed zero loci [F10]. In particular and are smooth classical varieties over in the sense of [F10] and [F20].
The restriction is finite type. Write . Let and be the open immersions, so that . Write and , affine coordinate rings as in step 2.1, and let be the -algebra map induced by . Choose finitely many -algebra generators of [F23]. Since and is a -subalgebra of containing and all , it contains the -subalgebra generated by the , which is ; hence is generated by finitely many elements over [F23]. Thus is of finite type, the morphism is locally of finite type on the affine charts, and it is quasi-compact because its source is affine; by [F24] the restriction is of finite type.
Differential comparison. Let be a point of the classical variety and put . By step 2.1, is a closed point of lying in , so is surjective [F3]; in particular the case is allowed and the conclusion is unaffected. The identity of step 3.2, the functoriality of the differential, and the fact that the -open immersions induce isomorphisms on tangent spaces [F19] give , where is an isomorphism; the tangent spaces are finite-dimensional over [F22]. Therefore , and is surjective at every point of the classical variety .
The criterion at every point of . Let be a point of the classical variety ; by step 2.1 it is a classical closed point of the affine variety . The structure morphisms and are smooth [3.1], so and are smooth classical varieties over in the sense of [F18]; the morphism is of finite type [3.2] and its differential at is surjective [4.1]. By the submersion criterion [F18], the restriction is smooth at . As was an arbitrary point of the classical variety , the restriction is smooth at every point of in the classical sense.
Upgrade to scheme points. Let be the set of points at which is locally standard smooth, so that contains every point of the classical variety by step 5.1. If , then by [F20] there are affine neighbourhoods of and of and a principal shrinking on which the induced ring map has a standard smooth presentation [F21]; the Jacobian minor of that presentation is a unit on the whole shrinking, hence remains a unit in every further localization, so the same presentation witnesses standard smoothness at every point of that shrinking. Therefore is open in . Suppose were nonempty. It is a nonempty closed subset of the affine finite-type -scheme of step 2.1 and is a nonempty open subset of itself; by [F17] it contains a closed point of . By [F16] the point is a maximal ideal of , and by [F15] applied to the affine variety with coordinate ring [F13] it is a point of the classical variety ; this contradicts step 5.1. Hence , and is smooth in the sense of [F20].
Conclusion. The restriction is smooth [6.1], and is an open subscheme of with . Since smoothness is local on the target [F20], the same standard smooth presentations witness smoothness of the restriction at every point of ; the same applies to because . Thus is smooth at every point of the nonempty open subset of its source, with a principal open of an affine chart of . Neither nor is assumed smooth outside , , and no target-side generic smoothness is claimed here.
Boundary and scope dispositions. Empty: and are nonempty because irreducible means nonempty [F12], so the charts and the sets , , of steps 1.2 and 2.1 are nonempty; there is no empty-case convention to invoke, and the empty scheme is excluded by the hypothesis. Zero: relative dimension is allowed — if the differential is an isomorphism at the points of and the conclusion is unaffected; if is a point then , the chart is the whole point, , and step 3.1 shows directly that is smooth, so the criterion's conclusion in step 5.1 is consistent. One: nothing in the argument divides by a natural number or requires a generator count or relative dimension at least one; the lists of step 3.2 may have any finite length, and the case is the first instance in which surjectivity of is a genuine condition. Degenerate: neither nor is assumed smooth, and is neither assumed finite nor flat; the set must be allowed to be a proper subset of , as the example on shows, where the differential vanishes at the origin and lies in ; a differential of rank zero is compatible with exactly when the target tangent space is zero; in particular the structure map to has this property, and the case where is not affine is handled by passing to the principal open of a chart. Endpoints: the argument uses no closed-range or dimension endpoint claim; at one extreme may already be smooth on all of , in which case the construction still returns some nonempty principal open , and every such is dense in because is irreducible and is nonempty and open [F12]. Nonempty-choice: AC is declared in [F1] and is used exactly through the AC-assuming suppliers [F3] (generic differential surjectivity), [F18] (submersion criterion), [F9] (regularity versus smoothness), [F2] (classical-scheme dictionary), [F13] and [F15] (principal opens and the Nullstellensatz correspondence), [F17] (density of closed points), and [F12]/[F10] as used in steps 1.2 and 2.1; the finite choices of charts and principal open generators in step 1.2 and the localization argument of step 2.1 add no further choice principle. Biconditional directions: the corollary asserts only existence of and smoothness, with no converse; the only biconditional used as a supplier is the submersion criterion [F18], and step 5.1 applies its forward direction (surjective differential implies smooth at the point), never its reverse.
Source qualification
Vakil, Classes 51–52, §3.1, Proposition 3.1 proves generic smoothness on the source: for a dominant morphism of integral finite-type -schemes over a field of characteristic there is a nonempty dense open with smooth. The source works throughout with schemes and takes the smoothness conclusion directly from the same local analysis of the relative differential module; the present corollary instead records the conclusion that follows from the authored differential-surjectivity lemma on this page's pair by restriction to an affine principal open and the submersion criterion, and therefore also covers the classical-variety formulation with the standard-smooth convention of Smooth morphisms via local standard smooth presentations. The source asserts only that the smooth locus is a nonempty open subset of the source; it claims nothing about the size of , about smoothness of or , or about a target-side open set, and neither does this item. The characteristic- hypothesis enters through perfectness of and through the separating-transcendence-basis input of the differential lemma; the positive-characteristic failure of the source-side statement is recorded on the counterexample page of the pair. The dictionary between classical varieties and integral finite-type schemes used for the translation is Irreducible classical varieties and integral separated finite-type schemes, and the affine chart, coordinate-ring and principal-open interfaces are those of The coordinate ring of a classical affine algebraic set and Every nonempty principal open is a classical affine variety.
Critical loci have small images in characteristic zero
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field of characteristic , let and be smooth classical varieties over , so that their structure morphisms and are smooth in the sense of Smooth morphisms via local standard smooth presentations, and let be a morphism of classical varieties. For a classical point of the residue field is , and the differential of Differentials, open restriction, and the chain rule is a -linear map. For define the set of classical points of at which that differential has rank at most . Then:
- is closed in ; explicitly, is the set of classical points of a closed subvariety of the smooth classical variety ;
- , where the closure is taken in the classical variety and is the dimension of Global and local dimension of classical varieties.
Neither irreducibility, connectedness, equidimensionality nor nonemptiness of or of is assumed, and the empty case is permitted. The characteristic- hypothesis is used only for claim 2: claim 1 holds over any algebraically closed field.
Facts & Assumptions
Given: The Axiom of Choice; an algebraically closed field of characteristic ; smooth classical varieties and over ; a morphism ; an integer .
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function.
Smooth morphisms via local standard smooth presentations: a morphism of finite-type -schemes is smooth when every source point has affine neighbourhoods on which the induced ring map has a standard smooth presentation at the prime of that point; the condition is local on the source and on the target, and the definition assumes AC.
Standard smooth presentations and locally standard smooth maps: a standard smooth presentation of an -algebra is an isomorphism with an invertible Jacobian minor; the invertible minor may be assumed to occupy the first columns, a further principal localisation may be absorbed into the presentation, and the relative dimension is .
Irreducible classical varieties and integral separated finite-type schemes: under AC the closed-point construction and its inverse give an equivalence between irreducible classical -varieties and integral finite-type -schemes, each original point being identified with its singleton, so classical points correspond to closed points.
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic prevariety over is covered by affine models whose points have residue field canonically ; a classical algebraic variety is a separated prevariety; polynomial principal opens form a basis of the topology; these definitions use no Axiom of Choice.
Classical varieties have finite irreducible decompositions: every classical variety is Noetherian and has finitely many irreducible components; every open or closed subvariety has a finite affine cover.
Every nonempty principal open is a classical affine variety: under AC, for an affine variety and , the principal open is an affine variety with coordinate ring canonically .
Classical affine morphisms are contravariantly equivalent to coordinate-ring homomorphisms and Affine schemes are contravariantly equivalent to commutative rings: pullback gives a natural bijection between morphisms of affine algebraic sets and -algebra maps of their coordinate rings, and a ring map corresponds contravariantly to a morphism ; an affine classical variety is thus described by its coordinate ring and its spectrum.
The coordinate ring of a classical affine algebraic set: for an affine algebraic set the coordinate ring is ; it is reduced and generated as a -algebra by the finitely many coordinate classes.
Differentials, open restriction, and the chain rule: at -rational points the differential is the dual of the induced cotangent map, it is functorial under composition, and every -open immersion induces an isomorphism on tangent spaces at each rational point.
The intrinsic Zariski tangent space: is the dual of ; for a -scheme locally of finite type it is finite-dimensional, and at a -rational point the intrinsic and relative tangent spaces agree.
Cotangent space at a rational point: at a -rational point of a -scheme, the map , , is an isomorphism of -vector spaces, natural in the pair .
Jacobian presentation of Ω: for and with , the module is the cokernel of the -linear map whose -th column is the vector of partial derivatives ; in particular is generated by .
Relative differential-rank condition: if is a standard smooth -algebra with presentation whose leading Jacobian minor maps to a unit of , then is free of rank , and in the computation the localising isomorphism , , restricted to the complementary coordinates is the identity; accordingly the images of the differentials of the free coordinates form a -basis of .
Localization, base change and functoriality of differentials: an -algebra homomorphism induces a canonical -linear functoriality map , .
Change of rings: : for a ring homomorphism , a right -module and a left -module there is a natural isomorphism .
Assuming choice, and ; in finite dimensions : for a linear map of finite-dimensional vector spaces, .
[algebra] Field linear algebra. For a matrix over a field, its rank is at most if and only if every minor vanishes; for composable linear maps , and if is injective then ; the dual of a surjective linear map is injective; and the rank of a linear map equals the rank of any matrix of it whose selected source vectors generate the source and whose selected target vectors form a basis.
[algebra] Quotients of local rings. If is a local ring and an ideal, then is local with maximal ideal and ; hence the natural map is surjective.
The local ring at a point of an affine variety is the localization at its maximal ideal: under AC, for a classical affine variety over an algebraically closed field and , there is a canonical isomorphism of local rings .
Localisation commutes with kernels images and cokernels: for an -module homomorphism , localisation identifies .
Classical affine algebraic sets correspond to radical ideals, and irreducible sets to prime ideals: under AC, for the radical ideals of correspond bijectively to the closed subsets of ; points correspond to maximal ideals, and a closed subvariety has coordinate ring .
Global and local dimension of classical varieties: for a classical variety with irreducible components and a closed point one has , while is its chain dimension.
Chain dimension and the empty-space convention: for a Noetherian topological space, is the supremum of the lengths of strict chains of nonempty irreducible closed subsets of , and .
Dimension of a finite closed union: if a Noetherian space is a finite union of closed subsets , then , with both sides for .
Interior, closure, boundary, exterior, derived set and isolated point in a topological space: the closure is the smallest closed superset of , and is closed if and only if .
Regular and singular loci: for a reduced classical finite-type space over an algebraically closed field and a closed point , one has if and only if ; this classical component-dimension test assumes AC.
A dominant map has a surjective differential on a dense source open: under AC, for algebraically closed of characteristic and a dominant morphism of irreducible classical varieties, the set is a nonempty open subset of with and surjective at every closed point .
Dominant classical morphisms and rational maps: a morphism is dominant when the closure of its image is the target; for morphisms of varieties this is density of the image.
Irreducibility via nonempty open subsets, connectedness and open subspaces: an irreducible space is nonempty and every nonempty open subspace of it is irreducible.
Existence and basic properties of irreducible components: under AC, the closure of an irreducible subset is irreducible.
[topology] The continuous image of an irreducible space is irreducible: the inverse image of a finite closed cover of the image is a finite closed cover of the source.
Proof
Setting. By [F2] the structure morphisms of and are smooth, so every point of either variety has an affine neighbourhood carrying a standard smooth presentation [F3]; by [F4] the classical points of are its closed points and have residue field , and by [F5] the classical varieties have the affine-model topology with residue field , principal opens forming a basis. For a classical point of the differential is the dual of the induced cotangent map [F10] and is the finite-dimensional dual of [F11]. Define . We prove (1) that is closed in , and (2) that .
Charts at a prescribed point. Let . The structure morphism of is smooth, so [F2] provides an affine neighbourhood of whose coordinate ring is standard smooth after a principal shrinking; [F6] supplies finite affine covers of and of , [F5] lets us shrink to a principal open contained in any prescribed open neighbourhood, [F7] makes principal opens affine, and [F3] absorbs the principal shrinking into the presentation. Choose in this way an affine chart containing , where is standard smooth over , and an affine chart containing with and standard smooth over ; write with leading Jacobian minor mapping to a unit of , and . Let be coordinate classes generating as a -algebra [F9].
Free differentials on the chart. By [F13] the module is the cokernel of the transposed Jacobian map of the presentation of , and since the leading minor is invertible, [F14] shows that this cokernel is free with -basis the images of the differentials of the free coordinates . For a closed point , [F12] identifies with naturally, so that by [F11], and the open immersion identifies with and with [F10].
The pullback matrix. Let be the -algebra map induced by , under the correspondence of [F8]. By [F15] there is a canonical -linear functoriality map , ; by [F13] the differentials generate the -module , so their images generate . Since is a -basis of [F14], there are unique regular functions with denote by the resulting matrix over .
Rank identity on the chart. For every closed point with one has , where is the matrix over obtained by reducing the entries of modulo ; more precisely the two ranks equal the rank of the fibre . Indeed, the cotangent map corresponds under the natural isomorphisms of [F12] to — the source is identified with by [F16] — and is the dual of by [F10], hence has the same rank as by [F17] because these spaces are finite-dimensional [F11]; moreover , the elements generate the source over [F13], and is a -basis of the target [F14], so by [F18] the rank of is the rank of the matrix ; finally because and are open immersions inducing tangent isomorphisms [F10].
Decomposition into components. As a closed subvariety of , the set is Noetherian with finitely many irreducible components [F6]; each is an irreducible closed subvariety of , hence an irreducible classical variety. The image is irreducible as the continuous image of an irreducible space [F32], so its closure in is an irreducible closed subvariety of , i.e. an irreducible classical variety [F31]; the induced morphism is dominant because is dense in [F29].
Generic surjectivity on a component. Fix . By [F28] applied to the dominant morphism of irreducible classical varieties there is a nonempty open subset with and with surjective at every closed point ; in particular . Choose a point , which is possible because is nonempty [F30], and put .
Closed subvarieties have injective differentials. Let be the inclusion of a closed subvariety of an affine chart of , with vanishing ideal , so that [F9, F22], and let be a point. Then by [F20] and [F21], the maximal ideal of this quotient is with , and by [F19]; hence the natural map is surjective [F19], and its dual is injective [F18]. By [F10] that dual is exactly the differential of the inclusion, so is injective.
Determinantal description and local closedness. Let be a closed point. Since the entries are the images of the regular functions under , the minors of are the images of the corresponding minors of ; by [F18] the inequality holds if and only if every one of those minors vanishes. By step 1.5 this says if and only if every minor of lies in . Let be the ideal generated by all these minors; by [F22] the closed subvariety has as its points exactly the maximal ideals of containing , which are precisely the closed points with . Hence is closed in .
Rank comparison. Let and be the affine charts around and with constructed in step 1.2; note . The restrictions and are closed subvarieties of these affine charts [F5] with inclusion differentials that, under the open-immersion tangent isomorphisms , , and [F10], are the differentials and of the closed inclusions and ; by step 1.8 both and are injective. The chain rule of [F10] applied to the identity gives ; since is injective, [F18] yields . As we have , so .
Global closedness. The charts produced by step 1.2, as ranges over the classical points of , cover ; by step 2.1 each is closed in , hence is open: a point lies in one of these charts , and is an open neighbourhood of contained in . By [F26] the set therefore equals its closure in and is a closed subset of the classical variety ; with the reduced structure induced from it is a closed subvariety of [F5], which is claim 1.
Dimension of the image of each component. By step 1.7 the differential is surjective, so by [F18] Since and is irreducible, [F27] gives , and [F23] gives . Therefore by step 2.2.
Assembling the closure. Since , one has . The finite union of the closed sets is closed and contains , so by [F26]; conversely each is contained in because and is closed [F26]. Hence , a finite union of closed subsets of the Noetherian space [F6]; by [F25] its dimension is , which is at most by step 3.2, and for , when the list is empty, both the maximum and are by [F24], which is at most . This is claim 2.
Boundary and scope dispositions. Empty: and may be empty or reducible, and no irreducibility is assumed; for the set is empty and closed and by [F24], while for also because a morphism into the empty scheme has empty source. Zero: is allowed, and then consists of the points where the differential vanishes; the relative dimension of step 1.2 is allowed, in which case by [F14], the matrix has no rows, its rank is , and for every with when is a point. One: nothing in the argument divides by a natural number or requires a positive relative dimension or a positive number of coordinate functions; for , when is a single point, the matrix has no columns, and , in agreement with claim 2. Degenerate: the smoothness of in claim 1 is essential and cannot be dropped — for the singular closed subvariety , the morphism , , has for every while , so the corresponding is the punctured -axis, not closed; reducible and disconnected smooth are nevertheless allowed, and claim 2 does not use the smoothness of , the argument for it needing only the local presentation of with coordinate functions generating its coordinate ring. Endpoints: the integer ranges over with no upper bound, and claim 2 is trivial for since ; the marginal case with is covered by the empty-list convention of step 4.1, while the case in which is a single point is covered because the surjectivity conclusion of [F28] persists at every closed point of . Nonempty-choice: AC is declared as [F1] and is used exactly through the AC-assuming suppliers [F4] (classical-scheme dictionary), [F6] (finite component decompositions), [F7] (principal opens), [F20] (local rings), [F22] (Nullstellensatz correspondence), [F27] (regular-point tangent criterion), [F28] (generic differential surjectivity) and [F31] (closures of irreducible sets), cited at steps 1.1, 1.2, 1.6, 1.7, 1.8 and 4.1; the chart, matrix, determinantal and rank-comparison computations of steps 1.3, 1.4, 1.5, 2.1, 2.2 and the local-ring duality of step 1.8 are choice-free, and no family of nonempty sets is selected anywhere. Biconditional directions: the statement asserts no equivalence, so the forward and reverse directions of a biconditional are not applicable; the only equivalence used inside the proof is the determinantal criterion of [F18], applied in step 2.1 in the direction "all -minors vanish implies rank at most " and conversely, and the cotangent isomorphisms of [F12] are used only through their naturality.
Source qualification
Vakil, Classes 51-52, §3.4 proves the corresponding statement for morphisms of finite-type -schemes over an algebraically closed (or at least perfect) field of characteristic : the locus where the rank of the tangent map is at most is a closed subset, and the dimension of the image of is at most ; the proof replaces the source by an irreducible component of and the target by the closure of the image of that component, and then applies generic smoothness on the source together with the linear-algebra observation that restricting a linear map to subspaces cannot increase its rank. The present lemma keeps the smoothness of and from the section's standing hypotheses: the source's assertion that the critical locus is cut out by determinantal equations is not available for an arbitrary singular source — the degenerate case recorded in step 5.1 shows this — so claim 1 is proved here from the standard smooth charts of , on which the differential is described by regular functions, and the rank comparison of step 1.8 supplies the subspace step of the source's reduction directly. The argument uses the smoothness of only to choose a local presentation with coordinate functions generating its coordinate ring, so the same proof covers an arbitrary classical . Characteristic enters only through A dominant map has a surjective differential on a dense source open in step 1.7; claim 1 is characteristic-free. The determinantal closedness of step 2.1 is the classical Jacobian-minor computation (Milne, Algebraic Geometry, §4d, Definition 4.22, in the equation-row convention) applied on the charts, and the local-ring duality of step 1.8 replaces the source's implicit identification of the tangent space of a closed subvariety with a subspace of the tangent space of the ambient variety.
Generic smoothness over a dense target open
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field of characteristic , let and be irreducible classical varieties over (Classical algebraic prevarieties, regular maps, and varieties), and let be a morphism of classical varieties. Assume is smooth over , that is, the structure morphism is smooth in the locally-standard-smooth sense of Smooth morphisms via local standard smooth presentations (equivalently, since is perfect, is regular). Then:
- there is a dense open subvariety such that the restriction is a smooth morphism of finite-type -schemes; when is not dominant one may take with , the empty morphism being smooth;
- if in addition is dominant, there is a nonempty open (hence dense) such that for every closed point the scheme-theoretic fibre (Scheme-theoretic fibre) is nonempty, smooth over , and of pure dimension .
Neither nor is required to be smooth or flat, the fibres are not required to be irreducible or connected, and no statement is made about the size of or . The characteristic- hypothesis enters through the critical-locus dimension bound of Critical loci have small images in characteristic zero in claim 1 and through the perfectness of ; the failure of the target-open statement for a non-smooth source and the positive-characteristic failure of the corresponding source-side statement are recorded on the counterexample page of this pair.
Facts & Assumptions
Given: The Axiom of Choice; an algebraically closed field of characteristic ; irreducible classical varieties and over ; the hypothesis that is smooth in the sense of Smooth morphisms via local standard smooth presentations; and a morphism of classical varieties.
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function.
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic prevariety over is a quasi-compact locally ringed space with a structure sheaf of -algebras, covered by open subspaces isomorphic to affine models (polynomial zero sets, including empty and reducible ones), whose points have residue field canonically and whose sections are functions; principal opens form a basis of the topology, zero loci of regular functions are closed, a classical algebraic variety is a separated prevariety, and these definitions use no Axiom of Choice.
Smooth morphisms via local standard smooth presentations: for a finite-type morphism of -schemes, smoothness means that every source point has affine neighbourhoods on which the induced ring map is standard smooth at the prime of that point, where standard smoothness at a prime allows a further principal shrinking; the condition is imposed at every source point and is local on the source and on the target.
Subalgebra generated by a subset, algebras of finite type, and module-finite algebras: a -algebra is of finite type when it is generated by finitely many elements, so a finite-type -algebra contained in a field or ring with is generated as an -algebra by the same finite list.
Locally finite type and finite type morphisms: a morphism is locally of finite type when it is described on affine charts by finite-type ring maps, and of finite type when it is locally of finite type and quasi-compact.
Classical varieties have finite irreducible decompositions: every classical variety is Noetherian and has finitely many irreducible components; every open or closed subvariety has a finite affine cover; open subsets of a Noetherian space are quasi-compact.
Global and local dimension of classical varieties: for a classical variety and a closed point , is the maximum of the dimensions of the irreducible components containing , while is its chain dimension; for irreducible one has at every point.
Nonempty opens preserve irreducible dimension: if is a nonempty open of an irreducible classical variety , then , and every proper closed subvariety has .
Irreducibility via nonempty open subsets, connectedness and open subspaces: an irreducible space is nonempty and every nonempty open subset of it is dense and irreducible.
Interior, closure, boundary, exterior, derived set and isolated point in a topological space: the closure is the smallest closed superset of , and is closed if and only if .
Dense regular loci on every component: for a reduced -scheme of finite type over a perfect field, the regular locus is open, its intersection with every irreducible component is a dense open subset of that component, and whenever .
Regular and singular loci: for a locally Noetherian scheme, ; for a reduced classical finite-type space over an algebraically closed field and a closed point , one has if and only if .
Fields of characteristic zero, finite fields, and algebraically closed fields are perfect: every field of characteristic zero is perfect, and every algebraically closed field is perfect.
Regular equals smooth over a perfect field: under AC, for a perfect field and a finite-type -scheme , is regular (every local ring is regular local) if and only if is smooth in the local-standard-smooth sense.
Affine open subschemes: for a scheme and open , the open subscheme is , with the restricted structure sheaf.
The stalk of a presheaf at a point: the stalk at a point is the filtered colimit of the sections over open neighbourhoods of that point; the neighbourhoods contained in an open are cofinal, so canonically for .
Every nonempty principal open is a classical affine variety: under AC, for an affine variety and , the principal open is an affine variety with coordinate ring canonically .
Critical loci have small images in characteristic zero: under AC, for algebraically closed of characteristic , smooth classical varieties and over , a morphism and , the set is closed in and , the closure being taken in .
Chain dimension and the empty-space convention: for a Noetherian topological space, is the supremum of the lengths of strict chains of nonempty irreducible closed subsets; the empty space has .
The submersion criterion between smooth varieties: under AC, for smooth classical varieties over algebraically closed whose structure morphisms are smooth, a finite-type morphism and a classical point , the morphism is smooth at if and only if is surjective.
Scheme-theoretic fibre: for a morphism and a point , the scheme-theoretic fibre is , viewed as a -scheme; empty fibres are allowed.
Points and topology of a fibre: for and , the projection is a homeomorphism onto with the subspace topology and preserves residue fields.
Restricting fibre products to open subschemes: for and an open , the open subscheme represents the fibre product .
Existence of all scheme fibre products: fibre products of schemes exist with their universal property, so iterated fibre products over compatible bases are canonically isomorphic.
Base change and composition of standard smooth presentations: a standard smooth algebra remains standard smooth after arbitrary base change of the base ring, and locally standard smooth morphisms are stable under arbitrary base change of the base ring; this uses no Axiom of Choice.
Fibres have pure expected dimension over a dense open: for a dominant morphism between irreducible classical varieties there is a nonempty open , contained in , such that every fibre with is nonempty and has pure dimension .
Irreducible classical varieties and integral separated finite-type schemes: the closed-point construction and its inverse give an equivalence between irreducible classical -varieties and integral finite-type -schemes satisfying the affine-overlap separation condition, each original point being identified with its singleton; classical points correspond to closed points, and classical regular maps to scheme -morphisms.
In a finite-type algebra over a field, closed points are dense in every closed subset of the spectrum: under AC, every nonempty closed subset of the spectrum of a finite-type algebra over a field contains a closed point; closed points are dense in each closed subset.
Proof
Setup and conventions. By [F2] the classical varieties and are quasi-compact locally ringed spaces over covered by affine models, every point of either is a closed point with residue field , polynomial principal opens form a basis of the topology, and their structure sheaves are sheaves of -valued functions; by [F27] the irreducible classical varieties and correspond to integral, hence reduced, finite-type -schemes and to a -morphism of those schemes; they are Noetherian by [F6]. Write and [F7]. The field is perfect by [F13], and by hypothesis the structure morphism is smooth [F3], so [F14] makes regular. Every -morphism of finite-type -schemes is of finite type: on affine charts and with , the algebra is generated as an -algebra by finitely many -algebra generators [F4], so is locally of finite type [F5], and it is quasi-compact because is Noetherian, so that every open subset of is quasi-compact [F5, F6]; the same argument applies to the restriction of to any open subvariety of .
The non-dominant case. Suppose is not dominant, so the closure is a closed subset of with [F10]. Its complement is open and nonempty, and it is dense in because a nonempty open subset of the irreducible space is dense [F9]; moreover , so . The empty morphism is smooth by [F3], the standard-smooth condition being imposed at every source point and the empty source having none; the empty scheme is a classical variety and the morphism is of finite type because its source is quasi-compact. Thus claim 1 holds in this case with this .
The dominant case: reduction to the regular locus of the target. Suppose now that is dominant. The regular locus [F12] of , a reduced finite-type -scheme over the perfect field [F27], is a nonempty open subset of whose intersection with every irreducible component of is dense open in that component [F11]; since is irreducible, is nonempty, open and dense, hence irreducible [F9], and [F8]. At every the local ring is regular [F12, F15, F16], and is of finite type over the perfect field [F2, F13], so is smooth by [F14]. The open subvariety is itself a classical variety over : it is quasi-compact because is Noetherian [F6], and its intersections with the affine models of are covered by principal opens, which are affine models by [F17]. Similarly is an open subvariety of , hence a classical variety over , it is nonempty because the dense subset meets the nonempty open set [F9, F10], it is irreducible with [F8, F9], and its structure morphism is smooth by locality on the source [F3]. The restriction is a finite-type morphism of classical varieties: on affine charts and with the algebra is generated as an -algebra by finitely many -algebra generators [F4, F5], and is quasi-compact because is Noetherian, so that every open subset of is quasi-compact [F5, F6].
The rank- locus and the open set. Let . If , then [F18] applied to the morphism of smooth classical varieties with shows that is closed in and that the closed subvariety satisfies ; if , then because ranks are nonnegative, so and [F19]. In either case : when because by step 1.3, and when because while by step 1.3. Put ; then is open in and in , it is nonempty because , and it is dense in because a nonempty open subset of the irreducible space is dense [F9]. Also is a nonempty open subvariety of because is dominant and is nonempty open [F9, F10].
The rank equals on . Let be a classical closed point of , so and by step 2.1. Then , so by the definition of ; on the other hand because is a -linear map into that finite-dimensional space. Since is a regular point of the classical variety we have [F12], and since is irreducible of dimension [step 1.3] this equals [F7, F8]. Hence , and is surjective.
From closed points to every scheme point. At each classical closed point the morphism is between smooth classical varieties with their smooth scheme structures and is of finite type by step 1.3. Its differential is surjective by step 3.1, so [F20] gives smoothness at . Restricting over preserves this local property by [F3]; hence is smooth at every closed point. Let be the scheme smooth locus of . It is open: a standard smooth presentation after principal shrinking, as in [F3], witnesses smoothness at every prime of that shrinking, since its Jacobian minor is a unit there. If were nonempty, intersect it with an affine chart of the finite-type scheme . The intersection is a nonempty closed subset, and [F28] gives a closed point of that chart in it. By [F27] this is a classical point of , contrary to the closed-point conclusion just proved. Thus , and is smooth at every scheme point. This proves claim 1.
The fibres over the further open set. Suppose is dominant and let be the dense open set of step 2.1, over which is smooth by step 4.1. By [F26] there is a nonempty open , contained in , such that for every closed point the fibre is nonempty and of pure dimension ; put , a nonempty open subset of the irreducible , hence dense [F9]. For a closed point , so that , the scheme-theoretic fibre [F21] has underlying topological space by [F22], so is nonempty. The classical fibre in [F26] is its closed-point space. Closed-point density [F28] identifies closed subsets and irreducible components of the scheme fibre with their classical traces, chart by chart, preserving strict chains and dimensions; nilpotents do not affect these spaces. Thus has pure dimension . For smoothness, the fibre product is represented by the open subscheme by [F23], and the universal property of fibre products [F24] gives a canonical isomorphism ; the projection on the right is the base change of the smooth morphism along , hence is smooth over because locally standard smooth morphisms are stable under base change [F25]. Therefore every fibre with closed is nonempty, smooth over , and of pure dimension .
Boundary and scope dispositions. Empty: in the non-dominant case and the empty morphism is smooth vacuously (step 1.2); in the dominant case and are nonempty because irreducible [F9], the open sets , and are nonempty by steps 1.3, 2.1 and 5.1, and the fibres over are nonempty by step 5.1, so no empty-fibre convention is invoked in claim 2. Zero: the target dimension is admitted; then , and the rank computation of step 3.1 reads , while the fibre clause gives a single fibre of pure dimension ; the relative dimension is likewise admitted in step 5.1, where smooth fibres of pure dimension zero are finite reduced -schemes, and nothing in the argument divides by . One: no step divides by a natural number, selects a basis, or requires a positive dimension, codimension, or number of equations; the cases with or are covered by the same steps 2.1 through 5.1. Degenerate: the smoothness of is essential for claim 1 and is used through the critical-locus bound [F18] in step 2.1 and the submersion criterion [F20] in step 4.1; the constant cusp family , , is a dominant morphism of irreducible classical varieties over to a smooth target whose every fibre is the singular cusp, so that no nonempty open has smooth, as recorded on the counterexample page of this pair. The target need not be smooth outside : for the fold , , the differential vanishes at , the fibre over is the non-reduced , and is the best possible dense open, while the constant morphism with value has for ; the fibres of step 5.1 are not asserted to be irreducible or connected. Endpoints: the statement has no interval parameter; the boundary versus is handled in step 2.1 through the convention of [F19] and the trivial lower bound in step 3.1, and the open sets are dense but need not be all of , as the fold example shows; the generic fibre dimension is constant over by construction and not merely bounded. Nonempty-choice: AC is declared as [F1] and enters exactly through the AC-assuming suppliers [F11] (density of the regular locus), [F12] (the classical regular-point tangent test), [F14] (regularity versus smoothness), [F18] (the critical-locus dimension bound), [F20] (the submersion criterion) [F26] (generic fibre dimension), and [F28] (closed-point density), cited at steps 1.3, 2.1, 3.1, 4.1 and 5.1; the finite-type verification of step 1.1, the fibre-product pasting and base-change smoothing of step 5.1, and the remaining linear algebra are choice-free, and no family of nonempty sets is selected anywhere. Biconditional directions: the statement asserts no equivalence, so the forward and reverse directions of a biconditional are not applicable; the two equivalences used in the proof — the submersion criterion [F20], applied in the direction "surjective differential at a classical point implies smoothness there" in step 4.1, and regularity-versus-smoothness [F14], applied in the direction "regular implies smooth" in step 1.3 for — are used only in those directions, and no converse of the theorem is claimed.
Source qualification
Vakil, Classes 51–52, §3.3, proves the corresponding target-open statement for a morphism of -varieties with and smooth: there is a dense open subset of over which the restricted morphism is smooth, with the explicit warning that the inverse image may be empty when is not dominant; the proof restricts to the smooth locus of , removes the closure of the image of the rank- locus using the §3.4 lemma, and then invokes the submersion criterion ("Hard Exercise 2.2") at every remaining closed point. The present theorem keeps the scaffold's hypotheses that and are irreducible and makes the conclusion scheme-precise: the open set is produced by the authored critical-locus bound of this pair, the fibres in claim 2 are the scheme-theoretic fibres, and their smoothness is obtained from stability of locally standard smooth morphisms under base change rather than from a separate fibre-smoothness theorem. The second clause is the Bertini–Sard statement of Arapura, Theorem 5.4.2 (printed p. 34), which for a dominant morphism of nonsingular varieties over a field of characteristic produces a nonempty open set of the target over which the fibres are nonsingular with surjective differentials at every point; Arapura does not state nonemptiness of the fibres, pure dimension, or the non-dominant case, and refers for its proof to Hartshorne III 10.7, which is not used here. Vakil's "for pedants" remark generalizes the hypotheses to morphisms of locally Noetherian schemes over ; the statement above keeps the algebraically closed characteristic- form. The characteristic- hypothesis is essential: the Frobenius morphism on in characteristic has vanishing differential everywhere, and the constant cusp family over shows that target-open generic smoothness fails without smoothness of the source; both are recorded on the counterexample page of this pair.
A section of an invertible sheaf has a canonical zero subscheme
Statement
Let be a scheme, let be an invertible (locally free of rank one) -module, and let . Choose an affine open cover on which has a generator , and write . The affine schemes glue, with their quotient maps, to a closed subscheme that is canonical up to unique isomorphism over and independent of the chosen trivializations. The construction uses the ideal itself, with no nonzerodivisor or reducedness hypothesis; it retains nilpotents and includes the empty and whole zero schemes.
Facts & Assumptions
Given: A scheme , an invertible -module , and a global section .
An -module is a sheaf of modules compatible with restriction of scalars (Modules on a ringed space).
A global section restricts along every open inclusion, and successive restrictions agree (Sections, restrictions, and global sections of a presheaf).
Localizing a quotient by an ideal canonically gives the quotient by the localized ideal, including when the localization is zero (Localisation commutes with quotient rings: ).
For an ideal , is homeomorphic to the closed subset (The spectrum of a quotient is a closed subspace).
Affine schemes with compatible open-overlap isomorphisms satisfying the cocycle condition glue to a scheme, uniquely up to unique chart-compatible isomorphism (Gluing affine schemes along compatible open isomorphisms).
Compatible scheme morphisms on an open cover glue uniquely (Morphisms of schemes are local on compatible open covers).
A morphism is a closed immersion when its underlying map is a homeomorphism onto a closed subset and its structure-sheaf map is surjective (Closed immersions of schemes).
Closed immersions can be checked on the inverse images of an open cover of the target (Closed immersions are local on the target).
Proof
Proof technique: construct the local quotients and glue them using the transition units of the line bundle.
Since is locally free of rank one, choose an affine trivializing open cover with generator . By [F1] and [F2], there is a unique such that . Put and let be the quotient morphism. Its image is by [F4], and it is a homeomorphism onto that image. On each distinguished open , [F3] identifies the restricted quotient with the quotient map ; thus the map of structure sheaves is surjective locally. Hence is a closed immersion by [F7]. If is a unit then and is empty; if then .
On , the two generators differ by an invertible function: . Comparing the expressions for the same restricted section gives , so the generated ideals agree. Refine each overlap by affine opens . On such a , both local zero schemes restrict to and ; equality of the ideals gives the canonical identity-on- isomorphism. On distinguished opens of , [F3] identifies the restrictions with the corresponding localized quotients.
These overlap isomorphisms are compatible when further restricted: each acts on residue classes by the identity on functions from . They therefore satisfy the identity and cocycle conditions, including on triple overlaps. By [F5] the glue to a scheme , with each an open subscheme of . Their maps to the open subsets agree on overlaps, so [F6] glues them to a unique morphism .
The restriction is , a closed immersion by step 1.1. The cover , so [F8] implies that is a closed immersion. For any other affine trivializing cover, refine both covers by affine opens. On each such open the two equations differ by a unit, hence define the same quotient ring and the same morphism to . The uniqueness in [F5] and [F6] then gives a unique isomorphism over between the two constructions.
No radical or regularity condition entered the construction: it quotients by , even when is a zero divisor or nilpotent. For example, on with and , the zero scheme is , which is still nonreduced. Thus the construction retains precisely the nilpotents not killed by the section equation.
Source note
Vakil, Foundations of Algebraic Geometry Classes 51–52, §3.9 Corollary 3.9, printed p. 10 (PDF page 10), states that a section of an invertible sheaf gives a closed subscheme and that general such sections are smooth; the subsequent Exercise 3.10 asks for the Bertini proof. The notes assert the zero-subscheme construction but do not give its local quotient-and-gluing proof. Steps 1.1–4.1 derive that construction from the local equations, localization, and scheme gluing; the source is context for the application, not a substitute for this argument.
Linear systems, base loci, and general members
Definition
Fix an algebraically closed field . Let be a -scheme, let be an invertible (locally free of rank one) -module, and let be a finite-dimensional -linear subspace of . The subspace is a linear system on .
Its parameter space is
the set of one-dimensional subspaces of . If , a choice of basis identifies with ; give it the projective Zariski topology. A change of basis is an invertible linear coordinate change, which carries homogeneous zero sets to homogeneous zero sets, so this topology does not depend on the chosen basis. In particular, when , is the one-point space .
For , write for its zero subscheme from A section of an invertible sheaf has a canonical zero subscheme. Replacing by for multiplies each local equation by a unit, so it leaves the quotient ideals and the closed subscheme unchanged. Thus depends only on the parameter . The base locus of is the closed subset
It is closed because each is closed and arbitrary intersections of closed subsets are closed. It is base-point-free when this subset is empty.
A property holds for a general member of if there is a nonempty Zariski-open subset such that every parameter in has that property.
For a fixed projective embedding , the hyperplane system is the system cut out by restrictions of degree-one homogeneous forms; the degree- hypersurface system, for , is cut out by restrictions of homogeneous forms of degree . These are viewed as sections of the corresponding powers of the hyperplane line bundle, with forms giving the same section identified.
Source note
Vakil, Foundations of Algebraic Geometry Classes 51–52, §3.9 Corollary 3.9, printed p. 10 (PDF page 10, lines 437–441), describes a finite-dimensional base-point-free linear system as a vector space of sections of an invertible sheaf and treats a general section as a point of . It asserts that each section gives a closed subscheme, but leaves the Bertini proof to Exercise 3.10; the preceding item supplies the zero-scheme construction. Arapura, Notes on Basic Algebraic Geometry, §5.4, printed pp. 38–39 (PDF pages 38–39, lines 1689–1721), identifies hyperplanes defined by linear forms up to nonzero scalar with the dual projective space and states the smooth hyperplane conclusion on a nonempty open subset. These passages support the projective parameter and “general” conventions and the hyperplane example; the basis-independent topology and arbitrary-subspace wording are made explicit here.
The universal member away from the base locus
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field, let be a smooth finite-type -scheme, let be an invertible -module, and let be a nonzero finite-dimensional linear system with , base locus and (Linear systems, base loci, and general members).
Then there is a finite-type -scheme , the incidence of the linear system, with -morphisms and , determined by and up to canonical isomorphism, such that:
- (Local product.) Let be a -basis of and let be the open subset on which is invertible. If , then restricted over exhibits as isomorphic over to the projection .
- (Fibres.) For every the fibre is isomorphic over to the zero subscheme of the section (A section of an invertible sheaf has a canonical zero subscheme).
- (Smoothness.) The structure morphism is smooth in the local-standard-smooth sense (Smooth morphisms via local standard smooth presentations).
- (Small parameter space.) If , that is , then .
The construction uses the actual equations of the members, with no reducedness or nonzerodivisor hypothesis on the local equations.
Facts & Assumptions
Given: An algebraically closed field ; a smooth finite-type -scheme ; an invertible -module ; a nonzero finite-dimensional linear system with , base locus and ; and a -basis of .
Linear systems, base loci, and general members: is the zero subscheme of a nonzero section and ; the base locus is closed.
A section of an invertible sheaf has a canonical zero subscheme: on an affine open with generated by and , the zero subscheme is ; the construction is independent of the trivialization.
Relative projective space from standard charts: the standard charts of are affine, cover , and on the coordinates satisfy for and .
Gluing affine schemes along compatible open isomorphisms: compatible open immersions of affine schemes along principal opens glue to a scheme with the given affine cover.
Existence of all scheme fibre products: fibre products of -schemes exist, and over affine charts the product has the affine chart .
Closed immersions of schemes: a quotient of a commutative ring presents a closed immersion .
Smooth morphisms via local standard smooth presentations: a finite-type morphism is smooth when at every source point there are affine neighbourhoods on which the ring map is standard smooth at the corresponding prime; the condition is local on the source.
Standard smooth presentations and locally standard smooth maps: a polynomial algebra is standard smooth over with no equations (), and the case is a localisation of a polynomial ring.
Products preserve smoothness: the scheme-theoretic product of finite-type -schemes smooth over a field is smooth over .
The Axiom of Choice: AC is assumed and is spent through the declared suppliers.
Proof
Local affine models. Let be an affine open on which has a generator , and write with ; such charts exist because is invertible and is quasi-compact. For each chart of put the closed subscheme of the product cut out by the equation written in the chart . This is a quotient presentation of a closed subscheme of the affine product [F5, F6], and the equation is the local equation of the general member in the sense of [F1] and [F2]. [F1, F2, F3, F5, F6, given, construct] 1.2 Independence of the choices. If is a second generator on with and , then , so the ideal is unchanged, and the two closed subschemes of coincide. On the overlap of the two standard charts, the transition formulas of [F3] identify the coordinates and for the same homogeneous coordinates , so substituting and into the first equation and multiplying by the unit gives exactly the second equation Hence the local models agree on all overlaps of base charts and projective charts. [F1, F2, F3, algebra] 2.1 Gluing. The affine schemes , indexed by a finite trivializing affine cover of and by , have pairwise compatible open immersions on their overlaps by step 1.2, so they glue along the principal opens of [F4] to a -scheme together with a closed immersion commuting with the two projections and . The scheme is finite type over because it is covered by the finitely many affine charts , each a quotient of a finitely generated polynomial algebra over . Define the incidence of the linear system to be the open subscheme obtained by base change along the open immersion , and keep and for the restrictions. [F3, F4, F5, F6, step 1.1, step 1.2, algebra] 3.1 Local product structure. Fix and let be an affine chart trivializing by , with . Since and is cut out by by [F2], the function lies in no maximal ideal of , hence . Assume . For an incidence point over , the equation and invertibility of imply that some with is nonzero: otherwise also . Thus projection to the other coordinates defines an everywhere-defined map to , and its inverse is To check scheme morphisms rather than only point maps, choose and work on the chart , equivalently the source chart . Normalize . Its incidence ring is where the isomorphism eliminates by . These charts cover the incidence over , and their maps agree on overlaps because the displayed homogeneous formulas are scale invariant. They glue to over , and the identifications agree under a change of trivialization of since all acquire the same unit factor. The affine cover , giving the asserted product over . In particular, the chart alone need not cover the incidence; the eliminated coordinate is , while the covering charts have for . [F2, F3, F5, step 1.1, step 1.2, step 2.1, algebra] 3.2 Fibres. Let , choose representing it and a -basis with . Over an affine chart trivializing by with , the point lies in the chart of ; the fibre of over it is obtained by substituting the coordinates into , that is, it is by [F2]. Since the trivializing charts cover , this identifies the fibre with . [F1, F2, F3, step 1.1, step 2.1, algebra] 4.1 Smoothness. Let . By step 3.1 some open neighbourhood of in is isomorphic over a smooth open subscheme of to when , while for the incidence is empty and the claim is vacuous. The open subscheme of the smooth is smooth over because smoothness is local on the source [F7]. The projective space is smooth over : its standard charts are polynomial algebras , which are standard smooth with by [F8], and smoothness is local on the source [F7]. By [F9] each product is smooth over , and these open pieces cover , so is smooth by [F7]. The Axiom of Choice enters only through the declared suppliers, notably [F9]; the finitely many charts and basis elements chosen here are finite choices and need no choice principle. [F7, F8, F9, F10, step 2.1, step 3.1, algebra] 5.1 The case , and the boundary dispositions. If then for , so and . On every trivializing affine chart the coefficient is a unit by the argument of step 3.1, so the equation cuts out the empty subscheme; as the charts cover , indeed , and the structural claims are vacuous. If then , so the hypothesis has no instance. If , the incidence is empty by its definition, and the local product and fibre clauses are vacuous. The construction is canonical: a change of -basis of multiplies the vector of coefficients by an invertible constant matrix and hence induces an automorphism of carrying the equation to itself, and a change of trivialization multiplies all by a unit; so is determined up to unique isomorphism compatible with both and , equivalently over . Uniqueness follows because the glued quotient maps define a closed immersion into that product: a morphism over the product must be the identity on each quotient chart. This completes the proof.
Bertini smoothness away from the base locus
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field of characteristic . Let be a smooth -scheme of finite type that admits a locally closed immersion into some projective space over (that is, is smooth and quasi-projective; Immersion of schemes), let be an invertible -module, and let be a nonzero finite-dimensional linear system, with , base locus and (Linear systems, base loci, and general members); thus .
Then there is a nonempty Zariski-open subset such that for every closed point of the -scheme (equivalently, by Irreducible classical varieties and integral separated finite-type schemes, every classical parameter lying in ), and every representative , the closed subscheme is smooth over . Thus the property "the member is smooth over " holds for general members of in the sense of Linear systems, base loci, and general members, with generalizing open set ; the members are closed subschemes of the open subscheme , which may be empty, and contains classical parameters.
In particular, suppose , fix a locally closed immersion , let be the hyperplane line bundle of that immersion, and let be the hyperplane system, the span of the restrictions of the degree-one forms (Linear systems, base loci, and general members). Then , and there is a nonempty Zariski-open subset such that for every closed point the scheme-theoretic hyperplane section of — for any degree-one form with , equivalently the zero scheme (A section of an invertible sheaf has a canonical zero subscheme) — is smooth over .
No irreducibility or connectedness of or of the members is asserted, and no statement is made about the dimension or the nonemptiness of the members.
Facts & Assumptions
Given: The Axiom of Choice; an algebraically closed field of characteristic ; a smooth finite-type -scheme admitting a locally closed immersion into a projective space; an invertible -module ; a nonzero finite-dimensional linear system with ; the associated incidence with morphisms ; the open subscheme ; and, for the final clause, a fixed locally closed immersion with hyperplane system .
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function.
Linear systems, base loci, and general members: for a -scheme , an invertible -module and a nonzero finite-dimensional -subspace , the parameter space is with the projective Zariski topology, independent of a basis; depends only on ; the base locus is closed; a property holds for a general member if there is a nonempty Zariski-open such that every parameter in has it; and for a fixed embedding the hyperplane system is the span of the restrictions of the degree-one forms, viewed as sections of the hyperplane line bundle with forms giving the same section identified.
The universal member away from the base locus: under AC, for an algebraically closed field , a smooth finite-type -scheme , an invertible -module , and a nonzero finite-dimensional linear system with , base locus and , there is a finite-type -scheme with -morphisms and , determined by and up to canonical isomorphism, such that: (1) over , for a -basis of and , the map exhibits as isomorphic over to ; (2) for every the fibre is isomorphic over to the zero subscheme ; (3) is smooth in the local-standard-smooth sense; (4) if then . Moreover the construction in its proof glues the local models to a closed subscheme and defines (its step 2.1), so is a locally closed subscheme of .
Generic smoothness over a dense target open: under AC, for algebraically closed of characteristic , irreducible classical varieties over and a morphism of classical varieties with smooth over : (1) there is a dense open such that is a smooth morphism of finite-type -schemes, with allowed when is not dominant; (2) if is dominant there is a nonempty open such that for every closed point the scheme-theoretic fibre is nonempty, smooth over , and of pure dimension .
A regular point lies on one irreducible component: under AC, a regular point of a reduced Noetherian scheme lies on exactly one irreducible component.
regular local rings are domains and cohen macaulay: under AC, a regular local ring is a domain (and Cohen-Macaulay).
Regular equals smooth over a perfect field: under AC, for a perfect field and a finite-type -scheme , is regular (every local ring is regular local) if and only if is smooth in the local-standard-smooth sense.
Fields of characteristic zero, finite fields, and algebraically closed fields are perfect: every field of characteristic zero is perfect, and every algebraically closed field is perfect.
The reduction of a scheme: for a scheme the nilradical ideal sheaf has nilpotent germs, and the reduction is the closed subscheme with structure sheaf ; on it is . Thus is reduced exactly when , equivalently when every local ring of is reduced.
Fields and are Noetherian, and so are their polynomial rings in finitely many variables and Every algebra of finite type over a Noetherian ring is a Noetherian ring: every field is a Noetherian ring, and a commutative algebra of finite type over a Noetherian ring is a Noetherian ring.
Locally Noetherian and Noetherian schemes: a scheme is locally Noetherian if it has an affine open cover by spectra of Noetherian rings, and Noetherian if it is locally Noetherian and quasi-compact; equivalently, it has a finite affine open cover by spectra of Noetherian rings.
Locally finite type and finite type morphisms: a morphism is locally of finite type if locally on source and target it is given by a finitely generated algebra map, and of finite type if it is locally of finite type and quasi-compact.
A Noetherian space is a finite union of irreducible closed subsets: under AC, a Noetherian topological space is a finite union of irreducible closed subsets and has only finitely many irreducible components.
Existence and basic properties of irreducible components: irreducible components are closed, and every irreducible subset is contained in an irreducible component; in particular every point lies on some component.
Integral schemes: an integral scheme is a nonempty scheme that is reduced and whose underlying topological space is irreducible.
Affine-overlap separation condition: an -scheme satisfies the affine-overlap separation condition if for every pair of affine opens over a common affine open of the intersection is affine and is surjective.
Affine-overlap criterion for separatedness: a morphism is separated if and only if it satisfies the affine-overlap separation condition of [F16].
The relative projective-space diagonal is closed: for every scheme and the diagonal of is a closed immersion; hence is separated.
Open and closed immersions are separated: every open immersion, every closed immersion and every immersion (locally closed immersion) of schemes is separated as a morphism.
Separated morphisms compose: a composite of separated morphisms is separated.
Separatedness survives base change: a base change of a separated morphism is separated.
Immersion of schemes: a morphism is an immersion (locally closed immersion) if it factors as an open immersion followed by a closed immersion.
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic prevariety over is a quasi-compact locally ringed space with a structure sheaf of -algebras covered by open subspaces isomorphic to affine models; it is separated when the equalizer of every pair of regular maps into it is closed, and a classical algebraic variety is a separated prevariety; varieties may be reducible or empty, and an irreducible classical variety is nonempty and irreducible.
Irreducible classical varieties and integral separated finite-type schemes: under AC, the closed-point construction and its inverse give an equivalence between irreducible classical -varieties and integral finite-type -schemes satisfying the affine-overlap separation condition; classical points correspond to closed points and classical regular maps to scheme -morphisms.
projective algebraic set and projective space points: for homogeneous , is a projective algebraic set, with conventionally equal to ; and with exactly when for some , so for every .
homogeneous polynomial and homogeneous ideal: a polynomial is homogeneous of degree if every occurring monomial has total degree , and an ideal is homogeneous if it contains all homogeneous components of its elements.
projective irreducibility homogeneous prime: over algebraically closed , a nonempty projective algebraic set is irreducible if and only if its homogeneous ideal of forms vanishing on is prime.
A polynomial ring in finitely many indeterminates over an integral domain is an integral domain: a polynomial ring in finitely many variables over a domain is a domain; in particular is a domain for the field .
A polynomial vanishing at every tuple from an infinite subdomain is the zero polynomial: if is a subring whose underlying set is infinite inside an integral domain and , , vanishes at all -points, then .
projective variety classical: a classical projective variety over is a nonempty irreducible projective algebraic set, understood with its standard affine charts.
Irreducibility via nonempty open subsets, connectedness and open subspaces: a space is irreducible if and only if it is nonempty and every two nonempty open subsets meet; equivalently, if and only if it is nonempty and every nonempty open subset is dense; a nonempty open subspace of an irreducible space is irreducible.
Smooth morphisms via local standard smooth presentations: a morphism of finite-type -schemes is smooth if every source point has affine neighbourhoods on which the induced ring map is standard smooth at that prime; the condition is local on the source and on the target, and it is imposed at every source point.
Restricting fibre products to open subschemes: fibre products commute with restriction to open subschemes; for an open immersion the base change is an open immersion with image the open subscheme (scheme intersection along ).
Scheme-theoretic fibre: for a morphism and a point with residue field , the scheme-theoretic fibre is .
Intersections of subschemes: the scheme-theoretic intersection of closed subschemes of a scheme is their fibre product over that scheme.
A section of an invertible sheaf has a canonical zero subscheme: for a section of an invertible sheaf on and a trivializing affine cover with , the affine schemes glue to a closed subscheme , canonical up to unique isomorphism over , using the ideal itself with no reducedness or nonzerodivisor hypothesis; on a trivializing chart is cut out by the local equation .
Dominant classical morphisms and rational maps: a morphism of classical varieties is dominant when its image is dense.
In a finite-type algebra over a field, closed points are dense in every closed subset of the spectrum, standard projective opens are affine spaces and Classical affine points are maximal ideals: for a finite-type -algebra , every nonempty open subset of a closed contains a closed point of ; the standard opens are affine spaces ; and for an affine algebraic set over algebraically closed the classical points correspond bijectively to maximal ideals, with residue field .
The spectrum of a Noetherian ring is a Noetherian topological space: under AC, for a Noetherian commutative ring the space is a Noetherian topological space.
Proof
Setup, indexing, and the parameter space. Put , so that by [F2] and [F3], and let , , be the incidence of [F3]; by [F3] clause (3) the morphism is smooth, so is a finite-type -scheme, and by the construction recorded in [F3] the scheme is a locally closed subscheme of .
The k-rational parameter space is an irreducible classical projective variety. By [F25] the space is nonempty, and is a projective algebraic set. Its homogeneous vanishing ideal is : if is homogeneous of positive degree and vanished at every point of , then the polynomial would vanish at every point of (a nonzero point gives , and in positive degree), so by [F29] applied with (the algebraically closed field is infinite) and , a contradiction. Since is prime by [F28] and is the homogeneous coordinate ring of [F26], [F27] shows that is irreducible; by [F30] it is a classical projective variety. Moreover is an integral finite-type -scheme: its standard affine charts are spectra of polynomial rings over by [F38], which are domains by [F28], so the nilradical ideal sheaf of [F9] vanishes on a chart cover and is reduced, and it is finite type over because the charts of [F38] give a finite affine cover by finitely generated -algebras [F12].
The incidence is regular, reduced and Noetherian. By [F3] clause (3) and [F8], the finite-type -scheme is smooth over the perfect field , so [F7] makes regular: every local ring is a regular local ring. Each such ring is a domain by [F6], hence reduced; therefore the nilradical ideal sheaf of [F9] has zero stalks, , and is a reduced scheme. By [F12] the finite-type morphism is quasi-compact and locally of finite type, so has a finite affine open cover by spectra of finitely generated -algebras ; each is Noetherian by [F10] since the field is Noetherian, so is a Noetherian scheme by [F11]. The underlying space is a Noetherian topological space: each is Noetherian by [F39], and a descending chain of closed subsets of restricts to descending chains in the finitely many charts, each of which stabilizes, whence the chain itself stabilizes.
Separatedness of the components. Since admits a locally closed immersion into a projective space [F22], is separated: the immersion is separated by [F19], the projective space is separated over by [F18], and separated morphisms compose by [F20]. The open subscheme is separated over by [F19] and [F20], is separated by [F18], so is separated by [F21] and [F20]; the locally closed subscheme of [F3] is therefore separated over by [F19] and [F20].
The hyperplane system and its base locus. Suppose now that , fix the locally closed immersion , let and let be the hyperplane system of [F2]. Then : if the restriction of every degree-one form vanished on , then would all vanish on , whence by [F25], contradicting . Also : for every point some standard chart of contains by [F38], and on that chart the restricted linear form is a unit at , so its zero subscheme does not contain and by [F2].
The finite component decomposition. By [F13] and step 1.3 the scheme has only finitely many irreducible components ; each is closed by [F14], and every point of lies on at least one by [F14]. By [F5] and step 1.3 every point of lies on exactly one irreducible component, so the are pairwise disjoint; since they are finitely many closed pairwise disjoint subsets, the complement of is the union of the remaining closed , hence is also open in . Give the open subscheme structure. Then each is irreducible and, as an open subscheme of the reduced scheme , reduced, hence integral by [F15]; it is finite type over as an open subscheme of the finite-type -scheme , smooth over because smoothness is local on the source [F32], and separated over because it is an open subscheme of the separated scheme of step 1.4, using [F19] and [F20].
The components and the parameter space as classical varieties. Each of step 2.1 is an integral finite-type -scheme, and by [F17] and [F16] the separatedness of from step 2.1 is exactly the affine-overlap separation condition; hence by [F24] and [F23] corresponds to an irreducible classical variety over , with classical points the closed points and with scheme -morphisms corresponding to regular maps. Similarly is an integral finite-type -scheme by step 1.2 and separated over by [F18], so by [F24] and [F23] it is an irreducible classical variety whose classical points are its closed points, and the restriction of [F3] is a -morphism of schemes, hence a morphism of classical varieties under [F24].
Target generic smoothness on the dominant components. Let be such that is dominant in the sense of [F37]. By step 3.1 the source and the target are irreducible classical varieties, is a morphism of classical varieties, and is smooth over ; so [F4] clause (2) applies and produces a nonempty open subvariety such that for every closed point , equivalently every classical point of by [F24], the scheme-theoretic fibre of [F34] is nonempty, smooth over , and of pure dimension .
The non-dominant components. For the component morphism of step 3.1, if it is not dominant, then by [F37] the image is not dense in , so its closure is a proper closed subset and is a nonempty open subset of ; by definition of the image, every point has empty fibre .
The common parameter open set. There are finitely many components, so the family of nonempty open sets consisting of the of step 4.1 for the dominant components and the of step 4.2 for the non-dominant components is finite; let be their intersection, an open subset of . By steps 1.2 and [F31], is irreducible, so any two of these nonempty open sets meet and, by induction on the finite list, ; if , so that there are no components, take . In either case is a nonempty open subset of . Distinct are disjoint by step 2.1, so for every point exactly one alternative of steps 4.1 and 4.2 applies to each component.
Smoothness of the incidence fibres over . Fix a closed point of and write for the scheme-theoretic fibre of [F34]; here by [F24], since classical points correspond to closed points and all classical points have residue field . Because the pairwise disjoint open subschemes cover by step 2.1, the open subschemes cover , and by [F33] each is canonically identified with the fibre of . For a dominant , with , this fibre is nonempty and smooth over by step 4.1; for a non-dominant , with , it is empty by step 4.2, and the empty scheme is smooth over . Smoothness is local on the source by [F32], so is smooth over .
Identification with the general member. By [F3] clause (2), the fibre of step 6.1 is isomorphic over to the zero subscheme of the section restricted to ([F36] and [F2]); hence is smooth over . This holds for every closed point and every representative , since depends only on by [F2]. That is the first assertion of the statement.
Non-vacuity of the parameter set in the classical reading. The set of step 5.1 is a nonempty open subset of the projective space over the algebraically closed field , and the standard charts of [F38] cover it, so is a nonempty open subset of an affine space for some ; by [F38] it contains a closed point of that affine spectrum, which by [F38] is a classical point of , hence by [F24] a closed point of the scheme . Thus contains closed points and the general-member statement of step 7.1 is not vacuous; in the classical dictionary of [F24] these are exactly the parameters .
Hyperplane sections of the fixed embedding. Here , so the first assertion, which is established by the argument of steps 1.1-7.1 applied with and , gives a nonempty open such that for every closed point the zero scheme is smooth over . Let be any degree-one form with ; on a standard affine chart trivializing , the zero scheme is cut out by the local equation of ([F36]) and the scheme-theoretic intersection is cut out by the same equation, because is defined by the dehomogenized form and is its restriction to the chart; so the two closed subschemes of agree by [F35] and [F36]. Hence the scheme-theoretic hyperplane sections of for parameters in are smooth over , which is the final assertion.
Boundary, choice, and scope dispositions. Empty: if then and no nonzero exists, so the theorem is vacuous; if but , then by [F3] clause (2) every fibre is empty and smooth, and one may take in step 5.1, so the statement holds; [F3] clause (4) and the same fibre identification give the parallel empty-member conclusion when . Zero: the parameter space is when , and its single member is empty on by the previous sentence; conversely, the incidence itself can be empty exactly when or , and in both cases the argument of step 5.1 uses the empty family of components. One: the case , , is included; nothing in the proof requires . Degenerate: is assumed neither irreducible nor connected nor of pure dimension, and the argument decomposes rather than ; the members may be reducible, empty, or non-reduced as ambient data, and no smoothness of outside is used. Endpoints: the proof covers in the final clause (where and is one-dimensional, ) and imposes no upper bound on or on ; the claimed open set may be all of the base-locus-free parameter space, and no density or dimension of the good locus beyond nonemptiness openness is asserted. Nonempty-choice: AC is declared in [F1] and is used exactly through the AC-assuming suppliers [F3] (incidence), [F4] (generic smoothness), [F5] (one-component lemma), [F7] (regularity versus smoothness), [F10] (Noetherianity routes), [F13]-[F14] (finitely many components), [F24] (the classical-scheme dictionary), [F38]-[F39] (closed points and Noetherian spectra), and [F18]-[F21] (separatedness); the finite choices of charts, bases and component indices and the fibre computations of steps 2.1, 6.1, 7.1, 1.5 and 8.2 are finite and add no choice principle. Both iff cases: the only biconditional invoked as a supplier is [F7] (regular if and only if smooth over the perfect field ), used in step 1.3 in the direction "smooth over implies regular"; the criterion [F17] is used in the direction "separated implies the affine-overlap condition" in step 3.1; and [F27] is used in the direction "the vanishing ideal is prime implies irreducibility" in step 1.2. No irreducibility, connectedness, dimension, or nonemptiness of the members is asserted, in accordance with the statement. This completes the proof.
Source qualification
Vakil, Classes 51-52, §3.9 Corollary (with §3.10-3.11) states Bertini for a finite-dimensional base-point-free linear system on a smooth -variety over an algebraically closed field of characteristic : almost every element, as a closed subscheme, is nonsingular over . Arapura, §5.4, Theorem 5.4.5, proves the hyperplane version on a nonempty open subset of the dual projective space by the incidence correspondence and notes that the statement is valid in every characteristic although the proof given works only in characteristic . The present item generalizes the base-point-free hypothesis by removing the base locus from the ambient scheme: the conclusion is smoothness of the whole zero scheme inside , for a nonempty open set of parameters, and the hyperplane case for a fixed immersion is recovered because the hyperplane system of an embedding has empty base locus. The proof is not copied from either source: it decomposes the incidence of The universal member away from the base locus into its finitely many irreducible components and applies the in-run target-side generic smoothness theorem Generic smoothness over a dense target open componentwise, which also delivers the statement that no dense part of a general member (rather than the whole base-locus-free part) is singular. Neither source asserts anything about the size of the good locus beyond open nonemptiness, about irreducibility or connectedness of the members, or about their dimension or nonemptiness, and neither claim is made here. The characteristic- hypothesis is used only through perfectness of and generic smoothness; the failure of the arbitrary base-point-free form of Bertini in positive characteristic is recorded on the examples page of this pair.
General hypersurfaces give smooth complete intersections
Statement
Assume the Axiom of Choice (The Axiom of Choice). Let be an algebraically closed field of characteristic and let be a nonempty smooth projective classical variety over of pure dimension (projective variety classical, Global and local dimension of classical varieties). Fix an integer and positive degrees . For each let be the space of degree- forms (homogeneous polynomial and homogeneous ideal) and let be its projective space of lines, the parameter space of degree- hypersurfaces (Linear systems, base loci, and general members); put the product of hypersurface parameter spaces, and for the empty tuple. For a tuple of nonzero forms let be the scheme-theoretic intersection inside (Intersections of subschemes); it depends only on the parameter point .
Then:
- (nonempty intersections) if there is a nonempty Zariski-open subset such that for every closed point of (equivalently, by Irreducible classical varieties and integral separated finite-type schemes, every classical parameter), with representatives , the closed subscheme is nonempty, smooth over (Smooth morphisms via local standard smooth presentations) and of pure dimension . For this says that itself is nonempty, smooth over and of pure dimension , with ;
- (empty intersections) if there is a nonempty Zariski-open subset such that for every closed point of , with representatives , one has .
No claim is made about the tuples outside , about the size or density of , about the irreducibility or connectedness of the members, or about singular .
Facts & Assumptions
Given: The Axiom of Choice; an algebraically closed field of characteristic ; a nonempty smooth projective classical variety of pure dimension ; an integer ; positive degrees ; the spaces of degree- forms, the parameter spaces , the product , and the scheme-theoretic intersections .
The Axiom of Choice: AC asserts that every family of nonempty sets has a choice function.
projective variety classical and Global and local dimension of classical varieties: a classical projective variety over is a nonempty irreducible projective algebraic set with its standard affine charts; for a classical variety with irreducible components and a closed point , , and has pure dimension if every component has dimension . An open subvariety of a variety is a variety, and the local dimension at a closed point of an irreducible variety of dimension equals .
projective algebraic set and projective space points: for homogeneous , , with and ; and with exactly when for some . By An algebraically closed field: every nonconstant polynomial has a root in the field, is infinite and has no nontrivial finite extensions.
homogeneous polynomial and homogeneous ideal: a polynomial is homogeneous of degree when every occurring monomial has total degree ; the degree- part of the polynomial ring is denoted , and it is a -vector space of finite dimension. If is homogeneous of degree and , then the ideal equals .
standard projective opens are affine spaces: for every , normalization of the -th coordinate identifies with , and transporting polynomial functions gives compatible regular-function structures; the opens cover .
Classical algebraic prevarieties, regular maps, and varieties: a classical algebraic prevariety over is a quasi-compact locally ringed space covered by open subspaces isomorphic to polynomial zero sets, its regular maps are the morphisms of locally ringed spaces, and a classical algebraic variety is a prevariety whose "equalizer of regular maps" separation condition holds; varieties may be reducible or empty, and closed subvarieties and nonempty open subvarieties of varieties are varieties.
Irreducible classical varieties and integral separated finite-type schemes: the closed-point construction and its inverse give an equivalence between irreducible classical -varieties and integral finite-type -schemes satisfying the affine-overlap separation condition; classical points correspond to closed points and classical regular maps to scheme -morphisms.
In a finite-type algebra over a field, closed points are dense in every closed subset of the spectrum, The closed points of the prime spectrum are exactly the maximal ideals, A maximal ideal of an affine algebra has finite residue field over the base field and Classical affine points are maximal ideals: for a finite-type -algebra and a closed , every nonempty open subset of contains a closed point of ; a prime of a commutative ring is closed in if and only if it is maximal; a maximal ideal of a finite-type -algebra has finite residue field, equal to when is algebraically closed; and for a classical affine algebraic set the classical points are the maximal ideals.
Smooth morphisms via local standard smooth presentations: a morphism of finite-type -schemes is smooth if every source point has affine neighbourhoods on which the induced ring map is standard smooth at that prime; the condition is local on the source and on the target and is imposed at every source point, and the structure morphism is smooth by the trivial standard smooth presentation.
Standard smooth presentations and locally standard smooth maps: a standard smooth presentation has a minor of the Jacobian matrix invertible in and relative dimension ; a polynomial algebra (the case ) is standard smooth of relative dimension .
Fields of characteristic zero, finite fields, and algebraically closed fields are perfect: every field of characteristic zero is perfect, and every algebraically closed field is perfect.
Regular equals smooth over a perfect field: for a perfect field and a finite-type -scheme , is regular (every local ring is regular local) if and only if is smooth under the convention of [F9].
Openness of the regular locus over a perfect field: for a perfect field and a finite-type -scheme , the regular locus is open in .
regular local rings are domains and cohen macaulay: a regular local ring is a domain (and Cohen-Macaulay).
Regular points of locally Noetherian schemes: for a point of a locally Noetherian scheme, is regular exactly when , where is the intrinsic Zariski tangent space of The intrinsic Zariski tangent space.
Local dimension for a reducible classical algebraic set: under AC, for a reduced classical finite-type space over algebraically closed and a closed point , equals the maximum of over the irreducible components of containing .
A Noetherian space is a finite union of irreducible closed subsets and Existence and basic properties of irreducible components: a Noetherian topological space has only finitely many irreducible components; every irreducible component is closed; every irreducible subset is contained in an irreducible component; and every point lies on an irreducible component.
Irreducibility via nonempty open subsets, connectedness and open subspaces: a space is irreducible if and only if it is nonempty and every two nonempty open subsets meet; a nonempty open subspace of an irreducible space is irreducible; and an irreducible subset contained in a finite union of closed subsets is contained in one of them (if with each closed and irreducible, then for some ).
Nonempty opens preserve irreducible dimension: a nonempty open subset of an irreducible classical variety has the same dimension as the variety, and a proper closed subvariety has strictly smaller dimension.
Affine and projective n-space have dimension n: for every , .
Intersections of subschemes: the scheme-theoretic intersection of finitely many closed subschemes of a scheme is their iterated fibre product and is cut out by the sum of their ideal sheaves; the empty intersection is the whole scheme.
Restricting fibre products to open subschemes: fibre products commute with restriction to open subschemes, so the restriction of a scheme-theoretic intersection to an open subscheme is computed there.
Linear systems, base loci, and general members: for a -scheme , an invertible -module and a nonzero finite-dimensional linear system , the parameter space is with the projective Zariski topology, independent of a basis; the base locus is closed; and for a fixed projective embedding the hyperplane system is the span of the restrictions of the degree-one forms.
projective irreducibility homogeneous prime: over algebraically closed , a nonempty projective algebraic set is irreducible if and only if its homogeneous vanishing ideal is prime. In particular is irreducible, since the vanishing ideal of is .
A finite-dimensional vector space over an infinite field is not a finite union of proper subspaces: for a finite-dimensional vector space over an infinite field , no finite family of proper linear subspaces of has union .
Nontrivial projective hypersurface sections: under AC, if is irreducible of dimension and is homogeneous of positive degree not vanishing identically on , then is nonempty and every irreducible component of it has dimension .
A degree-d homogeneous equation becomes a hyperplane section under Veronese: if and is a nonzero homogeneous polynomial of degree on , then the linear form whose coefficients are those of in the ordered Veronese coordinates satisfies for on underlying sets, and the proof of the item records the pointwise identity .
The degree-d Veronese map and The Veronese map is a well-defined closed immersion: for the map , over all degree- monomials, is a well-defined closed immersion of projective varieties.
Bertini smoothness away from the base locus: under AC, for algebraically closed of characteristic , a smooth finite-type quasi-projective -scheme (locally closed immersion into a projective space), an invertible -module and a nonzero finite-dimensional linear system with , base locus and , there is a nonempty Zariski-open such that for every closed point the zero scheme is smooth over ; in particular, for a fixed locally closed immersion with , the hyperplane system has empty base locus and there is a nonempty Zariski-open such that for every closed point the scheme-theoretic hyperplane section , for any degree-one form with , is smooth over .
Products of nonempty projective varieties exist as projective varieties: nonempty projective varieties and have a product, realized as their Segre image, and that product is a projective variety.
Projection from projective space over a variety is closed: under AC, for every classical variety and the projection is a closed map.
Equation rows and coordinate columns in an affine Jacobian and The Jacobian kernel computes the tangent space: for a finite-type affine -scheme and a -rational point with equation-row Jacobian of a chosen finite generating list of , the tangent space is canonically in , and the kernel is independent of the chosen generating list of the actual ideal.
Jacobian rank detects regularity at closed points: under AC, for with and a specified finite generating list of the actual ideal , and for a maximal ideal with : if is perfect then if and only if is regular local; at a -rational point the same equivalence holds for every field ; and if for a reduced classical affine algebraic set over algebraically closed and corresponds to a closed point , then . The generating list need not be minimal and need not be radical in the first two assertions.
Differentials of a polynomial quotient and the Jacobian cokernel and Tensoring is right exact: for with , the module is the cokernel of the transpose of the row-oriented Jacobian matrix of ; tensoring a cokernel presentation with a module preserves the cokernel, so the fibre dimension of at a point equals the source rank minus the rank of the Jacobian matrix over the residue field.
Relative differential-rank condition and Fibres of standard smooth algebras are regular of relative dimension: a standard smooth presentation of relative dimension presents as a free module of rank ; conversely the differential rank alone is not smoothness; and for a standard smooth -algebra with presentation of relative dimension , every irreducible component of the base-changed spectrum has dimension .
The submersion criterion between smooth varieties: under AC, for algebraically closed , smooth classical varieties over with their finite-type -scheme structures, a finite-type morphism and a classical closed point with : is smooth at if and only if is surjective; if these conditions hold, the scheme-theoretic fibre has a regular local ring at of dimension ; and for every such , whether or not it is smooth at , the fibre tangent space is canonically .
Differentials, open restriction, and the chain rule: a -open immersion induces a tangent-space isomorphism at every rational point; no finite-type, reducedness, or smoothness hypothesis is needed.
Zero-dimensional varieties are finite sets: a classical variety has if and only if its underlying set is finite; the empty set is included, and a nonempty irreducible variety of dimension zero is a point.
Locally finite type and finite type morphisms, Subalgebra generated by a subset, algebras of finite type, and module-finite algebras and Finite-variable polynomial algebras over fields are Noetherian by finite generators: finite-type -schemes are quasi-compact locally of finite type, their affine charts have finitely generated coordinate rings, and polynomial algebras in finitely many variables over a field are Noetherian, so ideals in the affine charts admit finite generating lists.
A section of an invertible sheaf has a canonical zero subscheme: a section of an invertible sheaf has a canonical closed zero subscheme, cut out on each affine trivializing chart by its local equation and independent of the chosen trivializations. By Closed immersions of schemes, a closed immersion is a homeomorphism onto its closed image with a surjective structure-sheaf map; composing two closed immersions again has both properties, since the direct image of the second surjection is surjective on stalks.
A polynomial vanishing at every tuple from an infinite subdomain is the zero polynomial: over an infinite field, a nonzero polynomial in finitely many variables cannot vanish at every field-valued tuple.
Proof
Setup and the dictionary. By [F1] AC is available. The field is algebraically closed of characteristic , hence perfect and infinite by [F3] and [F11]. By [F2] the variety is a nonempty irreducible projective algebraic set of pure dimension , so it is reduced by the definition in [F6]; under the equivalence [F7] the associated finite-type -scheme is integral and separated, with closed points corresponding to classical points and with residue field at every closed point. The structure morphism is smooth in the sense of [F9], so by [F12] every local ring of is regular, and since is irreducible with component of dimension , [F16] gives for every closed point ; by [F9] the nonempty open subvarieties are smooth over of pure dimension , and by [F19] they are irreducible of dimension .
The parameter spaces. For put , a finite-dimensional -vector space by [F4], and let be the space of lines with the projective Zariski topology of [F23]; choosing a basis identifies it with a projective space , whose dimension is . Its homogeneous vanishing ideal is : if a nonzero homogeneous polynomial vanished at every point of , it would vanish at every nonzero tuple of and also at the zero tuple when its degree is positive, contradicting the polynomial nonvanishing theorem [F41] over the infinite field ; a nonzero constant cannot vanish anywhere. The zero ideal is prime because the coordinate polynomial ring over is a domain [F4], so is a nonempty irreducible projective variety by [F2] and [F24]. Consequently is a nonempty classical projective variety for every , by [F30] applied iteratively, and is a one-point classical variety; the classical points of are exactly the lines with by [F23], and those of are the tuples of lines.
The intersection subschemes and their local equations. For let be the zero subscheme of the section of represented by , supplied by [F40]; on the standard chart is cut out by the dehomogenized form regarded as a polynomial in the coordinates of [F5]; the two dehomogenizations of on an overlap differ by the unit (with on the first chart), so the principal ideals agree and [F40] gives the well-defined closed subscheme with underlying set the classical hypersurface of [F3]; clearly for by [F4], so depends only on the line . For a tuple put , the scheme-theoretic intersection of closed subschemes of in the sense of [F21], a closed subscheme of depending only on the parameter point of [F23] in ; for the intersection is by the empty-family clause of [F21]. On the chart one has with a finite-type -algebra [F39], and by [F21] and [F22] the restriction of to is the closed subscheme , where is the dehomogenization of .
Closed points of the intersections. Let be any closed subscheme of finite type over , for instance , with the induced reduced projective algebraic set as its underlying space. A point is a closed point of if and only if : closedness of the singleton is local on the finite affine chart cover with finite type over [F5, F39], and on an affine finite-type -algebra a prime is maximal if and only if its residue field is finite over , hence equal to because is algebraically closed [F8]; moreover every nonempty open subset of contains a closed point of , because it meets some chart and [F8] supplies a closed point of that chart's spectrum, which has residue field and is closed in by the first assertion.
The case of no forms. If then by 1.2, the intersection is by 1.3, and is nonempty, smooth over and of pure dimension by hypothesis and [F2]; so exhibits claim 1 in this case.
The Veronese transfer of Bertini. Let be a nonempty closed subscheme which is smooth over of pure dimension (for instance an intersection produced below), let , and consider the degree- Veronese map of [F28]; the composite of the closed immersions is again a closed immersion by [F40]; write for its closed scheme image, which is isomorphic to by that composite, so is nonempty, smooth over of pure dimension , and it is the image of a closed immersion into . Applying the "in particular" clause of [F29] to the closed immersion produces a nonempty Zariski-open subset of the hyperplane parameter space of the embedding, such that for every closed point and every degree-one form with , the scheme-theoretic hyperplane section is smooth over . The coefficient assignment is a linear isomorphism from the space of linear forms on onto (both are -vector spaces with basis indexed by the degree- monomials), and by [F27] (applicable with , since ) the associated linear form of satisfies and ; comparing dehomogenized equations on the standard charts as in 1.3, the local equations identify with the fibre product over the isomorphism from [F40]; let be the subspace of forms restricting to zero on , the kernel of the -linear map , which is proper because , and let be the induced morphism. Then is defined on a nonempty open subset, it carries -rational points to -rational points because it is induced by a -linear map, and it is surjective because the composite is onto by definition of the hyperplane system as the span of the restricted coordinate forms. Hence is a nonempty open subset of , and every closed point is good: by the criterion of 1.4 the point has residue field , hence so does its image , so is a closed point of lying in , and the identification above together with [F29] makes smooth over .
The universal intersection and the nonemptiness locus. In the universal-intersection and defect-locus constructions all parameter-space and incidence loci are classical loci of -points; [F31] is applied only in that category. The open-set correspondence of [F7] on the irreducible parameter variety gives a scheme open with exactly the same closed points for each classical open constructed here. Every fibre assertion in the remainder of the proof is for a closed parameter , so . For let be the set of pairs with ; on a product of a standard chart of [F5] and affine charts of the factors (normalizing one coefficient of each form to ), the condition is cut out by the polynomial obtained by dehomogenizing , so is closed and so is the intersection . Put , a closed subset of : its fibre over a classical parameter is exactly the classical closed-point set of by [F21] and the local description of 1.3. The projection is a closed map: is closed in and nonempty [F2], is a classical variety [F30], so by [F31] the projection is closed, and a closed subset of the closed subset has closed image under its restriction; since is closed in , the image is closed, and its complement is open. Moreover whenever . For this is by the hypothesis on . Given any tuple of forms, begin with the irreducible closed set of dimension . Inductively, if and an irreducible closed set has dimension , then either vanishes identically on , in which case take , or [F26] gives a nonempty irreducible component of of dimension . In both cases and . Thus the final intersection is nonempty for every closed parameter tuple. Thus as classical loci for , which proves the required nonemptiness for every closed parameter. The emptiness locus for any is a classical open, hence corresponds to a scheme open by [F7]. [F2, F5, F8, F21, F26, F30, F31, F7, step 1.3, induction] 3.1 The dimension and nonemptiness step. Let and be as in 2.2, with , and let be the nonempty open set of 2.2, whose closed points are the forms with smooth over . The irreducible components of are finite in number and closed by [F17], each is a nonempty closed subvariety of of dimension [F2, F19] (pure dimension means every component has dimension ), and vanishes on exactly when , a proper linear subspace of : since , some coordinate function is nonzero at a point of , and then [F3, F4]; thus the set of forms not vanishing on any component of is the complement of finitely many proper closed subsets, hence open and nonempty by [F25]. Both and are nonempty open in the irreducible space of 1.2, so is nonempty and open by [F18], and by 1.4 (applied to the projective space ) it contains a closed point ; by 2.2 this satisfies that is smooth over , and in particular . For each , does not vanish on and , so [F26] gives that is nonempty and has all components of dimension ; every component of the finite union is contained in one of the closed pieces and contains a component of one of them, so by [F18] every component of has dimension exactly .
The rank defect locus is closed, so the full-rank locus is open. For , fix once and for all a finite generating list of the ideal of in each chart , possible by [F39]. On the product of such a chart with affine charts of all factors of , the dehomogenized forms and the are polynomials, and we differentiate only in the ambient coordinates, holding parameter coefficients constant, to obtain the rows of the combined Jacobian matrix of ; define to be the common zero locus of all , all and all minors of . This locus is closed in the product chart, since all displayed functions are polynomial there. At every classical pair , both residue fields equal . By [F34] the module of differentials of the chart ring of this fixed -fibre over is the cokernel of the transpose of , so its fibre dimension over equals (the rank of a matrix is unchanged by transposition); this number depends only on the point and the tuple , not on the chart or the chosen finite generating list, because and its base change do not. Hence the closed loci agree on overlaps and, closedness being local on an open cover, they glue to one closed subset : the locus of pairs with and . By the classical closed projection of step 2.3, is classically closed. Consequently its classical complement corresponds under [F7] to a scheme open , whose closed parameters are exactly those with no classical rank-defect pair. No assertion about for nonclosed parameters is used.
Existence of a good tuple for . We claim that for every there are forms , , such that is nonempty, smooth over and of pure dimension . For this is 1.1 and 2.1. For the induction step, let , so that is a nonempty closed subscheme of which is smooth over of pure dimension and reduced (regular by [F12], hence a domain at each local ring by [F14]); applying 2.2 and 3.1 with and produces such that is nonempty, smooth over and of pure dimension . In particular, for there is a tuple with nonempty, smooth over and of pure dimension .
Closed points of full-rank tuples are regular of dimension . Let be a closed point of , let be a closed point, and work in a chart containing with the notation of 3.2. Since , the rank of over (step 1.4) is at least ; on the other hand the -block has rank , because is smooth over hence regular at the rational point [F9, F12] and [F33] (rational-point clause together with the classical dimension clause, since by 1.1) gives , where is the maximal ideal of corresponding to , while the -block adds at most its rows; hence . By [F32] applied to the actual ideal of in the chart, whose finite generating list is , we get . Consider the morphism of classical varieties whose components are the dehomogenized forms ; its source and target are smooth over [F9], and its scheme-theoretic fibre over the origin is by 1.3. By [F36] the fibre tangent space at is , and by [F37] the open immersion induces an isomorphism of tangent spaces, so ; rank-nullity together with (from and [F15]) gives that is surjective, of rank [F20]. But then [F36] applies and shows that the fibre has a regular local ring at of dimension ; since is an open subscheme of , the local ring is regular of dimension .
The good tuple lies in the full-rank locus. Since , 4.1 provides a tuple with nonempty, smooth over and of pure dimension . By [F9] and [F10] each point has an affine neighbourhood on which is standard smooth at of some relative dimension ; by [F35] the module is free of rank there, and every component of that standard smooth affine neighbourhood has dimension , while those components are nonempty open pieces of the components of , all of dimension [F19]; hence and for every . Therefore no point of has the defect of 3.2, and .
Full-rank tuples with nonempty intersection are smooth. Let be a closed point of and suppose . By 4.2 every closed point of the finite-type -scheme is a regular point. The regular locus of is open by [F13]; if its complement were nonempty, then with its reduced closed-subscheme structure would be a nonempty closed subscheme of of finite type over , so 1.4 applied to would produce a point closed in , hence in because is closed in , a contradiction. Hence is regular, so is smooth by [F12] since is perfect [F11]; and is reduced because its local rings are regular, hence domains, by [F14].
Claim 2. Suppose . By 4.1 with (and 2.1 when ) there is a tuple with nonempty, smooth over and of pure dimension ; by [F38] the underlying set of is finite, say . For each the forms of vanishing at form a proper linear subspace: some coordinate function is nonzero at the closed point [F3], and then does not vanish there [F4]. Since the field is infinite [F3], [F25] provides vanishing at none of , and we choose arbitrary nonzero forms (for instance powers of coordinates), which exist because for ; then the underlying set of , being contained in , is empty, so . Therefore the open set of 2.3 is nonempty, which is claim 2.
Full-rank tuples with nonempty intersection have pure dimension . Let be a closed point of with ; then is reduced by 5.2, so [F16] applies at every closed point of and, together with 4.2, gives that the maximum of over the irreducible components of containing equals . Let be any irreducible component of (finitely many exist by [F17]): the open subset of is nonempty, because otherwise the irreducible would be contained in the finite union of the closed sets and hence in one of them by [F18], contradicting that components are maximal; by 1.4 applied in a chart meeting it, it contains a closed point of , which then lies on no component other than , so the maximum above is and . Hence every irreducible component of has dimension , i.e. is of pure dimension .
Claim 1. Let and put , the open full-rank locus of 3.2. It is nonempty because it contains the tuple of 4.1 by 5.1. For every closed point of the intersection is nonempty by 2.3, smooth over by 5.2 and of pure dimension by 6.1; this is claim 1, and for it is also the statement of 2.1.
Boundary, choice, and iff dispositions. Empty: the statement has ; for every member over is nonempty by 7.1, and for the members over the open set of 5.3 are empty, the empty scheme being allowed there. Zero: the case is the empty-tuple case of 2.1 with , and is covered by 4.1 and 5.3; for the conclusion is pure dimension , i.e. a finite nonempty set of closed points, consistent with [F38]. One: , , is the first induction step of 4.1, and the parabolas/hypersurface computations of the companion page are instances; no step requires . Degenerate: is irreducible of pure dimension and smooth, so no singular-source case arises; the members are allowed to be reducible or non-reduced as subschemes of , and no irreducibility, connectedness, or nonemptiness is asserted for tuples outside . Endpoints: the degrees and are arbitrary; , , and are all covered, and for the statement covers every , not merely . Nonempty-choice: AC is declared as [F1] and is used exactly through the AC-assuming suppliers [F7] (dictionary), [F8] (closed-point density and Nullstellensatz), [F12]-[F13] (regular versus smooth, openness of the regular locus), [F16] (componentwise local dimension), [F26] (hypersurface dimension drop), [F29] (Bertini), [F31] (closedness of the projection), [F33] (Jacobian criterion), [F35]-[F36] (standard smooth fibres and the tangent criterion), and [F38] (zero-dimensional varieties are finite); the finite choices of charts, generating lists, components, coefficients and forms in steps 1.3, 2.3, 3.1, 3.2, 5.1, 5.3 and 6.1 are finite and add no choice principle, and the linear algebra and differential computations are choice-free. Both iff cases: the biconditional [F12] is used in the direction "smooth implies regular" in 1.1, 4.1 and 4.2 and in the direction "regular implies smooth" in 5.2; the criterion [F36] is used in the direction "surjective differential implies smooth at " in 4.2 after the converse direction is only used through the kernel identification , which [F36] supplies for every such morphism; the Jacobian criterion [F33] is used in the rational-point direction "regular implies the rank formula" in 4.2 and in the perfect-field direction only through the same equivalence; the irreducibility criterion [F24] is used in the direction "vanishing ideal prime implies irreducible" in 1.2; and the Nullstellensatz facts [F8] are used in both directions in 1.4 to identify closed points with residue field . No claim is made about the size or density of the open sets , and the characteristic- hypothesis enters only through Bertini [F29] and the perfectness of [F11]. This completes the proof.
Source qualification
Vakil, Classes 51-52, §3.9 Corollary (with §3.10-3.11), proves Bertini for a single general member of a base-point-free linear system on a smooth variety over an algebraically closed field of characteristic , and Arapura, §5.4, states the complete-intersection version for hypersurfaces of prescribed degrees on a smooth projective variety. The present corollary is not copied from either source. Its first claim is proved here by the induction of steps 2.2, 3.1 and 4.1, which applies the in-run Bertini theorem Bertini smoothness away from the base locus to the Veronese image of the current intersection — this is the only way degree- forms enter, avoiding any use of the cohomology of twisting sheaves — and combines it with the componentwise dimension drop of Nontrivial projective hypersurface sections and the finite-union-of-subspaces lemma to keep every intersection nonempty and pure. The second and harder point, openness of the property in the full product of parameter spaces, is proved in steps 2.3, 3.2, 4.2, 5.1, 5.2 and 6.1 by a rank-defect argument: the locus where the Jacobian of the tuple fails to have the expected rank is closed, its image under the projection from the projective is closed, and on the complement the smooth-map criterion produces regular local rings of dimension , which openness of the regular locus and the local dimension formula upgrade to smoothness and purity. Neither source states openness in the product, and neither source makes any statement about the size of the good locus, about nonemptiness of members for being detectable on an open set, or about the characteristic-zero hypothesis beyond Bertini. The characteristic- assumption is used only through Bertini smoothness away from the base locus and perfectness of ; the positive-characteristic failure of the general-member statement is recorded on the companion examples page of this pair. The Veronese transfer in step 2.2 uses A degree-d homogeneous equation becomes a hyperplane section under Veronese only for the coefficient identity and the set equality ; the scheme-theoretic identification of with the fibre product is proved there by comparing local equations, since the library records the Veronese corollary only as a statement about underlying sets.
Conventions and hypotheses carried by this pair
Choice conventions. Every item of this pair that needs the Axiom of Choice declares it (The Axiom of Choice) and passes the assumption on through the cited suppliers; an item that does not name AC uses none of the choice-dependent results. No incompatible-axiom branch is opened anywhere on the pair.
Jacobians have equation rows, and the presentation does not matter. The Jacobian of Equation rows and coordinate columns in an affine Jacobian is read with one row per defining equation and one column per coordinate, for the actual defining ideal of the scheme, not for the ideal of its reduction. The kernel statement The Jacobian kernel computes the tangent space is proved for every finite generating list of that ideal, so no result of this pair depends on the chosen presentation; a proper subset is also covered if it still generates the same ideal; if it does not, the theorem does not identify its kernel with the tangent space of the original scheme, and the scheme-theoretic tangent space is not computed from a reduced ideal.
Dual numbers are used only at rational points. The identification of the intrinsic tangent space with the fibre of the dual-number points Tangent vectors at rational points are dual-number points is asserted at -rational points and at those points only. The intrinsic definition The intrinsic Zariski tangent space is the one used at a general scheme point, where no such identification is claimed; every statement of the pair names the kind of point it uses.
Tangent cones retain all initial forms. The tangent cone The scheme-theoretic tangent cone at a point is the spectrum of the full associated graded ring, without quotienting by nilpotents, and therefore remembers every initial form of the local equation. The scheme-theoretic linear span of the tangent cone shows that no proper linear closed subscheme contains this cone scheme-theoretically. The qualification is not cosmetic: the reduced cone can span strictly less than the tangent space. At the origin of the doubled line the reduced cone is the line , of dimension one, while the tangent space is two-dimensional. The examples page of this pair records the corresponding cone computations for plane curves, and no computation there replaces a scheme-theoretic cone by its reduced support.
Regularity is absolute; smoothness is relative. Regularity is a property of the local ring of a scheme at a point (Regular points of locally Noetherian schemes), while smoothness is a property of a morphism, here of the structure morphism to (Smooth morphisms via local standard smooth presentations). Purely inseparable field algebras separate regularity from smoothness shows that the two notions diverge over imperfect fields: the spectrum of , , is regular at its only point but not smooth over , and no equivalence between regularity and smoothness may be quoted without the perfectness hypothesis that the pair's perfect-field items carry.
Target-open generic smoothness needs a smooth source. The theorem Generic smoothness over a dense target open assumes the source smooth over ; that hypothesis is not decoration. The examples page of this pair records a dominant morphism of irreducible classical varieties over a smooth target whose source has a singular point in every fibre, so that no nonempty target open has smooth restriction. In positive characteristic the Frobenius phenomenon defeats the arbitrary base-point-free form of Bertini; the counterexample recorded on the examples page is stated for general linear systems and deliberately makes no claim about the embedded hyperplane-section case, so no item of this pair quotes it as such a claim.
Source notes
The Jacobian row and column convention, the tangent-cone construction from the associated graded ring, and the treatment of regularity as an absolute local condition follow Milne, Algebraic Geometry, Ch. 4 §§d–i. The positive- characteristic divergence between regularity and smoothness, and the Frobenius failure of Bertini for general linear systems, follow the source accounts read for the individual items; the exact locators are recorded on those items. This remark asserts no theorem of its own: it fixes which conventions and hypotheses the page's items actually use, and it points to the items that carry each claim.
5 · Examples, counterexamples and false statements
None yet.
Sources
- Milne, Algebraic Geometry, §4f, Proposition 4.29 and §4.30
- Stacks Project, Varieties, Section 33.16, tag 0B28
- J. S. Milne, Algebraic Geometry, v6.10, §4f, Proposition 4.29 and item 4.30
- The Stacks Project, Varieties, Section 33.16, tangent spaces (tag 0B28)
- J. S. Milne, Algebraic Geometry, v6.10, Ch. 1 §b Lemma 1.15; Ch. 4 §f item 4.30(d) and §g
- J. S. Milne, Algebraic Geometry, v6.10, §4f, Definitions 4.25 and 4.28, Propositions 4.27 and 4.29, and item 4.30
- J. S. Milne, Algebraic Geometry Chapter 10 supplement, §f, item 10.60
- J. S. Milne, Algebraic Geometry, v6.10, §4f, items 4.27–4.30, and Exercise 4-10
- Milne, Algebraic Geometry, §4d, Definition 4.22
- J. S. Milne, Algebraic Geometry, v6.10, §4d Definition 4.22 and §4f Proposition 4.26
- J. S. Milne, Algebraic Geometry, v6.10, §4e Lemma 4.24 and §4f item 4.31
- Donu Arapura, Algebraic Geometry, Lemma 5.1.5
- J. S. Milne, Algebraic Geometry, v6.10, Exercise 4-4 and its solution
- J. S. Milne, Algebraic Geometry, v6.10, §4i, Theorem 4.44 and Corollary 4.45
- J. S. Milne, Algebraic Geometry, Ch. 10 supplement, §f, 10.58–10.59
- Milne, Algebraic Geometry, §3c notes 3.13–3.14 and §4i, proof of Corollary 4.45
- Milne, Algebraic Geometry Chapter 10 supplement, §§10.54–10.56
- J. S. Milne, Algebraic Geometry, v6.10, §4i, Theorem 4.44, with its cited arguments in 4.36 and 3.45
- J. S. Milne, Algebraic Geometry, v6.10, §4h, Definition 4.35; §4i, Corollary 4.45
- J. S. Milne, Algebraic Geometry v6.10, §4d, Definition 4.23 and Jacobian-rank discussion (printed pp. 87–88; PDF pp. 86–87), and §4i, Corollary 4.45 (printed p. 97)
- J. S. Milne, Algebraic Geometry Chapter 10 supplement, §f, items 10.58 and 10.60–10.64
- The Stacks Project, Algebra Lemma 10.140.4 (tag 00TU), separable-residue cotangent injection
- The Stacks Project, Algebra Lemma 10.140.5 (tag 00TV), regularity and smoothness with separable residue field
- J. S. Milne, Algebraic Geometry v6.10, §4a Definition 2.1 and Examples 4.5–4.6; §4d Definitions 4.22–4.23 and the hypersurface Jacobian criterion; §4h Definition 4.35
- J. S. Milne, Algebraic Geometry, v6.10, §4i, proof of Corollary 4.45, printed p. 97
- J. S. Milne, Algebraic Geometry, v6.10, §4h, Theorem 4.37 (printed p. 95; PDF p. 94)
- The Stacks Project, Varieties Lemma 33.25.8 (tag 0B8X), regular locus equals smooth locus over a perfect field
- Milne, Algebraic Geometry, §3k Propositions 3.36–3.38 and §4h proof of Theorem 4.37
- J. S. Milne, Algebraic Geometry, v6.10, §4h, Theorem 4.37 (printed p. 95, PDF p. 94)
- J. S. Milne, Algebraic Geometry, v6.10, §4h, Corollaries 4.38-4.40 (printed p. 95)
- Donu Arapura, Notes on Basic Algebraic Geometry, §5.2, Corollary 5.2.4 (homogeneous regularity)
- The Stacks Project, Varieties, Definition 33.12.1 and Lemmas 33.12.3 and 33.12.6 (tag 038S)
- The Stacks Project, Varieties Lemma 33.12.3 (tag 038V), affine chart criterion for geometric regularity
- The Stacks Project, Varieties Lemma 33.12.6 (tag 038X), geometric regularity and smoothness at a point
- The Stacks Project, Algebra Lemma 10.166.1 (tag 0381), finite purely inseparable field test
- J. S. Milne, Algebraic Geometry, Chapter 10 supplement, §f, item 10.64 (printed p. 18; PDF page 18)
- The Stacks Project, Varieties, Example 33.12.7 (tag 038S): $\operatorname{Spec}(k[x]/(x^p-t))$ is a regular variety that is not geometrically reduced
- J. S. Milne, Algebraic Geometry, v6.10, §4g, tangent cones and Proposition 4.34
- J. S. Milne, Algebraic Geometry Chapter 10 supplement, Definitions 10.69–10.71
- The Stacks Project, Section 27.7, Cones, Definitions 27.7.1–27.7.2 (tag 062P)
- J. S. Milne, Algebraic Geometry, v6.10, §4g, warning before Proposition 4.34 and Proposition 4.34
- J. S. Milne, Algebraic Geometry, Ch. 10 supplement, §f, Definitions 10.69–10.70
- J. S. Milne, Algebraic Geometry, v6.10, §4g, Proposition 4.34
- J. S. Milne, Algebraic Geometry Chapter 10 supplement, §f, Definitions 10.69–10.71
- J. S. Milne, Algebraic Geometry, v6.10, §4b, Definition 4.9 and following multiplicity paragraph
- J. S. Milne, Algebraic Geometry v6.10, §4b, Definition 4.9 and following multiplicity paragraph
- J. S. Milne, Algebraic Geometry, Chapter 10 supplement (AG10), §f, items 10.58 and 10.64
- Ravi Vakil, Foundations of Algebraic Geometry, Classes 51–52, §2.8
- The Stacks Project, Morphisms of Schemes, Lemmas 29.35.4–5 and 29.35.11 (tag 01V4)
- J. S. Milne, Algebraic Geometry v6.10, §5j, Proposition 5.35
- Stacks Project, Algebra, Lemma 10.137.16 (tag 00TF)
- Ravi Vakil, Foundations of Algebraic Geometry, Classes 51–52, §§1.2, 1.9, 2.12
- Ravi Vakil, Foundations of Algebraic Geometry, Classes 51–52, §2.2, Trickier Exercise
- The Stacks Project, Algebra Lemma 10.128.2 (tag 07DY), regular parameters mapping to a regular sequence imply flatness
- J. S. Milne, Algebraic Geometry, v6.10, Exercise 4-2 (printed pp. 98-99) with its solution (printed p. 222)
- J. S. Milne, Algebraic Geometry, v6.10, Exercise 4-3 (printed p. 98) with its solution (printed p. 222)
- Ravi Vakil, MATH 216 (2005-06), Classes 51-52, §3.1, Proposition 3.1 (generic smoothness in the source) and its proof
- Ravi Vakil, MATH 216 (2005-06), Classes 51-52, §3.1, Proposition 3.1 (generic smoothness in the source) with proof
- Ravi Vakil, MATH 216 (2005-06), Classes 51-52, §3.4 (Lemma on the dimension of the critical image) with proof
- Ravi Vakil, MATH 216 (2005-06), Classes 51-52, §3.3, Theorem 3.3 (generic smoothness in the target) with proof
- Donu Arapura, Notes on Basic Algebraic Geometry, Theorem 5.4.2 (Bertini-Sard), printed p. 34
- Vakil, Foundations of Algebraic Geometry Classes 51–52, §3.9 Corollary 3.9, p. 10
- Vakil, Foundations of Algebraic Geometry Classes 51–52, §3.9 Corollary 3.9, printed p. 10
- Arapura, Notes on Basic Algebraic Geometry, §5.4 hyperplane parameterization and Theorem 5.4.5, printed pp. 38–39
- Donu Arapura, Notes on Basic Algebraic Geometry, proof of Theorem 5.4.5, printed p. 39
- Ravi Vakil, Foundations of Algebraic Geometry, Classes 51–52, §3.9, printed pp. 9–11
- Ravi Vakil, MATH 216 (2005-06), Classes 51-52, §3.9 Corollary and §3.11 (Bertini), printed pp. 10-11
- Donu Arapura, Notes on Basic Algebraic Geometry, §5.4 Theorem 5.4.5 and its proof, printed pp. 38-39
- Donu Arapura, Notes on Basic Algebraic Geometry, §5.4, Theorem 5.4.5 and the discussion preceding it, printed pp. 38–39; general hypersurface statement on p. 39
- Ravi Vakil, MATH 216 (2005-06), Classes 51–52, §3.9 Corollary and §3.10–3.11, printed pp. 10–11
- Robin Hartshorne, Algebraic Geometry, Chapter II, Theorem 8.18 and Chapter III, Corollary 10.9
- J. S. Milne, Algebraic Geometry, Ch. 4 §§d–i (Jacobians, tangent cones, regularity)
- Donu Arapura, Notes on Basic Algebraic Geometry, §5.4