arXiv++ Combinatorics

We determine the torsion subgroup of $H_{m-1}(\mathbb{B}_mK_{m+1,m+r-1};\mathbb{Z})$ for $m\ge2$ and $r\ge0$: top homology with arbitrary coefficients is the kernel of an unsigned subset-inclusion matrix, and its integral diagonal form determines all primary summands. Every finite order occurs, with explicit representatives. Generalized theta classes span an embedded copy of the cokernel of the inclusion matrix, containing all torsion; for $r\ge m$ they generate the torsion, each of order $\operatorname{lcm}(1,\ldots,m)$. For every prime power $q$ and $m\ge q$, the graph $K_{m+1,m+q-1}$ is minimal in the minor order for order-$q$ torsion in $H_{m-1}(\mathbb{B}_m)$. In particular, odd torsion first appears in $H_2(\mathbb{B}_3K_{4,5})\cong\mathbb{Z}^{155}\oplus(\mathbb{Z}/2)^4\oplus\mathbb{Z}/3$, and no proper minor of $K_{4,5}$ has odd torsion in $H_2(\mathbb{B}_3)$. For arbitrary part sizes, we give a multiplicity-free decomposition of $H_m(\mathbb{B}_mK_{a,b};\mathbb{Q})$ under vertex permutations and prove that $H_{m-1}(\mathbb{B}_mK_{a,b};\mathbb{Z})$ has no $p$-primary torsion when $a,b\ge2m-1$ and $p\ge m$ is an odd prime. The explicit order-$q$ class retains its order under every enlargement of the second part of the graph, while for $m=q=p$ an odd prime it is killed by a specified enlargement of the first part.

The $ k $-configuration space $ B_kΓ$ of a topological space $ Γ$ is the space of sets of $ k $ distinct points in $ Γ$. In this paper, we consider the case where $ Γ$ is a graph of circumference at most $1$. We show that for all $ k\ge0 $, the $ i $-th Betti number of $ B_kΓ$ is given by a polynomial $P_Γ^i(k)$ in $ k $, called the Hilbert polynomial of $ Γ$. We find an expression for the Hilbert polynomial $P_Γ^i(k)$ in terms of those coming from the canonical $1$-bridge decomposition of $ Γ$. We also give a combinatorial description of the coefficients of $P_Γ^i(k)$.

We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of finite type $\mathsf{ADE}$ or affine type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with rotational symmetry as seeds of type $\mathsf{B}$, $\mathsf{G}_2$, $\tilde{\mathsf{G}}_2$, $\tilde{\mathsf{B}}$, or $\tilde{\mathsf{C}}_2$, and with conjugation symmetry as seeds of type $\mathsf{F}_4$, $\mathsf{C}$, $\mathsf{E}_6^{(2)}$, $\tilde{\mathsf{F}}_4$, or $\mathsf{A}_5^{(2)}$. These families are the first known Legendrian links with (infinitely many) exact Lagrangian fillings (with symmetry) that exhaust all seeds in the corresponding cluster structures beyond type $\mathsf{A} \mathsf{D}$. Furthermore, we show that the $N$-graph realization of (twice of) Coxeter mutation of type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$ corresponds to a Legendrian loop of the corresponding Legendrian links. Especially, the loop of type $\tilde{\mathsf{D}}$ coincides with the one considered by Casals and Ng.

We prove that there are at least as many exact embedded Lagrangian fillings as seeds for Legendrian links of affine type $\tilde{\mathsf{D}} \tilde{\mathsf{E}}$. We also provide as many Lagrangian fillings with certain symmetries as seeds of type $\tilde{\mathsf{B}}_n$, $\tilde{\mathsf{F}}_4$, $\tilde{\mathsf{G}}_2$, and $\mathsf{E}_6^{(2)}$. These families are the first known Legendrian links with infinitely many fillings that exhaust all seeds in the corresponding cluster structures. Furthermore, we show that Legendrian realization of Coxeter mutation of type $\tilde{\mathsf{D}}$ corresponds to the Legendrian loop considered by Casals and Ng.

A cluster algebra is a commutative algebra whose structure is decided by a skew-symmetrizable matrix or a quiver. When a skew-symmetrizable matrix is invariant under an action of a finite group and this action is admissible, the folded cluster algebra is obtained from the original one. Any cluster algebra of non-simply-laced affine type can be obtained by folding a cluster algebra of simply-laced affine type with a specific $G$-action. In this paper, we study the combinatorial properties of quivers in the cluster algebra of affine type. We prove that for any quiver of simply-laced affine type, $G$-invariance and $G$-admissibility are equivalent. This leads us to prove that the set of $G$-invariant seeds forms the folded cluster pattern.

We prove that there are at least seeds many exact embedded Lagrangian fillings for Legendrian links of type $\mathsf{ADE}$. We also provide seeds many Lagrangian fillings with certain symmetries for type $\mathsf{BCFG}$. Our main tools are $N$-graphs and the combinatorics of seed patterns of finite type.

A Gelfand-Cetlin polytope is a convex polytope obtained as an image of certain completely integrable system on a partial flag variety. In this paper, we give an equivalent description of the face structure of a GC-polytope in terms of so called the face structure of a ladder diagram. Using our description, we obtain a partial differential equation whose solution is the exponential generating function of f-vectors of GC-polytopes. This solves the open problem (2) posed by Gusev, Kritchenko, and Timorin in [GKT].