Related papers: Test vectors for trilinear forms, when two represe…

It is well known that the inequivalent unitary irreducible representations (UIR's) of the mapping class group $G$ of a 3-manifold give rise to ``theta sectors'' in theories of quantum gravity with fixed spatial topology. In this paper, we…

Vector algebra is a powerful and needful tool for Physics but unfortunately, due to lack of mathematical skills, it becomes misleading for first undergraduate courses of science and engineering studies. Standard vector identities are…

There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the…

In this paper we study irreducible tensor products of representations of alternating groups in characteristics 2 and 3. In characteristic 3 we completely classify irreducible tensor products, while in characteristic 2 we completely classify…

We decompose the tensor product of two irreducible representations of $\mathrm{GL}_2(\mathbb{F}_q)$ for odd $q$ and classify the pairs such that their tensor product is multiplicity free. We also classify the pairs such that their tensor…

Each rule $f$ that assigns a vector $f(G)$ to an $(n+1)$-graph $G$ determines a class (or property) of $n$-manifold invariants. An invariant $v=v(M)$ is in this class if, for any triangulated manifold $|G|=M$, one has that $v(M)$ is a…

We study vector bundles on the moduli stack of elliptic curves over a local ring R. If R is a field or a discrete valuation ring of (residue) characteristic not 2 or 3, all these vector bundles are sums of line bundles. For R the 3-local…

This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…

It is a well known result that the number of irreducible representations of SU(N) on a tensor product containing k factors of a vector space V is given by the number of involutions in the symmetric group on k letters. In this paper, we…

Every irreducible finite-dimensional representation of the quantized enveloping algebra U_q(gl_n) can be extended to the corresponding quantum affine algebra via the evaluation homomorphism. We give in explicit form the necessary and…

Let $\mathcal{C}$ be a category with pullbacks. We define a $\textit{Beck torsor}$ in $\mathcal{C}$ as a morphism $Z\to Y$ in $\mathcal{C}$ which is a torsor for a Beck module over $Y$. We say that an object $X$ of $\mathcal{C}$ is…

We describe the image of the canonical tensor functor from Deligne's interpolating category $Rep(GL_{m-n})$ to $Rep(GL(m|n))$ attached to the standard representation. This implies explicit tensor product decompositions between any two…

Let $G$ be a complex semisimple simply connected linear algebraic group. The main result of this note is to give several equivalent criteria for the untwistedness of the twisted cubes introduced by Grossberg and Karshon. In certain cases…

This article presents a simple characterization for entangled vectors in a finite dimensional Hilbert space $H$. The characterization is in terms of the coefficients of an expansion of the vector relative to an orthonormal basis for $H$.…

An odd vector field $Q$ on a supermanifold $M$ is called homological, if $Q^2=0$. The operator of Lie derivative $L_Q$ makes the algebra of smooth tensor fields on $M$ into a differential tensor algebra. In this paper, we give a complete…

Techniques from representation theory, symbolic computational algebra, and numerical algebraic geometry are used to find the minimal generators of the ideal of the trifocal variety. An effective test for determining whether a given tensor…

Let $G_1, \dots, G_k$ be finite-dimensional vector spaces over a prime field $\mathbb{F}_p$. Let $V$ be a variety inside $G_1 \times \cdots \times G_k$ defined by a multilinear map. We show that if $|V| \geq c |G_1| \cdots |G_k|$, then $V$…

We study non-commutative real algebraic geometry for a unital associative *-algebra A viewing the points as pairs ({\pi},v) where {\pi} is an unbounded *-representation of A on an inner product space which contains the vector v. We first…

We study the essential dimension of representations of a fixed quiver with given dimension vector. We also consider the question of when the genericity property holds, i.e., when essential dimension and generic essential dimension agree. We…

Let G be a finite group of exponent m and let k be a field of characteristic prime to m, containing the m-th roots of unity. For any Rost cycle module M over k, we construct exact sequences detecting the unramified elements in Serre's group…