Quantum duality principle for coisotropic subgroups and Poisson quotients

Fabio Gavarini; Nicola Ciccoli

REVIEW

Quantum duality principle for coisotropic subgroups and Poisson quotients

Nicola Ciccoli, Fabio Gavarini

Quantum Algebra · Submitted 15 Mar 2006 · 17 references

Pith's verdict: A readable announcement of a published theorem; the main QDP result is not new here and the proof sketch skips a load-bearing lift step, but the last section has genuinely new material.

T0 · AI review

How this review was made: An AI referee (deepseek-v4-flash) read the paper on August 28, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

T0 AI review An AI read the paper and answered a fixed list of questions.
T1 Audit Automatic checks that the references and files the paper relies on exist and match.
T2 Compute The paper's code or calculations re-run with the same results.
T3 Formal statement The claims written out in a formal math language a computer can read.
T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 3 major objections · 4 minor · Ask about this paper · The compiled record · Read the full review →

Challenge this review Comment (0) Read on arXiv ↗

Cite ▾

arXiv IDmath/0603376 (version 2)

Pith IDNCBEKI4G, Pith's permanent record of this paper and its review

CitationFabio Gavarini, Nicola Ciccoli. "Quantum duality principle for coisotropic subgroups and Poisson quotients." arXiv:math/0603376 (2006). https://pith.science/paper/NCBEKI4G

Cite this reviewBibTeX for Pith's review of this paper

Claim paper

Why Pith says this

Highlight any text to comment on it.

Editor's note

read the letter

Quick take: this is a condensed announcement of a theorem already in the authors' Adv. Math. paper and earlier preprint. The central QDP result is not new here, and the proof sketch leans on an unstated lifting lemma at the adapted-parameter step. The genuinely new part is Section 5: a QDP for pointed Poisson varieties and a worked quantum-sphere example.

What works: the four restricted Drinfeld functors in Definition 4.1 are natural, the orthogonality relations (4.1) are the right backbone, and the proof sketch names the right tasks (Hopf properties, specialization, inverse functors, identifying the limit as K^⊥). The paper is honest that it is a duplication tool rather than an existence theorem, and honest that proofs live in [3] / math.QA/0412465. The citation pattern is sound—self-citations point to published or archived proofs, and Drinfeld's QDP is used as a black box without circularity.

The soft spot, in proportion: Step 3 of the sketch chooses adapted formal parameters j_i for K and immediately concludes that the quantum outputs C(K)_h^▽ and I(K)_h^⋎ are generated by the h^{-1}j_i for i>k. The classical parameter fact is standard, but the quantum conclusion needs an extra argument: you have to choose the lifts of the adapted parameters inside the given quantized subobject C_h before writing the generators. The announcement does not state that lifting lemma. If the full proof in [3] supplies it, fine; as written, the specialization step rests on an assertion. This is a presentational gap in the announcement, not a demonstrated error. I did not find fitting-to-data or circular reasoning.

The novelty issue is real: if this arrived as a standalone journal submission, the main theorem is already published elsewhere and only sketched here. I would not spend referee time on the main result as new. The Section 5 material—Theorem 5.1 and the SU_q(2) sphere computation—might be worth a separate, proof-carrying paper. As a map of the ideas for someone entering the area, this preprint is useful; for verification, go to [3]. Recommendation: desk reject the announcement as a new submission unless the venue explicitly publishes research announcements; invite the Section 5 write-up separately.

Referee report

Significance

If Theorem 4.1 is correct, it is a significant extension of Drinfeld's quantum duality principle: starting from any quantization of a coisotropic subgroup or a Poisson quotient, one obtains, by explicit functorial recipes, a quantization of the dual coisotropic subgroup or Poisson quotient. The paper gives a clear categorical formulation and correctly identifies the natural four-way algebraic description of the objects involved. The main theorem has already appeared in detailed form in the authors' Adv. Math. paper, reference [3], which is a published and citable source. The new Section 5, especially Theorem 5.1 for pointed Poisson varieties, indicates broader applicability but is not proved at the same standard. Overall, the central claim is very plausible and well motivated, but the submitted announcement leaves two load-bearing points under-supported: a quantum adapted-parameters step in the proof sketch of Theorem 4.1, and the proof of the new Theorem 5.1.

Major objections (3)

[Section 4, proof of Theorem 4.1, third step] The proof of the 'good property' for specialization depends on the assertion that, after choosing adapted formal parameters j_1,...,j_n with C(K)=k[[j_{k+1},...,j_n]] and I(K)=(j_{k+1},...,j_n), one has C(K)_h^▽ = k[[j^∨_{k+1},...,j^∨_n]][[h]] and I(K)_h^⋎ = (j^∨_{k+1},...,j^∨_n). The classical adapted-coordinate statement is standard, but the quantum conclusion is not a formal consequence of it alone: one needs a lemma asserting that every quantization C_h or I_h satisfying (3.1)' is generated over k[[h]] by lifts of those adapted parameters, with the additional h-adic separation properties used in the argument. This quantum adapted-parameters lemma is neither stated nor proved in the announcement, and it is load-bearing for the specialization claims in Theorem 4.1(b). Please add the lemma, or give a precise pointer to the corresponding lemma in [3], and explain how it applies to all quantizations allowed in Definition 3.4.
[Section 4, Theorem 4.1(a), paragraph following (4.1)] The proof of the inverse property of the four functors is not complete. For the pairs (·)^⋎ and (·)^!, and (·)^▽ and (·)^/shiftleft, the one-way inclusions follow from the definitions, but the converse inclusions are said to follow from the explicit descriptions of I^⋎ and C^▽ together with the orthogonality relations (4.1). Those orthogonality relations for the restricted functors are asserted to be proved 'much like Proposition 3.1', yet Proposition 3.1 concerns the full Drinfeld functors acting on quantum groups, not on quantum sub-objects. The passage from the full Hopf pairing to the restricted sub-objects requires a separate argument, which is not supplied. Please provide this argument or cite the exact statement in [3] that covers it.
[Section 5.4, Theorem 5.1] Theorem 5.1 is stated for arbitrary pointed Poisson varieties and is said to follow by 'the same analysis' made to prove Theorem 4.1. This is not convincing as it stands: the proof sketch in Section 4 uses the Hopf algebra structure of F_h[[G]], the dual quantization U_h(g), and the perfect Hopf pairing between them, while for a general pointed Poisson variety F_h[M] is only a unital algebra with an augmentation. The identification F_h[M]^∨ / ℏ F_h[M]^∨ = U(L_M) is a non-trivial PBW-type statement that is not proved in the manuscript. Since this is explicitly new material not contained in [3], please provide a proof, or state the result as a conjecture with the precise hypotheses needed.

Minor objections (4)

[Section 4.1, Definition 4.1] The definitions of I^⋎ and C^▽ use an infinite sum without an explicit h-adic completion, while the surrounding text treats these objects as subobjects of the completed algebra F_h^∨. Please clarify whether the sums are taken in k((h)) ⊗ F_h and then completed, as in the definition of H^∨ in Section 3.3.
[Section 5.5] The quantum 2-sphere example is too terse to be checked: the compatibility of the twisted primitive element X_ρ with the abstract functors of Section 4, and the identification of the dual generator ξ_ρ, are asserted without verification. Please expand the computation or give a precise reference to the statement in [3] or [12] that justifies each step.
[Throughout] The symbol I is used both for the defining ideal of a subgroup and for the augmentation ideal J + ℏH, while C is used both for the invariant subalgebra and for the enveloping algebra of k; the notation would be much easier to follow with a consistent font or subscript convention.
[Section 2.5(c)] In the displayed line '(c) I ⊴_ℓ ˙⊴ ˙⊴_P U(g)' there appears to be a duplicated '˙⊴'; probably one symbol is intended.

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper proves a quantum duality principle for coisotropic subgroups: quantizing a subgroup or its quotient also quantizes the complementary dual subgroup or dual quotient.

The reading

The paper establishes that the quantum duality principle—the functorial passage between quantized enveloping algebras and quantized function algebras of dual Poisson groups—extends from quantum groups to coisotropic subgroups and their quotient spaces. It defines four functors, restrictions of the two basic duality functors, and proves that any quantization of a coisotropic subgroup $K\subset G$ or of the Poisson quotient $G/K$ is turned into a quantization of the complementary dual subgroup $K^\perp\subset G^*$ or of the dual Poisson quotient $G^*/K^\perp$. This is a duplication result rather than an existence theorem: one quantization automatically produces another, for the dual object. A sympathetic reader should care because Poisson homogeneous spaces are quantizable in general only in the quotient case, and this principle organizes and propagates quantizations across dual pairs.

What carries the argument

The machinery is the pair of duality functors $(\cdot)^\vee$ and $(\cdot)'$ that exchange quantized formal series Hopf algebras with quantized enveloping algebras, together with their four restrictions to quantum subgroups and quantum quotients. For a quantum object inside $F_\hbar[[G]]$, the paper defines $I_\hbar^\curlyvee=\sum_{n\ge1}\hbar^{-n}J^{n-1}I_\hbar$ and $C_\hbar^\triangledown=C_\hbar+\sum_{n\ge1}\hbar^{-n}(C_\hbar\cap J)^n$, where $J=\ker\epsilon$; for objects inside $U_\hbar(\mathfrak{g})$, it defines $I_\hbar^!$ and $C_\hbar^{\swarrow}$ by demanding that the iterated coproduct increments $\delta_n(x)$ lie in $\hbar^n$-weighted subspaces built from the quantum object. The relations $I_\hbar^\curlyvee\cap F_\hbar=I_\hbar$ and $C_\hbar^{\swarrow}=C_\hbar\cap U_\hbar'$ show these are restrictions rather than independent constructions. The final identification with $K^\perp$ is carried by an adapted system of parameters $(j_1,\dots,j_n)$ that diagonalizes the subgroup: $C(K)=k[[j_{k+1},\dots,j_n]]$, $I(K)=(j_{k+1},\dots,j_n)$.

Extended reading notes

Core claim

On the paper's own terms, the central discovery is Theorem 4.1: for every formal coisotropic subgroup $K$ of a formal Poisson group $G$, with tangent Lie coideal $\mathfrak{k}$, the four functors of Definition 4.1 send a quantization of $K$ (equivalently, of $G/K$) to a quantization of the complementary dual subgroup $K^\perp$ (equivalently, of $G^*/K^\perp$) with respect to the dual quantizations $F_\hbar[[G]]^\vee=U_\hbar(\mathfrak{g}^*)$ and $U_\hbar(\mathfrak{g})'=F_\hbar[[G^*]]$. The functors act on the four algebraic avatars of a subgroup—its defining ideal $I$, its invariant subalgebra $C$, the left-invariant differential ideal $\mathcal I$, and its enveloping algebra $\mathcal C$—and are inverse to one another in pairs, so the category of quantum coisotropic subgroups of $G$ is equivalent to that of $G^*$. The proof sketch reduces the four cases to one explicit computation: in an adapted system of parameters $(j_1,\dots,j_n)$ with $C(K)=k[[j_{k+1},\dots,j_n]]$ and $I(K)=(j_{k+1},\dots,j_n)$, the functors send the generators $j_s$ to $j_s^\vee=\hbar^{-1}j_s$, and the $\hbar=0$ specialization recovers exactly the dual subgroup $K^\perp$, whose tangent Lie algebra is $\mathfrak{k}^\perp$.

Load-bearing premise

The whole proof of the specialization step relies on every coisotropic subgroup admitting an adapted system of parameters—coordinates $j_1,\dots,j_n$ such that $C(K)=k[[j_{k+1},\dots,j_n]]$ and $I(K)=(j_{k+1},\dots,j_n)$—a standard formal-geometry fact that this announcement neither proves nor references.

Editorial extensions

If this is right

A quantization of $K\subset G$ automatically yields a quantization of $K^\perp\subset G^*$, and a quantization of $G/K$ automatically yields one of $G^*/K^\perp$; no new quantization equation has to be solved.
The inverse pairs of functors permute the four algebraic descriptions of a quantum subgroup, so the existence problem for quantum coisotropic subgroups is equivalent across all four descriptions.
The lattices of quantum coisotropic subgroups of dual formal Poisson groups are equivalent categories, and the equivalence swaps quantum subgroups with quantum homogeneous spaces.
For pointed Poisson varieties, the same construction yields a quantization of $U(L_M)$, the enveloping algebra of the linear approximation at the distinguished point $\bar m$, whenever a quantization of the pointed variety is given.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Because the functors are mutual inverses, invariants of quantum homogeneous spaces (such as algebraic K-theory, representation categories, or deformation quantizations of coisotropic submanifolds) should transfer to invariants of the dual quantum subgroup; the paper does not develop such transfers, but the category equivalence makes them natural to seek.
The adapted-parameter hypothesis is the point most worth probing: if some coisotropic subgroup fails to admit such coordinates, the explicit description of $C^\triangledown$ and $I^\curlyvee$ breaks, while the functors themselves remain defined; a more intrinsic filtration could replace adapted parameters and broaden the theorem.
The pointed-variety version suggests a general “pointed quantum duality” in which star-products on coisotropic submanifolds produce enveloping algebras of their linear approximations; testing this on the quantum two-sphere family would give a concrete check beyond the paper's announcement.

Original abstract

We develop a quantum duality principle for coisotropic subgroups of a (formal) Poisson group and its dual: namely, starting from a quantum coisotropic subgroup (for a quantization of a given Poisson group) we provide functorial recipes to produce quantizations of the dual coisotropic subgroup (in the dual formal Poisson group). By the natural link between subgroups and homogeneous spaces, we argue a quantum duality principle for Poisson homogeneous spaces which are Poisson quotients, i.e. have at least one zero-dimensional symplectic leaf. Only bare results are presented, while detailed proofs can be found in math.QA/0412465, or in the reference [3]. The last section contains new, unpublished material about examples and applications, which is not included in math.QA/0412465 (nor in its printed version).

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-09-23: 1 request, 3,829 input tokens.

What the abstract itself states, as probabilities: claims first 0.05 · states limitation 0.92 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.03 · compares with prior results 0.12 · mentions code or data availability 0.03.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; show every role.

We develop a quantum duality principle for coisotropic subgroups of a (formal) Poisson group and its dual: namely, starting from a quantum coisotropic subgroup (for a quantization of a given Poisson group) we provide functorial recipes to produce quantizations of the dual coisotropic subgroup (in the dual formal Poisson group). By the natural link between subgroups and homogeneous spaces, we argue a quantum duality principle for Poisson homogeneous spaces which are Poisson quotients, i.e. have at least one zero-dimensional symplectic leaf. Only bare results are presented, while detailed proofs can be found in math.QA/0412465, or in the reference [3]. The last section contains new, unpublished material about examples and applications, which is not included in math.QA/0412465 (nor in its printed version).

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#	sentence	role	the authors' own work	states the main conclusion	strength
s0	We develop a quantum duality principle for coisotropic subgroups of a (formal) Poisson group and its dual: namely, starting from a quantum coisotropic subgroup (for a quantization of a given Poisson group) we provide functorial recipes to produce quantizations of the dual coisotropic subgroup (in the dual formal Poisson group).	contribution 0.99	0.95	0.79	asserted 1.00
s1	By the natural link between subgroups and homogeneous spaces, we argue a quantum duality principle for Poisson homogeneous spaces which are Poisson quotients, i.e. have at least one zero-dimensional symplectic leaf.	contribution 0.40	0.81	0.21	asserted 0.76
s2	Only bare results are presented, while detailed proofs can be found in math.QA/0412465, or in the reference [3].	limitation 1.00	0.26	0.03	asserted 0.98
s3	The last section contains new, unpublished material about examples and applications, which is not included in math.QA/0412465 (nor in its printed version).	contribution 0.90	0.88	0.03	asserted 1.00

What kind of paper the classifier reports this is: theoretical result 0.96 · evidence from proof or derivation 0.88.

What was examined, and what was not

sources read

arXiv listing abstract v2

not examined

full text
figures and tables
references and citing sentences
relations to other papers

levels run

P abstract

not run

S sections
T body sentences
C citations
R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References

Works cited (17)

[3]

N. Ciccoli, F. Gavarini, A quantum duality principle for coisotropic subgroups and Poisson quotients , Adv. Math. 199 (2006), 104–135

View on Pith 2006
[1]

M. Bordemann, G. Ginot, G. Halbout, H.-C. Herbig, S. Waldm ann, Star- r´ epresentation sur des sous-variet´ es co ¨ ısotropes, math.QA/0309321 (2003)

View on Pith arXiv 2003
[2]

A. Cattaneo, G. Felder, Coisotropic submanifolds in Poisson geometry, branes and Poisson σ –models, Lett. Math. Phys. 69 (2004), 157–175

View on Pith 2004
[4]

M. S. Dijkhuizen and T.H. Koornwinder, Quantum homogeneous spaces, du- ality and quantum 2–spheres , Geom. Dedicata 52 (1994), 291–315

View on Pith 1994
[5]

M. S. Dijkhuizen and M. Noumi, A family of quantum projective spaces and related q-hypergeometric orthogonal polynomials , Trans. Amer. Math. Soc. 350 (1998), 3269–3296

View on Pith 1998
[6]

V. G. Drinfel’d, Quantum groups, Proc. ICM (Berkeley, 1986), 1987, 798–820

View on Pith 1986
[7]

V. G. Drinfel’d, On Poisson homogeneous spaces of Poisson-Lie groups , The- oret. and Math. Phys. 95 (1993), 524–525

View on Pith 1993
[8]

P. Etingof, D. Kazhdan, Quantization of Lie bialgebras, I , Selecta Math. (N.S.) 2 (1996), 1–41

View on Pith 1996
[9]

P. Etingof, D. Kazhdan, Quantization of Poisson algebraic groups and Pois- son homogeneous spaces, in: Sym´ etries quantiques(Les Houches, 1995), 935– 946, North-Holland, Amsterdam, 1998

View on Pith 1995
[10]

S. Evens, J.-H. Lu, On the variety of Lagrangian subalgebras. I , Ann. Sci. ´Ecole Norm. Sup. (N.S.) 34 (2001), 631–668

View on Pith 2001
[11]

F. Gavarini, The quantum duality principle , Ann. Inst. Fourier (Grenoble) 52 (2002), 809–834

View on Pith 2002
[12]

F. Gavarini, The global quantum duality principle , J. reine angew. Math., to appear — see also arXiv: math.QA/0303019 (2003)

View on Pith arXiv 2003
[13]

J. H. Lu, Multiplicative and aﬃne Poisson structures on Lie groups , Ph.D. thesis University of California, Berkeley, 1990

View on Pith 1990
[14]

J. H. Lu, A. Weinstein, Poisson-Lie groups, dressing transformations and Bruhat decompositions, J. Diﬀ. Geom. 31 (1990), 501–526

View on Pith 1990
[15]

A. Masuoka, Quotient theory of Hopf algebras , in: Advances in Hopf algebras, Lecture Notes in Pure and Appl. Math. 158 (1994), 107–133

View on Pith 1994
[16]

A. Weinstein, The local structure of Poisson manifolds , J. Diﬀerential Geom- etry 18 (1983), 523–557

View on Pith 1983
[17]

S. Zakrzewski, Poisson homogeneous spaces , in: J. Lukierski, Z. Popow- icz, J. Sobczyk (eds.), Quantum groups (Karpacz, 1994) , 629–639, PWN, Warszaw, 1995

View on Pith 1994

How the literature uses it

1 arXiv paper cite this in 6 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers citing it · 5 sentences without a confident label

Uses its method or tool 1 paper

Despite of this fact (which implies that no Sklyanin bracket is available for the construction of $Π^∗$) its full dual PL bracket $Π^∗$ can be computed through the method based on a Poisson version of the quantum duality principle [ref] which was introduced in [ref] (see expressions (11) in [ref] ).

Coisotropic Lie bialgebras and complementary dual Poisson homogeneous spaces · Dual PHS and the $κ$-Lie bialgebra in (2+1) dimensions · 0.96

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.

[1] [3]

N. Ciccoli, F. Gavarini, A quantum duality principle for coisotropic subgroups and Poisson quotients , Adv. Math. 199 (2006), 104–135

View on Pith 2006

[2] [1]

M. Bordemann, G. Ginot, G. Halbout, H.-C. Herbig, S. Waldm ann, Star- r´ epresentation sur des sous-variet´ es co ¨ ısotropes, math.QA/0309321 (2003)

View on Pith arXiv 2003

[3] [2]

A. Cattaneo, G. Felder, Coisotropic submanifolds in Poisson geometry, branes and Poisson σ –models, Lett. Math. Phys. 69 (2004), 157–175

View on Pith 2004

[4] [4]

M. S. Dijkhuizen and T.H. Koornwinder, Quantum homogeneous spaces, du- ality and quantum 2–spheres , Geom. Dedicata 52 (1994), 291–315

View on Pith 1994

[5] [5]

M. S. Dijkhuizen and M. Noumi, A family of quantum projective spaces and related q-hypergeometric orthogonal polynomials , Trans. Amer. Math. Soc. 350 (1998), 3269–3296

View on Pith 1998

[6] [6]

V. G. Drinfel’d, Quantum groups, Proc. ICM (Berkeley, 1986), 1987, 798–820

View on Pith 1986

[7] [7]

V. G. Drinfel’d, On Poisson homogeneous spaces of Poisson-Lie groups , The- oret. and Math. Phys. 95 (1993), 524–525

View on Pith 1993

[8] [8]

P. Etingof, D. Kazhdan, Quantization of Lie bialgebras, I , Selecta Math. (N.S.) 2 (1996), 1–41

View on Pith 1996

[9] [9]

P. Etingof, D. Kazhdan, Quantization of Poisson algebraic groups and Pois- son homogeneous spaces, in: Sym´ etries quantiques(Les Houches, 1995), 935– 946, North-Holland, Amsterdam, 1998

View on Pith 1995

[10] [10]

S. Evens, J.-H. Lu, On the variety of Lagrangian subalgebras. I , Ann. Sci. ´Ecole Norm. Sup. (N.S.) 34 (2001), 631–668

View on Pith 2001

[11] [11]

F. Gavarini, The quantum duality principle , Ann. Inst. Fourier (Grenoble) 52 (2002), 809–834

View on Pith 2002

[12] [12]

F. Gavarini, The global quantum duality principle , J. reine angew. Math., to appear — see also arXiv: math.QA/0303019 (2003)

View on Pith arXiv 2003

[13] [13]

J. H. Lu, Multiplicative and aﬃne Poisson structures on Lie groups , Ph.D. thesis University of California, Berkeley, 1990

View on Pith 1990

[14] [14]

J. H. Lu, A. Weinstein, Poisson-Lie groups, dressing transformations and Bruhat decompositions, J. Diﬀ. Geom. 31 (1990), 501–526

View on Pith 1990

[15] [15]

A. Masuoka, Quotient theory of Hopf algebras , in: Advances in Hopf algebras, Lecture Notes in Pure and Appl. Math. 158 (1994), 107–133

View on Pith 1994

[16] [16]

A. Weinstein, The local structure of Poisson manifolds , J. Diﬀerential Geom- etry 18 (1983), 523–557

View on Pith 1983

[17] [17]

S. Zakrzewski, Poisson homogeneous spaces , in: J. Lukierski, Z. Popow- icz, J. Sobczyk (eds.), Quantum groups (Karpacz, 1994) , 629–639, PWN, Warszaw, 1995

View on Pith 1994