# Tagged Questions

The tag has no usage guidance.

109 views

### Corepresentations of Tensor Products of Hopf Algebras

Given two cosemisimple Hopf algebras $H,G$ over ${\mathbb C}$, denote their usual (not braided) tensor product by $G \otimes H$. What conditions do we need to impose on the Hopf algebras to ensure ...
113 views

### Balanced Tensor Product of Module Categories

(Moved from MSE) Let C be a k-linear (Vectk-enriched) monoidal category and consider the 2-category Mod_C of k-linear (C,C)-bimodule categories in the sense of Ostrik (https://arxiv.org/abs/math/...
143 views

### Do the irreducible modules of this finite group preserve a tensor product structure?

I am interested in a particular group $G$, where $$(A_4\times C_\ell) \lhd G \lhd S_4 \times D_\ell$$ Here, $C_\ell$ is cyclic, $D_\ell$ is dihedral of order $2\ell$, and the two inclusions both have ...
70 views

### Tensor product of sigma-algebra?

Does there exist an explaination of the product of 2 sigma-algebra in terms of of tensor product ? Which could explain the tensor product sign for the product of 2 sigma-algebra. In particuliar, does ...
105 views

84 views

### Symmetric tensors as sum of powers

I am looking for formulas for writing a basis element of $Sym^k(H)$ as sum of elements of the form $v^{\otimes k}$ where $v\in H$. Here $H$ is a hilbert space and by basis element I mean the ...
342 views

### On the symmetric group of 2^n elements

Consider the set $X_1^n=\{1,2,...,2^n\}$. Then define $X_2^n$ to be the set of two element subsets of $X_1^n$. I will construct $X_i$ by induction on $i$. $X_i^n$ is the set of two element ...
142 views

### Is there a name for this construction from two representations?

I've come across the following elementary construction in representation theory. Does anyone know if this has a name? Let $G$ be a group and let $V$ and $W$ be two representations. The tensor ...
117 views

721 views

283 views

### Recovering a smooth manifold from its tensor fields

1) Consider the algebra $\mathcal T (M) = \bigoplus \limits _{p, q \ge 0} \mathcal T ^{p, q} (M)$, where $\mathcal T ^{p, q} (M)$ is the space of tensor fields of type $(p,q)$. I should endow it with ...
63 views

### Decomposing a matrix into the tensor product of a permutation and orthogonal matrix

Suppose I have a square matrix $A \in \mathbb{R}^{mn \times mn}$. I want to find $$\arg \min_{P, Q} \|A - P \otimes Q\|_F$$ where $P$ is an $m \times m$ permutation matrix and $Q$ is an $n \times n$...
34 views

74 views

121 views

### Symplectic form on the third symmetric power of a plane

Let $V$ a vector space of dimension $2$ over a field $k$ of characteristic different from $2$ and $3$. Let $S^{3}V$ the third symmetric power of $V$. How to construct a symplectic form on $S^{3}V$ ...
89 views

### Tensor product of bounded analytic functions

I asked this question on math.SE, but couldn't get an answer. Let $H^\infty(\mathbb{D})$ denote the set of functions holomorphic and bounded on $\mathbb{D} = \{z \in \mathbb{C}: |z| < 1\}$. ...
180 views

### Permutation covering of a $G$-lattice

Let $G$ be a finite group. By a $G$-lattice we mean a finitely generated free abelian group $L$ with an action of $G$. We say that $L$ is a permutation $G$-lattice if $L$ has a ${{\mathbf{Z}}}$-basis ...
491 views

### Irreducibility of the tensor product of two finite-dimensional irreducible group representations

Let $k$ be an algebraically closed field of characteristic 0, let $G$ be any group and $N\unlhd G$ a normal subgroup. Let $U$ be a finite-dimensional and irreducible $kG$-module, such that $U$ is also ...
333 views

### 3 possible tensors in 2-categories?

let $\mathcal{A}$ be a 2-category, consider: $$\mathcal{A}(W \otimes_i A, X) \simeq_i \mathcal{C}at(W, \mathcal{A}(A, X)) \;\;\; i = 1, \: 2, \: 3.$$ where $W$ is a category, and $A$, $X$...
175 views

### Regularity of a tensor product

Let $A \subseteq B$ and $A \subseteq C$ be commutative noetherian domains. Assume that $A$ and $C$ are regular rings (=every localization at a maximal ideal is a regular local ring). Assume that $B$ ...
166 views

### When every module is a scalar extension?

Let $A \subseteq B$ be commutative noetherian domains. Of course, if $M$ is an $A$-module, then $M \otimes_A B$ is a $B$-module. I am curious to know if there exist additional conditions on $A$ and $B$...
196 views

### A “slice-map” type problem for symmetric tensors in the square of a nuclear C*-algebra

Throughout: let $\otimes$ denote the minimal (i.e. spatial) $\newcommand{\Cst}{{\rm C}^*}\Cst$-tensor product of two $\Cst$-algebras. Let $B$ be a unital, nuclear $\Cst$-algebra and let $A\subset B$ ...
281 views

### Does the Boardman-Vogt tensor product of operads commute with their W-construction

I have absolutely no idea whether this is true or not but it could well be useful for me in the future if it is. If we have topological operads $\mathcal{P}$ and $\mathcal{Q}$ and we let $W$ denote ...
143 views

### When does Hochschild homology commute with infinite products?

Let $A$ be an associative algebra. Its zeroth Hochschild homology $\mathrm{HH}_0(A)$ is the cokernel of the linear map $A^{\wedge 2} \to A$, $a \wedge b \mapsto ab - ba$. I.e. you quotient the ...
257 views

201 views

### Necessary and sufficient condition for $can : A^X\otimes_A A^Y\rightarrow A^{X\times Y}$ to be an embedding

The two sets are, of course, supposed infinite. This question is related to that one Commutation of tensor products with inverse limits in a specific case where it received a (partial) answer ($A$ ...
251 views

### Commutation of tensor products with inverse limits in a specific case

For $X,Y$ sets, let's denote $Y^X$ the set of all mappings $X\rightarrow Y$. If $Y(=R)$ is a ring, $R^X$ is a $R$-module (well, a bi-module but my question is - at first - concerning commutative rings)...
199 views

### Annihilator of tensor product when $R$ is domain

Let $R$ be a Noetherian domain and $M$ and $N$ be two faithful $R$-modules. Is it true that $\operatorname{Ann}_R(M\otimes_R N)=0$?
Let $K$ be a continuous linear operator on $C[0,1]$ (more, precisely, it is a linear integral operator). Then $K$ defines a continous linear operator $\widehat K$ on $\mathcal L(C[0,1])$ by the rule $$... 1answer 169 views ### The tensor product of admissible morphisms of semi-normed modules over a normed ring is an admissible morphism (V. G. Berkovich) Disclaimer : I found here http://mathoverflow.net/editing-help in the spoilers paragraph that putting >! would hide following things, which was a way for me to alleviate my question's presentation by ... 1answer 261 views ### Can the method of small moments prove a bound on the norms of random trilinear forms? If F(v_1,\dots,v_k) is a k-linear form on \mathbb R^n, the norm I want to consider is$$ ||F|| = \sup \frac{ F(v_1,\dots, v_k)}{\prod_{i=1}^k \left|\left|v_i\right|\right|}  where the vector ...
When defining tensor products $M\otimes_R N$ over a commutative ring $R$ one can use a universal property with respect to bilinear maps $M\times N\rightarrow P$, for any $R$-module $P$. On the other ...