pith. sign in

arxiv: 2303.04264 · v2 · submitted 2023-03-07 · 🧮 math.RT · math.QA· math.RA

On a symplectic quantum Howe duality

Elijah Bodish , Daniel Tubbenhauer This is my paper

Pith reviewed 2026-05-24 09:41 UTC · model grok-4.3

classification 🧮 math.RT math.QAmath.RA
keywords quantumsymplecticalgebradualityexteriorhowerankacting
0
0 comments X

The pith

Proves nonsemisimple quantum Howe duality for Sp(2n) and SL(2) on exterior algebra of type C, with character formulas and canonical bases.

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

Howe's duality is a classical result in math showing how two different groups can act on the same space in complementary ways. This work deforms that idea using quantum groups, which are versions of groups with an extra parameter that makes them useful for quantum mechanics and algebra. The authors focus on the symplectic group and a small special linear group acting together on a space built from the exterior algebra tied to the type C root system. They also begin exploring a quantum version of harmonic analysis on spheres, provide formulas for the characters of key modules, and build special canonical bases for the algebra.

Core claim

We prove a nonsemisimple quantum version of Howe's duality with the rank 2n symplectic and the rank 2 special linear group acting on the exterior algebra of type C.

Load-bearing premise

The quantum parameter and base field allow a well-defined nonsemisimple category of modules where the duality pairing and actions are compatible; this enters when the paper invokes the quantum group action on the exterior algebra (abstract statement of the main theorem).

read the original abstract

We prove a nonsemisimple quantum version of Howe's duality with the rank 2n symplectic and the rank 2 special linear group acting on the exterior algebra of type C. We also discuss the first steps towards the symplectic analog of harmonic analysis on quantum spheres, give character formulas for various fundamental modules, and construct canonical bases of the exterior algebra.

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

Summary. The manuscript proves a nonsemisimple quantum Howe duality in which the quantum symplectic group U_q(sp(2n)) and U_q(sl_2) act on the exterior algebra of type C, with the duality pairing invariant under both actions. Additional results include initial steps toward a symplectic analog of quantum harmonic analysis, character formulas for fundamental modules, and constructions of canonical bases.

Significance. If the main theorem is established, the result extends classical Howe duality to the nonsemisimple quantum setting at roots of unity, a technically demanding direction with implications for the representation theory of quantum groups and quantum symmetric spaces. The character formulas and canonical bases supply concrete tools that strengthen the contribution.

major comments (1)
  1. [Abstract and §1] Abstract and §1 (main theorem): the claim that the actions commute with an invariant duality pairing on ∧(V) must be verified without semisimplicity. The manuscript should state explicit conditions on q and the base field that guarantee the coaction (or module structure) on the exterior algebra remains compatible with the pairing; this is the load-bearing step identified in the weakest assumption.
minor comments (1)
  1. [§1] Notation for the quantum groups, the exterior algebra of type C, and the precise form of the duality pairing should be introduced with a short table or list of conventions in §1 to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the technical demands of extending Howe duality to the nonsemisimple quantum setting. We address the single major comment below.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1 (main theorem): the claim that the actions commute with an invariant duality pairing on ∧(V) must be verified without semisimplicity. The manuscript should state explicit conditions on q and the base field that guarantee the coaction (or module structure) on the exterior algebra remains compatible with the pairing; this is the load-bearing step identified in the weakest assumption.

    Authors: The verification of pairing invariance is performed directly in the proof of the main theorem (Section 3) via explicit computation on the generators of the exterior algebra of type C; the argument uses only the defining relations of the quantum groups and the explicit form of the pairing, without invoking semisimplicity or complete reducibility. The base field is taken to be of characteristic zero and q is a primitive root of unity whose order is not divisible by 2 or by the rank in a manner that collapses the exterior algebra relations. We agree that these conditions should be stated at the outset. We will revise the abstract and the statement of the main theorem in §1 to list them explicitly and will add a short lemma in §2 isolating the pairing compatibility step. revision: yes

Circularity Check

0 steps flagged

No circularity: proof of quantum Howe duality is a self-contained theorem.

full rationale

This is a pure proof paper establishing a new nonsemisimple quantum Howe duality theorem via explicit construction of commuting actions and invariant pairings on the exterior algebra. The derivation relies on standard quantum group module structures and category-theoretic arguments that are independent of the target statement; no equation or central claim reduces by definition or self-citation to an input quantity. The provided abstract and context contain no fitted parameters, renamed empirical patterns, or load-bearing self-citations that would trigger any of the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, ad-hoc axioms, or invented entities are stated. Relies on standard background from quantum group theory and classical Howe duality.

axioms (1)
  • domain assumption Quantum groups and their module categories are well-defined in the nonsemisimple regime for the given ranks and type C exterior algebra.
    Invoked by the main theorem statement in the abstract.

pith-pipeline@v0.9.0 · 5570 in / 1164 out tokens · 23310 ms · 2026-05-24T09:41:01.275339+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Orthogonal webs and semisimplification

    math.RT 2024-01 unverdicted novelty 4.0

    A diagrammatic category equivalent to tilting representations of the orthogonal group is defined and its semisimplification is described, valid in characteristic not equal to two.

Reference graph

Works this paper leans on

48 extracted references · 48 canonical work pages · cited by 1 Pith paper · 17 internal anchors

  1. [1]

    Adamovich and G.L

    A.M. Adamovich and G.L. Rybnikov. Tilting modules for classical groups and H owe duality in positive characteristic. Transform. Groups , 1(1-2):1--34, 1996. https://doi.org/10.1007/BF02587733 doi:10.1007/BF02587733

    work page doi:10.1007/bf02587733 1996

  2. [2]

    Andersen, P

    H.H. Andersen, P. Polo, and K.X. Wen. Representations of quantum algebras. Invent. Math. , 104(1):1--59, 1991. https://doi.org/10.1007/BF01245066 doi:10.1007/BF01245066

    work page doi:10.1007/bf01245066 1991

  3. [3]

    Cellular structures using $\textbf{U}_q$-tilting modules

    H.H. Andersen, C. Stroppel, and D. Tubbenhauer. Cellular structures using U_q -tilting modules. Pacific J. Math. , 292(1):21--59, 2018. URL: https://arxiv.org/abs/1503.00224, https://doi.org/10.2140/pjm.2018.292.21 doi:10.2140/pjm.2018.292.21

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/pjm.2018.292.21 2018

  4. [4]

    Semisimplicity of Hecke and (walled) Brauer algebras

    H.H. Andersen, C. Stroppel, and D. Tubbenhauer. Semisimplicity of H ecke and (walled) B rauer algebras. J. Aust. Math. Soc. , 103(1):1--44, 2017. URL: https://arxiv.org/abs/1507.07676, https://doi.org/10.1017/S1446788716000392 doi:10.1017/S1446788716000392

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1017/s1446788716000392 2017

  5. [5]

    Diagram categories for $\textbf{U}_q$-tilting modules at roots of unity

    H.H. Andersen and D. Tubbenhauer. Diagram categories for U_q -tilting modules at roots of unity. Transform. Groups , 22(1):29--89, 2017. URL: http://arxiv.org/abs/1409.2799, https://doi.org/10.1007/s00031-016-9363-z doi:10.1007/s00031-016-9363-z

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00031-016-9363-z 2017

  6. [6]

    Beilinson, G

    A.A. Beilinson, G. Lusztig, and R. MacPherson. A geometric setting for the quantum deformation of GL _n . Duke Math. J. , 61(2):655--677, 1990. https://doi.org/10.1215/S0012-7094-90-06124-1 doi:10.1215/S0012-7094-90-06124-1

    work page doi:10.1215/s0012-7094-90-06124-1 1990

  7. [7]

    Braided Symmetric and Exterior Algebras

    A. Berenstein and S. Zwicknagl. Braided symmetric and exterior algebras. Trans. Amer. Math. Soc. , 360(7):3429--3472, 2008. URL: https://arxiv.org/abs/math/0504155, https://doi.org/10.1090/S0002-9947-08-04373-0 doi:10.1090/S0002-9947-08-04373-0

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/s0002-9947-08-04373-0 2008

  8. [8]

    G.M. Bergman. The diamond lemma for ring theory. Adv. in Math. , 29(2):178--218, 1978. https://doi.org/10.1016/0001-8708(78)90010-5 doi:10.1016/0001-8708(78)90010-5

    work page doi:10.1016/0001-8708(78)90010-5 1978

  9. [9]

    E. Bodish. Web calculus and tilting modules in type C_2 . Quantum Topol. 13 (2022), no. 3, 407--458. URL: https://arxiv.org/abs/2009.13786, https://doi.org/10.4171/qt/166 doi:10.4171/qt/166

    work page doi:10.4171/qt/166 2022

  10. [10]

    Bodish, B

    E. Bodish, B. Elias, D.E.V. Rose, and L. Tatham. Type C webs. 2021. URL: https://arxiv.org/abs/2103.14997

    work page arXiv 2021

  11. [11]

    Bourbaki

    N. Bourbaki. Lie groups and L ie algebras. C hapters 4--6 . Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 2002. Translated from the 1968 French original by Andrew Pressley. https://doi.org/10.1007/978-3-540-89394-3 doi:10.1007/978-3-540-89394-3

    work page doi:10.1007/978-3-540-89394-3 2002

  12. [12]

    J. Brundan. Kazhdan-- L usztig polynomials and character formulae for the L ie superalgebra gl (m|n) . J. Amer. Math. Soc. , 16(1):185--231, 2003. URL: https://arxiv.org/abs/math/0203011, https://doi.org/10.1090/S0894-0347-02-00408-3 doi:10.1090/S0894-0347-02-00408-3

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/s0894-0347-02-00408-3 2003

  13. [13]

    Bump and A

    D. Bump and A. Schilling. Crystal bases . World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2017. Representations and combinatorics. https://doi.org/10.1142/9876 doi:10.1142/9876

    work page doi:10.1142/9876 2017

  14. [14]

    Webs and quantum skew Howe duality

    S. Cautis, J. Kamnitzer, and S. Morrison. Webs and quantum skew H owe duality. Math. Ann. , 360(1-2):351--390, 2014. URL: https://arxiv.org/abs/1210.6437, https://doi.org/10.1007/s00208-013-0984-4 doi:10.1007/s00208-013-0984-4

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00208-013-0984-4 2014

  15. [15]

    de Concini and C

    C. de Concini and C. Procesi. A characteristic free approach to invariant theory. Advances in Math. , 21(3):330--354, 1976. https://doi.org/10.1016/S0001-8708(76)80003-5 doi:10.1016/S0001-8708(76)80003-5

    work page doi:10.1016/s0001-8708(76)80003-5 1976

  16. [16]

    S. Donkin. On tilting modules for algebraic groups. Math. Z. , 212(1):39--60, 1993. https://doi.org/10.1007/BF02571640 doi:10.1007/BF02571640

    work page doi:10.1007/bf02571640 1993

  17. [17]

    S. Donkin. The q - S chur algebra , volume 253 of London Mathematical Society Lecture Note Series . Cambridge University Press, Cambridge, 1998. https://doi.org/10.1017/CBO9780511600708 doi:10.1017/CBO9780511600708

    work page doi:10.1017/cbo9780511600708 1998

  18. [18]

    Donnelly

    R.G. Donnelly. Explicit constructions of the fundamental representations of the symplectic L ie algebras. J. Algebra , 233(1):37--64, 2000. https://doi.org/10.1006/jabr.2000.8446 doi:10.1006/jabr.2000.8446

    work page doi:10.1006/jabr.2000.8446 2000

  19. [19]

    S. Doty. Presenting generalized q - S chur algebras. Represent. Theory , 7:196--213, 2003. URL: https://arxiv.org/abs/math/0305208, https://doi.org/10.1090/S1088-4165-03-00176-6 doi:10.1090/S1088-4165-03-00176-6

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/s1088-4165-03-00176-6 2003

  20. [20]

    J. Du, B. Parshall, and L. Scott. Quantum W eyl reciprocity and tilting modules. Comm. Math. Phys. , 195(2):321--352, 1998. https://doi.org/10.1007/s002200050392 doi:10.1007/s002200050392

    work page doi:10.1007/s002200050392 1998

  21. [21]

    Nazarov-Wenzl algebras, coideal subalgebras and categorified skew Howe duality

    M. Ehrig and C. Stroppel. Nazarov-- W enzl algebras, coideal subalgebras and categorified skew H owe duality. Adv. Math. , 331:58--142, 2018. URL: https://arxiv.org/abs/1310.1972, https://doi.org/10.1016/j.aim.2018.01.013 doi:10.1016/j.aim.2018.01.013

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2018.01.013 2018

  22. [22]

    B. Elias. Light ladders and clasp conjectures. 2015. URL: https://arxiv.org/abs/1510.06840

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  23. [23]

    S. Foulle. Characters of the irreducible representations with fundamental highest weight for the symplectic group in characteristic p. 2005. See also the authors Ph.D. thesis, Universit \'e Claude Bernard Lyon 1. URL: https://arxiv.org/abs/math/0512312

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  24. [24]

    Dimension formulas for some modular representations of the symplectic group in the natural characteristic

    P.M. Gilmer and G. Masbaum. Dimension formulas for some modular representations of the symplectic group in the natural characteristic. J. Pure Appl. Algebra , 217(1):82--86, 2013. URL: https://arxiv.org/abs/1111.0240, https://doi.org/10.1016/j.jpaa.2012.04.005 doi:10.1016/j.jpaa.2012.04.005

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jpaa.2012.04.005 2013

  25. [25]

    R. Howe. Perspectives on invariant theory: S chur duality, multiplicity-free actions and beyond. In The S chur lectures (1992) ( T el A viv) , volume 8 of Israel Math. Conf. Proc. , pages 1--182. Bar-Ilan Univ., Ramat Gan, 1995

    work page 1992

  26. [26]

    R. Howe. Remarks on classical invariant theory. Trans. Amer. Math. Soc. , 313(2):539--570, 1989. https://doi.org/10.2307/2001418 doi:10.2307/2001418

    work page doi:10.2307/2001418 1989

  27. [27]

    J.C. Jantzen. Lectures on quantum groups , volume 6 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 1996

    work page 1996

  28. [28]

    M. Kaneda. Based modules and good filtrations in algebraic groups. Hiroshima Math. J. , 28(2):337--344, 1998. URL: http://projecteuclid.org/euclid.hmj/1206126765

    work page arXiv 1998

  29. [29]

    Lacabanne, D

    A. Lacabanne, D. Tubbenhauer, and P. Vaz. Verma H owe duality and LKB representations. 2022. URL: https://arxiv.org/abs/2207.09124

    work page arXiv 2022

  30. [30]

    A quantum analogue of the first fundamental theorem of invariant theory

    G.I. Lehrer, H. Zhang, and R.B. Zhang. A quantum analogue of the first fundamental theorem of classical invariant theory. Comm. Math. Phys. , 301(1):131--174, 2011. URL: https://arxiv.org/abs/0908.1425, https://doi.org/10.1007/s00220-010-1143-3 doi:10.1007/s00220-010-1143-3

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1007/s00220-010-1143-3 2011

  31. [31]

    a user Classics. Birkh\

    G. Lusztig. Introduction to quantum groups . Modern Birkh\" a user Classics. Birkh\" a user/Springer, New York, 2010. Reprint of the 1994 edition. https://doi.org/10.1007/978-0-8176-4717-9 doi:10.1007/978-0-8176-4717-9

    work page doi:10.1007/978-0-8176-4717-9 2010

  32. [32]

    G. Lusztig. Quantum groups at roots of 1 . Geom. Dedicata , 35(1-3):89--113, 1990. https://doi.org/10.1007/BF00147341 doi:10.1007/BF00147341

    work page doi:10.1007/bf00147341 1990

  33. [33]

    G.J. McNinch. Filtrations and positive characteristic H owe duality. Math. Z. , 235(4):651--685, 2000. https://doi.org/10.1007/s002090000157 doi:10.1007/s002090000157

    work page doi:10.1007/s002090000157 2000

  34. [34]

    Misra and T

    K. Misra and T. Miwa. Crystal base for the basic representation of U_ q ( sl (n)) . Comm. Math. Phys. , 134(1):79--88, 1990

    work page 1990

  35. [35]

    Noumi, T

    M. Noumi, T. Umeda, and M. Wakayama. Dual pairs, spherical harmonics and a C apelli identity in quantum group theory. Compositio Math. , 104(3):227--277, 1996

    work page 1996

  36. [36]

    G. Olive. Generalized powers. Amer. Math. Monthly , 72:619--627, 1965. https://doi.org/10.2307/2313851 doi:10.2307/2313851

    work page doi:10.2307/2313851 1965

  37. [37]

    Paradowski

    J. Paradowski. Filtrations of modules over the quantum algebra. In Algebraic groups and their generalizations: quantum and infinite-dimensional methods ( U niversity P ark, PA , 1991) , volume 56 of Proc. Sympos. Pure Math. , pages 93--108. Amer. Math. Soc., Providence, RI, 1994

    work page 1991

  38. [38]

    Premet and I.D

    A.A. Premet and I.D. Suprunenko. The W eyl modules and the irreducible representations of the symplectic group with the fundamental highest weights. Comm. Algebra , 11(12):1309--1342, 1983. https://doi.org/10.1080/00927878308822907 doi:10.1080/00927878308822907

    work page doi:10.1080/00927878308822907 1983

  39. [39]

    C.M. Ringel. The category of modules with good filtrations over a quasi-hereditary algebra has almost split sequences. Math. Z. , 208(2):209--223, 1991. https://doi.org/10.1007/BF02571521 doi:10.1007/BF02571521

    work page doi:10.1007/bf02571521 1991

  40. [40]

    Symmetric webs, Jones-Wenzl recursions and $q$-Howe duality

    D.E.V. Rose and D. Tubbenhauer. Symmetric webs, J ones-- W enzl recursions, and q - H owe duality. Int. Math. Res. Not. IMRN , (17):5249--5290, 2016. URL: https://arxiv.org/abs/1501.00915, https://doi.org/10.1093/imrn/rnv302 doi:10.1093/imrn/rnv302

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1093/imrn/rnv302 2016

  41. [41]

    A q-Analogue of Kempf's vanishing theorem

    S. Ryom-Hansen. A q -analogue of K empf's vanishing theorem. Mosc. Math. J. , 3(1):173--187, 260, 2003. URL: https://arxiv.org/abs/0905.0236, https://doi.org/10.17323/1609-4514-2003-3-1-173-187 doi:10.17323/1609-4514-2003-3-1-173-187

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.17323/1609-4514-2003-3-1-173-187 2003

  42. [42]

    Sartori and D

    A. Sartori and D. Tubbenhauer. Webs and q - H owe dualities in types BCD . Trans. Amer. Math. Soc. , 371(10):7387--7431, 2019. URL: https://arxiv.org/abs/1701.02932, https://doi.org/10.1090/tran/7583 doi:10.1090/tran/7583

    work page doi:10.1090/tran/7583 2019

  43. [43]

    Sugitani

    T. Sugitani. Harmonic analysis on quantum spheres associated with representations of U_ q ( so _ N ) and q - J acobi polynomials. Compositio Math. , 99(3):249--281, 1995

    work page 1995

  44. [44]

    Sutton, D

    L. Sutton, D. Tubbenhauer, P. Wedrich, and J. Zhu. SL2 tilting modules in the mixed case. 2021. To appear in Selecta Math. (N.S.). URL: https://arxiv.org/abs/2105.07724

    work page arXiv 2021

  45. [45]

    Super $q$-Howe duality and web categories

    D. Tubbenhauer, P. Vaz, and P. Wedrich. Super q - H owe duality and web categories. Algebr. Geom. Topol. , 17(6):3703--3749, 2017. URL: https://arxiv.org/abs/1504.05069, https://doi.org/10.2140/agt.2017.17.3703 doi:10.2140/agt.2017.17.3703

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.2140/agt.2017.17.3703 2017

  46. [46]

    Tubbenhauer and P

    D. Tubbenhauer and P. Wedrich. Quivers for SL_2 tilting modules. Represent. Theory , 25:440--480, 2021. URL: https://arxiv.org/abs/1907.11560, https://doi.org/10.1090/ert/569 doi:10.1090/ert/569

    work page doi:10.1090/ert/569 2021

  47. [47]

    B. Webster. Canonical bases and higher representation theory. Compos. Math. , 151(1):121--166, 2015. URL: https://arxiv.org/abs/1209.0051, https://doi.org/10.1112/S0010437X1400760X doi:10.1112/S0010437X1400760X

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/s0010437x1400760x 2015

  48. [48]

    R-Matrix Poisson Algebras and Their Deformations

    S. Zwicknagl. R -matrix P oisson algebras and their deformations. Adv. Math. , 220(1):1--58, 2009. URL: https://arxiv.org/abs/0706.0351, https://doi.org/10.1016/j.aim.2008.08.006 doi:10.1016/j.aim.2008.08.006

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim.2008.08.006 2009