Matchings in Corona graph and classical symmetric varieties

Yau Wing Li

REVIEW 4 major objections 4 minor 12 references

Matchings in Corona graph and classical symmetric varieties

T0 review · 4 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that Borel orbits in the symmetric varieties of types AIII and CII are naturally parametrized by matchings of corona graphs, and uses this to confirm the Can–Uğurlu conjecture on the non-integrality of an orbit-counting…

desk verdict The type AIII matching bijection is genuine and well proved; the CII and BI sections are sketches and the Can–Ugurlu conjecture is not proven as written. read the letter →

arxiv 2505.04581 v2 pith:QEBPQAPO submitted 2025-05-07 math.CO math.RT

Yau Wing Li This is my paper · ORCID

classification math.COmath.RT MSC 05C7020G0514L3005A20

keywords Borelorbitssymmetricvarietiescoronagraphdoublematchingsquiverrepresentationsultralog-concavityCan-Uğurluconjecture

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper establishes that the Borel orbits in two families of classical symmetric varieties—type AIII and type CII—are naturally indexed by matchings in the corona graph $C_{m+n}$ and the double corona graph $C^{(2)}_{m+n}$. It uses this combinatorial description to prove that the orbit-counting sequences are symmetric, unimodal, and ultra log-concave, and to confirm a conjecture of Can and Uğurlu that the polynomial interpolating the number of Borel orbits in type BI has a non-integral leading coefficient for $n>0$. A sympathetic reader cares because the result turns complicated algebraic group orbit data into elementary graph-theoretic objects and yields concrete number-theoretic consequences.

What carries the argument

The corona graph $C_n$ is obtained from the complete graph $K_n$ by attaching a new leaf $w_i$ to each vertex $v_i$; the double corona graph uses two parallel edges between each pair of vertices. The argument maps each Borel orbit to a binary-matrix representative, builds a complementary representation of the quiver $Q_p$ with dimension vector $d_{m,n}$, and applies Gabriel's theorem to decompose it into indecomposables corresponding to admissible roots. The minus involution on matchings, swapping $v_i \leftrightarrow v_{-i}$ and $w_i \leftrightarrow w_{-i}$, selects exactly the matchings that survive in the symplectic and orthogonal fixed-point situations.

What would settle it

Compute the number of Borel orbits of $\mathrm{SO}_{2m+2n+1}/S(\mathrm{O}_{2m}\times \mathrm{O}_{2n+1})$ for a small case such as $m=n=1$ by direct linear algebra or by an existing clan classification, and compare it with the number of minus-invariant $2m$-matchings in $C_{2m+2n+1}$; a single mismatch would invalidate Theorem 5.16 and the conjecture proof.

Watch

Extended reading notes

Core claim

The central discovery is a bijection: for $(G,K) = (\mathrm{GL}_{m+n}, \mathrm{GL}_m \times \mathrm{GL}_n)$, each $B(k)$-orbit of $X = G/K$ corresponds to exactly one $m$-matching of the corona graph $C_{m+n}$; and for $(\mathrm{Sp}_{2m+2n}, \mathrm{Sp}_{2m} \times \mathrm{Sp}_{2n})$ with $\mathrm{char}(k) \neq 2$, each orbit corresponds to an $m$-matching of the double corona graph $C^{(2)}_{m+n}$. The correspondence passes through quiver representations of a Dynkin quiver of type $D_{m+n+2}$ with dimension vector $d_{m,n}$, which are translated into matchings of the underlying graph. In the orthogonal case (type BI), the same mechanism, applied to minus-invariant matchings, yields the count of Borel orbits of $\mathrm{SO}_{2m+2n+1}/S(\mathrm{O}_{2m}\times \mathrm{O}_{2n+1})$ and proves the Can–Uğurlu conjecture.

Load-bearing premise

The parametrization of Borel orbits for the odd orthogonal symmetric variety (Theorem 5.16) is asserted by saying the symplectic arguments carry over with minimal modifications, and a key sufficiency step (Proposition 5.10) is stated without proof; the proof of the Can–Uğurlu conjecture rests directly on this unproved transfer.

Editorial extensions

If this is right

The orbit-counting sequences satisfy the recurrences $a_{p,m} = a_{p-1,m-1} + a_{p-1,m} + (p-1)a_{p-2,m-1}$ and $c_{p,m} = c_{p-1,m-1} + c_{p-1,m} + 2(p-1)c_{p-2,m-1}$, so the counts can be computed by elementary matching counts.
The matching description implies symmetric unimodality and ultra log-concavity of the orbit-counting sequences for types AIII and CII, via results on matching polynomials.
The type BI polynomial $b_{m,n}$ has degree $2n+1$ and non-integral leading coefficient for $n>0$, confirming the Can–Uğurlu conjecture.
The same matching mechanism is indicated to extend to other classical symmetric varieties arising from involutions of $\mathrm{GL}_{m+n}$.
For type AIII the bijection holds over an arbitrary field $k$, not only over algebraically closed fields.

Reading between the lines

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

If the bijection is compatible with natural partial orders, the Bruhat order on these Borel orbit sets could be read directly from a poset of matchings under edge inclusion, giving a purely combinatorial handle on orbit closures.
The asymptotic method for extracting leading coefficients from matching counts is a general template: any symmetric variety whose orbits are counted by matchings in a dense graph will have an interpolating polynomial with a non-integral leading coefficient, provided the corresponding closed formula is not integer-valued.
The discrepancy between $k$-rational and $\overline{k}$ orbits noted for type CII warns that analogous matching parametrizations for other symmetric varieties may require twisting by local systems when the field is not algebraically closed.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The real news here is the AIII matching parametrization. The proof through complementary quiver representations is written out in enough detail to be checked, and it gives a genuinely new dictionary: Borel orbits for GL_{m+n}/GL_m×GL_n correspond to m-matchings in the corona graph. The binary-matrix representatives, the duality operation, and the recovery of the known recurrences are all clean. That part is the paper's contribution and it holds up.

The CII part is a different story. The minus-action on matchings is described explicitly, and Lemma 5.9 is proved, but the sufficiency direction (Proposition 5.10) is explicitly left with “we will omit the proof.” That is a load-bearing omission. Section 5.3 then asserts Theorem 5.16 for the orthogonal group by saying the arguments carry over with minimal modifications, without giving the orthogonal analogues of the key lemmas. Theorem 5.16 is not a side remark: the proof of the Can–Ugurlu conjecture in Theorem 6.4 rests directly on it. So the headline conjecture is not established as written.

There is also a smaller rigor issue in Theorem 6.4. The proof counts minus-invariant edge subsets, then writes b_{m,n}=O(...) and immediately concludes the leading coefficient is non-integral. An upper bound alone does not determine a leading coefficient. The intended argument is probably fixable: for fixed n and large m, the number of non-matchings among those subsets is lower order, and the exact leading coefficient of the subset count is the sum S_n. But as written, the O-notation hides the needed equality. This is a minor patch compared to the missing CII/BI proofs.

The reference list looks standard and the paper does not lean on self-citations. Nothing circular jumps out. The author is upfront about the omitted proofs, which makes me think the gaps are likely fillable rather than signs of a wrong idea.

Who is this for? People working on Borel orbits of symmetric varieties, quiver representations, or matching polynomials. The AIII section alone is worth reading. But a referee should send it back: the CII and BI parametrizations need complete proofs before the Can–Ugurlu conjecture can be accepted. I'd engage with the paper seriously, but I'd insist on the missing details before believing the full set of claims.

Referee Report

4 major / 4 minor

Summary. This paper proposes alternative combinatorial parametrizations of Borel orbits in classical symmetric varieties by matchings of corona graphs. Theorem 1.2 asserts a natural bijection for type AIII, (GL_{m+n}, GL_m × GL_n), between B(k)-orbits in X(k) and m-matchings of the corona graph C_{m+n}, and, for char(k) ≠ 2, a similar bijection for type CII, (Sp_{2m+2n}, Sp_{2m} × Sp_{2n}), using the double corona graph. The paper also states a type BI parametrization (Theorem 5.16) for SO_{2m+2n+1}/S(O_{2m} × O_{2n+1}) and uses it to prove the Can–Uğurlu conjecture (Theorem 6.4) that the Borel-orbit-counting polynomial b_{m,n} has degree 2n+1 and non-integral leading coefficient for n>0. Additional applications include recurrences, unimodality, and ultra log-concavity for the AIII and CII orbit counts.

Significance. If the proofs are completed, the matching model would be a clean and useful alternative to clan parametrizations, and the confirmation of the Can–Uğurlu conjecture would be a genuine result. The AIII path is written out in reasonable detail and the application of matching-polynomial results to obtain unimodality and log-concavity is elegant. However, the two most important claims—the type BI parametrization and the non-integrality theorem for its orbit-count polynomial—are not established as written: one is asserted without proof, and the other relies on an invalid asymptotic inference. The CII parametrization also has a substantial omitted proof at a load-bearing point.

major comments (4)

[§5.3, Theorem 5.16] Theorem 5.16, the parametrization of Borel orbits for type BI by minus-invariant matchings, is asserted without proof. The sentence 'The arguments in the previous subsection carry over to the case of orthogonal groups with minimal modifications' is not a proof. No orthogonal analogue of Lemma 5.9, Proposition 5.10, or Proposition 5.14 is supplied, and Remark 5.17(2) itself notes a genuine difference from the symplectic case. Since Theorem 6.4 and the claimed confirmation of the Can–Uğurlu conjecture depend directly on Theorem 5.16, this omission is load-bearing.
[§5.2, Proposition 5.10 and Theorem 5.15] The sufficiency direction for the type CII bijection is left with 'we will omit the proof.' Proposition 5.10 is the step that shows a minus-invariant matching with no horizontal edges supports a k-point of G^φ, and without it Theorem 1.2(2) and all applications involving c_{p,m} in Section 6 rest on an unproved claim. Additionally, Proposition 5.14 is proved only under the hypothesis k = \bar{k}, while Theorem 5.15 is stated for double cosets over a general field; the paragraph following Theorem 5.15 about replacing k by \bar{k} does not supply a proof for arbitrary k, it only explains why base change to the algebraic closure fails.
[§6, Theorem 6.4] The proof of non-integrality of the leading coefficient uses only upper bounds. The displayed estimate b_{m,n} = O( m^{2n+1} ∑_{l=0}^n 1/((2l+1)!(n-l)!) ) with the sum less than 1 does not determine the leading coefficient: an O-bound carries an arbitrary multiplicative constant, so the actual coefficient could be larger than the displayed sum. One needs an asymptotic equivalence, or an explicit upper bound with constant 1, together with a separate lower bound showing the degree is exactly 2n+1. As written, the leading coefficient of b_{m,n} is not computed or bounded in the required way.
[§3, Theorem 3.4] Theorem 3.4 is a Gabriel-type bijection asserted for arbitrary field k and quoted from [4]. Classical Gabriel's theorem is usually stated over algebraically closed fields, and it is not immediate that indecomposable representations of Q_p over a non-algebraically-closed field are classified by positive roots without additional hypotheses. Because Theorem 1.2(1) is claimed for arbitrary k, the precise statement and reference, or a proof, should be supplied so that the AIII bijection is not resting on an unverified variant of Gabriel's theorem.

minor comments (4)

[§4, Theorem 4.3 and Example 4.6] The coloring rule in Theorem 4.3 does not specify what to do with admissible roots of the form L_i + L_{m+n+2}. Example 4.6 shows that such roots appear as auxiliary summands that are not colored, and this is essential for the number of colored edges to equal m. Please state this explicitly in the proof of Theorem 4.3.
[§1, Proposition 1.3 vs. §6, Proposition 6.2] Proposition 1.3 states the ultra-log-concavity inequality with a factor (1 + 1/n), while Proposition 6.2 states the same inequality with (1 + 1/m). Since n is not defined in Proposition 1.3, this appears to be a typo and should be corrected.
[§5.2, proof of Proposition 5.7] The proof of Proposition 5.7 refers to 'some suitable choices of the signs ±' but does not specify how the signs are chosen or why they do not affect the double coset. A short clarification would improve readability.
[General] The term 'm-matching' is used throughout without a formal definition in Section 1 or Section 2. Given that the paper's main results rest on this graph-theoretic notion, a definition should be included.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the derivations are self-contained or rest on external cited results; the main gaps are missing proofs and an asymptotic leading-coefficient inference, which are rigor concerns, not circular reductions.

full rationale

The paper's claimed chain is not circular. Theorem 1.2(1) is derived from quiver representations via a Gabriel-type bijection (Theorem 3.4, cited to Lusztig [4] as Propositions 4.12 and 4.15), Galois cohomology (Lemma 4.1, cited to Serre [8]), and an explicit root-to-matching bijection (Lemma 3.7 and Theorem 4.3). The matching polynomial facts used in Propositions 6.1 and 6.2 come from [1,2,3], external to this paper. Theorem 1.2(2) and Theorem 5.15 follow by studying fixed points of an involution on the GL case; the minus-involution action is proved in Proposition 5.7, and the single-double-coset statement is proved in Proposition 5.14 using Proposition 5.1 from Springer [9]. Proposition 5.10 has its proof omitted ('we will omit the proof'), and Section 5.3 asserts Theorem 5.16 by saying 'the arguments in the previous subsection carry over to the case of orthogonal groups with minimal modifications.' These are missing proofs or unproven assertions, not circular reuse of conclusions: Theorem 5.16 is not fed back into its own proof, and no parameter is fitted to data and then renamed a prediction. Theorem 6.4 depends on Theorem 5.16 and on an asymptotic estimate; the proof concludes the leading coefficient of b_{m,n} from an O(m^{2n+1}) bound. That inference is not justified, since an upper bound does not determine a leading coefficient, but this is a mathematical rigor gap rather than a circularity: the target statement is not an input to the argument. There are no self-citations by the author, no uniqueness theorem imported from the authors' prior work, and no ansatz smuggled in by citation. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

There are no fitted parameters in this paper; it is a pure mathematical derivation. The contributions rest on cited external theorems (Gabriel-type theorem [4], Heilmann-Lieb matching facts [3], Springer's symmetric-variety theory [9]) and on two premises asserted by the author without proof: the orthogonal carry-over (Section 5.3) and the O/SO equivalence (Remark 5.17(3)). The corona and double corona graphs are standard graph constructions, not invented entities.

assumptions (5)

standard math Theorem 3.4 (variant of Gabriel's theorem): the dimension map induces a bijection between indecomposable representations of Q_p over k and the positive roots of so_{2p}, for arbitrary k; quoted from [4, Propositions 4.12 and 4.15].
This is the bridge from Borel orbits to roots and then matchings. The paper states k need not be algebraically closed, but the theorem is cited rather than proved, and the whole 'arbitrary field' formulation of Theorem 1.2(1) depends on it.
standard math Matching-number facts from [3] (Heilmann-Lieb): the sequence of matching numbers of a graph is symmetric, unimodal, and ultra log-concave.
Used in Proposition 6.2 to convert the matching parametrization into the unimodality and ultra log-concavity statements for a_{p,m} and c_{p,m}; not proved in the paper.
domain assumption Section 5.3 claim that the symplectic arguments carry over to O_{2m+2n+1}/(O_{2m} x O_{2n+1}) with minimal modifications, yielding Theorem 5.16.
Unproven in the text; the author asserts the carry-over. Theorem 5.16 is the input to the Can-Ugurlu conjecture proof, so this is the most fragile premise of the headline application.
domain assumption Remark 5.17(3): the Borel orbit count for the orthogonal group O and symmetric subgroup O_{2m} x O_{2n+1} equals the count for the special orthogonal analogues SO_{2m+2n+1}/S(O_{2m} x O_{2n+1}).
Declared 'clear' with no proof or citation; needed to connect Theorem 5.16 to the SO statement of the Can-Ugurlu conjecture as stated in [2].
standard math Springer's structure theorem for symmetric varieties (Proposition 5.1, cited to [9]): each B-orbit contains a point gK with gθ(g)^{-1} in the normalizer, and the B-orbit is determined by the T-orbit of this element.
Used in Proposition 5.14 to prove O^φ is a single double coset in the algebraically closed case.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Matchings in Corona graph and classical symmetric varieties." pith.science (2026). https://pith.science/paper/QEBPQAPO

@misc{pith2026250504581,
  author       = {Pith},
  title        = {Pith review of: Matchings in Corona graph and classical symmetric varieties},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QEBPQAPO}},
  note         = {Machine review of arXiv:2505.04581}
}

read the original abstract

We introduce an alternative combinatorial parametrization of Borel orbits in classical symmetric varieties using matchings of the Corona graph. As an application, we obtain ultra log-concavity and unimodality for the number of Borel orbits in Types AIII and CII. Moreover, we prove a conjecture of Can and Ugurlu concerning the non-integrality of the coefficients of the polynomial that interpolates the number of orbits in Type BI.

Figures

Figures reproduced from arXiv: 2505.04581 by the authors.

**Figure 1.** (a) Corona graph C6, (b) Double corona graph C (2) 4 We can now state our main theorem. Theorem 1.2. Let k be a field and k be an algebraic closure of k. Let X be the homogeneous space G/K. (1) For (G, K) is (GLm+n, GLm × GLn), there is a natural bijection between the set of B(k)-orbits in X(k) and the set of m-matchings in the corona graph Cm+n. (2) Assume that char(k) 6= 2. For (G, K) is (Sp2m+2n, Sp2m × Sp2n), th… view at source ↗

**Figure 2.** Dimension vector dm,n 2.4. Others. We let [i, j] be the set of integer {i, i + 1, i + 2, · · · , j}. 3. Review on quiver representations In this section, we review some well-known results on quiver representations. Let p = m + n + 2 throughout this section. Recall that a quiver representation V of Qp (over k) is equivalent to the following data: (1) k-vector spaces (Ui , Um, U n ) for 1 ≤ i ≤ m + n, [PITH_FULL_IMAG… view at source ↗

**Figure 3.** A 2-matching S and its dual DS in C6 Remark 4.7. The results in this section can be generalized to Bruhat decomposition for GLn. 5. Other classical types In this section, we are going to mention results for other classical types that arising from an involution of Type AIII. Throughout this section, we assume that char(k) 6= 2. Hence, we can apply the general theory for symmetric varieties. 5.1. General theory. Let G… view at source ↗

Figures from the paper (1 more)

**Figure 4.** Figure 4: A 2-matching S and its minus −S in C6 Inspired by Proposition 5.7, we have the following definition. Definition 5.8. We say an edge in C2m+2n is horizontal if it is fixed by the minus involution, i.e. it connects vi and v−i for some i. Next, we determine which ϕ-invari…

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

[4]

Lusztig, Canonical bases arising from quantized enveloping algebra s, Journal of the Amer- ican Mathematical Society 3 (1990), no

G. Lusztig, Canonical bases arising from quantized enveloping algebra s, Journal of the Amer- ican Mathematical Society 3 (1990), no. 2, 447–498

work page 1990
[1]

B. M. Can and ¨O. U˘ gurlu,The Genesis of Involutions (Polarizations and Lattice Poin ts), arXiv:1703.09881 (2017)

work page Pith review arXiv 2017
[2]

M. B. Can and ¨O. U˘ gurlu,Counting Borel orbits in symmetric spaces of types BI and CII , Arnold Mathematical Journal 4 (2018), 213–250

work page 2018
[3]

O. J. Heilmann and E. H. Lieb, Theory of Monomer-Dimer systems , Communications in Mathematical Physics 25 (1972), no. 3, 190–232

work page 1972
[5]

Lusztig and D

G. Lusztig and D. A. Vogan Jr, Singularities of closures of K-orbits on ﬂag manifolds , Inven- tiones Mathematicae 71 (1983), no. 2, 365–379

work page 1983
[6]

Matsuki and T

T. Matsuki and T. Oshima, Embeddings of discrete series into principal series , The Orbit Method in Representation Theory: Proceedings of a Conferen ce Held in Copenhagen, August to September 1988, Birkh¨ auser Boston, Boston, MA, 1990, pp . 147–175

work page 1988
[7]

R. W. Richardson and T. A. Springer, The Bruhat order on symmetric varieties , Geometriae Dedicata 35 (1990), 389–436

work page 1990
[8]

Serre, Galois cohomology , Springer, New York, 1997, Translated from the French by Patrick Ion and revised by the author

J.-P. Serre, Galois cohomology , Springer, New York, 1997, Translated from the French by Patrick Ion and revised by the author

work page 1997

Show all 12 references

[9]

T. A. Springer, Some results on algebraic groups with involutions , Algebraic Groups and Related Topics, Advanced Studies in Pure Mathematics, vol. 6, Kinokuniya/North-Holland, 1985, pp. 525–543

1985
[10]

Vogan Jr, Representations of real reductive Lie groups , Progress in Mathematics, vol

David A. Vogan Jr, Representations of real reductive Lie groups , Progress in Mathematics, vol. 15, Birkh¨ auser, Boston, MA, 1981

1981
[11]

B. J. Wyser, Symmetric subgroup orbit closures on ﬂag varieties: Their e quivariant geometry, combinatorics, and connections with degeneracy loci , Ph.D. thesis, University of Georgia, 2012, arXiv:1201.4397

2012 arXiv
[12]

Yamamoto, Orbits in the ﬂag variety and images of the moment map for clas sical groups I, Representation Theory of the American Mathematical Socie ty 1 (1997), no

A. Yamamoto, Orbits in the ﬂag variety and images of the moment map for clas sical groups I, Representation Theory of the American Mathematical Socie ty 1 (1997), no. 13, 329–404. University of Melbourne, School of Mathematics and Statisti cs Email address : albert.li2@unimelb.edu.au

1997

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [4]

Lusztig, Canonical bases arising from quantized enveloping algebra s, Journal of the Amer- ican Mathematical Society 3 (1990), no

G. Lusztig, Canonical bases arising from quantized enveloping algebra s, Journal of the Amer- ican Mathematical Society 3 (1990), no. 2, 447–498

work page 1990

[2] [1]

B. M. Can and ¨O. U˘ gurlu,The Genesis of Involutions (Polarizations and Lattice Poin ts), arXiv:1703.09881 (2017)

work page Pith review arXiv 2017

[3] [2]

M. B. Can and ¨O. U˘ gurlu,Counting Borel orbits in symmetric spaces of types BI and CII , Arnold Mathematical Journal 4 (2018), 213–250

work page 2018

[4] [3]

O. J. Heilmann and E. H. Lieb, Theory of Monomer-Dimer systems , Communications in Mathematical Physics 25 (1972), no. 3, 190–232

work page 1972

[5] [5]

Lusztig and D

G. Lusztig and D. A. Vogan Jr, Singularities of closures of K-orbits on ﬂag manifolds , Inven- tiones Mathematicae 71 (1983), no. 2, 365–379

work page 1983

[6] [6]

Matsuki and T

T. Matsuki and T. Oshima, Embeddings of discrete series into principal series , The Orbit Method in Representation Theory: Proceedings of a Conferen ce Held in Copenhagen, August to September 1988, Birkh¨ auser Boston, Boston, MA, 1990, pp . 147–175

work page 1988

[7] [7]

R. W. Richardson and T. A. Springer, The Bruhat order on symmetric varieties , Geometriae Dedicata 35 (1990), 389–436

work page 1990

[8] [8]

Serre, Galois cohomology , Springer, New York, 1997, Translated from the French by Patrick Ion and revised by the author

J.-P. Serre, Galois cohomology , Springer, New York, 1997, Translated from the French by Patrick Ion and revised by the author

work page 1997