Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-adaptedPipeline-generatedjudge pass (gpt-6.1-sol)
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.

Every integer is realized by a map to the sphere

Statement

Let M be a nonempty closed connected oriented smooth m-manifold with m≥1. For every k∈Z there is a smooth map f:M→Sm with deg⁡(f)=k. The construction is explicit. Choose ∣k∣ pairwise disjoint closed coordinate balls in M, with charts φi; on the i-th ball the map is the smooth model pinch F of step 2.1 below, read in the chart, and it is the base point N of Sm outside the balls. The model has a regular value y− whose only preimage is the centre of the ball, and it is constant with value N outside the unit ball, so the centres are the only preimages of y− under f and y− is a regular value there. Hence deg⁡(f)=∑i=1∣k∣sgn⁡(dfpi), and choosing each chart orientation-preserving or orientation-reversing makes every summand equal to sgn⁡(k), so that deg⁡(f)=k; for k=0 the empty family gives the constant map of degree 0. The construction uses only finite choice and no other form of the Axiom of Choice.

Facts & Assumptions

[L1]

The unit sphere is the regular level ∣x∣2=1, with nonzero differential 2⟨x,⋅⟩ and tangent space x⊥. Its standard smooth structure is supplied by the regular-level theorem. The stereographic inverse charts are u↦(2u/(1+∣u∣2),±(∣u∣2−1)/(1+∣u∣2)), with the two omitted poles understood, and their transition is u↦u/∣u∣2; all expressions are smooth on their domains. The boundary orientation is defined by requiring (x,v1,…,vm) to be positive in Rm+1. (A regular level set is an embedded submanifold, Induced boundary orientation).

Given: A nonempty closed connected oriented smooth m-manifold M, m≥1, and an integer k; the unit sphere Sm⊆Rm+1 with its standard smooth structure and its orientation for which the outward normal of the ball is first (Euclidean spheres and closed balls as subspaces of Rn, For n≥2, the sphere Sn−1 is path-connected and connected, Smooth manifolds and their smooth charts).

[F1]

Smooth bump: for 0<r<R and n≥1 there is a smooth χ:Rn→[0,1] with χ=1 on B‾r(0) and supp⁡χ⊆BR(0); in dimension one, χ=1 on [−1/2,1/2] and χ=0 outside (−3/4,3/4) (A smooth bump between concentric Euclidean balls).

[F2]

The square-root function is smooth on (0,∞): the inverse function theorem gives its C1 derivative 1/(2t), and induction in this identity gives derivatives of every order. Composing it with a smooth positive function is smooth by the chain rule (The Euclidean inverse function theorem, The chain rule for differentials of smooth maps).

[F3]

A chart of an oriented manifold either preserves or reverses the orientation, and the sign of a chart enters local degree computations through the orientation of its coordinate frame; Sm carries the orientation of [given] and the standard stereographic charts (Orientation-preserving parametrizations, Oriented smooth manifolds and oriented charts, the local calculation).

[F4]

If f:M→Sm is proper and smooth and y is a regular value, then the fibre is finite and deg⁡(f)=∑x∈f−1(y)sgn⁡(dfx), the compact-support degree of Degree of a proper smooth map by compact-support cohomology (Regular-value formula for degree, Regular and critical points and values).

Proof

1.1F1construct

(The bump profile.) By [F1] in dimension one fix a smooth χ:R→[0,1] with χ=1 on [−1/2,1/2] and χ=0 outside (−3/4,3/4), and define W(s):=1−χ(s)2(1−s) for s≥0. Then W is smooth, W(s)=s for 0≤s≤1/2, W(s)=1 for s≥3/4, and 0≤W(s)≤1 with W(s)>0 for s>0; moreover 1−W(s)=χ(s)2(1−s) is the square of the smooth function δ(s):=χ(s)1−s, read as 0 where χ vanishes.

2.1L1F2F3step 1.1algebra

(The model pinch.) Put G(s):=W(s)/s for s>0 and G(0):=1; since W(s)=s for s≤1/2, the function G is smooth and positive on [0,∞). Define Φ(s):=χ(s)W(s)(1−s)/s for 0<s≤3/4 and Φ(0):=1 and Φ(s):=0 for s≥3/4; the radicand Q(s)=W(s)(1−s)/s is smooth and positive on [0,3/4) and equals 1−s near 0, so Q is smooth and positive there by [F2], and since χ is flat at 3/4 and vanishes beyond it, Φ=χQ is smooth on [0,∞). Set F(x):=(2Φ(∥x∥2)x, 2W(∥x∥2)−1) for x∈Rm. With s=∥x∥2 one has Φ(s)2s=χ(s)2W(s)(1−s)=W(s)(1−W(s)), hence ∥F(x)∥2=4Φ(s)2s+(2W(s)−1)2=4W(1−W)+4W2−4W+1=1, so F maps into Sm. Each component is smooth, and since F is locally constant with value N=(0,…,0,1) for s≥3/4, its expressions in the two stereographic charts of Sm ([F3]) are smooth; thus F:Rm→Sm is smooth.

3.1F4step 1.1step 2.1algebra

(The regular value of the model.) At the origin W(0)=0 and Φ(0)=1, so F(0)=(0,…,0,−1)=:y−. If F(x)=y− then 2W(s)−1=−1, that is W(s)=0, which by step 1.1 happens only for s=0; hence F−1(y−)={0}. Near 0 one has W(s)=s, G(s)=1 and Φ(s)=χ(s)1−s, so Φ(0)=1; the first m components of F have differential 2Φ(0) id=2 id at 0 and the last component has vanishing differential there, so dF0 has rank m and is an isomorphism of tangent spaces, and y− is a regular value of F.

3.2F5step 2.1construct

(Gluing the model into M.) For k≠0 put n=∣k∣. Since M is nonempty and m≥1, choose one chart ball and n distinct coordinate points in it. Choose sufficiently small pairwise disjoint open Euclidean balls about these points with closures still inside that chart ball. Translation and positive rescaling give charts φi:Ui→B2(0) with φi(pi)=0, pairwise disjoint domains Ui, and closed unit coordinate balls Bi=φi−1(B‾1(0))⊂Ui. Each Bi is compact as the continuous image of a compact Euclidean ball, and hence closed in the Hausdorff M. Define f=F∘φi on Ui and f=N on the open complement of ⋃iBi. The only overlaps are Ui∖Bi, on which F=N by step 2.1; thus the definitions agree. Their smooth local expressions paste to a smooth f. This selects finitely many chart data and ensures disjoint domains, not merely disjoint closed balls.

4.1F3F4F5step 3.1step 3.2algebra

(Degree of the glued map.) By steps 3.1 and 3.2 the equation f(x)=y− holds exactly for x=p1,…,pn, and dfpi=dF0∘dφi is an isomorphism, so y− is a regular value of f with finite fibre {p1,…,pn}, and f is proper because M is compact ([given]). By [F4], deg⁡(f)=∑i=1nsgn⁡(dfpi)=sgn⁡(dF0)∑i=1nεi, where εi=+1 if φi preserves the orientations of M and Rm and εi=−1 otherwise; each chart is orientation-preserving or orientation-reversing, and composing a chart with x↦(−x1,x2,…,xm) reverses its orientation while fixing its centre and unit ball. At y−=−em+1 the ambient tuple (y−,2e1,…,2em) has sign (−1)m+1, so sgn⁡(dF0)=(−1)m+1 for the outward-normal-first orientation. Choosing all εi equal to sgn⁡(k)sgn⁡(dF0)−1 gives deg⁡(f)=k; no infinite selection is used.

5.1F4step 3.2step 4.1discharge-construct∎

(The case k=0 and conclusion.) For k=0 take the empty family, so f is the constant map N, whose regular values are the points different from N and whose fibre is then empty; hence deg⁡(N)=0 by [F4]. For every k∈Z the map constructed in steps 3.2 and 4.1 is therefore smooth with deg⁡(f)=k, using finitely many charts and finitely many choices of closed balls and chart orientations only.

Depends on

Used by

Dependency tree · two levels

97 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.

Sources