Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHomology representations arising from the half cube, II
141
0
0.0
(
0
)
Authors
R.M. Green
Ask ChatGPT about the research
No Arabic abstract
In a previous work (arXiv:0806.1503v2), we defined a family of subcomplexes of the $n$-dimensional half cube by removing the interiors of all half cube shaped faces of dimension at least $k$, and we proved that the homology of such a subcomplex is concentrated in degree $k-1$. This homology group supports a natural action of the Coxeter group $W(D_n)$ of type $D$. In this paper, we explicitly determine the characters (over ${Bbb C}$) of these homology representations, which turn out to be multiplicity free. Regarded as representations of the symmetric group $S_n$ by restriction, the homology representations turn out to be direct sums of certain representations induced from parabolic subgroups. The latter representations of $sym_n$ agree (over ${Bbb C}$) with the representations of $sym_n$ on the $(k-2)$-nd homology of the complement of the $k$-equal real hyperplane arrangement.
rate research
Read More
We construct a CW decomposition $C_n$ of the $n$-dimensional half cube in a manner compatible with its structure as a polytope. For each $3 leq k leq n$, the complex $C_n$ has a subcomplex $C_{n, k}$, which coincides with the clique complex of the half cube graph if $k = 4$. The homology of $C_{n, k}$ is concentrated in degree $k-1$ and furthermore, the $(k-1)$-st Betti number of $C_{n, k}$ is equal to the $(k-2)$-nd Betti number of the complement of the $k$-equal real hyperplane arrangement. These Betti numbers, which also appear in theoretical computer science, numerical analysis and engineering, are the coefficients of a certain Pascal-like triangle (Sloanes sequence A119258). The Coxeter groups of type $D_n$ act naturally on the complexes $C_{n, k}$, and thus on the associated homology groups.
We study the $H_n(0)$-module $mathbf{S}^sigma_alpha$ due to Tewari and van Willigenburg, which was constructed using new combinatorial objects called standard permuted composition tableaux and decomposed into cyclic submodules. First, we show that every direct summand appearing in their decomposition is indecomposable and characterize when $mathbf{S}^sigma_alpha$ is indecomposable. Second, we find characteristic relations among $mathbf{S}^sigma_alpha$s and expand the image of $mathbf{S}^sigma_alpha$ under the quasi characteristic in terms of quasisymmetric Schur functions. Finally, we show that the canonical submodule of $mathbf{S}^sigma_alpha$ appears as a homomorphic image of a projective indecomposable module.
We investigate the existence and non-existence of maximal green sequences for quivers arising from weighted projective lines. Let $Q$ be the Gabreil quiver of the endomorphism algebra of a basic cluster-tilting object in the cluster category $mathcal{C}_mathbb{X}$ of a weighted projective line $mathbb{X}$. It is proved that there exists a quiver $Q$ in the mutation equivalence class $operatorname{Mut}(Q)$ such that $Q$ admits a maximal green sequence. On the other hand, there is a quiver in $operatorname{Mut}(Q)$ which does not admit a maximal green sequence if and only if $mathbb{X}$ is of wild type.
In the 40s, Mayer introduced a construction of (simplicial) $p$-complex by using the unsigned boundary map and taking coefficients of chains modulo $p$. We look at such a $p$-complex associated to an $(n-1)$-simplex; in which case, this is also a $p$-complex of representations of the symmetric group of rank $n$ - specifically, of permutation modules associated to two-row compositions. In this article, we calculate the so-called slash homology - a homology theory introduced by Khovanov and Qi - of such a $p$-complex. We show that every non-trivial slash homology group appears as an irreducible representation associated to two-row partitions, and how this calculation leads to a basis of these irreducible representations given by the so-called $p$-standard tableaux.
We compare two important bases of an irreducible representation of the symmetric group: the web basis and the Specht basis. The web basis has its roots in the Temperley-Lieb algebra and knot-theoretic considerations. The Specht basis is a classic algebraic and combinatorial construction of symmetric group representations which arises in this context through the geometry of varieties called Springer fibers. We describe a graph that encapsulates combinatorial relations between each of these bases, prove that there is a unique way (up to scaling) to map the Specht basis into the web representation, and use this to recover a result of Garsia-McLarnan that the transition matrix between the Specht and web bases is upper-triangular with ones along the diagonal. We then strengthen their result to prove vanishing of certain additional entries unless a nesting condition on webs is satisfied. In fact we conjecture that the entries of the transition matrix are nonnegative and are nonzero precisely when certain directed paths exist in the web graph.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
