Date: Thu, 9 May 2024 | Total: 4
We present the magnitude homology of a finite digraph $G$ as a certain subquotient of its path algebra. We use this to prove that the second magnitude homology group ${\rm MH}_{2,\ell}(G,\mathbb{Z})$ is a free abelian group for any $\ell$, and to describe its rank. This allows us to give a condition, denoted by $(\mathcal{V}_2)$, equivalent to vanishing of ${\rm MH}_{2,\ell}(G,\mathbb{Z})$ for $\ell>2.$ Recall that a digraph is called diagonal, if its magnitude homology is concentrated in diagonal degrees. Using the condition $(\mathcal V_2),$ we show that the GLMY-fundamental group of a diagonal (undirected) graph is trivial. In other words, the two-dimensional CW-complex obtained from a diagonal graph by attaching 2-cells to all squares and triangles of the graph is simply connected. We also give an interpretation of diagonality in terms of Koszul algebras: a digraph $G$ is diagonal if and only if the distance algebra $\sigma G$ is Koszul for any ground field; and if and only if $G$ satisfies $(\mathcal{V}_2)$ and the path cochain algebra $\Omega^\bullet(G)$ is Koszul for any ground field. Besides, we show that the path cochain algebra $\Omega^\bullet(G)$ is quadratic for any $G.$ To obtain a source of examples of (non-)diagonal digraphs, we study the extended Hasse diagram $\hat G_K$ of a simplicial complex $K$. For a combinatorial triangulation $K$ of a piecewise-linear manifold $M,$ we express the non-diagonal part of the magnitude homology of $\hat G_K$ via the homology of $M$. As a corollary we obtain that, if $K$ is a combinatorial triangulation of a closed piecewise-linear manifold $M$, then $\hat G_K$ is diagonal if and only if $M$ is a homology sphere.
Let $\mathbb{F}$ be a field and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{F})$. Given a vector space $V$, let $\Delta^{(2,1^{N-1})}V$ be the kernel of the multiplication map $\bigwedge^N V \otimes V \rightarrow \bigwedge^{N+1}V$. We construct an explicit $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong \Delta^{(2,1^{N-1})} \mathrm{Sym}^d E$. This $\mathrm{SL}_2(\mathbb{F})$-isomorphism is a modular lift of the $q$-binomial identity $q^{\frac{N(N-1)}{2}}[N]_q \binom{d+1}{N+1}_q = s_{(2,1^{N-1})}(1,q,\ldots, q^d)$, where $s_{(2,1^{N-1})}$ is the Schur function for the partition $(2,1^{N-1})$. This identity, which follows from our main theorem, implies the existence of an isomorphism when $\mathbb{F}$ is the field of complex numbers but it is notable, and not typical of the general case, that there is an explicit isomorphism defined in a uniform way for any field.
For $n\geq 2$, let $G_n$ be a group and let $\rho: B_n\rightarrow G_n$ be a representation of the braid group $B_n$. For a field $\mathbb{K}$ and $a,b,c\in \mathbb{K}$, Valerij G. Bardakov extend the representation $\rho$ to a family of representations $\Phi_{a,b,c}:SM_n \rightarrow \mathbb{K}[G_n]$ of the singular braid monoid $SM_n$, where $\mathbb{K}[G_n]$ is the group algebra of $G_n$ over $\mathbb{K}$. In this paper, we study the faithfulness of the family of representations $\Phi_{a,b,c}$ in some cases. First, we find necessary and sufficient conditions of the families $\Phi_{a,0,0}, \Phi_{0,b,0}$ and $\Phi_{0,0,c}$ for all $n\geq 2$ to be unfaithful, where $a,b,c \in \mathbb{K}^*$. Second, we consider the case $n=2$ and we find the nature of $\ker(\Phi_{a,b,c})$ if $\Phi_{a,b,c}$ is unfaithful. Moreover, we study the faithfulness of some families $\Phi_{a,b,c}$ in this case. Also, we find the shape of the possible elements in $\ker(\Phi_{a,b,c})$ for all $n\geq 2$ when ${\Phi_{a,b,c}|}_{SM_2}$ is unfaithful.
We construct an integral transformation intertwining the Gelfand-Tsetlin and the (modified) Gauss-Givental realizations of principle series representations of gl(3). This provides a direct identification of the corresponding integral representations for the gl(3)-Whittaker function. The construction essentially uses integral identities due to Barnes and Gustafson thus providing a basis for their representation theory interpretation. The result of this paper might be useful for constructing the explicit analytic realization of the mirror symmetry map in the case of the flag manifold GL(3)/B.