pith. sign in

arxiv: 2501.09496 · v2 · submitted 2025-01-16 · 🧮 math.AT · math.AG· math.CO

Cohomology of type B real permutohedral varieties

Younghan Yoon This is my paper

Pith reviewed 2026-05-23 05:31 UTC · model grok-4.3

classification 🧮 math.AT math.AGmath.CO
keywords cohomology ringsreal permutohedral varietiestype BB-snakesmultiplicative structurerational cohomologycup productalternating permutations
0
0 comments X

The pith

The multiplicative structure of the rational cohomology ring of type B real permutohedral varieties is given by a product on B-snakes.

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

The paper extends the combinatorial description of type B real permutohedral varieties from their Betti numbers alone to the full ring structure of their rational cohomology. Type A varieties already have such a description using alternating permutations, but type B had only dimension counts via B-snakes. The work equips B-snakes with an explicit multiplication operation that reproduces the cup product on the variety. A sympathetic reader would see this as completing a combinatorial model for the cohomology ring, making products of classes computable directly from the snakes without reference to the geometry.

Core claim

The rational cohomology ring of the type B real permutohedral variety is presented with a basis indexed by B-snakes, together with a multiplication on those snakes that exactly matches the geometric cup product.

What carries the argument

B-snakes equipped with a multiplication operation that reproduces the cup product.

If this is right

  • Products of cohomology classes can be calculated using only the combinatorial rules on B-snakes.
  • The full ring structure is now available for direct comparison with the type A case described by alternating permutations.
  • Cohomology computations for these varieties become independent of their embedding as real loci.
  • The same combinatorial data that gave Betti numbers now yields the entire ring.

Where Pith is reading between the lines

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

  • The construction may extend to give ring structures on cohomology of other real algebraic varieties whose Betti numbers are already counted by similar snake-like objects.
  • If the B-snake product admits a Hopf algebra structure, it would mirror additional topological features such as coproducts not yet addressed in the paper.
  • Explicit low-dimensional calculations using the new multiplication could be checked against known point counts or Euler characteristics of the varieties.

Load-bearing premise

A multiplication can be defined on B-snakes so that it matches the cup product in the cohomology ring of the real variety.

What would settle it

Compute the product of two low-degree B-snakes and verify whether the result equals the cup product obtained by direct geometric intersection on the variety in a small-dimensional example.

Figures

Figures reproduced from arXiv: 2501.09496 by Younghan Yoon.

Figure 1
Figure 1. Figure 1: A full-subcomplex (KB3 )I of KB3 Note that x ∗ = [¯1/2¯3/¯4¯5], y∗ = [¯41/23]. Then, ( F1(x ∗ ) = {¯5}, F2(x ∗ ) = {¯3, ¯4, ¯5}, F3(x ∗ ) = {¯1, 2, ¯3, ¯4, ¯5}, F1(y ∗ ) = {¯3}, F2(y ∗ ) = {¯1, ¯2, ¯3}. We associate to x a subcomplex x of (KBn )I as x = {F1(x), F1(x ∗ )} ⋆ {F2(x), F2(x ∗ )} ⋆ · · · ⋆ {F⌊ r+1 2 ⌋ (x), F⌊ r+1 2 ⌋ (x ∗ )} where ⋆ is the simplicial join. It is noteworthy that x is the boundary… view at source ↗
Figure 2
Figure 2. Figure 2: A subcomplex of (KBn )I The outer square-shaped complex is [¯x4x¯3/x¯2x¯1] . We observe that ΨI ([¯x4x¯3/x¯2x¯1]) = ΨI ([¯x4x¯2/x¯3x¯1] − [¯x3x¯2/x¯4x¯1] − [¯x4x¯1/x¯3x¯2] + [¯x3x¯1/x¯4x¯2] − [¯x2x¯1/x¯4x¯3]). Refer to Definition 1.1 for a recall of Hi and MI . In the remainder of this section, we demonstrate that the subspace MI of [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
read the original abstract

Type $A$ and type $B$ permutohedral varieties are classic examples of mathematics, and their topological invariants are well known. This naturally leads to the investigation of the topology of their real loci, known as type $A$ and type $B$ real permutohedral varieties. The rational cohomology rings of type $A$ real permutohedral varieties are fully described in terms of alternating permutations. Until now, only rational Betti numbers of type $B$ real permutohedral varieties have been described in terms of $B$-snakes. In this paper, we explicitly describe the multiplicative structure of the cohomology rings of type $B$ real permutohedral varieties in terms of $B$-snakes.

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

Summary. The paper claims to give an explicit combinatorial description of the multiplicative structure on the rational cohomology ring of type B real permutohedral varieties, with a basis given by B-snakes equipped with a multiplication operation that is asserted to reproduce the cup product.

Significance. If the identification is rigorously established, the result would supply a complete ring presentation analogous to the known alternating-permutation description for the type A case, enabling direct combinatorial computation of products and relations in these cohomology rings.

major comments (2)
  1. [Main result / definition of the B-snake product] The load-bearing step is the verification that the combinatorially defined product on the B-snake basis coincides with the geometric cup product. Matching dimensions (i.e., the known Betti numbers) is insufficient; the manuscript must either exhibit a geometric basis of classes whose intersection numbers match the combinatorial rule or prove that the algebra satisfies exactly the same relations as H^*(X_B; Q). No such independent check (e.g., via cellular cochains, comparison with the type A case, or low-dimensional explicit computation) is visible in the provided text.
  2. [Abstract and introduction] The abstract states that only Betti numbers were previously known and that the paper now supplies the multiplicative structure, yet supplies neither an explicit formula for the product nor a sample calculation (e.g., a low-degree product or a relation that can be checked geometrically). Without this, the claim that the combinatorial algebra is isomorphic to the cohomology ring cannot be assessed.
minor comments (1)
  1. Notation for the B-snake multiplication should be introduced with a small explicit table or low-degree example to make the definition immediately usable.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and for highlighting the need for explicit verification and concrete examples. We agree that these elements strengthen the manuscript and will revise accordingly.

read point-by-point responses

  1. Referee: [Main result / definition of the B-snake product] The load-bearing step is the verification that the combinatorially defined product on the B-snake basis coincides with the geometric cup product. Matching dimensions (i.e., the known Betti numbers) is insufficient; the manuscript must either exhibit a geometric basis of classes whose intersection numbers match the combinatorial rule or prove that the algebra satisfies exactly the same relations as H^*(X_B; Q). No such independent check (e.g., via cellular cochains, comparison with the type A case, or low-dimensional explicit computation) is visible in the provided text.

    Authors: We agree that dimension matching alone does not suffice. The manuscript defines the B-snake product combinatorially on the known basis and asserts it reproduces the cup product, but does not include independent verification. In the revision we will add: (i) explicit low-degree product computations (degrees 1--3) using both the combinatorial rule and geometric intersection numbers derived from the cellular cochain complex of the real permutohedral variety; (ii) a direct comparison with the type-A alternating-permutation product on the fixed-point set; and (iii) a short argument that the resulting algebra satisfies the same quadratic and higher relations known to hold in H^*(X_B; Q). These additions will appear in a new subsection of the main result. revision: yes

  2. Referee: [Abstract and introduction] The abstract states that only Betti numbers were previously known and that the paper now supplies the multiplicative structure, yet supplies neither an explicit formula for the product nor a sample calculation (e.g., a low-degree product or a relation that can be checked geometrically). Without this, the claim that the combinatorial algebra is isomorphic to the cohomology ring cannot be assessed.

    Authors: We accept the observation. Although the body of the paper contains the definition of the B-snake multiplication, neither the abstract nor the introduction supplies a formula or worked example. We will revise the abstract to include a concise statement of the product rule on B-snakes and insert a short illustrative computation (e.g., the square of a degree-1 generator and its geometric interpretation) into the introduction, together with a pointer to the verification section added in response to the first comment. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit ring structure extends prior Betti-number combinatorics via independent verification

full rationale

The paper states that only Betti numbers were previously known via B-snakes and now supplies an explicit multiplicative structure. This requires constructing or proving a ring isomorphism whose product rule is checked against the geometric cup product (or cellular cochains), rather than being forced by dimension matching or prior definitions. No self-citations, self-definitional steps, or fitted-input renamings appear in the abstract or described claims; the derivation is therefore self-contained against the external geometric cohomology ring.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract, no free parameters, axioms, or invented entities can be identified. The work builds on existing combinatorial descriptions of type A rings and B-snakes without introducing new ones visible here.

pith-pipeline@v0.9.0 · 5644 in / 1092 out tokens · 36136 ms · 2026-05-23T05:31:49.834129+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

19 extracted references · 19 canonical work pages

  1. [1]

    S. Cho, S. Choi, and S. Kaji. Geometric representations o f finite groups on real toric spaces. J. Korean Math. Soc., 56(5):1265–1283, 2019

    work page 2019

  2. [2]

    S. Choi, S. Kaji, and H. Park. The cohomology groups of rea l toric varieties associated with Weyl chambers of types C and D. Proc. Edinb. Math. Soc. (2) , 62(3):861–874, 2019

    work page 2019

  3. [3]

    S. Choi, B. Park, and H. Park. The Betti numbers of real tor ic varieties associated to Weyl chambers of type B. Chin. Ann. Math. Ser. B , 38(6):1213–1222, 2017

    work page 2017

  4. [4]

    Choi and H

    S. Choi and H. Park. Multiplicative structure of the coho mology ring of real toric spaces. Homology Homotopy Appl., 22(1):97–115, 2020

    work page 2020

  5. [5]

    The cohomology rings of real permutohedral varieites

    S. Choi and Y. Yoon. The cohomology rings of real permutoh edral varieites. arXiv preprint arXiv:2308.12693 , 2023

    work page arXiv 2023

  6. [6]

    S. Choi, Y. Yoon, and S. Yu. The Betti numbers of real toric varieties associated to weyl chambers of types E7 and E8. Osaka J. Math. , 61(3):409–417, 2024

    work page 2024

  7. [7]

    Clader, C

    E. Clader, C. Damiolini, C. Eur, D. Huang, and S. Li. Multi matroids and rational curves with cyclic action. Int. Math. Res. Not. IMRN , 2024(12):9743–9777, 2024

    work page 2024

  8. [8]

    D. A. Cox, J. B. Little, and H. K. Schenck. Toric varieties, volume 124 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2011. 14 YOUNGHAN YOON

    work page 2011

  9. [9]

    De Mari and M

    F. De Mari and M. A. Shayman. Generalized Eulerian number s and the topology of the Hessenberg variety of a matrix. Acta Appl. Math. , 12(3):213–235, 1988

    work page 1988

  10. [10]

    C. Eur, A. Fink, M. Larson, and H. Spink. Signed permutoh edra, delta-matroids, and beyond. Proc. Lond. Math. Soc. (3) , 128(3):Paper No. e12592, 54, 2024

    work page 2024

  11. [11]

    C. Eur, M. Larson, and H. Spink. K-classes of delta-matr oids and equivariant localization. Trans. Amer. Math. Soc. , 378(1):731–750, 2025

    work page 2025

  12. [12]

    Henderson

    A. Henderson. Rational cohomology of the real Coxeter t oric variety of type A. In Configuration spaces, volume 14 of CRM Series , pages 313–326. Ed. Norm., Pisa, 2012

    work page 2012

  13. [13]

    J. Huh. Rota’s conjecture and positivity of algebraic cycles in per mutohedral varieties. ProQuest LLC, Ann Arbor, MI, 2014. Thesis (Ph.D.)–University of Michigan

    work page 2014

  14. [14]

    Huh and E

    J. Huh and E. Katz. Log-concavity of characteristic pol ynomials and the Bergman fan of matroids. Math. Ann., 354(3):1103–1116, 2012

    work page 2012

  15. [15]

    James and A

    G. James and A. Kerber. The representation theory of the symmetric group , volume 16 of Encyclopedia of Mathematics and its Applications . Addison-Wesley Publishing Co., Reading, MA, 1981. With a f oreword by P. M. Cohn, With an introduction by Gilbert de B. Robinson

    work page 1981

  16. [16]

    A. A. Klyachko. Orbits of a maximal torus on a flag space. Funktsional. Anal. i Prilozhen. , 19(1):77–78, 1985

    work page 1985

  17. [17]

    C. Procesi. The toric variety associated to Weyl chambe rs. In Mots, Lang. Raison. Calc., pages 153–161. Herm` es, Paris, 1990

    work page 1990

  18. [18]

    N. J. Sloane. The on-line encyclopedia of integer seque nces. http://oeis.org

    work page

  19. [19]

    R. P. Stanley. Combinatorics and commutative algebra , volume 41 of Progress in Mathematics . Birkh¨ auser Boston, Inc., Boston, MA, second edition, 1996. Department of mathematics, Ajou University, 206, World cup -ro, Yeongtong-gu, Suwon 16499, Republic of Korea Email address : younghan300@ajou.ac.kr

    work page 1996