Nonlinear Grassmannians: plain, decorated, augmented
Pith reviewed 2026-05-23 00:31 UTC · model grok-4.3
The pith
Decorated and augmented nonlinear Grassmannians parametrize coadjoint orbits of diffeomorphism groups as smooth symplectic Fréchet manifolds.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Decorated and augmented nonlinear Grassmannians can be used to parametrize coadjoint orbits of classical diffeomorphism groups. The authors supply decoration and augmentation functors that induce smooth Fréchet manifold structures on these Grassmannians in a way compatible with the coadjoint action, thereby equipping the orbits with the structure of smooth symplectic Fréchet manifolds. The resulting description is uniform across the orbits that arise this way.
What carries the argument
Decoration and augmentation functors on nonlinear Grassmannians, which produce spaces that inherit a smooth Fréchet manifold structure compatible with the coadjoint action and the symplectic form.
If this is right
- The coadjoint orbits acquire a well-defined smooth manifold topology and differentiable structure from the underlying Grassmannian.
- The Kirillov-Kostant-Souriau symplectic form on each orbit descends from the geometry of the decorated or augmented Grassmannian.
- The same functorial construction applies without modification to the coadjoint orbits of the diffeomorphism group of a manifold, its volume-preserving subgroup, and related classical groups.
- Local charts and transition maps on the orbits are inherited directly from the Grassmannian model rather than constructed ad hoc.
Where Pith is reading between the lines
- The functorial approach may extend to coadjoint orbits of other infinite-dimensional Lie groups whose actions preserve additional geometric structures.
- Explicit coordinate computations or curvature calculations on these orbits could be carried out by lifting them to the Grassmannian level where local models are simpler.
- The uniform description might make it easier to compare orbit geometry across different base manifolds or different choices of decoration.
Load-bearing premise
The decoration and augmentation functors can be defined so the resulting spaces carry a smooth Fréchet manifold structure compatible with the coadjoint action and symplectic form.
What would settle it
An explicit example of a classical diffeomorphism group and orbit where no choice of decoration or augmentation yields a Fréchet manifold structure whose tangent spaces support a nondegenerate closed two-form invariant under the group action.
read the original abstract
Decorated and augmented nonlinear Grassmannians can be used to parametrize coadjoint orbits of classical diffeomorphism groups. We provide a general framework for decoration and augmentation functors that facilitates the construction of a smooth structure on decorated or augmented nonlinear Grassmannians. This permits to equip the corresponding coadjoint orbits with the structure of a smooth symplectic Frechet manifold. The coadjoint orbits obtained in this way are not new. Here, we provide a uniform description of their smooth structures.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript introduces a general framework for decoration and augmentation functors on nonlinear Grassmannians. It claims that the resulting decorated and augmented spaces furnish a uniform parametrization of known coadjoint orbits of classical diffeomorphism groups, and that the functors can be defined so the spaces carry a smooth Fréchet manifold structure compatible with the coadjoint action and the Kirillov-Kostant-Souriau symplectic form. The paper explicitly states that the orbits are not new and positions its contribution as providing this uniform description of their smooth structures.
Significance. If the functorial constructions are carried out rigorously and the smoothness and compatibility properties are verified, the work would supply a systematic, uniform language for describing the infinite-dimensional geometry of these coadjoint orbits. This could streamline arguments that currently rely on case-by-case constructions for different diffeomorphism groups. The manuscript does not claim novelty for the orbits themselves, which limits the scope of the advance to a re-description.
major comments (2)
- [Abstract] Abstract: the assertion that the decoration and augmentation functors 'facilitate the construction of a smooth structure' and permit the coadjoint orbits to be equipped with a smooth symplectic Fréchet manifold structure is stated without any derivation, explicit definition of the functors, or verification that the resulting atlas is Fréchet, that the coadjoint action remains smooth, or that the KKS form is well-defined. This verification is the load-bearing step for the central claim.
- [Abstract] The manuscript frames the contribution as functorial and general, yet provides no indication of how the functors are constructed on the underlying nonlinear Grassmannians or why they automatically inherit the required Fréchet atlas from the plain case. Without this, the claim that the resulting spaces carry a smooth structure compatible with the coadjoint action cannot be assessed.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. The major comments concern the level of detail in the abstract regarding the functor constructions and smoothness verifications. We address each point below and will revise the abstract accordingly.
read point-by-point responses
-
Referee: [Abstract] Abstract: the assertion that the decoration and augmentation functors 'facilitate the construction of a smooth structure' and permit the coadjoint orbits to be equipped with a smooth symplectic Fréchet manifold structure is stated without any derivation, explicit definition of the functors, or verification that the resulting atlas is Fréchet, that the coadjoint action remains smooth, or that the KKS form is well-defined. This verification is the load-bearing step for the central claim.
Authors: We agree the abstract is a high-level summary and does not contain the derivations. The explicit definitions of the decoration and augmentation functors appear in Sections 3 and 4, where they are constructed on the underlying nonlinear Grassmannians. The verification that the resulting spaces carry a Fréchet atlas, that the coadjoint action is smooth, and that the KKS form is well-defined is carried out in Section 5. We will revise the abstract to add a brief clause indicating that these properties are established in the main text. revision: yes
-
Referee: [Abstract] The manuscript frames the contribution as functorial and general, yet provides no indication of how the functors are constructed on the underlying nonlinear Grassmannians or why they automatically inherit the required Fréchet atlas from the plain case. Without this, the claim that the resulting spaces carry a smooth structure compatible with the coadjoint action cannot be assessed.
Authors: The paper develops the general framework precisely to show how the functors are defined on nonlinear Grassmannians so that the Fréchet atlas is inherited from the plain case; this inheritance and the compatibility with the coadjoint action are proved in the body. We will revise the abstract to include a short phrase noting that the functors are constructed to preserve the smooth structure, directing readers to the relevant sections for the details. revision: yes
Circularity Check
No significant circularity; construction of functors on standard objects
full rationale
The paper explicitly states that the coadjoint orbits are not new and frames its contribution as providing a uniform description via decoration and augmentation functors on nonlinear Grassmannians. The abstract and reader's summary indicate a direct construction of smooth Fréchet structures compatible with the coadjoint action and KKS form, without any indication of self-referential definitions, fitted inputs renamed as predictions, or load-bearing self-citations that reduce the central claim to its own inputs. The derivation chain is self-contained as a functorial re-parametrization of known objects.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Decorated and augmented nonlinear Grassmannians can be used to parametrize coadjoint orbits of classical diffeomorphism groups... uniform description of their smooth structures.
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
A decoration functor D is a functor from the category of closed manifolds... to Fréchet manifolds such that the Diff(S) action on D(S) is smooth.
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
-
[1]
M. C. Abbati, R. Cirellu, A. Mania and P. Michor, The Lie group of automorphisms of a principle bundle , Journal of Geometry and Physics, 6 (1989), 215–235
work page 1989
-
[2]
E. Binz and H.R. Fischer, The manifold of embeddings of a c losed manifold. With an appendix by P. Michor. Lecture Notes in Phys. 139, Differential geometric methods in mathematical physics (P roc. Internat. Conf., Tech. Univ. Clausthal, Clausthal-Zellerfeld, 1978), pp. 3 10–329, Springer, Berlin-New York (1981)
work page 1978
-
[3]
E. Cartan. Les groupes de transformations continus, infinis, simples . Ann. Sci. ´Ecole Norm. Sup. (3), 26:93-161, 1909
work page 1909
-
[4]
F. Gay-Balmaz and C. Vizman, Dual pairs in fluid dynamics , Ann. Global Anal. Geom. 41 (2012), 1–24
work page 2012
-
[5]
F. Gay-Balmaz and C. Vizman, Principal bundles of embeddings , Ann. Global Anal. Geom. 46 (2014), 293–312
work page 2014
-
[6]
F. Gay-Balmaz and C. Vizman, Isotropic submanifolds and coadjoint orbits of the Hamilto nian group, J. Symp. Geom. 17 (2019), 663–702
work page 2019
-
[7]
F. Gay-Balmaz and C. Vizman, Coadjoint orbits of vortex sheets in ideal fluids , J. Geom. Phys. 197 (2024), Paper No. 105096, 13 pp
work page 2024
-
[8]
H. Gl¨ ockner and K.-H. Neeb, Infinite-Dimensional Lie Groups , Book in preparation
-
[9]
G. A. Goldin, R. Menikoff, and D. H. Sharp, Diffeomorphism groups and quantized vortex filaments , Phys. Rev. Lett. 58 (1987), 2162–2164
work page 1987
-
[10]
G. A. Goldin, R. Menikoff, and D. H. Sharp, Quantum vortex configurations in three dimensions. Phys. Rev. Lett. 67 (1991), 3499–3502
work page 1991
-
[11]
S. Haller and C. Vizman, Nonlinear Grassmannians as coadjoint orbits , Math. Ann. 329 (2004), 771–785
work page 2004
-
[12]
S. Haller and C. Vizman, Nonlinear flag manifolds as coadjoint orbits , Ann. Global Anal. Geom. 58 (2020), 385–413
work page 2020
-
[13]
S. Haller and C. Vizman, A dual pair for the contact group , Math. Z. 301 (2022), 2937–2973
work page 2022
-
[14]
S. Haller and C. Vizman, Weighted nonlinear flag manifolds as coadjoint orbits , Canad. J. Math. 76 (2024), 1664–1694
work page 2024
-
[15]
S. Haller and C. Vizman, A dual pair for the volume preserving diffeomorphism group , arXiv:2405.10737 (2024)
-
[16]
R. S. Hamilton, The inverse function theorem of Nash and Moser , Bull. Amer. Math. Soc. (N.S.), 7 (1982), 65–222
work page 1982
-
[17]
D. D. Holm and J. E. Marsden, Moment maps and measure-valued solutions (peakons, filamen ts, and sheets) for the EPDiff equation. In The breadth of symplectic and Poisson geometry , volume 232 of Progr. Math., pages 203–235. Birkh¨ auser Boston, Boston, MA, 2005. 31
work page 2005
-
[18]
R. S. Ismagilov, Representations of Infinite-Dimensional Groups. Translated from the Russian Manuscript by D. Deart., Translations of Mathematical Monographs, vol. 152. American Mathematical Society, Providence (1996)
work page 1996
-
[19]
Khesin, Symplectic structures and dynamics on vortex membranes , Moscow Math
B. Khesin, Symplectic structures and dynamics on vortex membranes , Moscow Math. J. 12 (2013), 413–434
work page 2013
-
[20]
A. Kriegl and P. W. Michor. The convenient setting of global analysis. Mathematical Surveys and Monographs
-
[21]
American Mathematical Society, Providence, RI, 1997
work page 1997
-
[22]
Lee, Geometric structures on spaces of weighted submanifolds , SIGMA, 5(2009), Article No
B. Lee, Geometric structures on spaces of weighted submanifolds , SIGMA, 5(2009), Article No. 099, 49pp
work page 2009
-
[23]
J. E. Marsden and A. Weinstein, Coadjoint orbits, vortices, and Clebsch variables for inco mpressible fluids, Phys. D, 7(1983), 305–323
work page 1983
-
[24]
P. W. Michor, Manifolds of smooth maps. III. The princip al bundle of embeddings of a noncompact smooth manifold. Cahiers Topologie G´ eom. Diff´ erentielle21, 325–337 (1980)
work page 1980
-
[25]
P. W. Michor, Manifolds of differentiable mappings. Shi va Mathematics Series 3. Shiva Publishing Ltd., Nantwich (1980)
work page 1980
-
[26]
P. W. Michor, Topics in differential geometry. Grad. Stud. Math. 93. American Mathematical Society, Provi- dence, RI, 2008
work page 2008
-
[27]
Moser, On the volume elements on a manifold , Trans
J. Moser, On the volume elements on a manifold , Trans. Amer. Math. Soc. 120 (1965), 286–294
work page 1965
-
[28]
Milnor, Remarks on infinite-dimensional Lie groups , pp
J. Milnor, Remarks on infinite-dimensional Lie groups , pp. 1007–1057 in: B. DeWitt and R. Stora (eds), Rela- tivit´ e, groupes et topologie II (Les Houches, 1983), North Holland, Amsterdam, 1984
work page 1983
-
[29]
I. M. Singer and S. Sternberg. The infinite groups of Lie and Cartan. I. The transitive group s. J. Analyse Math., 15:1-114, 1965
work page 1965
-
[30]
Weinstein, Lectures on symplectic manifolds
A. Weinstein, Lectures on symplectic manifolds. Expository lectures from the CBMS Regional Conference held at the University of North Carolina, March 8–12, 1976. Regio nal Conference Series in Mathematics, No. 29. American Mathematical Society, Providence, R.I., 1977
work page 1976
-
[31]
Weinstein, Neighborhood classification of isotropic embeddings , J
A. Weinstein, Neighborhood classification of isotropic embeddings , J. Diff. Geom. 16 (1981), 125–128
work page 1981
-
[32]
Weinstein, The local structure of Poisson manifolds , J
A. Weinstein, The local structure of Poisson manifolds , J. Differential Geom., 18 (1983), 523–557
work page 1983
-
[33]
Weinstein, Connections of Berry and Hannay type for moving Lagrangian s ubmanifolds, Adv
A. Weinstein, Connections of Berry and Hannay type for moving Lagrangian s ubmanifolds, Adv. Math., 82 (1990), 133–159. Stefan Haller, Department of Mathematics, University of Vi enna, Oskar-Morgenstern-Platz 1, 1090 Vienna, Austria. ORCID 0000-0002-7064-2215 Email address : stefan.haller@univie.ac.at Cornelia Vizman, Department of Mathematics, West Unive...
work page 1990
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.