pith. sign in

arxiv: 1907.04912 · v1 · pith:QPHFPG3Znew · submitted 2019-07-10 · 🧮 math.FA

A non commutative K\"ahler structure on the Poincar\'e disk of a C*-algebra

Esteban Andruchow , Gustavo Corach , L\'azaro Recht This is my paper

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

classification 🧮 math.FA
keywords Poincaré diskC*-algebraKähler structuresymplectic structuremoment mapBanach-Lie groupconvexitynon-commutative geometry
0
0 comments X

The pith

The Poincaré disk of a C*-algebra admits a homogeneous non-commutative Kähler structure under a Banach-Lie group action.

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

The authors equip the Poincaré disk of an arbitrary C*-algebra with a homogeneous Kähler structure interpreted in a non-commutative way. This construction uses the natural action of a Banach-Lie group of 2 by 2 matrices over the algebra. The Kähler structure induces a symplectic form that is also homogeneous. An explicit moment map for the group action is derived. When the C*-algebra admits a trace, the moment map's image becomes convex when restricted to suitable subgroups of the group.

Core claim

We study the Poincaré disk d={z∈a: ||z||<1} of a C*-algebra a as a homogeneous space under the action of an appropriate Banach-Lie group u(θ) of 2×2 matrices with entries in a. We define on d a homogeneous Kähler structure in a non commutative sense. In particular, this Kähler structure defines on d a homogeneous symplectic structure under the action of u(θ). This action has a moment map that we explicitly compute. In the presence of a trace in a, we show that the moment map has a convex image when restricted to appropriate subgroups of u(θ), resembling the classical result of Atiyah-Guillmien-Sternberg.

What carries the argument

The non-commutative homogeneous Kähler structure on the Poincaré disk d, induced by the action of the Banach-Lie group u(θ).

If this is right

  • The Kähler structure produces a homogeneous symplectic structure on the disk.
  • The group action admits an explicitly computed moment map.
  • In the presence of a trace, the moment map image is convex on appropriate subgroups.

Where Pith is reading between the lines

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

  • The same construction could be tested on other bounded symmetric domains inside C*-algebras.
  • The convexity statement may supply new examples in infinite-dimensional symplectic geometry.
  • The moment map computation might be used to study orbit geometry in non-commutative settings.

Load-bearing premise

The specific action of the Banach-Lie group u(θ) on the Poincaré disk permits the definition of a homogeneous non-commutative Kähler structure.

What would settle it

A direct calculation on a concrete C*-algebra showing that the candidate Kähler form fails to be closed or fails to be preserved by the group action would disprove the construction.

read the original abstract

We study the Poincar\'e disk $\d=\{z\in\a: \|z\|<1\}$ of a C$^*$-algebra $\a$ as a homogeneous space under the action of an appropriate Banach-Lie group $\u(\theta)$ of $2\times 2$ matrices with entries in $\a$. We define on $\d$ a homogeneous K\"ahler structure in a non commutative sense. In particular, this K\"ahler structure defines on $\d$ a homogeneous symplectic structure under the action of $\u(\theta)$. This action has a moment map that we explicitly compute. In the presence of a trace in $\a$, we show that the moment map has a convex image when restricted to appropriate subgroups of $\u(\theta)$, resembling the classical result of Atiyah-Guillmien-Sternberg.

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

0 major / 3 minor

Summary. The manuscript studies the Poincaré disk d = {z ∈ A : ||z|| < 1} of a C*-algebra A as a homogeneous space under the action of the Banach-Lie group U(θ) consisting of 2×2 matrices with entries in A. It defines a homogeneous Kähler structure on d in a non-commutative sense; this induces a homogeneous symplectic structure on d under the U(θ) action. The moment map for this action is computed explicitly. When A admits a trace, the image of the moment map is shown to be convex when restricted to appropriate subgroups of U(θ), generalizing the Atiyah-Guillemin-Sternberg convexity theorem.

Significance. If the constructions and proofs hold, the paper supplies an explicit non-commutative extension of the classical Kähler and symplectic geometry of the disk together with a computable moment map and a convexity result. These are concrete, falsifiable objects that could serve as a template for further work in non-commutative geometry and infinite-dimensional Hamiltonian actions.

minor comments (3)
  1. [Abstract] Abstract, line 8: 'Guillmien' should be 'Guillemin'.
  2. [§3] The notation for the group U(θ) and the precise definition of the non-commutative Kähler form (presumably in §2 or §3) should be cross-referenced explicitly when the moment map is introduced, to make the invariance proof easier to follow.
  3. [Introduction] The statement that the Kähler structure is 'homogeneous' would benefit from a short sentence clarifying which group action preserves the form (U(θ) or a subgroup).

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; explicit construction from definitions

full rationale

The paper constructs a non-commutative Kähler structure on the Poincaré disk d via the given u(θ) action on the C*-algebra a, then explicitly computes the associated moment map and proves convexity of its image (under a trace) by direct verification. These steps are derivations from the stated Banach-Lie group action and the classical Atiyah-Guillemin-Sternberg theorem (external citation); no parameter is fitted to data and then renamed as a prediction, no self-citation chain bears the central claim, and no quantity is defined in terms of itself. The derivation chain is therefore self-contained once the initial definitions are granted.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The construction rests on standard properties of C*-algebras, the definition of the open unit ball, and the existence of a suitable Banach-Lie group action; no free parameters or new postulated entities are introduced in the abstract.

axioms (2)
  • domain assumption The set d = {z in a : ||z|| < 1} is a homogeneous space under the action of the Banach-Lie group u(θ) of 2×2 matrices with entries in a.
    This is the geometric setup stated at the beginning of the abstract on which the Kähler structure is defined.
  • standard math Standard functional-analytic properties of C*-algebras and traces on them hold.
    Invoked for the convexity statement when a trace is present.

pith-pipeline@v0.9.0 · 5681 in / 1553 out tokens · 50414 ms · 2026-05-24T23:11:44.740340+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

24 extracted references · 24 canonical work pages · 2 internal anchors

  1. [1]

    Andruchow, E.; Corach, G.; Recht, L., Poincar´ e half-sp ace of a C ∗-algebra, Rev. Mat. Iberoam. (to appear), preprint arXiv:1711.08802

    work page internal anchor Pith review Pith/arXiv arXiv

  2. [2]

    Andruchow, E.; Corach, G.; Recht, L., Projective geomet ry of the Poincar´ e disk of a C ∗- algebra, (preprint) arXiv:1806.08786

    work page internal anchor Pith review Pith/arXiv arXiv

  3. [3]

    I., Mathematical methods of classical mechan ics (2nd

    Arnold, V. I., Mathematical methods of classical mechan ics (2nd. edition), Springer, 1989

    work page 1989

  4. [4]

    Atiyah, M. F. Convexity and commuting Hamiltonians, Bul l. London Math. Soc., 14 (1982), 115

    work page 1982

  5. [5]

    , Propri´ et´ es de convexit´ e de l’application moment

    Brugui´ eres, A. , Propri´ et´ es de convexit´ e de l’application moment. (French) [[Convexity properties of the moment mapping]] S´ eminaire Bourbaki, Vo l. 1985/86. Ast´ erisque No. 145-146, (1987), 3, 63–87

    work page 1985

  6. [6]

    Cannas da Silva, A., Lectures on Symplectic Geometry, Le cture Notes in Mathematics, 1764, Springer, 2001

    work page 2001

  7. [7]

    Corach, G.; Porta, H.; Recht, L., The geometry of spaces o f projections in C ∗-algebras, Adv. Math. 101 (1993), no. 1, 59–77. 30

    work page 1993

  8. [8]

    de Gosson, M. A. Symplectic Geometry and Quantum Mechani cs, Birkhuser Verlag, 2006, Basel

    work page 2006

  9. [9]

    de la Harpe, P., The real symplectic group of a Hilbert spa ce is essentially simple. J. London Math. Soc. 24 (1981), 293–307

    work page 1981

  10. [10]

    Math., 67 (1982), 491–513

    Guillemin, V.; Sternberg, S., Convexity properties of the moment mapping, Invent. Math., 67 (1982), 491–513

    work page 1982

  11. [11]

    A., Bounded symmetric homogeneous domains i n infinite dimensional spaces, in Infinite Dimensional Holomorphy (Eds

    Harris, L. A., Bounded symmetric homogeneous domains i n infinite dimensional spaces, in Infinite Dimensional Holomorphy (Eds. T. L. Hayden and T. J. S uffridge), Lecture Notes in Mathematics, 364, p. 13-40, Springer Verlag, Berlin, 197 3

    work page

  12. [12]

    , Foundations of Differential G eometry, 2, John Wiley& Sons, 1996

    Kobayashi, S.; Nomizu, K. , Foundations of Differential G eometry, 2, John Wiley& Sons, 1996

    work page 1996

  13. [13]

    Kostant, B., On convexity, the Weyl group and the Iwasaw a decomposition, Ann. Sci. cole Norm. Sup. (4) 6 (1973), 413–455 (1974)

    work page 1973

  14. [14]

    G.; Smuljan, Ju

    Krein, M. G.; Smuljan, Ju. L., On linear-fractional tra nsformations with operator coeffi- cients, Mat. Issled. 2(1967), 64-96; English transl. in Ame r. Math. Soc. Transl. 103(1974), 125-152

    work page 1967

  15. [15]

    C., Hilbert C ∗-modules

    Lance, E. C., Hilbert C ∗-modules. A toolkit for operator algebraists. London Mathe matical Society Lecture Note Series, 210. Cambridge University Pre ss, Cambridge, 1995

    work page 1995

  16. [16]

    Phillips, R. S. On symplectic mappings of contraction o perators. Studia Math. 31 1968 15–27

    work page 1968

  17. [17]

    Illinois J

    Porta, H.; Recht, L., Geometric embeddings of operator spaces. Illinois J. Math. 40 (1996), no. 2, 151–161

    work page 1996

  18. [18]

    P., The multiplicative structure of J-cont ractive matrix functions; English transl

    Potapov, V. P., The multiplicative structure of J-cont ractive matrix functions; English transl. in Amer. Math. Soc. Transl. 15(1960), 131-243

    work page 1960

  19. [19]

    L., Symplectic geometry, Amer

    Siegel, C. L., Symplectic geometry, Amer. J. Math., 65 ( 1943), 1-86

    work page 1943

  20. [20]

    Schroder, H., On the topology of classical groups and ho mogeneous spaces associated with a W*-algebra factor, Integral Equations and Operator Theor y 10 (1987), 812-818

    work page 1987

  21. [21]

    L., On operator balls and linear-fraction al transformations with operator coefficients, Math

    Smuljan, Ju. L., On operator balls and linear-fraction al transformations with operator coefficients, Math. USSR Sbornik 6(1968), 309-326

    work page 1968

  22. [22]

    Weinstein,A., Symplectic geometry, Bull. Amur. Math. Soc 5 (1981), 1-14

    work page 1981

  23. [23]

    Woodhouse, N. M. J., Geometric quantization (2nd editi on), Oxford University Press, 1997

    work page 1997

  24. [24]

    J., Orbits of the unit sphere of L(H,K) under symplectic transformations

    Young, N. J., Orbits of the unit sphere of L(H,K) under symplectic transformations. J. Operator Theory 11 (1984), no. 1, 171–191. 31

    work page 1984