pith. sign in

arxiv: 1907.04429 · v1 · pith:D3KEQGOOnew · submitted 2019-07-09 · 🧮 math.SG · math.AG· math.RT

On the fibres of Mishchenko-Fomenko systems

Peter Crooks , Markus R\"oser This is my paper

Pith reviewed 2026-05-24 23:47 UTC · model grok-4.3

classification 🧮 math.SG math.AGmath.RT
keywords Mishchenko-Fomenko systemsfibres of integrable systemssingular locusirreducible componentsBorel subalgebrasLevi subalgebrassemisimple Lie algebrasmoment maps
0
0 comments X

The pith

The critical values of each Mishchenko-Fomenko moment map F_a have codimension 1 or 2 in the target space, with a rank(g)-dimensional family of singular fibres through each non-nilpotent regular a.

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

The paper shows that for the moment map F_a associated to a regular element a in a complex semisimple Lie algebra, the critical values in the base space C^b have codimension either 1 or 2, and examples achieve each value. Using the subalgebra b^a formed by intersecting all Borel subalgebras containing a, it proves that for non-nilpotent a the points in b^a determine a rank(g)-dimensional family of singular fibres, with explicit points lying in the singular locus. The authors also construct irreducible components of the fibres using Mishchenko-Fomenko systems on Levi subalgebras and derive a recursive formula for the total number of irreducible components of the zero fibre F_a^{-1}(0) that extends prior work by Charbonnel and Moreau. These results describe the geometry and topology of the fibres in these completely integrable systems.

Core claim

For each regular element a the associated Mishchenko-Fomenko moment map F_a : g → C^b has critical values of codimension 1 or 2 in the target, with both codimensions realized in examples. The subalgebra b^a is the intersection of all Borel subalgebras containing a. When a is non-nilpotent the set b^a parametrizes a rank(g)-dimensional family of singular fibres of F_a, and for x in b^a the translate x + [b^a, b^a] lies in the singular locus of its fibre. Many irreducible components of the fibres arise from Mishchenko-Fomenko systems on Levi subalgebras of g, and the number of irreducible components of the zero fibre satisfies a recursive formula that generalizes the result of Charbonnel and 0

What carries the argument

The subalgebra b^a, the intersection of all Borel subalgebras containing a regular element a, which determines the location and dimension of families of singular fibres of the moment map F_a.

If this is right

  • Critical values of F_a achieve both codimension 1 and codimension 2.
  • For non-nilpotent regular a, the fibres through b^a form a rank(g)-dimensional family of singular fibres.
  • x + [b^a, b^a] lies in the singular locus for x in b^a.
  • The number of irreducible components of F_a^{-1}(0) is given by a recursive formula generalizing Charbonnel-Moreau.
  • Some irreducible components are constructed systematically from Levi subalgebras.

Where Pith is reading between the lines

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

  • The codimension results may extend to describe the full singular locus of the image of F_a.
  • The recursive formula could be applied to compute component numbers explicitly for low-rank Lie algebras.
  • Connections between the singularities and the Poisson structure on g may yield further invariants of the integrable system.
  • The family of singular fibres might interact with coadjoint orbits in a way that affects the Liouville tori.

Load-bearing premise

The subalgebra b^a and the Levi subalgebras control the codimensions of critical values, the singular loci of fibres, and the counts of irreducible components in the manner assumed.

What would settle it

An example of a regular element a where some critical value of F_a has codimension different from 1 or 2, or where the number of irreducible components of F_a^{-1}(0) fails to satisfy the recursive formula.

read the original abstract

This work is concerned with Mishchenko and Fomenko's celebrated theory of completely integrable systems on a complex semisimple Lie algebra $\mathfrak{g}$. Their theory associates a maximal Poisson-commutative subalgebra of $\mathbb{C}[\mathfrak{g}]$ to each regular element $a\in\mathfrak{g}$, and one can assemble free generators of this subalgebra into a moment map $F_a:\mathfrak{g}\rightarrow\mathbb{C}^b$. We examine the structure of fibres in Mishchenko--Fomenko systems, building on the foundation laid by Bolsinov, Charbonnel--Moreau, Moreau, and others. This includes proving that the critical values of $F_a$ have codimension $1$ or $2$ in $\mathbb{C}^b$, and that each codimension is achievable in examples. Our results on singularities make use of a subalgebra $\mathfrak{b}^a\subseteq\mathfrak{g}$, defined to be the intersection of all Borel subalgebras of $\mathfrak{g}$ containing $a$. In the case of a non-nilpotent $a\in\mathfrak{g}_{\text{reg}}$ and an element $x\in\mathfrak{b}^a$, we prove the following: $x+[\mathfrak{b}^a,\mathfrak{b}^a]$ lies in the singular locus of $F_a^{-1}(F_a(x))$, and the fibres through points in $\mathfrak{b}^a$ form a $\mathrm{rank}(\mathfrak{g})$-dimensional family of singular fibres. We next consider the irreducible components of our fibres, giving a systematic way to construct many components via Mishchenko--Fomenko systems on Levi subalgebras $\mathfrak{l}\subseteq\mathfrak{g}$. In addition, we obtain concrete results on irreducible components that do not arise from the aforementioned construction. Our final main result is a recursive formula for the number of irreducible components in $F_a^{-1}(0)$, and it generalizes a result of Charbonnel--Moreau. Illustrative examples are included at the end of this paper.

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

2 major / 3 minor

Summary. The paper studies fibres of Mishchenko-Fomenko integrable systems on a complex semisimple Lie algebra g. To each regular a it associates a moment map F_a : g → C^b whose components generate a maximal Poisson-commutative subalgebra. The central results are: the critical values of F_a have codimension 1 or 2 in C^b and both values are attained; for non-nilpotent regular a and x ∈ b^a (the intersection of all Borel subalgebras containing a), the translate x + [b^a, b^a] lies in the singular locus of the fibre F_a^{-1}(F_a(x)); the fibres through b^a form a rank(g)-dimensional family of singular fibres; and a recursive formula counts the irreducible components of the zero fibre F_a^{-1}(0), generalizing the Charbonnel-Moreau count, by reducing via Levi subalgebras.

Significance. If the derivations hold, the work supplies concrete geometric information on the singular fibres of these systems, including explicit points in the singular locus and a dimension count for the family of singular fibres. The recursive component formula extends an earlier result and supplies a computational tool. The introduction of the auxiliary subalgebra b^a as a device for locating singularities is a natural and potentially reusable technique. The paper cites the relevant prior literature (Bolsinov, Charbonnel-Moreau, Moreau) and includes illustrative examples.

major comments (2)
  1. [§4] §4 (codimension statement): the proof that every critical value has codimension exactly 1 or 2 in C^b is load-bearing for the first main claim; the argument must explicitly bound the corank of dF_a at every point of b^a and show that the bound is sharp in both directions, rather than deriving the bound only after restricting to a Levi subalgebra.
  2. [Theorem 4.3] Theorem on singular locus (non-nilpotent case): the claim that x + [b^a, b^a] lies in the singular locus of F_a^{-1}(F_a(x)) for x ∈ b^a rests on the differential of F_a vanishing on the translate; the manuscript must verify that the Poisson-commutativity relations and the definition of b^a together force the required kernel dimension without additional assumptions on the nilpotent part of a.
minor comments (3)
  1. [§5] The base case of the recursion for the number of irreducible components (when a is nilpotent) is stated only implicitly; an explicit formula or reference for this case would clarify the induction.
  2. [§2] Notation: the symbol b^a is introduced in the abstract and used throughout, but its precise relation to the centralizer and to the Levi subalgebras is not recalled in a single preliminary paragraph; a short table or diagram would improve readability.
  3. [§6] The examples at the end compute component counts for low-rank cases but do not tabulate the achieved codimensions of critical values; adding such a table would make the codimension claim easier to verify.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying points where the proofs in Section 4 can be strengthened. We address each major comment below and will revise the manuscript accordingly to make the arguments fully self-contained.

read point-by-point responses

  1. Referee: [§4] §4 (codimension statement): the proof that every critical value has codimension exactly 1 or 2 in C^b is load-bearing for the first main claim; the argument must explicitly bound the corank of dF_a at every point of b^a and show that the bound is sharp in both directions, rather than deriving the bound only after restricting to a Levi subalgebra.

    Authors: We agree that the codimension claim requires an explicit, direct bound on the corank of dF_a at arbitrary points of b^a. In the revision we will insert a self-contained computation of dF_a using only the definition of b^a (as the intersection of all Borels containing a) and the Poisson-commutativity of the generators, without first passing to a Levi subalgebra. We will also exhibit explicit points where the corank equals 1 and where it equals 2, confirming sharpness in both directions. revision: yes

  2. Referee: [Theorem 4.3] Theorem on singular locus (non-nilpotent case): the claim that x + [b^a, b^a] lies in the singular locus of F_a^{-1}(F_a(x)) for x ∈ b^a rests on the differential of F_a vanishing on the translate; the manuscript must verify that the Poisson-commutativity relations and the definition of b^a together force the required kernel dimension without additional assumptions on the nilpotent part of a.

    Authors: The statement of Theorem 4.3 is restricted to non-nilpotent regular a, and the proof already uses only the Poisson-commutativity of the Mishchenko–Fomenko generators together with the fact that b^a lies in every Borel containing a. In the revision we will add an explicit verification of the kernel dimension of dF_a on the translate x + [b^a, b^a] that invokes no further hypotheses on the nilpotent part of a beyond the standing non-nilpotency assumption, thereby confirming that the required dimension is forced directly by these relations. revision: yes

Circularity Check

0 steps flagged

No circularity: derivations rely on independent algebraic arguments from definitions and external foundations

full rationale

The paper defines the subalgebra b^a explicitly as the intersection of all Borel subalgebras containing a regular element a, then invokes standard facts about Levi subalgebras and their Mishchenko-Fomenko systems to establish codimensions of critical values (1 or 2), singular locus membership of x + [b^a, b^a], the rank(g)-dimensional family of singular fibres, and the recursive formula for irreducible components of F_a^{-1}(0). These steps are presented as direct proofs building on prior independent results by Bolsinov, Charbonnel-Moreau, Moreau and others, with no reduction of the central claims to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations. The derivation chain is self-contained against external algebraic benchmarks and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on the standard axioms of the theory of complex semisimple Lie algebras, the existence and intersection properties of Borel subalgebras, and the known construction of Mishchenko-Fomenko subalgebras; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Standard structural facts about complex semisimple Lie algebras, Borel subalgebras, and Levi subalgebras
    Invoked throughout the definitions of b^a, the moment map F_a, and the restriction to Levi subalgebras.
  • domain assumption The Mishchenko-Fomenko construction yields a maximal Poisson-commutative subalgebra for each regular a
    Taken as given from the cited foundational work; used to define the moment map F_a.

pith-pipeline@v0.9.0 · 5908 in / 1649 out tokens · 23288 ms · 2026-05-24T23:47:05.291100+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

27 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Hessenberg varieties, Slodowy slices, and integrable syst ems

    Abe, H., and Crooks, P. Hessenberg varieties, Slodowy slices, and integrable syst ems. Math. Z. 291 , 3–4 (2019), 1093–1132

    work page 2019

  2. [2]

    Quantizing Mishchenko–Fomenko subalgebras for centraliz ers via affine W -algebras

    Arakaw a, T., and Premet, A. Quantizing Mishchenko–Fomenko subalgebras for centraliz ers via affine W -algebras. Trans. Moscow Math. Soc. 78 (2017), 217–234

    work page 2017

  3. [3]

    Some remarks about Mishchenko–Fomenko subalgebras

    Bolsinov, A. Some remarks about Mishchenko–Fomenko subalgebras. J. Algebra 483 (2017), 58–70

    work page 2017

  4. [4]

    Bolsinov, A. V. Commutative families of functions related to consistent Po isson brackets. Acta Appl. Math. 24 , 3 (1991), 253–274

    work page 1991

  5. [5]

    Bolsinov, A. V. Compatible Poisson brackets on Lie algebras and the complet eness of families of functions in involution. Izv. Akad. Nauk SSSR Ser. Mat. 55 , 1 (1991), 68–92

    work page 1991

  6. [6]

    Nilpotent bicone and characteristic submodule of a reducti ve Lie algebra

    Charbonnel, J.-Y., and Moreau, A. Nilpotent bicone and characteristic submodule of a reducti ve Lie algebra. Transform. Groups 14 , 2 (2009), 319–360

    work page 2009

  7. [7]

    The index of centralizers of elements of reductive Lie algeb ras

    Charbonnel, J.-Y., and Moreau, A. The index of centralizers of elements of reductive Lie algeb ras. Doc. Math. 15 (2010), 387–421

    work page 2010

  8. [8]

    Representation theory and complex geometry

    Chriss, N., and Ginzburg, V. Representation theory and complex geometry . Modern Birkh¨ auser Classics. Birkh¨ auser Boston, Inc., Boston, MA, 2010. Reprint of the 1997 edition

    work page 2010

  9. [9]

    The complex orthogonal Gelfand–Zeitlin system

    Colarusso, M., and Evens, S. The complex orthogonal Gelfand–Zeitlin system. arXiv:180 8.04424 (2018), 34pp

    work page 2018

  10. [10]

    Abstract integrable systems on hyperk¨ ahler manifolds arising from Slodowy slices

    Crooks, P., and Rayan, S. Abstract integrable systems on hyperk¨ ahler manifolds arising from Slodowy slices. Math. Res. Lett. 26 , 9 (2019), 9–33

    work page 2019

  11. [11]

    Slodowy slices and the complete integrability of Mishchenko-Fomenko subalgebras on regular adjoint orbits

    Crooks, P., Rosemann, S., and R ¨oser, M. Slodowy slices and the complete integrability of Mishchenk o–Fomenko subal- gebras on regular adjoint orbits. arXiv:1803.04942 (2018) , 6pp

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  12. [12]

    Algebraic geometry

    Hartshorne, R. Algebraic geometry . Springer-Verlag, New York-Heidelberg, 1977. Graduate Te xts in Mathematics, No. 52

    work page 1977

  13. [13]

    The principal three-dimensional subgroup and the Betti num bers of a complex simple Lie group

    Kostant, B. The principal three-dimensional subgroup and the Betti num bers of a complex simple Lie group. Amer. J. Math. 81 (1959), 973–1032

    work page 1959

  14. [14]

    Lie group representations on polynomial rings

    Kostant, B. Lie group representations on polynomial rings. Amer. J. Math. 85 (1963), 327–404

    work page 1963

  15. [15]

    The solution to a generalized Toda lattice and representati on theory

    Kostant, B. The solution to a generalized Toda lattice and representati on theory. Adv. in Math. 34 , 3 (1979), 195–338

    work page 1979

  16. [16]

    Fomenko-Mishchenko theory, Hessenberg varieties, and pol arizations

    Kostant, B. Fomenko-Mishchenko theory, Hessenberg varieties, and pol arizations. Lett. Math. Phys. 90 , 1-3 (2009), 253– 285

    work page 2009

  17. [17]

    Commutative ring theory , second ed., vol

    Matsumura, H. Commutative ring theory , second ed., vol. 8 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1989. Translated from the Jap anese by M. Reid

    work page 1989

  18. [18]

    S., and Fomenko, A

    Mishchenko, A. S., and Fomenko, A. T. Euler equations on finite-dimensional Lie groups. Izv. Akad. Nauk SSSR Ser. Mat. 42 , 2 (1978), 396–415, 471

    work page 1978

  19. [19]

    Quantisation and nilpotent limits of Mishchenko–Fomenko s ubalgebras

    Molev, A., and Yakimova, O. Quantisation and nilpotent limits of Mishchenko–Fomenko s ubalgebras. arXiv:1711.03917 (2017), 32pp

    work page arXiv 2017

  20. [20]

    A remark on Mishchenko–Fomenko algebras and regular sequen ces

    Moreau, A. A remark on Mishchenko–Fomenko algebras and regular sequen ces. Selecta Math. (N.S.) 24 , 3 (2018), 2651– 2657

    work page 2018

  21. [21]

    I., and Yakimova, O

    Panyushev, D. I., and Yakimova, O. S. The argument shift method and maximal commutative subalgeb ras of Poisson algebras. Math. Res. Lett. 15 , 2 (2008), 239–249

    work page 2008

  22. [22]

    I., and Yakimova, O

    Panyushev, D. I., and Yakimova, O. S. Poisson-commutative subalgebras and complete integrabil ity on non-regular coadjoint orbits and flag varieties. Math. Z. (2019), 27pp. DOI: https://doi.org/10.1007/s00209–019– 02357–y

    work page doi:10.1007/s00209 2019

  23. [23]

    Shuvalov, V. V. On the limits of Mishchenko–Fomenko subalgebras in Poisson algebras of semisimple Lie algebras. Funktsional. Anal. i Prilozhen. 36 , 4 (2002), 55–64

    work page 2002

  24. [24]

    Tarasov, A. A. The maximality of some commutative subalgebras in Poisson a lgebras of semisimple Lie algebras. Uspekhi Mat. Nauk 57 , 5(347) (2002), 165–166

    work page 2002

  25. [25]

    Tauvel, P., and Yu, R. W. T. Lie algebras and algebraic groups . Springer Monographs in Mathematics. Springer-Verlag, Berlin, 2005

    work page 2005

  26. [26]

    The center of the universal enveloping algebra of a Lie algeb ra in characteristic p

    Veldkamp, F. The center of the universal enveloping algebra of a Lie algeb ra in characteristic p. Ann. Sci. ´Ecole Norm. Sup. 4 , 5 (1972), 217–240

    work page 1972

  27. [27]

    Vinberg, E. B. Some commutative subalgebras of a universal enveloping alg ebra. Izv. Akad. Nauk SSSR Ser. Mat. 54 , 1 (1990), 3–25, 221. (Peter Crooks) Department of Mathematics, Northeastern University, 360 Hunt ington A venue, Boston, MA 02115, USA E-mail address : p.crooks@northeastern.edu (Markus R¨ oser)F achbereich Mathematik, Universit¨at Hamburg, ...

    work page 1990