A quotient space can be decorated with strata and isotropy groups, yet still leave an important question unanswered: how do local smooth functions and stabiliser data fit together as one moves through the quotient?
This article introduces two structured objects. The first is the sheaf of smooth functions on the orbit space, defined locally from invariant smooth functions upstairs. The second is a deliberately modest isotropy assignment that records groups and transport allowed by a chosen groupoid or stratified path model.
The Gold Standard is to distinguish intrinsic structure from presentation shorthand. Compute restrictions, stalks and isotropy changes in concrete finite-group actions, test them under an equivalent atlas, and state why even a matched coarse stratification may not reconstruct gluing, ineffective kernels or the full groupoid.
A practical orientation
Use this guide after learning that isotropy-decorated germs improve on coarse quotients. It explains how local data are organised and where coarse stratified reconstruction still stops.
Choose a reading route
Build the orbit-space sheaf
Chapters 1–3 define local invariant functions, restrictions and stalks.
Organise isotropy data
Chapters 4–6 describe strata, transport and presentation-independent tests.
Work and transfer examples
Chapters 7–9 compare actions, refine atlases and expose ineffective kernels.
State reconstruction limits
Chapters 10–11 give a claim ladder, misconceptions and evidence checks.
Chapter contents
- 1. A topology is not yet a smooth orbit-space structure
- 2. Build a sheaf from compatible local functions
- 3. Read stalks as local tests at an orbit
- 4. Attach isotropy to the right underlying category
- 5. Use orbit-type strata to organise where isotropy changes
- 6. Test whether the data survive a change of presentation
- 7. Worked example: the same line carries different isotropy data
- 8. Transfer check: refine the atlas and restrict the neighborhood
- 9. Expose ineffective kernels and ambiguous transport
- 10. Use a reconstruction ladder with explicit stopping points
- 11. Limits, misconceptions and practical evidence checks
- 12. FAQs and the next reading route
1. A topology is not yet a smooth orbit-space structure
The quotient topology says which sets are open after orbits are collapsed. It does not by itself say which real-valued functions should count as smooth near a singular orbit.
For a proper Lie groupoid or proper group action, one can define smooth functions on an open quotient set through invariant smooth functions on its preimage. These local functions and their restriction maps form a sheaf.
The sheaf adds testable structure: two quotient homeomorphisms can be compared by whether they also preserve local smooth functions.
- Open quotient sets identified.
- Preimages upstairs recorded.
- Invariant smooth functions used.
- Restriction maps preserved.
2. Build a sheaf from compatible local functions
A sheaf assigns data to every open set, permits restriction to smaller opens and glues compatible local sections uniquely. Here the sections are smooth functions in the chosen orbit-space sense.
Locality matters. A function can be checked near every point, and compatible pieces can be assembled without choosing one global coordinate chart. This makes the object suited to comparing different presentations.
Do not reduce the sheaf to one list of global functions. Singular behavior and chart transitions can be visible only in local sections and their germs.
| Sheaf operation | Orbit-space meaning | Failure to avoid |
|---|---|---|
| Section | Local invariant smooth function | Arbitrary continuous function |
| Restriction | Same function on smaller open | Re-fitting coordinates |
| Gluing | Compatible locals form one section | Ignoring overlaps |
| Stalk | Germ near one quotient point | Global average |
3. Read stalks as local tests at an orbit
The stalk at a quotient point is the collection of local sections near that point, identified when they agree on a smaller neighborhood. It records which smooth-function germs are available around the orbit.
For C2 reflecting the real line, invariant smooth functions upstairs are even functions. On the half-line quotient, their germs at the origin obey the smooth structure induced by even extensions, not merely arbitrary one-sided continuity.
Away from the origin, the action is free and the local quotient is an ordinary one-dimensional manifold. The stalk changes in a controlled way across the singular stratum.
| Location | Upstairs model | Local function evidence |
|---|---|---|
| Reflection origin | C2 on R | Even smooth germs |
| Positive quotient point | Free local action | Ordinary smooth germs |
| Trivial C2 action | C2 fixes R | All smooth germs with hidden isotropy |
4. Attach isotropy to the right underlying category
At each represented orbit, isotropy is the automorphism group of an object in the presenting groupoid. Along an arrow, isotropy groups are related by conjugation. Across strata, comparison may require slice data rather than an arbitrary inclusion.
There is no single universal “isotropy functor” from a bare topological quotient. Define the domain: a groupoid, orbit category, exit-path category or another structured model with specified morphisms.
The article uses the phrase isotropy functor for a declared assignment of groups and transport maps in that chosen model. Its usefulness depends on well-defined transport and invariance under equivalence.
- Domain category named.
- Objects tied to represented orbits.
- Morphisms specify allowed transport.
- Conjugacy and basepoint choices controlled.
5. Use orbit-type strata to organise where isotropy changes
Orbit-type strata collect points whose stabilisers are conjugate under appropriate proper-action hypotheses. Connected components of Morita types provide a canonical stratification for proper Lie groupoids.
The closure of a stratum can meet more singular strata. This incidence pattern describes where isotropy can jump, but it does not alone supply a canonical homomorphism between every pair of groups.
Record stratum labels, dimensions, closure relations, normal representations and the maps furnished by the selected local model.
| Datum | What it records | What it omits alone |
|---|---|---|
| Stratum label | Common orbit type | Local smooth functions |
| Closure order | Incidence of types | Transport map |
| Isotropy group | Automorphisms at orbit | Normal action |
| Normal representation | Transverse symmetry | Global gluing |
6. Test whether the data survive a change of presentation
Replace a global action chart by an equivalent collection of local slices. The quotient homeomorphism should identify the smooth-function sheaves, canonical strata and transported isotropy in the sense supplied by the equivalence.
Duplicate one chart and add transition arrows. Raw object count, raw arrow count and chosen coordinates change, while intrinsic local functions and automorphism groups at represented points do not.
An alleged invariant that changes under this refinement belongs to the atlas, not the orbispace.
| Presentation feature | After atlas refinement | Status |
|---|---|---|
| Number of object charts | May increase | Not intrinsic |
| Smooth-function sheaf | Isomorphic under equivalence | Intrinsic under hypotheses |
| Canonical strata | Preserved | Morita invariant |
| Chosen matrix basis | May change | Coordinate artefact |
7. Worked example: the same line carries different isotropy data
Compare the trivial action of C2 on the real line with the trivial action of C3. Both quotient spaces are a line. Their smooth-function sheaves are also the ordinary smooth sheaf because every smooth function upstairs is invariant.
Their isotropy assignments differ at every point: C2 versus C3. A coarse stratified diffeomorphism sees one one-dimensional stratum and the same local smooth functions, yet it cannot identify the full orbispaces while preserving isotropy.
Now compare either with the trivial group action. The quotient and smooth sheaf still agree, but hidden automorphism data disappear. This is a clean limit of reconstruction from coarse differentiable stratified structure alone.
| Presentation | Quotient/sheaf | Strata | Isotropy |
|---|---|---|---|
| Trivial C2 on R | Smooth line | One stratum | C2 everywhere |
| Trivial C3 on R | Smooth line | One stratum | C3 everywhere |
| Trivial group on R | Smooth line | One stratum | Trivial |
8. Transfer check: refine the atlas and restrict the neighborhood
Cover the line by overlapping intervals and represent the trivial C2 action through local charts with transition arrows. Restrictions and gluing recover the same smooth sheaf; isotropy remains C2 after transport.
Restrict to a smaller neighborhood around one point. The stalk and isotropy should agree with the original germ. A construction that depends on the size or number of covering intervals fails locality.
Change coordinates by a smooth diffeomorphism. Function sections pull back, while the abstract isotropy group remains attached to the represented orbit rather than the coordinate value.
| Changed presentation | Invariant check | Artefact rejected |
|---|---|---|
| Overlapping cover | Sheaf glues correctly | Chart count |
| Smaller neighborhood | Same stalk germ | Arbitrary radius |
| Smooth coordinate change | Pullback preserves sections | Coordinate formula |
| Equivalent groupoid atlas | Isotropy transported | Object naming |
9. Expose ineffective kernels and ambiguous transport
In a trivial group action, every group element acts invisibly on the base space and on local functions. The ineffective kernel is therefore invisible to the quotient and its smooth sheaf but visible in isotropy.
Even when isotropy groups at neighboring strata are known, a bare closure relation may not determine how they map. Different groupoid gluing or monodromy can carry additional information.
State whether the intended reconstruction keeps full isotropy, passes to an effective reduction or records only conjugacy classes. Each choice forgets something different.
- Ineffective kernel recorded.
- Full versus effective isotropy declared.
- Transport domain and maps specified.
- Closure order not mistaken for a homomorphism.
10. Use a reconstruction ladder with explicit stopping points
First compare quotient topology. Next compare differentiable-space sheaves and canonical strata. Then compare isotropy assignments with transport and normal representations. Finally construct or cite an equivalence of the presented groupoids or stacks.
Matching a lower level does not automatically yield the next. The worked example matches the first three coarse ingredients except isotropy and therefore stops before orbispace equivalence.
Local data may still fail to determine global holonomy, cocycles or gluing. A global claim needs descent evidence, not a collection of unrelated correct germs.
| Level | Evidence | Stopping reason |
|---|---|---|
| Topological quotient | Homeomorphism | Smooth and isotropy data absent |
| Differentiable stratified space | Sheaf plus strata | Hidden isotropy possible |
| Decorated local system | Groups, transport, normal data | Global gluing may remain |
| Presented orbispace | Morita equivalence | Hypotheses and category explicit |
11. Limits, misconceptions and practical evidence checks
A sheaf of smooth functions is richer than topology but is not a complete record of automorphisms. Pointwise isomorphic isotropy groups do not automatically define a functor or recover how local pieces glue.
Morita-invariance results require the stated proper Lie groupoid setting and chosen smooth framework. Non-proper, infinite-dimensional or more singular situations may need different categories and hypotheses.
Preserve quotient maps, open covers, section and restriction rules, stalk calculations, strata, isotropy groups, kernels, transport morphisms, normal representations, atlas equivalences and the precise theorem used.
- Smooth framework named.
- Local sections and gluing checked.
- Isotropy transport defined, not guessed.
- Effective reduction declared.
- Local and global claims separated.
12. FAQs and the next reading route
Orbit-type sheaves and isotropy data answer different questions. The sheaf records local smooth observables on the quotient; isotropy records automorphisms that those observables may not see.
Read the Topology root, the isotropy-decorated quotient-germ article and this guide in order. The sequence moves from adding local labels to organising local functions, transport and reconstruction limits.
The Gold Standard parent and How X Works hub connect this to a wider learning habit: enrich an abstraction with structured local evidence, then test whether it survives a change of presentation.
Can the smooth-function sheaf recover a trivial acting group?
Not in the worked example. Trivial C2, trivial C3 and the trivial group give the same ordinary smooth sheaf on the line but different isotropy.
Is isotropy automatically a functor on the quotient space?
No. A domain category and transport morphisms must be specified; a bare topological quotient does not provide them.
Why are stalks useful?
They isolate local function germs at one orbit and make comparisons independent of an arbitrary large neighborhood.
Continue through the verified ecosystem
- The Gold Standard of Topology subject root
- The Gold Standard of Education: Learning Transfers into Life
- How X Works hub
- Isotropy-Decorated Quotient Germs, Morita Equivalence and Presentation-Independent Invariants
- Quotient-Germ Equivalence, Stratified Homeomorphisms and Equivariant Reconstruction Limits
Sources and scope note
- Orbispaces as differentiable stratified spaces — used for the smooth-function sheaf, canonical stratification and Morita invariance for proper Lie groupoid orbit spaces.
- Geometry of orbit spaces of proper Lie groupoids — used for proper groupoid orbit spaces, isotropy, normal representations and local quotient geometry.
The finite-group examples and comparison tables are original teaching examples. The cited work supports the stated proper-Lie-groupoid framework; this article makes no universal reconstruction claim outside those hypotheses.