The tensor-products tag has no usage guidance.

**5**

votes

**1**answer

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 ...

**5**

votes

**1**answer

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/...

**3**

votes

**2**answers

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 ...

**1**

vote

**0**answers

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 ...

**0**

votes

**1**answer

105 views

### $Ext$ functor over a product of groups

Let $G_1$ and $G_2$ be two groups (of some kind, e.g. finite groups).
Let $M_1, N_1$ be $G_1$-modules, and $M_2, N_2$ be $G_2$ modules, always with coefficients in $\mathbb{C}$.
Write $G = G_1 \...

**1**

vote

**0**answers

67 views

### Projective tensor product continuous?

For $V$, $W$ Banach spaces, is the canonical morphism $B(V) \times_\pi B(W) \to B(V \hat{\otimes}_\pi W)$ continuous, where $B(V)$ denotes the set of all linear bounded endomorphisms with operator ...

**5**

votes

**1**answer

118 views

### is the maximal tensor product of compact operators an essential ideal?

I'm searching for a counterexample for $C^*$-algebras $A$ and $B$ and essential ideals (I assume an ideal to be closed and only two-sided ideals) $I\subseteq A$, $J\subseteq B$ , such that the ideal $...

**1**

vote

**1**answer

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 ...

**5**

votes

**1**answer

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 ...

**2**

votes

**0**answers

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 ...

**8**

votes

**0**answers

117 views

### Tensor Product of Convex Sets?

I was wondering if such a concept was used anywhere. What I was thinking of is this. Consider two vectors spaces $V,W$ and convex sets $C_1 \subseteq V$ and $C_2 \subseteq W$ if we define $C_1 \otimes ...

**1**

vote

**2**answers

67 views

### List of tensor product spaces with uniform crossnorms

Let $H^{(j)}$ and $G^{(j)}$ be Banach spaces for $j\in\{1,\dots,n\}$. Call norms $\|\cdot\|_{H}$ and $\|\cdot\|_{G}$ on the algebraic tensor products
$H:=\bigotimes_{j=1}^n H^{(j)}$ and $G:=\...

**6**

votes

**2**answers

721 views

### Tensor product of fields over integers

Inspired by this question we ask;
Is there a name for each of the following properties about fields? what are some examples other than $\mathbb{Q}$?:
1.A field $K$ with the property that $K\otimes_{...

**6**

votes

**2**answers

437 views

### What are the basic possibilities for a tensor product of two fields?

Let $k$ be a field, with $F,k'$ field extensions of $k$. The ring $k' \otimes_k F$ is denoted by $F_{k'}$. In Borel's Linear Algebraic Groups, it is claimed (I believe erroneously) that "each of [$...

**7**

votes

**1**answer

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 ...

**1**

vote

**0**answers

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$...

**1**

vote

**0**answers

34 views

### Most accurate separation of tensor product of matrices

Given a matrix $A \in \mathbb{R}^{n^m \times n^m}$, how I can find a set of $m$ matrices $\{B_i\}$ such that
$$\arg \min_{\{B_i\, \in\, \mathbb{R}^{n \times n}\}} \|A - B_1 \otimes \ldots \otimes B_m\...

**7**

votes

**0**answers

226 views

### Do there exist “non-algebraic tensor products” for “algebraic” triangulated categories?

Let us call a triangulated category algebraic if it admits a differential graded enhancement (i.e., an enrichment in complexes of abelian groups). Certainly, there is a notion of a tensor product on ...

**2**

votes

**0**answers

33 views

### Tensor of Relative Bases

Suppose $U,V,W$ are the cyclotomic fields $\mathbb{Q}(\zeta_{m_3})$, $\mathbb{Q}_(\zeta_{m_2})$, and $\mathbb{Q}(\zeta_{m_1})$ respectively, where $m_1 \mid m_2 \mid m_3$ so that $U/V/W$ is a tower of ...

**3**

votes

**1**answer

192 views

### Reference for constructing tensor products of finitely presented functors

I need references related to the construction of tensor product between functors
Let $k$ be a commutative ring, $C$ a small $k$-linear category and $A$ cocomplete abelian category. Let $A^C$ denote $...

**1**

vote

**2**answers

108 views

### Irreducibility of tuples of matrices

I am interested in tuples of real or complex $d\times d$ matrices which are irreducible in the sense that their constituent matrices do not admit a common invariant linear subspace whose dimension is ...

**9**

votes

**1**answer

218 views

### Enriching categories and equivalences

Let $\mathcal{C}$ and $\mathcal{D}$ be two equivalent categories. Furthermore, assume $\mathcal{C}$ is enriched over a monoidal category $(\mathcal{M}, \otimes)$. Can one use the equivalence to ...

**5**

votes

**1**answer

219 views

### Plethysm of $S^3(S^2V)$ as $\mathfrak{sl}_3(\mathbb{C})$-module

I have asked this question in MSE before, but have not got any answer. So here I am asking it again with some more detail.
I believe that the following sequence of $\mathfrak{sl}_3(\mathbb{C})$-...

**4**

votes

**1**answer

88 views

### second dual of minimal tensor products of $C^*$-algebras

Let $A$ be a unital $C^*$-algebras and $K(H)$ is $C^*$-algebras of compact operators on separable Hilbert space $H$. Is it true that $(A \otimes K(H))^{**}= A^{**} \overline{\otimes}B(H)$?

**2**

votes

**1**answer

180 views

### Kunneth formula of Cartesian product modulo orders of coordinates

Let $X$ be a topological space and $F$ a field. Let the $n$-th permutation group $\Sigma_n$ act on
$$
\prod_n X
$$
by
$$
\sigma(x_1,\cdots,x_n)=(x_{\sigma(1)},\cdots,x_{\sigma(n)}), \sigma\in \...

**0**

votes

**1**answer

74 views

### Ideal in projective tensor product of Banach algebras [closed]

Let $A,B$ be Banach algebras and $A\hat{\otimes}B$ be projective tensor product of them.
Let $S$ be an ideal of $A\hat{\otimes}B$. Are there ideals $I$ of $A$ and $J$ of $B$ such that
$S=I\hat{\...

**3**

votes

**0**answers

133 views

### Annihilators of elements in symmetric algebras

Let $M$ be a module over a commutative ring, and $S(M)$ its symmetric algebra. What elements of $S(M)$ annihilate a given element $m\in M$ ? ($M$ is considered as a submodule of $S(M)$.)

**5**

votes

**0**answers

241 views

### C$^*$-algebras isomorphic after tensoring

From the negative answer to this question we know that C$^*$-algebras that are isomorphic after tensoring with $M_n$ for all $n\geq 2$ need not be isomorphic. So what happens when we strengthen this?
...

**1**

vote

**1**answer

95 views

### One question about the tensor product of $L^1(G)$ and a Banach space $A$

We know that the tensor product of $L^1(G)$ and a Banach space $A$ is isometric to $L^1(G, A)$, the space of all Bochner-integrable $A$-valued functions on a locally compact group $G$. I am looking ...

**4**

votes

**1**answer

450 views

### Comparing norms on tensor products of matrices

Given a Hilbert space $H$, let $S_1(H)$ denote the space of trace-class operators on $H$, with the trace-class norm or Schatten 1-norm. That is
$$ \Vert T \Vert_1 = \sum_{j\geq 1} |s_j| $$
where $(s_1,...

**2**

votes

**1**answer

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$ ...

**2**

votes

**0**answers

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\}$.
...

**2**

votes

**2**answers

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 ...

**4**

votes

**1**answer

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 ...

**3**

votes

**0**answers

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$...

**0**

votes

**2**answers

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$ ...

**0**

votes

**1**answer

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$...

**6**

votes

**0**answers

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$ ...

**1**

vote

**0**answers

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 ...

**9**

votes

**0**answers

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 ...

**4**

votes

**2**answers

257 views

### Topologies for which $\mathcal{M}(X)\otimes \mathcal{M}(Y)$ is dense in $\mathcal{M}(X\times Y)$

Are there complete TVS topologies for which $\mathcal{M}(X)\otimes \mathcal{M}(Y)$ is dense in $\mathcal{M}(X\times Y)$
This question is strongly linked to
is the space of all borel measures on $\...

**5**

votes

**1**answer

227 views

### When is the direct product of two graph cores itself a core?

A graph homomorphism $f$ is a function $f : V(X) \to V(Y)$ such that if $uv \in E(X)$, then $f(u)f(v) \in E(Y)$. If such an $f$ exists, write $X \to Y$. $X$ and $Y$ are hom-equivalent if $X \to Y$ and ...

**6**

votes

**1**answer

257 views

### Making the identification $\tau M\approx TM\oplus (TM\odot TM)$

Given a smooth manifold $M$, there is a vector bundle over $M$, denoted $\tau M$, known as the second-order tangent bundle. The fiber $\tau_mM$ at $m\in M$ is the collection of linear operators $A_m:C^...

**1**

vote

**1**answer

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$ ...

**0**

votes

**1**answer

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)...

**1**

vote

**1**answer

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$?

**1**

vote

**0**answers

79 views

### A reasonable framework to study properties of operator $A \mapsto KAK$ on Banach space

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
$$...

**1**

vote

**1**answer

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 ...

**4**

votes

**1**answer

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 ...

**0**

votes

**2**answers

139 views

### Tensor product-definition-balanced versus bilinear maps

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 ...