Table of Contents
Fetching ...

Macdonald Identities: revisited

K. Iohara, Y. Saito

TL;DR

The paper revisits Macdonald's denominator identities for untwisted affine root systems and uses folding techniques, notably K. Saito's approach and Kostant's framework, to derive Macdonald identities for twisted affine root systems (excluding BC_l^{(2)}), with BC_l^{(2)} treated separately. By normalizing and specializing the standard denominator identities, the authors obtain eta-product expressions for the left-hand sides and finite-root-system sums on the right-hand side, linking modular forms to root-system data. The results illuminate the role of folding, mean-folding, and affine Weyl groups in generating twisted identities and clarify the structure behind BC_l^{(2)} through explicit eta-quotients and lattice sums. The postscript connects these identities to non-reduced affine systems and affine superalgebras, revealing broader algebraic structures and potential avenues for further exploration in Macdonald theory and related modular phenomena.

Abstract

In this note, after recalling a proof of the Macdonald identities for untwisted affine root systems, we derive the Macdonald identities for twisted affine root systems.

Macdonald Identities: revisited

TL;DR

The paper revisits Macdonald's denominator identities for untwisted affine root systems and uses folding techniques, notably K. Saito's approach and Kostant's framework, to derive Macdonald identities for twisted affine root systems (excluding BC_l^{(2)}), with BC_l^{(2)} treated separately. By normalizing and specializing the standard denominator identities, the authors obtain eta-product expressions for the left-hand sides and finite-root-system sums on the right-hand side, linking modular forms to root-system data. The results illuminate the role of folding, mean-folding, and affine Weyl groups in generating twisted identities and clarify the structure behind BC_l^{(2)} through explicit eta-quotients and lattice sums. The postscript connects these identities to non-reduced affine systems and affine superalgebras, revealing broader algebraic structures and potential avenues for further exploration in Macdonald theory and related modular phenomena.

Abstract

In this note, after recalling a proof of the Macdonald identities for untwisted affine root systems, we derive the Macdonald identities for twisted affine root systems.
Paper Structure (12 sections, 5 theorems, 55 equations, 1 table)

This paper contains 12 sections, 5 theorems, 55 equations, 1 table.

Key Result

Theorem 3.1

Let $R_f$ be a finite root system of type $X_l$ and $R_{af}$ be an affine root system of type $X_l^{(1)}$.

Theorems & Definitions (12)

  • Definition 2.1
  • Remark 2.1
  • Remark 2.2
  • Remark 2.3
  • Remark 2.4
  • Remark 2.5
  • Theorem 3.1: cf. Theorem 8.7 in Macdonald1972
  • Lemma 3.2
  • proof
  • Lemma 3.3
  • ...and 2 more