Nash blowing-up¶

Replace a singular variety by the closure of the graph of its smooth-point tangent-space map, retaining each singular point together with the limiting tangent spaces approached nearby.

Version: v2 · 2026-08-30 · History
Domain-specific #: 2349
Origin domain: algebraic geometry
Subdomain: birational modification of singularities

Core Idea¶

The Nash blowing-up of a pure-dimensional variety is the closure of the graph of the map sending each smooth point to its tangent space, equipped with the projection back to the variety.^[1] The smooth locus records a unique tangent plane at every regular point; closing its graph over singular points adds precisely the tangent planes that arise as limits along nearby smooth points and produces a proper birational modification.

Its autonomous residual is the tangent-graph closure and its birational projection, not generic blow-up terminology, the ordinary blow-up at one arbitrarily chosen ideal, or a complete resolution of every singularity. The identity fails when tangent spaces are assigned arbitrarily at singular points, the graph is not closed, a mixed-dimensional carrier is used without modification, embedding coordinates are treated as identity-bearing, or the operation is promised to resolve all singularities in one step.

Recognition requires an analyst to declare reducedness and pure dimension, identify the smooth locus and tangent-plane target, take scheme-theoretic closure under the chosen convention, verify the projection and birational behavior, and separate intrinsic independence from the presentation in one embedding. Once established, it supports studying limiting tangent spaces, detecting smoothness in characteristic zero, connecting Jacobian ideals to modifications, iterating curve desingularization, and formulating higher or relative Nash constructions without turning those uses into the definition.

Structural Signature¶

Carrier: a reduced pure-dimensional algebraic variety, its smooth locus, and the Grassmann bundle of tangent planes in a smooth ambient embedding or an equivalent intrinsic construction
Inputs or antecedent state: variety, pure dimension, smooth locus, tangent-space map, Grassmannian, graph closure, projection to the original variety, embedding choice, Jacobian ideal, and base-field characteristic
Constitutive operation: The smooth locus records a unique tangent plane at every regular point; closing its graph over singular points adds precisely the tangent planes that arise as limits along nearby smooth points and produces a proper birational modification
Invariant: the modified space is the graph closure of the smooth-locus Gauss map and its morphism to the original variety restricts to an isomorphism over the smooth locus
Recognition test: declare reducedness and pure dimension, identify the smooth locus and tangent-plane target, take scheme-theoretic closure under the chosen convention, verify the projection and birational behavior, and separate intrinsic independence from the presentation in one embedding
Output or consequence: studying limiting tangent spaces, detecting smoothness in characteristic zero, connecting Jacobian ideals to modifications, iterating curve desingularization, and formulating higher or relative Nash constructions
Failure boundary: tangent spaces are assigned arbitrarily at singular points, the graph is not closed, a mixed-dimensional carrier is used without modification, embedding coordinates are treated as identity-bearing, or the operation is promised to resolve all singularities in one step

What It Is Not¶

It is not the whole field of algebraic geometry; many objects in that field do not satisfy its constitutive rule.
It is not its canonical example. For an embedded variety, map every nonsingular point to the pair consisting of that point and its tangent plane in the appropriate Grassmannian, then take the closure of that graph. That is an instance, not a definition.
It is not Blow-up. Blow-up is a broad birational construction centered on an ideal or subscheme. The Nash blow-up is canonically specified through limiting tangent spaces and only under hypotheses admits particular Jacobian-ideal presentations.
It is not an unrestricted metaphor. In characteristic zero Nobile's smoothness criterion gives strong detection behavior, while positive characteristic admits failures; repeated Nash blow-ups resolve curves in characteristic zero but do not constitute a universal one-step resolution theorem

Scope of Application¶

Nash blowing-up applies when the analyst can specify a reduced pure-dimensional algebraic variety, its smooth locus, and the Grassmann bundle of tangent planes in a smooth ambient embedding or an equivalent intrinsic construction and establish that the modified space is the graph closure of the smooth-locus Gauss map and its morphism to the original variety restricts to an isomorphism over the smooth locus. The entry states a descriptive algebraic-geometric construction. It does not present software commands, a computational attack surface, or a laboratory procedure.^[2]

Recognition. declare reducedness and pure dimension, identify the smooth locus and tangent-plane target, take scheme-theoretic closure under the chosen convention, verify the projection and birational behavior, and separate intrinsic independence from the presentation in one embedding
Comparison. Compare legitimate instances through dimension, smooth locus, embedding, Grassmannian, tangent limit, graph closure, exceptional fiber, Jacobian ideal, properness, birationality, iteration, and characteristic.
Boundary. In characteristic zero Nobile's smoothness criterion gives strong detection behavior, while positive characteristic admits failures; repeated Nash blow-ups resolve curves in characteristic zero but do not constitute a universal one-step resolution theorem
Use. Preserve every assumption when using the identity for studying limiting tangent spaces, detecting smoothness in characteristic zero, connecting Jacobian ideals to modifications, iterating curve desingularization, and formulating higher or relative Nash constructions.

Clarity¶

A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because Nash blow-up, Nash modification, and Nash blowing-up are near-synonyms, while higher Nash blow-ups and Nash's arc-space problem are related but distinct objects. The disciplined statement is that the object counts as Nash blowing-up exactly when the modified space is the graph closure of the smooth-locus Gauss map and its morphism to the original variety restricts to an isomorphism over the smooth locus

Identity and measurement remain separate. Computations with charts or Jacobian minors can exhibit a presentation, but equality with the intrinsic graph closure and claims of smoothness or resolution require proofs under explicit hypotheses. Approximation or noisy evidence may weaken a classification without changing its definition.

Manages Complexity¶

The abstraction compresses classical and higher Nash blow-ups, algebraic and analytic varieties, intrinsic and embedded presentations, curve and higher-dimensional cases, Jacobian descriptions, and characteristic-dependent behavior into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.

Compression can hide assumptions. A responsible use therefore declares dimension, smooth locus, embedding, Grassmannian, tangent limit, graph closure, exceptional fiber, Jacobian ideal, properness, birationality, iteration, and characteristic and returns to the full diagnostic whenever a convention or boundary case changes.

Abstract Reasoning¶

Type the carrier. Establish a reduced pure-dimensional algebraic variety, its smooth locus, and the Grassmann bundle of tangent planes in a smooth ambient embedding or an equivalent intrinsic construction and reject examples from a different problem.
Lock the rule. Express that the modified space is the graph closure of the smooth-locus Gauss map and its morphism to the original variety restricts to an isomorphism over the smooth locus independently of one notation or implementation.
Derive carefully. Infer studying limiting tangent spaces, detecting smoothness in characteristic zero, connecting Jacobian ideals to modifications, iterating curve desingularization, and formulating higher or relative Nash constructions only under the stated assumptions.
Stress-test. Contrast the legitimate boundary case—In characteristic zero Nobile's smoothness criterion gives strong detection behavior, while positive characteristic admits failures; repeated Nash blow-ups resolve curves in characteristic zero but do not constitute a universal one-step resolution theorem—with this counterexample: blowing up an arbitrary closed point of a smooth surface is a birational modification but is not its Nash blow-up because it is not generated by failure of the smooth tangent-space map.

Knowledge Transfer¶

Transfer within algebraic geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from For an embedded variety, map every nonsingular point to the pair consisting of that point and its tangent plane in the appropriate Grassmannian, then take the closure of that graph. to For a complete-intersection presentation, the Nash blow-up can be related to a blow-up governed by maximal minors of a Jacobian matrix. demonstrates that continuity.^[3]

Outside the domain, only the skeleton—complete a partially defined structural annotation by closing its graph and retain every limiting annotation over points where uniqueness fails—travels automatically. The terms variety, smooth locus, tangent space, Gauss map, Grassmannian, graph closure, birational morphism, exceptional fiber, Jacobian ideal, and singularity retain domain-specific meanings, so every role and inference must be revalidated.

Examples¶

Canonical¶

For an embedded variety, map every nonsingular point to the pair consisting of that point and its tangent plane in the appropriate Grassmannian, then take the closure of that graph. Over a singular point the fiber can contain several limiting tangent planes, recording directional information absent from the point alone while leaving the smooth locus unchanged. It is canonical because the carrier, rule, invariant, and consequence are all inspectable.^[1]

Mapped back: a reduced pure-dimensional algebraic variety, its smooth locus, and the Grassmann bundle of tangent planes in a smooth ambient embedding or an equivalent intrinsic construction → The smooth locus records a unique tangent plane at every regular point; closing its graph over singular points adds precisely the tangent planes that arise as limits along nearby smooth points and produces a proper birational modification → the modified space is the graph closure of the smooth-locus Gauss map and its morphism to the original variety restricts to an isomorphism over the smooth locus → studying limiting tangent spaces, detecting smoothness in characteristic zero, connecting Jacobian ideals to modifications, iterating curve desingularization, and formulating higher or relative Nash constructions

Applied / In Practice¶

For a complete-intersection presentation, the Nash blow-up can be related to a blow-up governed by maximal minors of a Jacobian matrix. This algebraic description enables calculations but depends on the relevant hypotheses and does not turn an arbitrary Jacobian blow-up into the definition in every setting. It qualifies only after the same diagnostic and failure boundary are checked.^[2]

Mapped back: declared instance → recognition test → boundary check → qualified use

Structural Tensions¶

T1: Exact identity vs. practical recognition. The constitutive condition may be exact while evidence is indirect. Diagnostic: Can the reviewer state both the condition and the warrant?
T2: Canonical form vs. variants. classical and higher Nash blow-ups, algebraic and analytic varieties, intrinsic and embedded presentations, curve and higher-dimensional cases, Jacobian descriptions, and characteristic-dependent behavior can preserve or change the identity. Diagnostic: Which named role is invariant across the variants?
T3: Compression vs. hidden assumptions. The label is useful only while prerequisites remain visible. Diagnostic: Can each downstream inference be traced to a declared assumption?
T4: Autonomy vs. reduction. The candidate uses broader structures but claims the tangent-graph closure and its birational projection, not generic blow-up terminology, the ordinary blow-up at one arbitrarily chosen ideal, or a complete resolution of every singularity. Diagnostic: Does that residual still support independent recognition after the parent and neighbors are subtracted?

Structural–Framed Character¶

The entry is structurally mixed but domain-framed. Its portable skeleton is complete a partially defined structural annotation by closing its graph and retain every limiting annotation over points where uniqueness fails; its identity-bearing terms are variety, smooth locus, tangent space, Gauss map, Grassmannian, graph closure, birational morphism, exceptional fiber, Jacobian ideal, and singularity. Those terms determine admissible objects, evidence, and consequences inside algebraic geometry.

Structural Core vs. Domain Accent¶

The structural core is a carrier governed by The smooth locus records a unique tangent plane at every regular point; closing its graph over singular points adds precisely the tangent planes that arise as limits along nearby smooth points and produces a proper birational modification and tested by declare reducedness and pure dimension, identify the smooth locus and tangent-plane target, take scheme-theoretic closure under the chosen convention, verify the projection and birational behavior, and separate intrinsic independence from the presentation in one embedding. The domain accent is constitutive rather than decorative, so an analogy that preserves only the skeleton is not another instance of Nash blowing-up.

The proposed strict upward parent is prime:transformation. The candidate is literally a rule-governed mapping from a variety to a birationally modified output that preserves the smooth locus; tangent-graph closure supplies the autonomous specialization. The edge is proposal-only and points to a frozen prior-baseline Prime.

The entry does not collapse into the parent because the tangent-graph closure and its birational projection, not generic blow-up terminology, the ordinary blow-up at one arbitrarily chosen ideal, or a complete resolution of every singularity A thematic neighbor is declined whenever it does not literally subsume that rule.

The prospective workspace queue contains one strict upward edge to prime:transformation. No live DAG mutation is authorized.

Relationships to Other Abstractions¶

Current abstraction Nash blowing-up Domain-specific

Parents (1) — more general patterns this builds on

Nash blowing-up is a kind of Transformation Prime

The proposed strict upward parent is prime:transformation.

Hierarchy path (1) — routes to 1 parentless root

Nash blowing-up → Transformation → Function (Mapping)

Neighborhood in Abstraction Space¶

Nash blowing-up sits in a moderately populated region (54^th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.

Family — Varieties, Morphisms & Birational Geometry (12 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Ordinary blow-up. Is defined from a chosen ideal or center and need not encode limiting tangent spaces.
Resolution of singularities. Seeks a smooth replacement; a Nash blow-up can remain singular.
Gauss map. The smooth-locus tangent map whose graph is closed, rather than the resulting modification.
Normalization. Makes a variety normal by integral closure and has a different universal property.

References¶

[1] John F. Nash Jr., 'Arc Structure of Singularities,' Duke Mathematical Journal 81(1), 31–38 (1995). registry ↩a ↩b

[2] A. Nobile, 'Some Properties of the Nash Blowing-Up,' Pacific Journal of Mathematics 60(1), 297–305 (1975), DOI 10.2140/pjm.1975.60.297. registry ↩a ↩b

[3] Takehiko Yasuda, 'Higher Nash Blowup,' Compositio Mathematica 143(6), 1493–1510 (2007), DOI 10.1112/S0010437X07002938. registry ↩