Related papers: On stated $SL(n)$-skein modules

Given a direct sum $A$ of full matrix algebras, if there is a combinatorial interpretation associated with both the dimension of $A$ and the dimensions of the irreducible $A$-modules, then this can be thought of as providing an analogue of…

Using his deep and beautiful idea of cutting with a Hyperplane, Lefschetz explained how the homology groups of a projective smooth variety could be constructed from basic pieces, that he called primitive homology. This idea can be applied…

If M is an oriented 3-manifold, let S(M) denote the Homflypt skein module of M. We show that S(M_1 connect sum M_2) is isomorphic to S(M_1) tensor S(M_2) modulo torsion. In fact, we show that S(M_1 connect sum M_2) is isomorphic to S(M_1)…

Let $(S,h)$ be a closed hyperbolic surface and $M$ be a quasi-Fuchsian 3-manifold. We consider incompressible maps from $S$ to $M$ that are critical points of an energy functional $F$ which is homogeneous of degree $1$. These "minimizing"…

The quantum Euclidean spheres, $S_q^{N-1}$, are (noncommutative) homogeneous spaces of quantum orthogonal groups, $\SO_q(N)$. The *-algebra $A(S^{N-1}_q)$ of polynomial functions on each of these is given by generators and relations which…

We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees…

We prove that coherent configurations can be represented as modules over Frobenius structures in the category of real nonnegative matrices. We generalize the notion of admissible morphism from association schemes to coherent configurations.…

It is well-known that generic perturbations of the complex Frobenius algebra used to define Khovanov cohomology each give rise to Rasmussen's concordance invariant s. This gives a concordance homomorphism to the integers and a strong lower…

Assume $\mathsf{M}_n$ is the $n$-dimensional permutation module for the symmetric group $\mathsf{S}_n$, and let $\mathsf{M}_n^{\otimes k}$ be its $k$-fold tensor power. The partition algebra $\mathsf{P}_k(n)$ maps surjectively onto the…

Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…

The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct endomorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is…

We prove that if $f:R \rightarrow S$ is a local homomorphism of noetherian local rings, and $M$ is a non-zero finitely generated or artinian $S$-module whose injective dimension over $R$ is bounded by the difference of the embedding…

Let $n$ be a positive integer, and let $\mathscr{H}_n$ denote the affine KLR algebra in type A. Kleshchev, Mathas and Ram have given a homogeneous presentation for graded column Specht modules $\operatorname{S}_{\lambda}$ for…

We introduce an Uhlenbeck closure of the space of based maps from projective line to the Kashiwara flag scheme of an untwisted affine Lie algebra. For the algebra $\hat{sl}_n$ this space of based maps is isomorphic to the moduli space of…

We prove a theorem on equivariant maps implying the following two corollaries: (1) Let N and M be compact orientable n-manifolds with boundaries such that M\subset N, the inclusion M\to N induces an isomorphism in integral cohomology, both…

Let $N$ be a compact, connected, non-orientable surface of genus $\rho$ with $n$ boundary components, with $\rho \ge 5$ and $n \ge 0$, and let $\mathcal{M} (N)$ be the mapping class group of $N$. We show that, if $\mathcal{G}$ is a finite…

Let St denote the Steinberg module of $SL_n(Q)$ tensored with Q. Let Sh denote the sharbly resolution of St. By Borel-Serre duality, $H^{n(n-1)/2-i}(SL_n(Z),Q)$ is isomorphic to $H_i(SL_n(Z),St)$. The latter is isomorphic to the homology of…

We announce here a number of results concerning representation theory of the algebra $R=k<x,y>/ (xy-yx-y^2)$, known as Jordan plane (or Jordan algebra). We consider the question on 'classification' of finite-dimensional modules over the…

We construct a moduli scheme $F[n]$ that parametrizes tuples $(S_1, S_2, \dots, S_{n+1}, p_1, p_2, \dots, p_n)$ in which $S_1$ is a fixed smooth surface over $\text{Spec } R$ and $S_{i+1}$ is the blowup of $S_i$ at a point $p_i$, $\forall…

For a ribbon fusion category $\mathcal{A}$ and a special symmetric commutative Frobenius algebra $F$ in $\mathcal{A}$, we use factorization homology and the ansular correlators obtained via the modular microcosm principle to construct a…