Polar Coordinates and Fundamental Group

Jules Chenal

arxiv: 2607.00737 · v1 · pith:7GA2LRXPnew · submitted 2026-07-01 · 🧮 math.AT

Polar Coordinates and Fundamental Group

Jules Chenal This is my paper

Pith reviewed 2026-07-02 02:00 UTC · model grok-4.3

classification 🧮 math.AT

keywords fundamental groupLie group actionuniversal covercross sectiongroup extensioncovering spacealgebraic topology

0 comments

The pith

If a Lie group acts on a space with a simply connected cross-section, its universal cover is an extension of the Lie group by a discrete group.

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

The paper establishes a connection between continuous symmetries and the topology of a space. Specifically, it proves that when a Lie group acts continuously on a space and this action has a simply connected cross-section, the universal covering space can be built as an extension of the Lie group by a discrete group. This result ties the fundamental group to the group of transformations. A reader would care if they want to see how symmetry groups determine the covering spaces of the acted-upon space.

Core claim

If a continuous action of a Lie group on a space admits a simply connected cross-section, then we can build the universal covering of the space using an extension of the Lie group by a discrete group.

What carries the argument

An extension of the Lie group by a discrete group, built using the given action and its simply connected cross-section, to serve as the universal cover.

Load-bearing premise

The Lie group action on the space must have a simply connected cross-section.

What would settle it

An explicit Lie group action with a simply connected cross-section for which the corresponding group extension fails to be the universal cover of the space.

Figures

Figures reproduced from arXiv: 2607.00737 by Jules Chenal.

**Figure 1.** Figure 1: The Polar Coordinates of (Z/2; P 1 (R)). Polar Coverings and Fundamental Group Our goal is to exhibit the relationship between the acting group G and the fundamental group of X. Instead of seeking coverings of X, one may consider extensions of G by discrete groups and try to build a covering of X using the polar coordinates ϕx. Such extensions of G 2 [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗

**Figure 2.** Figure 2: The Two Double Coverings of P 1 (R). We define a polar covering, cf. Definition 2.12, of a polar space (G; X) to be a connected Galois covering pX′ : X′ → X that admits an action of a discrete extension pG′ : G′ → G that “lifts” the action of G on X, i.e. pX′ (g · x) = pG′ (g) · pX′ (x). In this case, the group of deck transformations of pX′ is the kernel of pG′ . We show that the universal covering of X i… view at source ↗

**Figure 3.** Figure 3: The Gluing G of Γ. Following Proposition 1.34, we have the identity: H0 [PITH_FULL_IMAGE:figures/full_fig_p017_3.png] view at source ↗

**Figure 4.** Figure 4: The Isotropy of the Canonical Polar Coordinates of the Real and Complex Projective Planes. [PITH_FULL_IMAGE:figures/full_fig_p019_4.png] view at source ↗

**Figure 5.** Figure 5: The Polar Coordinates of the Universal Coverings of Two Real Toric Varieties. [PITH_FULL_IMAGE:figures/full_fig_p034_5.png] view at source ↗

read the original abstract

In this article, we investigate the relationship between the fundamental group of a space and its continuous transformations. To be more precise, we show that if a continuous action of a Lie group on a space admits a simply connected cross-section, then we can build the universal covering of the space using an extension of the Lie group by a discrete group.

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

The paper claims that a Lie group action with a simply connected cross-section lets you build the universal cover via a group extension by a discrete group, but the abstract alone gives no proof or comparison to prior work so novelty and soundness stay unclear.

read the letter

The central claim is that if a Lie group acts continuously on a space and admits a simply connected cross-section, the universal cover arises from an extension of the Lie group by a discrete group. This is a concrete, group-theoretic route to the cover under those conditions.

The paper states the implication cleanly. When the cross-section hypothesis holds, the construction follows a recognized pattern in equivariant topology, so the logic does not look circular on its face.

The main limitation is that only the abstract is visible. No definitions, proof steps, or examples appear, and the title mentions polar coordinates without any hint of how they enter the argument. That makes it impossible to judge whether the result is new, whether the extension is constructed explicitly, or whether the argument adds anything beyond restating standard facts once the section exists. The scope is also narrow: it applies only to spaces carrying such actions and sections.

This is for algebraic topologists who already work with Lie group actions and covering spaces. A reader wanting general tools or broad new technology will not find it here.

The claim is specific enough that a referee could check the details and the literature comparison. I would send it to peer review rather than desk reject.

Referee Report

1 major / 0 minor

Summary. The paper claims that if a continuous action of a Lie group on a space admits a simply connected cross-section, then the universal covering of the space can be constructed using an extension of the Lie group by a discrete group.

Significance. If the result holds with a complete proof, it would formalize a construction relating Lie group actions with simply connected sections to universal covers via group extensions, a technique already recognized in equivariant topology. The manuscript provides no indication of new examples, applications, or comparisons to existing methods in the literature.

major comments (1)

[Abstract] Abstract: The central implication is stated without any definitions of the cross-section, the group extension, the construction of the universal cover, or any proof steps. No derivation or verification is possible from the given text.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the report and the opportunity to respond. We address the major comment below.

read point-by-point responses

Referee: [Abstract] Abstract: The central implication is stated without any definitions of the cross-section, the group extension, the construction of the universal cover, or any proof steps. No derivation or verification is possible from the given text.

Authors: The abstract is intentionally concise, as is conventional, and does not contain definitions or proof details. The manuscript body provides definitions of the cross-section, the group extension, the construction of the universal cover, and the full proof. We will revise the abstract to briefly reference these elements for improved clarity. revision: yes
Referee: REFEREE SIGNIFICANCE: If the result holds with a complete proof, it would formalize a construction relating Lie group actions with simply connected sections to universal covers via group extensions, a technique already recognized in equivariant topology. The manuscript provides no indication of new examples, applications, or comparisons to existing methods in the literature.

Authors: The result is presented in the specific context of polar coordinates and the fundamental group, which constitutes a concrete application. We can add explicit comparisons to existing methods in equivariant topology and highlight any novel examples or applications in a revision. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper states a conditional theorem: given a Lie group action admitting a simply connected cross-section, the universal cover is constructed via a group extension by a discrete group. The hypothesis is explicitly identified as load-bearing and the conclusion is presented as a result to be derived from it. No equations, self-citations, fitted parameters, or ansatzes are quoted that reduce the claimed implication to its inputs by construction. The abstract and description give no indication that the conclusion is presupposed.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract only. No free parameters, invented entities, or non-standard axioms are mentioned. The result rests on standard background facts of algebraic topology (path-connected spaces, Lie group actions, cross-sections, universal covers) that are not detailed here.

pith-pipeline@v0.9.1-grok · 5555 in / 1119 out tokens · 38613 ms · 2026-07-02T02:00:57.897787+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

18 extracted references

[1]

B., Marín Arango, C

Blázquez-Sanz, D. B., Marín Arango, C. A., and Suárez Gordon, S. (2022). Group Bundles and Group Connections . Lobachevskii Journal of Mathematics , 43(1):49--70

2022
[2]

Bourbaki, N. (2007a). Topologie générale . Springer, Berlin, Heidelberg
[3]

Bourbaki, N. (2007b). Topologie Générale : Chapitres 5 à 10 . Springer, Berlin, Heidelberg
[4]

Bredon, G. E. (1972). Introduction to Compact Transformation Groups . Number 46 in Pure and Applied Mathematics . Academic Press, New York

1972
[5]

and Mucuk, O

Brown, R. and Mucuk, O. (1994). Covering Groups of Non - Connected Topological Groups Revisited . Mathematical Proceedings of the Cambridge Philosophical Society , 115(1):97--110

1994
[6]

and Eilenberg, S

Cartan, H. and Eilenberg, S. (1956). Homological Algebra . Number 19 in Princeton Mathematical Series . Princeton University Press

1956
[7]

Danilov, V. I. (1978). The Geometry of Toric Varieties . Russian Mathematical Surveys , 33(2):97--154. ISBN: 0036-0279

1978
[8]

Davis, M. W. and Januszkiewicz, T. (1991). Convex Polytopes , Coxeter Orbifolds and Torus Actions . Duke Mathematical Journal , 62(2):417--451

1991
[9]

Fulton, W. (1993). Introduction to Toric Varieties . Annals of Mathematics Studies . Princeton University Press, Princeton, NJ

1993
[10]

Guillemin, V., Ginzburg, V., and Karshon, Y. (2002). Moment Maps , Cobordisms , and Hamiltonian Group Actions . Number 98 in Mathematical Surveys and Monographs . American Mathematical Society, Providence, R.I

2002
[11]

Hatcher, A. (2000). Algebraic Topology . Cambridge Univ. Press, Cambridge

2000
[12]

and Serre, J.-P

Hochschild, G. and Serre, J.-P. (1953). Cohomology of Group Extensions . Transactions of the American Mathematical Society , 74(1):110--134

1953
[13]

Lee, J. (2012). Introduction to Smooth Manifolds . Graduate Texts in Mathematics , 218. Springer New York, New York, NY, 2nd ed. 2012. edition

2012
[14]

Lundell, A. T. and Weingram, S. (1969). The Topology of CW Complexes . Van Nostrand Reinhold Company, 1 edition

1969
[15]

Mac Lane, S. (1963). Homology . Springer, Berlin, Heidelberg

1963
[16]

Munkres, J. R. (2014). Topology . Pearson, Harlow, 2nd ed. (new int. ed.) edition

2014
[17]

Taylor, R. L. (1954). Covering Groups of Nonconnected Topological Groups . Proceedings of the American Mathematical Society , 5(5):753--768. Place: Providence, Rhode Island

1954
[18]

Weibel, C. A. (1994). An Introduction to Homological Algebra . Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge

1994

[1] [1]

B., Marín Arango, C

Blázquez-Sanz, D. B., Marín Arango, C. A., and Suárez Gordon, S. (2022). Group Bundles and Group Connections . Lobachevskii Journal of Mathematics , 43(1):49--70

2022

[2] [2]

Bourbaki, N. (2007a). Topologie générale . Springer, Berlin, Heidelberg

[3] [3]

Bourbaki, N. (2007b). Topologie Générale : Chapitres 5 à 10 . Springer, Berlin, Heidelberg

[4] [4]

Bredon, G. E. (1972). Introduction to Compact Transformation Groups . Number 46 in Pure and Applied Mathematics . Academic Press, New York

1972

[5] [5]

and Mucuk, O

Brown, R. and Mucuk, O. (1994). Covering Groups of Non - Connected Topological Groups Revisited . Mathematical Proceedings of the Cambridge Philosophical Society , 115(1):97--110

1994

[6] [6]

and Eilenberg, S

Cartan, H. and Eilenberg, S. (1956). Homological Algebra . Number 19 in Princeton Mathematical Series . Princeton University Press

1956

[7] [7]

Danilov, V. I. (1978). The Geometry of Toric Varieties . Russian Mathematical Surveys , 33(2):97--154. ISBN: 0036-0279

1978

[8] [8]

Davis, M. W. and Januszkiewicz, T. (1991). Convex Polytopes , Coxeter Orbifolds and Torus Actions . Duke Mathematical Journal , 62(2):417--451

1991

[9] [9]

Fulton, W. (1993). Introduction to Toric Varieties . Annals of Mathematics Studies . Princeton University Press, Princeton, NJ

1993

[10] [10]

Guillemin, V., Ginzburg, V., and Karshon, Y. (2002). Moment Maps , Cobordisms , and Hamiltonian Group Actions . Number 98 in Mathematical Surveys and Monographs . American Mathematical Society, Providence, R.I

2002

[11] [11]

Hatcher, A. (2000). Algebraic Topology . Cambridge Univ. Press, Cambridge

2000

[12] [12]

and Serre, J.-P

Hochschild, G. and Serre, J.-P. (1953). Cohomology of Group Extensions . Transactions of the American Mathematical Society , 74(1):110--134

1953

[13] [13]

Lee, J. (2012). Introduction to Smooth Manifolds . Graduate Texts in Mathematics , 218. Springer New York, New York, NY, 2nd ed. 2012. edition

2012

[14] [14]

Lundell, A. T. and Weingram, S. (1969). The Topology of CW Complexes . Van Nostrand Reinhold Company, 1 edition

1969

[15] [15]

Mac Lane, S. (1963). Homology . Springer, Berlin, Heidelberg

1963

[16] [16]

Munkres, J. R. (2014). Topology . Pearson, Harlow, 2nd ed. (new int. ed.) edition

2014

[17] [17]

Taylor, R. L. (1954). Covering Groups of Nonconnected Topological Groups . Proceedings of the American Mathematical Society , 5(5):753--768. Place: Providence, Rhode Island

1954

[18] [18]

Weibel, C. A. (1994). An Introduction to Homological Algebra . Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge

1994