pith. sign in

arxiv: 2509.18982 · v2 · submitted 2025-09-23 · 🧮 math.QA · math.RT

Quantum Howe duality and Schur duality of type AIII

Weinan Zhang This is my paper

Pith reviewed 2026-05-18 14:58 UTC · model grok-4.3

classification 🧮 math.QA math.RT
keywords Howe dualitySchur dualitytype AIIIquantum groupsHecke algebrabraid group actionweight spacetensor space
0
0 comments X

The pith

A natural isomorphism identifies the iweight space in iHowe duality of type AIII with the tensor space in iSchur duality, aligning their braid and Hecke actions.

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

The paper connects the iHowe duality of type AIII with the iSchur duality by showing that a specific weight space on one side corresponds directly to the tensor space on the other. This correspondence makes the relative braid group action match the action of the type B Hecke algebra. The match transfers multiplicity-free decompositions, so that certain spaces of irreducible modules over iquantum groups become irreducible modules over the Hecke algebra. It also equates the braid action with actions coming from K-matrices and R-matrices. Readers care because the link lets results move between two separate duality frameworks in quantum representation theory.

Core claim

We establish a new connection between the iHowe duality of type AIII established by Luo-Xu and the iSchur duality established by Bao-Wang. We show that the iweight ρ-bar space in the iHowe duality is naturally isomorphic to the tensor space in the iSchur duality. Under this isomorphism, the relative braid group action on this iweight space coincides with the action of the type B Hecke algebra in the iSchur duality. As a consequence, the iweight ρ-bar spaces of irreducible modules over iquantum groups are irreducible modules over the type B Hecke algebra. In the iHowe duality, the relative braid group action is identified with the action of K-matrices and R-matrices.

What carries the argument

The natural isomorphism between the iweight ρ-bar space and the tensor space that preserves module structures and equates the relative braid group action with the type B Hecke algebra action.

If this is right

  • Multiplicity-free decompositions transfer directly from one duality to the other.
  • The iweight ρ-bar spaces of irreducible iquantum group modules become irreducible modules over the type B Hecke algebra.
  • Relative braid group actions are identified with the actions of K-matrices and R-matrices.
  • Results about irreducibility and decompositions can be moved between the Howe and Schur settings.

Where Pith is reading between the lines

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

  • The isomorphism may supply explicit bases or character formulas by importing constructions from the other duality.
  • The same linking technique could apply to dualities in other quantum group types.
  • Direct matrix computations in small rank cases would test whether the actions coincide as claimed.

Load-bearing premise

The natural isomorphism between the iweight space and the tensor space preserves the module structures and actions exactly as defined in the two duality frameworks.

What would settle it

An explicit low-dimensional calculation in which the actions or the claimed irreducibility fail to match once the proposed isomorphism is applied.

read the original abstract

We establish a new connection between the iHowe duality of type AIII established by Luo-Xu and the iSchur duality established by Bao-Wang. We show that iweight $\overline{\rho}$ space in the iHowe duality is naturally isomorphic to the tensor space in the iSchur duality. Under this isomorphism, we show that the relative braid group action on this iweight space coincides with the action of the type B Hecke algebra in the iSchur duality. As a consequence, we derive from multiplicity-free decompositions that the iweight $\overline{\rho}$ spaces of irreducible modules over iquantum groups are irreducible modules over the type B Hecke algebra. Meanwhile, in the iHowe duality, we identify the relative braid group action from one side with the action of $K$-matrices and $R$-matrices from the other side.

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

2 major / 2 minor

Summary. The paper establishes a connection between the iHowe duality of type AIII (Luo-Xu) and the iSchur duality (Bao-Wang). It claims that the iweight ρ-bar space in the iHowe duality is naturally isomorphic to the tensor space in the iSchur duality. Under this isomorphism, the relative braid group action on the iweight space coincides with the type B Hecke algebra action from the iSchur side. As a consequence, multiplicity-free decompositions imply that iweight ρ-bar spaces of irreducible iquantum group modules are irreducible modules over the type B Hecke algebra. The paper also identifies the relative braid group action with K-matrix and R-matrix actions in the iHowe framework.

Significance. If the isomorphism and action-coincidence are rigorously verified, the result provides a useful bridge between two dualities in the representation theory of quantum groups of type AIII. It enables transfer of multiplicity-free decompositions to statements about irreducibility of Hecke modules and gives an explicit dictionary between relative braid generators and K/R-matrix operators. This could facilitate further comparisons of module categories and actions across quantum Howe and Schur settings.

major comments (2)
  1. [proof of the main isomorphism theorem] The central claim requires that the asserted natural isomorphism explicitly intertwines the relative braid group generators with the type B Hecke algebra generators. The manuscript states the coincidence after imposing the identification, but the verification that the operators agree on generators (rather than merely being linearly isomorphic spaces) is not shown in sufficient detail to confirm the intertwining property needed for transferring irreducibility.
  2. [consequence paragraph following the isomorphism] The deduction that iweight ρ-bar spaces of irreducibles become irreducible Hecke modules rests on the multiplicity-free decompositions being preserved exactly under the isomorphism. If the isomorphism is constructed only at the level of underlying vector spaces without a direct check that it is a module homomorphism for both actions, this step does not automatically follow from the cited prior works.
minor comments (2)
  1. [introduction and notation] Clarify the precise definition of the iweight ρ-bar space and the tensor space at the beginning of the comparison section to avoid ambiguity when referring to the two frameworks.
  2. [throughout] Ensure all citations to Luo-Xu and Bao-Wang include specific theorem or equation numbers when invoking their module structures or actions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments, which have helped us improve the clarity of the manuscript. We address each major comment point by point below, providing the strongest honest defense of the results while agreeing to expand certain verifications for rigor.

read point-by-point responses

  1. Referee: [proof of the main isomorphism theorem] The central claim requires that the asserted natural isomorphism explicitly intertwines the relative braid group generators with the type B Hecke algebra generators. The manuscript states the coincidence after imposing the identification, but the verification that the operators agree on generators (rather than merely being linearly isomorphic spaces) is not shown in sufficient detail to confirm the intertwining property needed for transferring irreducibility.

    Authors: We agree that an explicit intertwining check on generators strengthens the argument. The isomorphism is constructed canonically by matching the standard bases of the iweight ρ-bar space and the tensor space, and the proof verifies the intertwining by direct computation: each relative braid generator is shown to act identically to the corresponding type B Hecke generator on these bases, using the explicit formulas from the iHowe and iSchur setups. To address the concern about detail, the revised manuscript includes an expanded subsection with step-by-step verification for all generators, including the action on highest-weight vectors and the quadratic relations. revision: yes

  2. Referee: [consequence paragraph following the isomorphism] The deduction that iweight ρ-bar spaces of irreducibles become irreducible Hecke modules rests on the multiplicity-free decompositions being preserved exactly under the isomorphism. If the isomorphism is constructed only at the level of underlying vector spaces without a direct check that it is a module homomorphism for both actions, this step does not automatically follow from the cited prior works.

    Authors: The isomorphism is established as a module homomorphism, not merely a vector-space map, precisely because the intertwining of the actions is verified on generators as described above; this ensures that the multiplicity-free decompositions from the iHowe side (which are module decompositions) transfer directly to irreducibility statements for the Hecke modules. The consequence paragraph cites the prior multiplicity-free results and invokes the module isomorphism explicitly. We have revised the paragraph to include a short reminder of the module-homomorphism property and a reference to the generator-by-generator check. revision: yes

Circularity Check

0 steps flagged

New isomorphism constructed directly from definitions in independent prior frameworks

full rationale

The paper constructs an explicit natural isomorphism between the iweight ρ-bar space (from the Luo-Xu iHowe duality) and the tensor space (from the Bao-Wang iSchur duality), then verifies that the relative braid group action maps to the type B Hecke algebra action under this identification. This is a direct, checkable intertwining map built from the module structures already defined in the two cited external works; it does not redefine any input in terms of the output, fit parameters to the target claim, or rely on a self-citation chain for its central step. The multiplicity-free decomposition transfer follows as a consequence once the actions are shown to coincide, with no reduction by construction. The derivation is therefore self-contained against the external benchmarks supplied by the prior papers.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper is a pure-mathematics proof establishing a connection between two existing duality frameworks; no new free parameters, ad-hoc axioms, or invented entities are introduced beyond standard assumptions of quantum group representation theory.

axioms (1)
  • domain assumption Standard background results on iquantum groups, iHowe duality of type AIII, and iSchur duality as established in the cited works.
    The constructions rely on the definitions and multiplicity-free decompositions from Luo-Xu and Bao-Wang.

pith-pipeline@v0.9.0 · 5671 in / 1345 out tokens · 65232 ms · 2026-05-18T14:58:22.467293+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

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

  1. [1]

    Appel and B

    A. Appel and B. Vlaar, Universal K -matrix for quantum Kac-Moody algebras , Represent. Theory 26 (2022), 764--824

    work page 2022

  2. [2]

    Bao, Kazhdan-Lusztig theory of super type D and quantum symmetric pairs , Represent

    H. Bao, Kazhdan-Lusztig theory of super type D and quantum symmetric pairs , Represent. Theory 21 (2017), 247–276

    work page 2017

  3. [3]

    Balagovic and S

    M. Balagovic and S. Kolb, Universal K-matrix for quantum smmetric pairs, J. Reine Angew. Math. 747 (2019), 299–353

    work page 2019

  4. [4]

    Berman and W

    C. Berman and W. Wang, Formulae for divided powers in U_q( _2) , J. Pure Appl. Algebra 222 (2018), 2667--2702

    work page 2018

  5. [5]

    Bao and W

    H. Bao and W. Wang, A new approach to Kazhdan-Lusztig theory of type B via quantum symmetric pairs, Asterisque 402 (2018), vii+134pp

    work page 2018

  6. [6]

    Bao and W

    H. Bao and W. Wang, Canonical bases arising from quantum symmetric pairs , Invent. Math. 213 (3) (2018), 1099--1177

    work page 2018

  7. [7]

    Cautis, J

    S. Cautis, J. Kamnitzer and S. Morrison, Webs and quantum skew Howe duality , Math. Ann. 360 (2014), no. 1-2, 351–390

    work page 2014

  8. [8]

    X. Chen, M. Lu and W. Wang, Serre-Lusztig relations for quantum groups , Commun. Math. Phys. 382 (2021), 1015--1059

    work page 2021

  9. [9]

    Cui and Y

    W. Cui and Y. Shen, Canonical basis of q-Brauer algebras and ıSchur dualities , Math. Res. Lett. 31 (2024), 91–126

    work page 2024

  10. [10]

    Cheng and W

    S.-J. Cheng and W. Wang, Dualities and Representations of Lie Superalgebras . Graduate Studies in Mathematics 144 , Amer. Math. Soc., Providence, RI, 2012

    work page 2012

  11. [11]

    Dobson, Braid group actions for quantum symmetric pairs of type AIII/AIV , J

    L. Dobson, Braid group actions for quantum symmetric pairs of type AIII/AIV , J. Algebra 564 (2020), 151--198

    work page 2020

  12. [12]

    Dipper and G

    R. Dipper and G. James, Representations of Hecke algebras of type B_n , J. Algebra 146 , no. 2 (1992), 454–481

    work page 1992

  13. [13]

    Ehrig and C

    M. Ehrig and C. Stroppel, Nazarov–Wenzl algebras, coideal subalgebras and categorified skew Howe duality , Adv. Math. 331 (2018) 58–131

    work page 2018

  14. [14]

    Howe, Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond , Schur Lect

    R. Howe, Perspectives on invariant theory: Schur duality, multiplicity-free actions and beyond , Schur Lect. (Tel Aviv) (1992) 1–182, Israel Math. Conf. Proc. 8

    work page 1992

  15. [15]

    Jimbo, A q-analogue of U( (N +1)) , Hecke algebra, and the Yang-Baxter equation, Lett

    M. Jimbo, A q-analogue of U( (N +1)) , Hecke algebra, and the Yang-Baxter equation, Lett. Math. Phys. 11 (1986) 247–252

    work page 1986

  16. [16]

    Kolb, Quantum symmetric Kac-Moody pairs , Adv

    S. Kolb, Quantum symmetric Kac-Moody pairs , Adv. Math. 267 (2014), 395--469

    work page 2014

  17. [17]

    Kolb and J

    S. Kolb and J. Pellegrini, Braid group actions on coideal subalgebras of quantized enveloping algebras, J. Algebra 336 (2011), 395--416

    work page 2011

  18. [18]

    Letzter, Coideal subalgebras and quantum symmetric pairs , New directions in Hopf algebras (Cambridge), MSRI publications, 43 (2002), Cambridge Univ

    G. Letzter, Coideal subalgebras and quantum symmetric pairs , New directions in Hopf algebras (Cambridge), MSRI publications, 43 (2002), Cambridge Univ. Press, 117--166

    work page 2002

  19. [19]

    C. Lai, D. Nakano, and Z. Xiang, q -Schur algebras corresponding to Hecke algebras of type B , Transform. Groups, 27 (2022), 983–1024

    work page 2022

  20. [20]

    auser Classics, Reprint of the 1994 Edition, Birkh\

    G. Lusztig, Introduction to quantum groups , Modern Birkh\"auser Classics, Reprint of the 1994 Edition, Birkh\"auser, Boston, 2010

    work page 1994

  21. [21]

    Hecke algebras with unequal parameters

    G. Lusztig, Hecke algebras with unequal parameters , CRM Monograph Series 18 , Amer. Math. Soc., Providence, RI, 2003, arXiv:0208154v2 https://arxiv.org/abs/math/0208154

    work page internal anchor Pith review Pith/arXiv arXiv 2003

  22. [22]

    Lu and W

    M. Lu and W. Wang, Braid group symmetries on quasi-split quantum groups via Hall algebras , Selecta Math. 28 , 84 (2022)

    work page 2022

  23. [23]

    Luo, and Z

    L. Luo, and Z. Xu, Geometric Howe dualities of finite type , Adv. Math. 410 (2022), Paper No. 108751

    work page 2022

  24. [24]

    Noumi, T

    M. Noumi, T. Umeda, M. Wakayama, Dual pairs, spherical harmonics and a Capelli identity in quantum group theory , Compos. Math. 104 (1996) 227–277

    work page 1996

  25. [25]

    Sklyanin, Boundary conditions for integrable quantum systems , J

    E. Sklyanin, Boundary conditions for integrable quantum systems , J. Phys. A 21 (1988), 2375--2389

    work page 1988

  26. [26]

    Sartori, and D

    A. Sartori, and D. Tubbenhauer, Webs and q-Howe dualities in types BCD , Trans. Amer. Math. Soc. 371 (2019), 7387–7431

    work page 2019

  27. [27]

    Shen and W

    Y. Shen and W. Wang, Schur duality and Kazhdan-Lusztig basis expanded , Adv. Math. 427 (2023), Paper No. 109131

    work page 2023

  28. [28]

    Toledano Laredo, A Kohno-Drinfeld theorem for quantum Weyl groups, Duke Math

    V. Toledano Laredo, A Kohno-Drinfeld theorem for quantum Weyl groups, Duke Math. J. 112 (3):421– 451, 2002

    work page 2002

  29. [29]

    Wang, Lagrangian construction of the ( _n, _m) -duality , Commun

    W. Wang, Lagrangian construction of the ( _n, _m) -duality , Commun. Contemp. Math. 3 (2001), 201–214

    work page 2001

  30. [30]

    Watanabe, Classical weight modules over ıquantum groups , J

    H. Watanabe, Classical weight modules over ıquantum groups , J. Algebra 578 (2021) 241–302

    work page 2021

  31. [31]

    Wang and W

    W. Wang and W. Zhang, An intrinsic approach to relative braid group symmetries on quantum groups , Proc. London Math. Soc. 127 (2023), 1338--1423

    work page 2023

  32. [32]

    Wang and W

    W. Wang and W. Zhang, Relative braid group symmetries on modified iquantum groups and their modules , Preprint, 2025, arXiv:2508.12041 https://arxiv.org/abs/2508.12041

    work page arXiv 2025

  33. [33]

    Zhang, Howe duality and the quantum general linear group , Proc

    R. Zhang, Howe duality and the quantum general linear group , Proc. Amer. Math. Soc. 131 (2002), 2681-2692

    work page 2002