pith. sign in

arxiv: 2604.11147 · v1 · submitted 2026-04-13 · 🧮 math.DG

Faces of invariant convex sets in representations of nontrivial copolarity

Yi Shi This is my paper

Pith reviewed 2026-05-10 15:53 UTC · model grok-4.3

classification 🧮 math.DG
keywords invariant convex setscopolarityfat sectionsexposed facesorthogonal representationscompact Lie groupsconvex geometryface structure
0
0 comments X

The pith

The face structure of any G-invariant convex set is completely determined by its intersection with a fat section.

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

In an orthogonal representation of a compact Lie group with nontrivial copolarity, the paper establishes a direct correspondence between the faces of a G-invariant compact convex set E and the faces of the convex set P obtained by intersecting E with a fat section Σ. This correspondence determines the entire face structure up to conjugacy and identifies precisely which faces are exposed. The result provides a reduction principle that allows the study of invariant convex geometry to be carried out in the lower-dimensional section Σ. It extends known results from the special case of polar representations to this broader setting of nontrivial copolarity.

Core claim

Let (V, G) be an orthogonal representation of a compact Lie group G with nontrivial copolarity, and Σ a fat section of (V, G). If E is a G-invariant compact convex set in V, then P=E∩Σ is a convex set in Σ. Up to conjugacy the face structure of E is completely determined by that of P and a face of E is exposed if and only if the corresponding face of P is exposed.

What carries the argument

The bijection between faces of the G-invariant convex set E and faces of its intersection P with the fat section Σ, which preserves exposure of faces and fixes the structure up to conjugacy.

If this is right

  • The facial lattice of any invariant convex set can be recovered from its sectional intersection.
  • Exposure of faces in the ambient space is equivalent to exposure in the section.
  • Invariant convex sets in such representations admit a sectional reduction for their convex geometry.
  • The correspondence applies uniformly to all G-invariant compact convex sets.

Where Pith is reading between the lines

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

  • The reduction may simplify classification of invariant convex bodies whenever fat sections exist.
  • Similar correspondences could be investigated for other properties such as support functions.
  • Applications might include dimension reduction in optimization problems invariant under the group action.

Load-bearing premise

The representation has nontrivial copolarity and Σ is a fat section.

What would settle it

A representation with trivial copolarity together with a specific G-invariant convex set E where some exposed face of P=E∩Σ corresponds to a non-exposed face of E.

read the original abstract

Let $(V, G)$ be an orthogonal representation of a compact Lie group $G$ with nontrivial copolarity, and $\Sigma$ a fat section of $(V, G)$. If $E$ is a $G$-invariant compact convex set in $V$, then $P=E\cap\Sigma$ is a convex set in $\Sigma$. We prove that up to conjugacy the face structure of $E$ is completely determined by that of $P$ and that a face of $E$ is exposed if and only if the corresponding face of $P$ is exposed. Our result generalizes the result proved by Leonardo Biliotti, Alessandro Ghigi and Peter Heinzner in the case where $(V, G)$ is a polar representation.

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.

Referee Report

1 major / 2 minor

Summary. The manuscript proves that for an orthogonal representation (V, G) of a compact Lie group G with nontrivial copolarity and a fat section Σ, if E is a G-invariant compact convex set in V then P = E ∩ Σ is convex in Σ, the face structure of E is completely determined up to conjugacy by that of P, and a face of E is exposed if and only if the corresponding face of P is exposed. This generalizes the corresponding result for polar representations due to Biliotti, Ghigi and Heinzner.

Significance. If the correspondence holds, the result supplies a structural reduction for the facial geometry of invariant convex bodies from the full representation space to a lower-dimensional section in the copolar setting. This extends the toolkit available for studying convexity under group actions beyond the polar case and may facilitate computations of exposed faces and orbit-space geometry in representations where polar sections are unavailable.

major comments (1)
  1. [Main theorem and its proof] The central bijection between faces of E and faces of P (up to conjugacy) is asserted to follow from the intersection properties of fat sections, but the manuscript does not appear to contain an explicit verification that every face F of E satisfies F ∩ Σ is a face of P and that distinct conjugate faces do not map to the same face of P. Without this check, the claim that the face structure is 'completely determined' remains conditional on the precise transversality properties of fat sections, which are weaker than those of orthogonal sections in the polar case.
minor comments (2)
  1. [Introduction] The introduction would benefit from a short paragraph recalling the precise definition of a fat section and how it differs from a section in the polar setting, to make the generalization self-contained for readers unfamiliar with copolarity literature.
  2. [Preliminaries] Notation for the action of G on faces and for conjugacy classes of faces should be introduced once and used consistently; currently the correspondence 'up to conjugacy' is stated without a formal symbol for the equivalence relation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and positive evaluation of the significance of our work. We address the major comment below.

read point-by-point responses

  1. Referee: The central bijection between faces of E and faces of P (up to conjugacy) is asserted to follow from the intersection properties of fat sections, but the manuscript does not appear to contain an explicit verification that every face F of E satisfies F ∩ Σ is a face of P and that distinct conjugate faces do not map to the same face of P. Without this check, the claim that the face structure is 'completely determined' remains conditional on the precise transversality properties of fat sections, which are weaker than those of orthogonal sections in the polar case.

    Authors: We thank the referee for identifying this gap in the exposition. The proof in Section 4 relies on the intersection properties of fat sections (Definition 2.3 and Proposition 2.5) together with the G-invariance and convexity of E to conclude that the face structure of E is determined up to conjugacy by that of P. However, we agree that an explicit verification—namely, that F ∩ Σ is a face of P whenever F is a face of E, and that the induced map on faces is bijective up to conjugacy—is not isolated as a separate statement. In the revised manuscript we will add a dedicated lemma (placed after Lemma 4.2) that supplies this verification: it uses the supporting hyperplane characterization of faces, the fact that fat sections meet every orbit in a convex set of the expected dimension, and the G-equivariance of the projection onto the section to show both directions of the correspondence. This addition will make the reduction fully rigorous without changing the statement of the main theorem. revision: yes

Circularity Check

0 steps flagged

No circularity; proof introduces independent arguments for copolar case

full rationale

The paper proves a structural correspondence between faces of a G-invariant convex set E and its intersection P with a fat section Σ in nontrivial copolarity representations, generalizing a result by Biliotti, Ghigi and Heinzner for the polar case. The abstract and setup describe this as relying on properties of fat sections with new arguments introduced for the copolar setting. No self-citations are load-bearing, no parameters are fitted and renamed as predictions, and no derivation reduces by construction to its inputs via self-definition or ansatz smuggling. The derivation chain is self-contained against external benchmarks from prior independent work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The proof relies on standard properties of compact Lie groups, orthogonal representations, convex sets, and fat sections in copolar actions. No free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Properties of fat sections in representations with nontrivial copolarity
    Invoked to define Σ and ensure the intersection P behaves convexly and determines faces.
  • standard math Standard facts about faces of convex sets and exposure in Euclidean spaces
    Used to transfer face structures between E and P.

pith-pipeline@v0.9.0 · 5411 in / 1323 out tokens · 29289 ms · 2026-05-10T15:53:43.407530+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

29 extracted references · 29 canonical work pages

  1. [1]

    Berestovskii and L

    V. Berestovskii and L. Guijarro. A metric characterization of Riemannian sub- mersions. Ann. Global Anal. Geom.,18(6), 577–588 (2000)

    work page 2000

  2. [2]

    Biliotti, A

    L. Biliotti, A. Ghigi and P. Heinzner, Coadjoint orbitopes, Osaka J. Math.51(4), 935–968 (2014)

    work page 2014

  3. [3]

    Biliotti, A

    L. Biliotti, A. Ghigi and P. Heinzner, Polar orbitopes, Comm. Anal. Geom.21 (3), 579–606 (2013) 7

    work page 2013

  4. [4]

    Biliotti, A

    L. Biliotti, A. Ghigi and P. Heinzner, Invariant convex sets in polar representa- tions, Israel J. Math.213(1), 423–441 (2016)

    work page 2016

  5. [5]

    R. G. Bettiol, M. Kummer and R. A. E. Mendes, Convex algebraic geometry of curvature operators, SIAM J. Appl. Algebra Geom.5(2), 200–228 (2021)

    work page 2021

  6. [6]

    R. G. Bettiol, M. Kummer and R. A. E. Mendes, Two results on the Convex Algebraic Geometry of sets with continuous symmetries, Bulletin of the London Mathematical Society,57(5), 1388–1408 (2025)

    work page 2025

  7. [7]

    Blekherman, P

    G. Blekherman, P. A. Parrilo and R. R. Thomas (eds.), Semidefinite optimization and convex algebraic geometry, MOS-SIAM Ser. Optim. 13, SIAM, Philadelphia, 2013

    work page 2013

  8. [8]

    Chen and K

    X. Chen and K. Grove, Rigidity theorems for submetries in positive curvature, Advances in Mathematics,289, 784–796 (2016)

    work page 2016

  9. [9]

    Dadok, Polar coordinates induced by actions of compact Lie groups, Trans

    J. Dadok, Polar coordinates induced by actions of compact Lie groups, Trans. Amer. Math. Soc.,288, 125–137 (1985)

    work page 1985

  10. [10]

    Gomes and C

    A. Gomes and C. Gorodski, Representations of low copolarity. Proceedings of the American Mathematical Society,150(12), 5439–5447 (2022)

    work page 2022

  11. [11]

    Gorodski and A

    C. Gorodski and A. Lytchak, On orbit spaces of representations of compact Lie groups, J. Reine Angew. Math.,691, 61–100 (2014)

    work page 2014

  12. [12]

    Gorodski, C

    C. Gorodski, C. Olmos and R. Tojeiro, Copolarity of isometric actions, Trans. Amer. Math. Soc.,356(4), 1585–1608 (2004)

    work page 2004

  13. [13]

    Kapovitch and A

    V. Kapovitch and A. Lytchak, The structure of submetries, Geom. Topol.,26(6), 2649–2711 (2022)

    work page 2022

  14. [14]

    Khalili Samani and M

    E. Khalili Samani and M. Radeschi, Rational ellipticity of G-manifolds from their quotients, Compositio Mathematica,161(2), 244–256 (2025)

    work page 2025

  15. [15]

    Kostant, On convexity, the Weyl group and the Iwasawa decomposition, Ann

    B. Kostant, On convexity, the Weyl group and the Iwasawa decomposition, Ann. Sci. Ecole Norm. Sup.,4(6), 413–455 (1973)

    work page 1973

  16. [16]

    Kobert and C

    T. Kobert and C. Scheiderer, Spectrahedral representation of polar orbitopes, Manuscripta Math.,169, 185–208 (2022)

    work page 2022

  17. [17]

    Kummer, Two results on the size of spectrahedral descriptions, SIAM J

    M. Kummer, Two results on the size of spectrahedral descriptions, SIAM J. Op- tim.,26(1), 589–601 (2016)

    work page 2016

  18. [18]

    Kummer, Spectral linear matrix inequalities, Adv

    M. Kummer, Spectral linear matrix inequalities, Adv. Math.,384, Paper No. 107749, (2021)

    work page 2021

  19. [19]

    Lytchak and B

    A. Lytchak and B. Wilking, Smoothness of submetries, arXiv:2411.15324, (2024)

    work page arXiv 2024

  20. [20]

    Magata, Reductions, Resolutions and the Copolarity of Isometric Group Ac- tions, arXiv:0908.0183, (2009) 8

    F. Magata, Reductions, Resolutions and the Copolarity of Isometric Group Ac- tions, arXiv:0908.0183, (2009) 8

    work page arXiv 2009

  21. [21]

    Magata, A general Weyl-type integration formula for isometric group actions, Transformation Groups,15(1), 184–200 (2010)

    F. Magata, A general Weyl-type integration formula for isometric group actions, Transformation Groups,15(1), 184–200 (2010)

    work page 2010

  22. [22]

    R. A. E. Mendes, A geometric take on Kostant’s Convexity Theorem, Transfor- mation Groups, (2024)

    work page 2024

  23. [23]

    R. A. E. Mendes and M. Radeschi, Laplacian algebras, manifold submetries and the Inverse Invariant Theory Problem, Geom. Funct. Anal.,30, 536–573 (2020)

    work page 2020

  24. [24]

    Netzer and D

    T. Netzer and D. Plaumann, Geometry of linear matrix inequalities-a course in convexity and real algebraic geometry with a view towards optimization, Compact Textbooks in Mathematics, Birkh¨ auser/Springer, Cham, 2023

    work page 2023

  25. [25]

    Panelli and C

    F. Panelli and C. Pomrehn, Representations of abstract copolarity one and two, Differential Geometry and its Applications,58, 52–64 (2018)

    work page 2018

  26. [26]

    Scheiderer, Spectrahedral shadows, SIAM J

    C. Scheiderer, Spectrahedral shadows, SIAM J. Appl. Algebra Geom.,2(1), 26–44 (2018)

    work page 2018

  27. [27]

    Schneider, Convex bodies: the Brunn-Minkowski theory

    R. Schneider, Convex bodies: the Brunn-Minkowski theory. Second Expanded ed. Encyclopedia of Mathematics and its Applications, Vol.151. Cambridge University Press, Cambridge, 2014

    work page 2014

  28. [28]

    Sanyal and J

    R. Sanyal and J. Saunderson, Spectral Polyhedra, Forum of Mathematics, Sigma, vol.13, p. e30. Cambridge University Press, 2025

    work page 2025

  29. [29]

    Sanyal, F

    R. Sanyal, F. Sottile and B. Sturmfels, Orbitopes, Mathematika,57(2), 275–314 (2011)

    work page 2011