pith. sign in

arxiv: 2605.22512 · v1 · pith:P6FIH6TPnew · submitted 2026-05-21 · 🧮 math.FA · math-ph· math.DG· math.MP· math.OA

The Restricted Schatten-class Grassmannian Gr_(res, p)(mathcal{H}) as affine coadjoint orbit

Amin Tahiri , Alice Barbora Tumpach This is my paper

Pith reviewed 2026-05-22 01:38 UTC · model grok-4.3

classification 🧮 math.FA math-phmath.DGmath.MPmath.OA
keywords restricted Grassmannianp-Schatten classunitary group2-cocyclecoadjoint orbitweak symplectic structureinfinite-dimensional geometrypolarized Hilbert space
0
0 comments X

The pith

The restricted p-Schatten Grassmannian is an affine coadjoint orbit of the restricted unitary group for p between 1 and 2.

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

The paper examines subspaces of a polarized Hilbert space where the projection onto the positive part is Fredholm and onto the negative part lies in the p-Schatten class. It establishes that for indices p from 1 to 2, this restricted Grassmannian arises as an affine coadjoint orbit under the action of the corresponding restricted unitary group. The key enabler is a nontrivial 2-cocycle on the Lie algebra of that group, which also equips the Grassmannian with natural weak symplectic structures. This identification matters because it embeds these operator-theoretic objects into the framework of infinite-dimensional symplectic geometry and group actions.

Core claim

For 1 ≤ p ≤ 2, the restricted p-Schatten class Grassmannian Gr_res,p(H) is an affine (co-)adjoint orbit of the infinite-dimensional restricted unitary group U_res,p(H), and it admits natural weak symplectic structures. These results follow from the fact that the Lie algebra of U_res,p(H) admits a non-trivial 2-cocycle.

What carries the argument

The non-trivial 2-cocycle on the Lie algebra of the restricted p-Schatten class unitary group U_res,p(H), which defines the coadjoint action making the Grassmannian an affine orbit.

If this is right

  • The Grassmannian carries a weak symplectic form induced by the cocycle.
  • It can be realized as an orbit in the dual space of the Lie algebra under the coadjoint action.
  • This holds specifically for p in [1,2], extending the p=2 Hilbert-Schmidt case.
  • The construction relies on the Fredholm and Schatten conditions to ensure the orbit structure.

Where Pith is reading between the lines

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

  • If the cocycle extends continuously to other p values, the result might hold more broadly.
  • This orbit structure could facilitate the study of Hamiltonian dynamics on these Grassmannians.
  • Finite-dimensional approximations of the Hilbert space might allow numerical checks of the cocycle non-triviality.

Load-bearing premise

The Lie algebra of the restricted p-Schatten class unitary group admits a non-trivial 2-cocycle.

What would settle it

An explicit calculation demonstrating that the proposed 2-cocycle is a coboundary or vanishes for some p in [1,2], or that the group action fails to be transitive on the Grassmannian.

read the original abstract

In this paper, we consider the restricted $p$-Schatten class Grassmannian $\mathrm {Gr}_{{\rm res}, p}(\mathcal{H})$ consisting of infinite-dimensional and infinite codimensional subspaces $W$ of a polarized complex separable Hilbert space $\mathcal{H} = \mathcal{H}_+\oplus \mathcal{H}_-$ such that the orthogonal projection from $W$ onto $\mathcal{H}_+$ is Fredholm and the orthogonal projection from $W$ onto $\mathcal{H}_-$ is in the Schatten ideal $L_p$, $p\geq 1$. The aim of this paper is to show that, for $1\leq p\leq 2$, the restricted $p$-Schatten class Grassmannian $\mathrm {Gr}_{{\rm res}, p}(\mathcal{H})$ is an affine (co-)adjoint orbit of an infinite-dimensional restricted unitary group $\operatorname{U}_{{\rm res}, p}(\mathcal{H})$, and that it admits natural weak symplectic structures. These results follow from the fact that the Lie algebra of the restricted $p$-Schatten class unitary group $\operatorname{U}_{{\rm res}, p}(\mathcal{H})$ admits a non-trivial $2$-cocycle.

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 / 0 minor

Summary. The paper considers the restricted p-Schatten class Grassmannian Gr_res,p(H) of subspaces W in a polarized Hilbert space H = H+ ⊕ H- such that the projection onto H+ is Fredholm and onto H- lies in the Schatten class Lp for p ≥ 1. It claims that for 1 ≤ p ≤ 2 this Grassmannian is an affine coadjoint orbit of the restricted unitary group U_res,p(H) and carries natural weak symplectic structures; both conclusions are asserted to follow from the Lie algebra of U_res,p(H) admitting a non-trivial 2-cocycle.

Significance. If the central claims are established, the work would extend the known p=2 (Hilbert-Schmidt) case to the interval 1 ≤ p ≤ 2, furnishing a continuous family of infinite-dimensional Grassmannians realized as affine coadjoint orbits equipped with weak symplectic forms. Such structures are of interest in infinite-dimensional symplectic geometry and operator-algebraic approaches to quantization.

major comments (1)
  1. [Abstract] Abstract (final sentence): the statement that the orbit and weak-symplectic results 'follow from' the existence of a non-trivial 2-cocycle on u_res,p(H) is load-bearing. For the cocycle c(X,Y) = Tr(X[P+,Y]) (or equivalent form) to be well-defined when p=1, the product of two off-diagonal blocks each belonging to the Schatten 1-class must lie in the trace-class ideal; the manuscript must supply an explicit verification that the trace is finite, independent of approximation, and continuous in the p-norm topology down to p=1, rather than relying on the p=2 case.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for an explicit verification of the 2-cocycle at p=1. We agree that this point is essential to support the claim that the orbit and weak-symplectic structures follow from the cocycle for the full range 1 ≤ p ≤ 2. We will revise the manuscript to supply the requested details.

read point-by-point responses

  1. Referee: [Abstract] Abstract (final sentence): the statement that the orbit and weak-symplectic results 'follow from' the existence of a non-trivial 2-cocycle on u_res,p(H) is load-bearing. For the cocycle c(X,Y) = Tr(X[P+,Y]) (or equivalent form) to be well-defined when p=1, the product of two off-diagonal blocks each belonging to the Schatten 1-class must lie in the trace-class ideal; the manuscript must supply an explicit verification that the trace is finite, independent of approximation, and continuous in the p-norm topology down to p=1, rather than relying on the p=2 case.

    Authors: We agree that an explicit verification is required to rigorously establish the well-definedness of the cocycle at the endpoint p=1. While the case p=2 follows from the standard fact that the product of two Hilbert-Schmidt operators is trace-class, for p=1 we will provide a direct argument in the revised manuscript. Specifically, we will show that for X, Y in the Lie algebra, the operator X [P_+, Y] belongs to the trace-class ideal by exploiting the off-diagonal block structure and using approximation by operators with finite-dimensional range in the polarized decomposition. We will also prove continuity of the resulting bilinear form with respect to the Schatten p-norm as p approaches 1. This addition will ensure that the central claims indeed follow from the existence of the non-trivial 2-cocycle for the entire interval 1 ≤ p ≤ 2. revision: yes

Circularity Check

0 steps flagged

No circularity: orbit and symplectic claims derived from independent 2-cocycle fact

full rationale

The abstract states that the Grassmannian being an affine coadjoint orbit and admitting weak symplectic structures follows from the Lie algebra of U_res,p(H) admitting a non-trivial 2-cocycle. This is a standard Lie-algebraic construction (cocycle induces central extension whose coadjoint orbits carry the symplectic form) and does not reduce the target result to a redefinition or fit of itself. No self-definitional steps, fitted inputs renamed as predictions, or load-bearing self-citations appear in the given text; the cocycle existence is presented as an external fact to be verified separately. The derivation chain is therefore self-contained against external benchmarks in infinite-dimensional geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on standard facts from functional analysis (Fredholm operators, Schatten ideals, polarized Hilbert spaces) and Lie-group cohomology; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • standard math Standard properties of Schatten p-ideals and Fredholm operators on polarized separable Hilbert spaces
    Invoked implicitly when defining Gr_res,p(H)
  • domain assumption Existence of a non-trivial continuous 2-cocycle on the Lie algebra of U_res,p(H)
    Explicitly stated as the source of the orbit and symplectic structures

pith-pipeline@v0.9.0 · 5768 in / 1370 out tokens · 53721 ms · 2026-05-22T01:38:22.070355+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

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

  1. [1]

    Recht, L.,Finsler geometry and actions of thep-Schatten unitary groups, Trans

    Andruchow, E., Larotonda, G. Recht, L.,Finsler geometry and actions of thep-Schatten unitary groups, Trans. Amer. Math. Soc. 362, 319–344, 2010

    work page 2010

  2. [2]

    Beltit ¸˘ a, D., Ratiu, T., Tumpach, A.B.,The restricted Grassmannian, Banach Lie–Poisson spaces, and coadjoint orbits, Journal of Functional Analysis 247, 138–168, Elsevier 2007

    work page 2007

  3. [3]

    Beltit ¸˘ a, D., Goli´ nski, T., Tumpach, A.B.,Queer Poisson brackets, J. Geom. Phys. 132, 358–362, 2018

    work page 2018

  4. [4]

    Beltit ¸˘ a, D., Odzijewicz, A.,Poisson geometrical aspects of the Tomita–Takesaki modular theory, arXiv:1910.14466, 2019

    work page internal anchor Pith review arXiv 1910

  5. [5]

    Beltit ¸˘ a, D., Larotonda, G.,Unitary group orbits versus groupoid orbits of normal operators, arXiv:2111.04238, 2011

    work page arXiv 2011

  6. [6]

    Fascicule de r´ esultats, Hermann 1967

    Bourbaki, N.,Vari´ et´ es diff´ erentielles et analytiques. Fascicule de r´ esultats, Hermann 1967

    work page 1967

  7. [7]

    Cabau, P., Pelletier, F.,Almost Lie structures on an anchored Banach bundle, J. Geom. Phys. 62, 2147–2169, 2012

    work page 2012

  8. [8]

    Conway, John B.,A course in functional analysis, Springer 96, 2019

    work page 2019

  9. [9]

    De Bi` evre, S., Genoud, F., Rota Nodari, S.,Orbital stability: analysis meets geometry, Nonlinear optical and atomic systems, 147–273, Springer 2015

    work page 2015

  10. [10]

    Doll, N., Schulz-Baldes, H., Waterstraat, N.,Spectral flow: A functional analytic and index-theoretic approach, Walter de Gruyter GmbH & Co KG 94, 2023

    work page 2023

  11. [11]

    H.,Infinite-dimensional Lie groups, 2026

    Gl¨ ockner, H., Neeb, K. H.,Infinite-dimensional Lie groups, 2026

    work page 2026

  12. [12]

    Goli´ nski, T., Odzijewicz, A.Hierarchy of Hamiltonian equations on Banach Lie–Poisson spaces related to restricted Grassmannian, Journal of Functional Analysis 258 (2010), 3266-3294

    work page 2010

  13. [13]

    Goli´ nski, T.,A note on precotangent bundles: the example of Grassmannians, arXiv preprint, 2025

    work page 2025

  14. [14]

    Goli´ nski, T., Jakimowicz, G., Sli˙ zewska, A.,Banach Lie groupoid of partial isometries over restricted Grassmannian, arXiv preprint, arXiv:2404.12847, 2024

    work page arXiv 2024

  15. [15]

    Goli´ nski, T., Tumpach, A.B., Rahangdale, P.Poisson Structures in the Banach Setting: Comparison of Different Approaches, Geomteric Methods in Physics XLI, 97–118, 2025

    work page 2025

  16. [16]

    Goli´ nski, T., Tumpach, A.B.,Integrable system on partial isometries: a finite dimensional picture, Geometric Methods in Physics XXXX, Workshop, Bialowieza, Poland, Springer, 2023

    work page 2023

  17. [17]

    Goli´ nski, T., Tumpach, A.B.,Geometry of Integrable Systems Related to the Restricted Grassmannian, SIGMA 20 (2024), 104

    work page 2024

  18. [18]

    Grabowski, J.,A Poisson–Lie structure on the diffeomorphism group of a circle, Lett. Math. Phys. 32, 307–313, Springer 1994

    work page 1994

  19. [19]

    Grabowski, J., Ku´ s, M., Marmo, G.,Geometry of quantum systems: density states and entanglement, J. Phys. A: Math. Gen. 38, 10217, 2005

    work page 2005

  20. [20]

    Harris, LA and Kaup, Wilhelm,Linear algebraic groups in infinite dimensions, Illinois Journal of Mathematics 21, 666–674, Springer 1977

    work page 1977

  21. [21]

    Khesin, B., Zakharevich, I.,Poisson–Lie group of pseudodifferential symbols, Comm. Math. Phys. 171, 475–530, Springer 1995

    work page 1995

  22. [22]

    H.,Infinite-Dimensional Groups and Their Representations, Lie Theory: Lie Algebras and Representations, 213–328, Birkh¨ auser Boston 2004

    Neeb, K. H.,Infinite-Dimensional Groups and Their Representations, Lie Theory: Lie Algebras and Representations, 213–328, Birkh¨ auser Boston 2004

    work page 2004

  23. [23]

    Neeb, K. H., Sahlmann, H., Thiemann, T.Weak Poisson structures on infinite dimensional manifolds and Hamiltonian actions, Lie Theory and Its Applications in Physics, Varna, Bulgaria, June 2013, Springer Proceedings in Mathematics and Statistics, Vol. 111, 105–135, Springer, Tokyo, 2014

    work page 2013

  24. [24]

    Odzijewicz, A., Ratiu, T.S.Banach Lie–Poisson spaces and reduction, Comm. Math. Phys. 243 (2003), no. 1, 1–54

    work page 2003

  25. [25]

    Anal., 255, 1225–1272, 2008

    Odzijewicz, A., Ratiu, T.S.Induced and coinduced Lie–Poisson spaces and integrability, J.Funct. Anal., 255, 1225–1272, 2008

    work page 2008

  26. [26]

    Pelletier, F., Cabau, P.,Convenient partial Poisson manifolds, J. Geom. Phys. 136, 173–194, 2019

    work page 2019

  27. [27]

    THE RESTRICTED SCHATTEN-CLASS GRASSMANNIAN Gr res,p(H) AS AFFINE COADJOINT ORBIT 15

    Pressley, A., Segal, G.,Loop Groups, Oxford Mathematical Monographs, Clarendon Press 1986. THE RESTRICTED SCHATTEN-CLASS GRASSMANNIAN Gr res,p(H) AS AFFINE COADJOINT ORBIT 15

    work page 1986

  28. [28]

    Segal, G., Wilson, G.Loop Groups and equations of KdV type, Terng, Chuu Lian (ed.) et al., Surveys in differential geometry. Vol. IV. A supplement to the Journal of Differential Geometry. Integral systems (integrable systems). Lectures on geometry and topology. Cambridge, MA: International Press, (1998), 403-466

    work page 1998

  29. [29]

    Stevenson, D.,Geometry of infinite dimensional Grassmannians and the Mickelsson–Rajeev cocycle, Journal of Geometry and Physics 60, 664–677, 2010

    work page 2010

  30. [30]

    Tahiri, A., Tumpach, A.B.,Banach Poisson Lie Groups in Duality, in preparation

    work page

  31. [31]

    Wurzbacher, T.,Fermionic second quantization and the geometry of the restricted Grassmannian, Infinite Dimensional K¨ ahler Manifolds, DMV Seminar 31, 287–375, Birkh¨ auser 2001

    work page 2001

  32. [32]

    Tumpach, A.B., Goli´ nski, T.,The Banach Poisson–Lie group structure ofU(H), in Proceedings of Workshop on Geometric Methods in Physics, Workshop, Bialowieza, Poland, Springer, 2022

    work page 2022

  33. [33]

    Tumpach, A.B.Banach Poisson–Lie groups and the Bruhat-Poisson structure of the restricted Grass- mannian, Comm. Math. Phys. 373, 795–858, 2020

    work page 2020

  34. [34]

    Zakharevich, I.,The second Gelfand–Dickey bracket as a bracket on a Poisson–Lie Grassmannian, Comm. Math. Phys. 159, 93–119, Springer 1994. University of Utrecht Email address:amin-t78@hotmail.com UMR CNRS 8524, UFR de Math ´ematiques, Laboratoire Paul Painlev´e, 59 655 Villeneuve d’Ascq Cedex, France, &, Institut CNRS Pauli, UMI CNRS 2842, Oskar-Morgenst...

    work page 1994