Degree theory for orbifolds

Federica Pasquotto; Thomas O. Rot

arxiv: 1907.02411 · v1 · pith:BD7RAFDInew · submitted 2019-07-04 · 🧮 math.GT · math.AT· math.DG

Degree theory for orbifolds

Federica Pasquotto , Thomas O. Rot This is my paper

Pith reviewed 2026-05-25 08:44 UTC · model grok-4.3

classification 🧮 math.GT math.ATmath.DG

keywords orbifoldsmapping degreeproper mapsregular valuessingular stratadifferential topologyinvariance propertiesgeometric topology

0 comments

The pith

A mapping degree is defined for proper maps between orbifolds and shown to be invariant when the domain has no codimension-one singular stratum.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a mapping degree for proper maps between orbifolds by counting preimages of regular values with weights that reflect the local group actions at each point. This construction is shown to satisfy the standard invariance properties of degree theory, including homotopy invariance, but only under the explicit restriction that the domain orbifold contains no singular stratum of codimension one. The authors examine further algebraic properties of the degree and evaluate it on concrete examples of orbifold maps. A sympathetic reader cares because orbifolds model singular spaces and quotients that arise throughout geometry and topology, so a working degree extends the basic counting arguments of manifold topology to these more general objects.

Core claim

We carry on the project of developing differential topology for orbifolds by defining the mapping degree for proper maps, which counts preimages of regular values with appropriate weights. We show that the mapping degree satisfies the expected invariance properties under the assumption that the domain does not have a codimension one singular stratum. We study properties of the mapping degree and compute the degree in some examples.

What carries the argument

The weighted count of preimages of regular values for proper maps between orbifolds, adjusted according to the local group orders in the orbifold charts.

If this is right

The degree is unchanged by homotopies of proper maps between orbifolds.
The degree distinguishes homotopy classes of proper maps when the domain satisfies the stated condition.
Standard algebraic properties such as additivity over disjoint unions or composition formulas hold for the degree.
Explicit computations of the degree are possible for maps presented in local charts.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction supplies a numerical invariant that could be used to obstruct the existence of extensions or fillings in orbifold bordism problems.
It may be possible to relax the codimension-one restriction by redefining the weights near singular strata or by passing to a suitable cover.
The same weighted-counting idea could be applied to other orbifold invariants such as intersection numbers or Euler characteristics.

Load-bearing premise

The domain orbifold does not have a codimension one singular stratum.

What would settle it

A homotopy through proper maps between orbifolds whose domain has no codimension-one singular stratum, yet the weighted preimage count changes.

read the original abstract

In [3] Borzellino and Brunsden started to develop an elementary differential topology theory for orbifolds. In this paper we carry on their project by defining a mapping degree for proper maps between orbifolds, which counts preimages of regular values with appropriate weights. We show that the mapping degree satisfies the expected invariance properties, under the assumption that the domain does not have a codimension one singular stratum. We study properties of the mapping degree and compute the degree in some examples.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

They define a weighted degree for proper orbifold maps and prove the standard invariance properties, but only when the domain has no codimension-one singular stratum.

read the letter

The core contribution is a definition of mapping degree for proper maps between orbifolds. It counts preimages of regular values with weights that account for the local group actions, then shows this degree is invariant under homotopy and satisfies the usual properties, provided the domain orbifold has no codim-1 singular stratum. This directly extends the elementary differential topology setup from Borzellino and Brunsden, and the authors compute the degree on some explicit examples to illustrate the definition in action. The assumption is stated up front, so the claim is not overstated. The construction follows the classical pattern of weighting by the order of the stabilizer or similar local data, which keeps it consistent with how orbifold maps are usually handled. The examples appear chosen to show both positive and zero degrees in concrete cases. The main limitation is the codim-1 assumption itself. Many orbifolds that arise in quotients or moduli spaces do have codim-1 strata, so the result applies only in a restricted class. The paper does not discuss how often the assumption holds in practice or whether the degree can be extended or modified when the assumption fails. The weighting rule is described at a high level in the abstract, but the full construction and proof steps are not visible here, which makes it difficult to check whether the weights are the most natural choice or if alternative weightings would give different invariants. This work is aimed at researchers already using orbifolds in geometric topology who need a degree tool for proper maps. It is narrow but fills a specific gap left by the earlier paper. A serious referee should see it, because the conditional result is clearly stated and the examples provide some check on the definition.

Referee Report

0 major / 2 minor

Summary. The paper extends the elementary differential topology of orbifolds begun by Borzellino and Brunsden by defining a mapping degree for proper maps between orbifolds. The degree is constructed as a weighted count of preimages of regular values. Invariance properties are established under the explicit assumption that the domain orbifold has no codimension-one singular stratum. Additional properties are derived and the degree is computed in selected examples.

Significance. If the definition and conditional invariance proofs are correct, the work supplies a usable degree invariant for proper maps of orbifolds, directly extending classical results while respecting the singular structure. The restriction to domains without codimension-one strata is stated clearly and appears necessary for the invariance statements; the provision of explicit examples strengthens the contribution for applications in geometric topology.

minor comments (2)

The weighting mechanism for singular preimages is described only at a high level in the abstract; a concise summary of the local group orders or chart-based weights used in the definition would improve readability in the introduction.
Reference [3] is cited as the starting point; ensure the bibliography entry is complete and that any subsequent citations to orbifold degree literature are included for context.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the clear summary of its contributions, and the recommendation of minor revision. No major comments are listed in the report, so we have no specific points requiring point-by-point response or defense.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines a mapping degree for proper maps between orbifolds by direct analogy to the classical weighted preimage count for regular values. It then proves invariance properties under the explicitly stated assumption that the domain orbifold has no codimension-one singular stratum. The abstract and provided text contain no self-citations that bear the central claim, no fitted parameters renamed as predictions, and no equations that reduce the stated results to their own inputs by construction. The derivation remains self-contained once the listed assumption is granted.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work relies on the orbifold differential topology framework introduced in the cited reference [3]; no free parameters, invented entities, or ad-hoc axioms are described in the abstract.

axioms (1)

domain assumption Orbifolds admit a differential topology theory as developed in Borzellino and Brunsden [3]
The paper explicitly positions itself as carrying on the project started in [3].

pith-pipeline@v0.9.0 · 5596 in / 1118 out tokens · 28943 ms · 2026-05-25T08:44:17.334417+00:00 · methodology

Degree theory for orbifolds

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)