Generalized blow-up of corners and fiber products

TL;DR

This paper develops a generalized framework for boundary blow-ups of manifolds with corners, linking combinatorial boundary data to homogeneity notions, and applies it to establish conditions for fiber products to be smooth or resolvable.

Contribution

It introduces a unified theory of generalized boundary blow-up based on monoidal complexes and applies it to analyze fiber products of b-maps, ensuring smoothness under transversality.

Findings

Boundary blow-up is characterized by combinatorial data of monoidal complexes.

Transversality of b-differentials ensures fiber products are binomial varieties.

Under certain conditions, fiber products can be made smooth via generalized blow-up.

Abstract

Real blow-up, including inhomogeneous versions, of boundary faces of a manifold (with corners) is an important tool for resolving singularities, degeneracies and competing notions of homogeneity. These constructions are shown to be particular cases of `generalized boundary blow-up' in which a new manifold and blow-down map are constructed from, and conversely determine, combinatorial data at the boundary faces in the form of a refinement of the `basic monoidal complex' of the manifold. This data specifies which notion of homogeneity is realized at each of the boundary hypersurfaces in the blown-up space. As an application of this theory, the existence of fiber products is examined for the natural smooth maps in this context, the b-maps. Transversality of the b-differentials is shown to ensure that the set-theoretic fiber product of two maps is a `binomial variety'. Properties of these (extrinsically defined) spaces, which generalize manifolds but have mild singularities at the boundary, are investigated and a condition on the basic monoidal complex is found under which the variety has a smooth structure. Applied to b-maps this additional condition with transversality leads to a universal fiber product in the context of manifolds with corners. Under the transversality condition alone the fiber product is resolvable to a smooth manifold by generalized blow-up and then has a weaker form of the universal mapping property requiring blow-up of the domain.