We describe algebraically, diagrammatically, and in terms of weight vectors, the restriction of tensor powers of the standard representation of quantum $\mathfrak {sl}_2$ to a coideal subalgebra. We realize the category as a module category over the monoidal category of type $\pm 1$ representations in terms of string diagrams and via generators and relations. The idempotents projecting onto the quantized eigenspaces are described as type $B/D$ analogues of Jones–Wenzl projectors. As an application, we introduce and give recursive formulas for analogues of $\Theta$-networks.

In this paper, we investigate hypersurfaces of $\mathbb{S}^2\times \mathbb{S}^2$ and $\mathbb{H}^2\times \mathbb{H}^2$ with recurrent Ricci tensor. As the main result, we prove that a hypersurface in $\mathbb{S}^2\times \mathbb{S}^2$ (resp. $\mathbb{H}^2\times \mathbb{H}^2$) with recurrent Ricci tensor is either an open part of $\Gamma \times \mathbb{S}^2$ (resp. $\Gamma \times \mathbb{H}^2$) for a curve $\Gamma$ in $\mathbb{S}^2$ (resp. $\mathbb{H}^2$), or a hypersurface with constant sectional curvature. The latter has been classified by H. Li, L. Vrancken, X. Wang, and Z. Yao very recently.

In the present work, we investigate the Lie algebra of the Formanek-Procesi group $\textrm {FP}(A_{\Gamma })$ with base group $A_{\Gamma }$ a right-angled Artin group. We show that the Lie algebra $\textrm {gr}(\textrm {FP}(A_{\Gamma }))$ has a presentation that is dictated by the group presentation. Moreover, we show that if the base group $G$ is a finitely generated residually finite $p$-group, then $\textrm { FP}(G)$ is residually nilpotent. We also show that $\textrm {FP}(A_{\Gamma })$ is a residually torsion-free nilpotent group.

We determine the list of automorphism groups for smooth plane septic curves over an algebraically closed field $K$ of characteristic $0$, as well as their signatures. For each group, we also provide a geometrically complete family over $K$, which consists of a generic defining polynomial equation describing each locus up to $K$-projective equivalence. Notably, we present two distinct examples of what we refer to as final strata of smooth plane curves.

In this paper, we consider a conilpotent coalgebra $C$ over a field $k$. Let $\Upsilon :\ C{{-\mathsf{Comod}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural functor of inclusion of the category of $C$-comodules into the category of $C^*$-modules, and let $\Theta :\ C{{-\mathsf{Contra}}}\longrightarrow C^*{{-\mathsf{Mod}}}$ be the natural forgetful functor. We prove that the functor $\Upsilon$ induces a fully faithful triangulated functor on bounded (below) derived categories if and only if the functor $\Theta$ induces a fully faithful triangulated functor on bounded (above) derived categories, and if and only if the $k$-vector space $\textrm {Ext}_C^n(k,k)$ is finite-dimensional for all $n\ge 0$. We call such coalgebras “weakly finitely Koszul”.

We give a crystal structure on the set of Gelfand–Tsetlin patterns (GTPs), which parametrize bases for finite-dimensional irreducible representations of the general linear Lie algebra. The crystal data are given in closed form and are expressed using tropical polynomial functions of the entries of the patterns. We prove that with this crystal structure, the natural bijection between GTPs and semistandard Young tableaux is a crystal isomorphism.

In [5], a particular family of real hyperplane arrangements stemming from hyperpolygonal spaces associated with certain quiver varieties was introduced which we thus call hyperpolygonal arrangements ${\mathscr H}_n$. In this note, we study these arrangements and investigate their properties systematically. Remarkably, the arrangements ${\mathscr H}_n$ discriminate between essentially all local properties of arrangements. In addition, we show that hyperpolygonal arrangements are projectively unique and combinatorially formal.

We note that the arrangement ${\mathscr H}_5$ is the famous counterexample of Edelman and Reiner [17] of Orlik’s conjecture that the restriction of a free arrangement is again free.

Several classical knot invariants, such as the Alexander polynomial, the Levine-Tristram signature, and the Blanchfield pairing, admit natural extensions from knots to links, and more generally, from oriented links to so-called colored links. In this note, we explore such extensions of the Arf invariant. Inspired by the three examples stated above, we use generalized Seifert forms to construct quadratic forms and determine when the Arf invariant of such a form yields a well-defined invariant of colored links. However, apart from the known case of oriented links, these new Arf invariants turn out to be determined by the linking numbers.

We give a notion of boundary pair $(\mathcal{B}_-,\mathcal{B}_+)$ for measured groupoids which generalizes the one introduced by Bader and Furman [BF14] for locally compact groups. In the case of a semidirect groupoid $\mathcal{G}=\Gamma \ltimes X$ obtained by a probability measure preserving action $\Gamma \curvearrowright X$ of a locally compact group, we show that a boundary pair is exactly $(B_- \times X, B_+ \times X)$, where $(B_-,B_+)$ is a boundary pair for $\Gamma$. For any measured groupoid $(\mathcal{G},\nu )$, we prove that the Poisson boundaries associated to the Markov operators generated by a probability measure equivalent to $\nu$ provide other examples of our definition. Following Bader and Furman [BF], we define algebraic representability for an ergodic groupoid $(\mathcal{G},\nu )$. In this way, given any measurable representation $\rho \,:\,\mathcal{G} \rightarrow H$ into the $\kappa$-points of an algebraic $\kappa$-group $\mathbf{H}$, we obtain $\rho$-equivariant maps $\mathcal{B}_\pm \rightarrow H/L_\pm$, where $L_\pm =\mathbf{L}_\pm (\kappa )$ for some $\kappa$-subgroups $\mathbf{L}_\pm \lt \mathbf{H}$. In the particular case when $\kappa =\mathbb{R}$ and $\rho$ is Zariski dense, we show that $L_\pm$ must be minimal parabolic subgroups.