Real Oriented Blowup in Manifolds

• Real oriented blowup is an operation that replaces a center by its oriented normal directions, explicitly encoding asymptotic and boundary geometry.
• It employs combinatorial refinements of monoidal complexes to control boundary homogeneities and implement both ordinary and weighted blow-ups.
• Its applications span toroidal, logarithmic, real algebraic, and symplectic geometries, providing a unified framework for resolving singularities and capturing directional data.

Searching arXiv for the specified paper and closely related work on real oriented blowup. Real oriented blowup is the operation that replaces a center by its oriented normal directions. In the manifold-with-corners framework, the ordinary blow-up of a boundary face $F\subset X$ is

$[X;F]=(X\setminus F)\cup SN_+F,$

where $SN_+F\to F$ is the inward-pointing spherical normal bundle; the new front face is a boundary hypersurface fibred over $F$ with simplex fiber. In the generalized theory, this construction is encoded combinatorially by a smooth refinement of the basic monoidal complex, so ordinary and inhomogeneous blow-ups become particular instances of a broader class of blow-down maps characterized by properness, interior diffeomorphism, and an everywhere bijective $b$-differential (Kottke et al., 2011). In toroidal and logarithmic geometry, the same idea appears as a canonical cutting operation along a boundary divisor, replacing divisorial strata by $S^1$- or torus-fibers and producing manifolds with boundary or corners (Popescu-Pampu, 16 Jul 2025).

1. Classical local picture and boundary-face blowup

The basic model in one complex dimension is the polar-coordinate map

$$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$

This is the real oriented blowup of $\mathbb{C}$ at $0$: it is surjective, a homeomorphism over $\mathbb{C}^*$, and replaces the point $[X;F]=(X\setminus F)\cup SN_+F,$0 by the circle $[X;F]=(X\setminus F)\cup SN_+F,$1 of oriented directions. The non-oriented real blowup instead identifies opposite directions and gives a Möbius band; the oriented version gives an annulus. In higher dimensions, the product map

$[X;F]=(X\setminus F)\cup SN_+F,$2

is the real oriented blowup along the union of coordinate hyperplanes, and a simple normal crossings divisor is treated locally in this manner by separating radial variables from angular variables (Popescu-Pampu, 16 Jul 2025).

For manifolds with corners, the center is typically a boundary face rather than an interior submanifold. If $[X;F]=(X\setminus F)\cup SN_+F,$3 is a codimension-$[X;F]=(X\setminus F)\cup SN_+F,$4 face, local coordinates may be chosen so that

$[X;F]=(X\setminus F)\cup SN_+F,$5

in

$[X;F]=(X\setminus F)\cup SN_+F,$6

The ordinary blow-up $[X;F]=(X\setminus F)\cup SN_+F,$7 is covered by $[X;F]=(X\setminus F)\cup SN_+F,$8 charts in which one coordinate serves as a radial variable and the others become ratios such as $[X;F]=(X\setminus F)\cup SN_+F,$9. In the simplest quadrant example $SN_+F\to F$0, blowing up the origin yields two charts with

$SN_+F\to F$1

so the corner is replaced by an interval of directions. This is the standard real oriented blowup in Melrose’s $SN_+F\to F$2-calculus coordinates (Kottke et al., 2011).

The geometric content is uniform across these settings. A singular or degenerate locus is replaced by a boundary carrying directional data, and the blow-down map is the identity away from the center and collapses the new boundary onto it. What changes from one context to another is the ambient category: topological manifolds with boundary, manifolds with corners and $SN_+F\to F$3-geometry, embedded real algebraic surfaces, toroidal varieties, or symplectic manifolds with real structure.

2. $SN_+F\to F$4-geometry, monoidal complexes, and combinatorial control

In the generalized theory for manifolds with corners, the organizing structure is the basic monoidal complex. If $SN_+F\to F$5 has embedded boundary hypersurfaces and $SN_+F\to F$6 is a boundary face, its basic monoid is

$SN_+F\to F$7

For $SN_+F\to F$8, the inclusion $SN_+F\to F$9 identifies $F$0 as a face of $F$1. The collection $F$2 is the basic monoidal complex of $F$3. It records, face by face, the inward-pointing $F$4-normal directions and their incidence relations (Kottke et al., 2011).

A $F$5-map $F$6 is a smooth map respecting boundary ideals: $F$7 Locally,

$F$8

Its $F$9-differential acts on the normal generators by the exponent matrix, inducing monoid homomorphisms

$b$0

and hence a morphism of monoidal complexes

$b$1

The combinatorics of exponents therefore determines how boundary homogeneities transform under $b$2 (Kottke et al., 2011).

A generalized blow-up of $b$3 is specified by a smooth refinement $b$4. For each monoid $b$5 there is a corresponding boundary face $b$6, and inclusion of monoids corresponds to reverse inclusion of faces. The existence theorem states that from such a refinement one obtains a manifold with corners $b$7, with

$b$8

together with a unique blow-down map $b$9 that is a diffeomorphism on interiors and has bijective $S^1$0-differential everywhere. Conversely, every generalized blow-down map arises from such a refinement (Kottke et al., 2011).

This shifts the notion of blowup from a purely local coordinate operation to a classified geometric object. The choice of refinement determines which notion of homogeneity is realized at each new boundary hypersurface.

3. Ordinary, weighted, and generalized boundary blowups

Ordinary blow-up is the homogeneous case. If $S^1$1 is given locally by $S^1$2, the relevant element of the basic monoid is

$S^1$3

The ordinary blow-up is induced by the star subdivision of $S^1$4 along $S^1$5, and globally

$S^1$6

The front face is a simplex bundle over $S^1$7, corresponding to projectivized positive normal directions (Kottke et al., 2011).

The inhomogeneous case assigns integer weights

$S^1$8

and replaces $S^1$9 by

$$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$0

Locally, the resulting smooth structure is generated not only by ordinary smooth functions but also by fractional-power quotients such as

$$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$1

This realizes anisotropic scaling at the blown-up boundary. Ordinary and inhomogeneous blow-ups are therefore both star subdivisions of monoids; the distinction is whether the inserted ray is the unweighted sum or a weighted one (Kottke et al., 2011).

Generalized blow-ups extend beyond iterated classical radial blowups. In codimension at least $$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$2, there are smooth refinements that are not obtainable by iterated star subdivisions along a single vector or a sequence of such subdivisions. The theory therefore includes smoothings of simplicial but non-smooth monoids and refinements tailored to binomial varieties and fiber products. A plausible implication is that “blowup” in this setting is better understood as a controlled change of corner combinatorics than as a fixed geometric replacement recipe.

4. Universal properties, binomial varieties, and fiber products

Generalized blow-up has a precise mapping property. If $$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$3 is an interior $$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$4-map and its induced monoidal morphism factors through a refinement

$$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$5

then there is a unique lifted $$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$6-map $$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$7 such that $$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$8 and $$\tau_{\mathbb{C}}:\mathbb{R}_{\ge 0}\times S^1\to\mathbb{C},\qquad (r,u)\mapsto ru.$$9. If the factorization fails on the nose, one can instead blow up the domain: the fiber product of monoidal complexes

$\mathbb{C}$0

governs a minimal generalized blow-up $\mathbb{C}$1 through which $\mathbb{C}$2 lifts. When this fiber product is not already smooth, one passes to a smooth refinement of it. This is the weaker universal property requiring blow-up of the domain (Kottke et al., 2011).

The same formalism controls fiber products of $\mathbb{C}$3-maps. For $\mathbb{C}$4, the relevant transversality notion is $\mathbb{C}$5-transversality: $\mathbb{C}$6 Under this condition, the set-theoretic fiber product decomposes into pieces $\mathbb{C}$7, each an interior binomial subvariety. Locally such a variety is defined by monomial equalities

$\mathbb{C}$8

together with equations $\mathbb{C}$9, and it carries its own monoidal complex $0$0 (Kottke et al., 2011).

If all monoids

$0$1

are freely generated, then each $0$2 is a manifold with corners and the disjoint union of these pieces is a universal fiber product in the category of manifolds with corners. In general, the monoids need not be smooth. One then resolves each binomial piece by generalized blow-up, obtaining a resolved fiber product with the universal property only after allowing blow-up of the source. This is one of the main reasons the generalized theory was developed: ordinary real oriented blowup becomes the local building block in a resolution theory for non-manifold fiber products.

5. Real algebraic, toroidal, degeneration, and symplectic variants

In the real affine plane, embedded blowups are realized as Zariski closures of graphs in $0$3. For a finite center $0$4 and a polynomial pair $0$5 whose common zero set on $0$6 is exactly $0$7, the blowup is

$0$8

In the regular case, the exceptional fiber over each point of $0$9 is essentially $\mathbb{C}^*$0, and oriented isomorphy is governed by fiberwise Möbius transformations induced by polynomial matrices $\mathbb{C}^*$1 with $\mathbb{C}^*$2. Regular embedded blowups are classified up to oriented isomorphy by the sign distribution

$\mathbb{C}^*$3

and there are exactly $\mathbb{C}^*$4 oriented isomorphism classes (Brodmann et al., 2018).

In toric, toroidal, and logarithmic geometry, real oriented blowup is recast through monoids and log structures. For an affine toric variety $\mathbb{C}^*$5,

$\mathbb{C}^*$6

and the blowup morphism is induced by the polar map $\mathbb{C}^*$7. For toroidal varieties, these local models glue, and the resulting space is a real semi-analytic manifold-with-boundary whose topological boundary is a canonical representative of the boundary of any tubular neighborhood of the toroidal boundary. For a divisorial log structure, Kato–Nakayama rounding $\mathbb{C}^*$8 is canonically homeomorphic to the real oriented blowup along the divisor, with fiber over a point a torus $\mathbb{C}^*$9 when the ghost monoid is free of rank $[X;F]=(X\setminus F)\cup SN_+F,$00 (Popescu-Pampu, 16 Jul 2025).

For totally real semi-stable degenerations, real-oriented blow-up of the total space and the base produces a positive special fiber $[X;F]=(X\setminus F)\cup SN_+F,$01 homeomorphic to every real general fiber $[X;F]=(X\setminus F)\cup SN_+F,$02, $[X;F]=(X\setminus F)\cup SN_+F,$03. The strata of codimension $[X;F]=(X\setminus F)\cup SN_+F,$04 in the real special fiber are replaced by topological covers of degree $[X;F]=(X\setminus F)\cup SN_+F,$05, reflecting sign choices for normal directions subject to a positivity constraint. In toric degenerations these pieces are naturally described in tropical terms and glued via the combinatorics of a polyhedral subdivision (Rau, 2022).

In symplectic topology, the relative blow-up of a real symplectic manifold $[X;F]=(X\setminus F)\cup SN_+F,$06 along a ball meeting the fixed Lagrangian $[X;F]=(X\setminus F)\cup SN_+F,$07 is modeled on the tautological line bundle $[X;F]=(X\setminus F)\cup SN_+F,$08 together with its real part $[X;F]=(X\setminus F)\cup SN_+F,$09. The new exceptional divisor is $[X;F]=(X\setminus F)\cup SN_+F,$10, its real locus is $[X;F]=(X\setminus F)\cup SN_+F,$11, and the Lagrangian is modified by replacing a disk with the real part of the exceptional divisor. This is the symplectic analog of real oriented blowup, now constrained by an anti-symplectic involution and used in real packing problems (Rieser, 2010).

6. Comparison with related blowups and conceptual scope

Real oriented blowup differs fundamentally from complex blowup. Complex blowup is algebraic and replaces a center by a projectivized complex normal cone; real oriented blowup is topological or real-analytic and replaces it by oriented real directions. In $[X;F]=(X\setminus F)\cup SN_+F,$12, the usual complex blowup at a point is trivial, while the real oriented blowup produces an annulus; the non-oriented real blowup produces a Möbius band (Popescu-Pampu, 16 Jul 2025).

Within manifolds with corners, the terminology “oriented” is often implicit rather than explicit. The generalized boundary theory is phrased using inward-pointing cones generated by $[X;F]=(X\setminus F)\cup SN_+F,$13, so positivity of scaling rather than an ambient orientation convention carries the relevant data. In the affine-plane setting, by contrast, orientation is encoded by requiring $[X;F]=(X\setminus F)\cup SN_+F,$14 for fiberwise automorphisms and by the sign of Jacobian determinants at the blown-up centers (Kottke et al., 2011, Brodmann et al., 2018).

A common misconception is that generalized blow-up is merely iterated ordinary blow-up. The monoidal-complex framework shows that this is false: there are smooth refinements that do not arise as iterated star subdivisions, yet they still define legitimate generalized blow-down maps. Another misconception is that real oriented blowup is only a local desingularization device. The toroidal and logarithmic constructions show that it is also a canonical global replacement for the boundary of a tubular neighborhood, and the semistable-degeneration results show that it can encode the topology of nearby fibers rather than only the local geometry of the central divisor (Kottke et al., 2011, Popescu-Pampu, 16 Jul 2025, Rau, 2022).

Conceptually, the unifying point is that real oriented blowup converts hidden asymptotic or directional structure into explicit boundary geometry. In $[X;F]=(X\setminus F)\cup SN_+F,$15-geometry this means new boundary hypersurfaces with prescribed homogeneity; in logarithmic geometry it means roundings with torus fibers; in real algebraic geometry it means exceptional $[X;F]=(X\setminus F)\cup SN_+F,$16-fibers carrying orientation data; and in symplectic geometry it means exceptional divisors compatible with real Lagrangian loci. Across these settings, the operation serves not only to resolve singularities or degeneracies, but also to make limiting behavior functorial, stratified, and geometrically tractable.