A concise proof of cylindric Schur positivity

Alexander Dobner

arxiv: 2605.20540 · v1 · pith:GK57EJWNnew · submitted 2026-05-19 · 🧮 math.CO

A concise proof of cylindric Schur positivity

Alexander Dobner This is my paper

Pith reviewed 2026-05-21 06:11 UTC · model grok-4.3

classification 🧮 math.CO

keywords cylindric Schur functionsskew Schur functionspositivityfusion coefficientssymmetric functionsrepresentation theorycombinatorics

0 comments

The pith

Skew cylindric Schur functions expand positively in the non-skew basis, with coefficients given by fusion coefficients.

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

This paper gives a concise proof that skew cylindric Schur functions expand positively in the basis of non-skew cylindric Schur functions. The coefficients in this expansion are shown to be the fusion coefficients from representation theory. A sympathetic reader would care because the result extends the classical positivity of ordinary skew Schur functions while linking generalized symmetric functions directly to algebraic structures in representation theory. The brevity of the argument indicates that the underlying properties of cylindric functions support this identification more directly than prior approaches suggested.

Core claim

Cylindric Schur functions generalize skew Schur functions to a cylindrical setting. The paper shows that any skew cylindric Schur function expands as a positive integer linear combination of the ordinary non-skew cylindric Schur functions, and that the coefficients in this expansion are precisely the fusion coefficients that count multiplicities in the representation theory of the associated algebras.

What carries the argument

The positive expansion of skew cylindric Schur functions into the non-skew cylindric Schur basis, with coefficients identified as fusion coefficients from representation theory.

Load-bearing premise

The standard definitions and algebraic properties of cylindric Schur functions as symmetric functions on a cylinder permit a well-defined expansion whose coefficients can be identified with fusion coefficients from representation theory.

What would settle it

A specific small skew cylindric Schur function whose computed expansion either contains a negative coefficient or whose coefficients fail to match the independently known fusion coefficients for the corresponding representation-theoretic case.

read the original abstract

Cylindric Schur functions are a family of symmetric functions that generalize skew Schur functions. We give a short proof that skew cylindric Schur functions expand positively in terms of non-skew cylindric Schur functions. In particular, we show that the expansion coefficients are fusion coefficients.

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.

Desk Editor's Note private letter to a colleague

Dobner supplies a short algebraic proof that skew cylindric Schur functions expand positively into the non-skew basis with coefficients given by fusion rules.

read the letter

The main thing to know is that this paper gives a concise proof that skew cylindric Schur functions expand positively in the non-skew cylindric Schur basis, and that the coefficients are exactly the fusion coefficients from the affine Grassmannian setting. The argument works by passing to the standard cylinder quotient of the symmetric function ring and then equating the structure constants directly to the fusion rules through a straightforward algebraic identity. It draws on the known positivity of those fusion coefficients and the usual definitions of the cylindric Schur functions without adding extra hypotheses or new machinery. Linear independence of the non-skew basis follows from the existing theory the paper cites, so the expansion is well-defined on those grounds. The result is incremental rather than transformative. Positivity for these objects may already have been available by other routes, so the real contribution sits in the brevity and the explicit link to fusion coefficients. No load-bearing gaps or circular steps show up in the setup. This is aimed at people already working in algebraic combinatorics who care about cylindric symmetric functions or representation-theoretic interpretations of positivity. A reader who needs a clean reference for the expansion or who wants to see how the coefficients arise from fusion rules will find it useful. It is too specialized to interest a wider audience. I would bring it to a reading group only if the group has a current focus on symmetric functions or positivity questions. The paper shows clear thinking and honest use of prior results, so it deserves a serious referee even if the final verdict is that the advance is modest. Recommendation: send it for peer review.

Referee Report

0 major / 2 minor

Summary. The manuscript presents a concise algebraic proof that skew cylindric Schur functions expand positively in the basis of non-skew cylindric Schur functions, with the expansion coefficients identified as fusion coefficients arising from the representation theory of the affine Grassmannian.

Significance. If the argument holds, the result supplies a short derivation of positivity for these generalized Schur functions by invoking the standard cylinder quotient of the symmetric function ring together with the known positivity of fusion coefficients. The proof proceeds via a direct algebraic identity equating structure constants to fusion rules, with linear independence of the non-skew basis and well-definedness of the expansion taken from the existing theory referenced in the paper; this constitutes a clean strengthening of the connection between cylindric symmetric functions and affine representation theory without new assumptions or machinery.

minor comments (2)

A brief sentence in the introduction recalling the precise definition of the cylinder quotient would help readers who are not already immersed in the cylindric setting.
The paper would benefit from an explicit pointer to the specific theorem or reference establishing the positivity of the fusion coefficients used in the final step.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. We are pleased that the concise algebraic proof is recognized as providing a short derivation of positivity for skew cylindric Schur functions via the cylinder quotient and known fusion coefficients, without introducing new assumptions.

Circularity Check

0 steps flagged

No significant circularity; derivation is self-contained from standard definitions

full rationale

The manuscript establishes the positive expansion of skew cylindric Schur functions into the non-skew basis by invoking the standard cylinder quotient construction on the symmetric function ring together with the known positivity of fusion coefficients in the affine Grassmannian. The central step is a direct algebraic identity that identifies the structure constants with fusion rules; linear independence of the non-skew basis and well-definedness of the expansion are taken from the pre-existing theory of cylindric symmetric functions. No load-bearing step reduces to a self-definition, a fitted parameter renamed as a prediction, or a self-citation chain whose justification is internal to the present paper. The argument therefore remains independent of its own outputs and qualifies as a non-circular derivation from external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

The result rests on the standard ring structure of symmetric functions and the prior definitions of cylindric Schur functions and fusion coefficients; no new free parameters or invented entities are introduced in the abstract.

pith-pipeline@v0.9.0 · 5549 in / 985 out tokens · 40984 ms · 2026-05-21T06:11:35.856050+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

scyl λ/µ = ∑ dλ µν scyl ν where dλ µν are the fusion coefficients of rank N and level L
IndisputableMonolith/Foundation/ArithmeticFromLogic LogicNat_equiv_Nat unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

By iteratively applying the fusion Pieri rule... S η H α = ∑ Kcyl ρ/η,α S ρ

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

6 extracted references · 6 canonical work pages

[1]

Goodman and Hans Wenzl

Frederick M. Goodman and Hans Wenzl. Littlewood-Richardson coefficients for Hecke algebras at roots of unity.Adv. Math., 82(2):244–265, 1990

work page 1990
[2]

Cylindric symmetric functions and positivity.Algebr

Christian Korff and David Palazzo. Cylindric symmetric functions and positivity.Algebr. Comb., 3(1):191–247, 2020

work page 2020
[3]

Positivity of cylindric skew Schur functions.J

Seung Jin Lee. Positivity of cylindric skew Schur functions.J. Combin. Theory Ser. A, 168:26–49, 2019

work page 2019
[4]

Cylindric skew Schur functions.Adv

Peter McNamara. Cylindric skew Schur functions.Adv. Math., 205(1):275–312, 2006

work page 2006
[5]

A combinatorial formula for fusion coefficients

Jennifer Morse and Anne Schilling. A combinatorial formula for fusion coefficients. In24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), volume AR ofDiscrete Math. Theor. Comput. Sci. Proc., pages 735–744. Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2012

work page 2012
[6]

Affine approach to quantum Schubert calculus.Duke Math

Alexander Postnikov. Affine approach to quantum Schubert calculus.Duke Math. J., 128(3):473–509, 2005

work page 2005

[1] [1]

Goodman and Hans Wenzl

Frederick M. Goodman and Hans Wenzl. Littlewood-Richardson coefficients for Hecke algebras at roots of unity.Adv. Math., 82(2):244–265, 1990

work page 1990

[2] [2]

Cylindric symmetric functions and positivity.Algebr

Christian Korff and David Palazzo. Cylindric symmetric functions and positivity.Algebr. Comb., 3(1):191–247, 2020

work page 2020

[3] [3]

Positivity of cylindric skew Schur functions.J

Seung Jin Lee. Positivity of cylindric skew Schur functions.J. Combin. Theory Ser. A, 168:26–49, 2019

work page 2019

[4] [4]

Cylindric skew Schur functions.Adv

Peter McNamara. Cylindric skew Schur functions.Adv. Math., 205(1):275–312, 2006

work page 2006

[5] [5]

A combinatorial formula for fusion coefficients

Jennifer Morse and Anne Schilling. A combinatorial formula for fusion coefficients. In24th International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2012), volume AR ofDiscrete Math. Theor. Comput. Sci. Proc., pages 735–744. Assoc. Discrete Math. Theor. Comput. Sci., Nancy, 2012

work page 2012

[6] [6]

Affine approach to quantum Schubert calculus.Duke Math

Alexander Postnikov. Affine approach to quantum Schubert calculus.Duke Math. J., 128(3):473–509, 2005

work page 2005