The tensor-products tag has no wiki summary.

**2**

votes

**0**answers

53 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

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

**0**

votes

**0**answers

14 views

### Dense subsets in tensor products of Banach spaces [migrated]

Assume $B_1$ and $B_2$ are Banach spaces of univariate functions. Moreover, assume that the sets $D_1 \subset B_1$ and $D_2 \subset B_2$ are dense with respect to the respective norms ...

**4**

votes

**1**answer

252 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

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

**0**

votes

**2**answers

149 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

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

**5**

votes

**0**answers

153 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

75 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

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

**0**

votes

**0**answers

119 views

### Symmetric kernel of tensor product

Let $V,W$ be two vector spaces, and let $L_i:V\rightarrow W$, $i=1,\ldots,n$ be $n$ linear maps with disjoint kernels $K_i$ of dimension $1$.
Consider the tensor product of these maps $L_1\otimes ...

**3**

votes

**2**answers

240 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

185 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

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

**1**

vote

**1**answer

194 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

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

**1**

vote

**1**answer

128 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

72 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

121 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

232 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

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

**6**

votes

**2**answers

211 views

### Exactness of an additive left Kan extension

Let $\phi:R\to S$ be a flat ring homomorphism and consider the induced adjoint pair
$$\phi_!:R-Mod\rightleftarrows S-Mod:\phi^*,$$
where $\phi_!=(S\otimes_R -)$. The right adjoint $\phi^*$ is easily ...

**0**

votes

**1**answer

119 views

### Complementation in tensor products

This question, however looks innocent, looks non-trivial to me. Suppose that $X$ and $Y$ are Banach spaces and let $\alpha$ be any reasonable cross-norm on $X\otimes Y$. Reasonable means that ...

**0**

votes

**1**answer

271 views

### Why does infinite tensor product associated with some vectors in the operator algebras?

I notice that in the definition of infinite tensor product in the operator algebras, such as C*-algebras and W*-algebras, every component in the product is associated with a vector(or s state) and the ...

**0**

votes

**0**answers

70 views

### Bounding the absolute value of a polynomial involving a Diophantine equation

Let $\mathbf{z}\in\mathbb{C}^n$ with entries $z_1,z_2,\ldots,z_n$. I would like to bound the following quantity
\begin{equation*}
...

**6**

votes

**1**answer

211 views

### Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...

**2**

votes

**0**answers

77 views

### Tensor product of commutators vs. commutator in a tensor product

Let $R$ be a (noetherian) commutative ring, and let $V$ and $W$ be finitely generated free $R$-modules. Let $X \subseteq \mathrm{End}_R(V)$ and $Y \subseteq \mathrm{End}_R(W)$ be finite subsets, and ...

**0**

votes

**4**answers

177 views

### about the structure of components of tensor product if more than one bipartite graph is taken

I was reading about tensor product of graphs. We know that if we take tensor product of n graphs and want this product to be a connected graph then at most one graph should be bipartite. In the book ...

**2**

votes

**0**answers

120 views

### Inductive and projective tensor product

Does anyone know if there is a characterization of the spaces on which the inductive tensor product and the projective tensor product are the same ? This is the same as asking every separately ...

**9**

votes

**2**answers

413 views

### Continuity of the product map

Let $A$ be a $C^*$-algebra.
Is it possible to characterize $A$ for which the product map defined by
$$\sum\limits_{i=1}^n a_i\otimes b_i \mapsto \sum\limits_{i=1}^n a_i b_i$$
is continuous with ...

**2**

votes

**0**answers

86 views

### Smooth function over a manifold into an algebra

Let $M$ be a manifold and $A$ a $*$-algebra. Does is hold that
$$C^{\infty}(M,A) \cong C^{\infty}(M) \otimes A$$
where the RHS means that you take smooth functions which map into $A$. If this holds, ...

**4**

votes

**0**answers

143 views

### Is there a tensor norm that preserves Rosenthal Banach spaces?

By a Rosenthal Banach space I mean one that does not contain an isomorphic copy of $\ell_1$. Is there a tensor norm $\alpha$ such that the Banach tensor product $E\otimes_\alpha F$ is Rosenthal if $E$ ...

**7**

votes

**1**answer

262 views

### Infinite tensor product of states

Tensor products of finite number of different objects are always well described in the literature. However, the situation of infinite tensor products seems to be much tougher.
Even in the simplest ...

**12**

votes

**0**answers

278 views

### Who stated and proved the “Hopf lemma” on bilinear maps?

If $A\otimes B\rightarrow C$ is a nondegenerate linear map, where $A, B, C$ are vector spaces over an algebraically closed field, then $\dim C\ge \dim A + \dim B -1$.
Nondegenerate here means ...

**17**

votes

**1**answer

527 views

### Is Grothendieck classification of tensor norms and Kuratowski's 14 sets theorem somehow related?

It is known that there are only 14 reasonable tensor norms in $Ban$. On the other hand it is well known fact for topologists that one can obtain only 14 different sets from a given set applying ...

**0**

votes

**2**answers

260 views

### Tensor powers of an algebra all isomorphic

Let $k$ be a commutative ring with total quotient ring $K$, and let $A$ be a commutative $k$-algebra such that the multiplication map $A \otimes_k A \longrightarrow A$ is an isomorphism.
EDIT: Assume ...

**0**

votes

**1**answer

180 views

### Highest weights of irreducible components of tensor product of irreducible sl(3)-module [closed]

I am study the representation theory of $sl(3)$ and I have a question about the tensor representation of irreducible $sl(3)$-modules as follows:
For each weight $\mu$, let $L(\mu)$ be the irreducible ...

**1**

vote

**0**answers

264 views

### Tensor product of d.g-algebras

I'd like to prove that the tensor product functor $- \otimes Y$, where $Y$ is a d.g-algebra over a field of characteristic 0, preserves finite products of d.g-algebras. This statement is in a paper by ...

**2**

votes

**1**answer

149 views

### Tensor product of topological abelian groups with the reals

Given an abelian group A, the tensor product $A \otimes R$, where R are the reals, is naturally an R-vector space.
Now suppose that A is a topological abelian group (if necessary, we can assume it ...

**3**

votes

**3**answers

442 views

### A non-trivial probability measure on $2^{\mathbb R}$

Consider the measurable space $2^{\mathbb R}$, equipped with the tensor-product $\sigma$-algebra. Famously, this space has a measurable structure which is not generated by a topology (see this ...

**3**

votes

**2**answers

305 views

### What is the correct definition of the (derived) tensor product over a dg-algebra?

Let $A_\bullet$ be a dg-algebra over a field $k$. Let $M_\bullet$ (resp. $N_\bullet$) be a right (resp. left) $A_\bullet$-module. There is then a notion of the derived tensor product:
...

**2**

votes

**0**answers

123 views

### Projective tensor powers of Banach spaces over a normed field

Let $E$ be a Banach space over a complete normed field $\mathbb K$. Is it possible to classify all proper $E$ for which the projective seminorm $p_n$ defined on the $n$-th tensor power of $E$ is a ...

**3**

votes

**0**answers

244 views

### Epimorphisms between external tensor products

Let $k$ be a field, $R,S$ commutative $k$-algebras. If $\mathsf{Mod}_{fp}$ denotes the category of finitely presented modules, the external tensor product $\mathsf{Mod}_{fp}(R) \otimes_k ...

**6**

votes

**0**answers

149 views

### Objects and morphisms in Kelly's tensor product of finitely cocomplete categories

Let $k$ be a field. Let $\mathcal{C},\mathcal{D}$ be finitely cocomplete $k$-linear categories, which are essentially small. Then Kelly's tensor product $\mathcal{C} \boxtimes \mathcal{D}$ is a ...

**5**

votes

**3**answers

583 views

### Künneth formula for Ext groups

Setup: Let $X,Y$ be quasi-compact quasi-separated schemes defined over a field $k$. If necessary, you can also assume that $X,Y$ are noetherian, but I don't want to assume that $X,Y$ have the ...

**3**

votes

**1**answer

181 views

### Does the topological Varopoulos algebra consist of functions that are continuous and Varopoulos norm bounded?

Let $X_1,\dots,X_n$ be compact Hausdorff spaces. Let's define the Varopoulos algebra as the projective tensor product: $$V(X_1,\dots,X_n) := C(X_1) \hat{\otimes} \dots \hat{\otimes} C(X_n),$$ i.e. the ...

**7**

votes

**1**answer

308 views

### positive elements in tensor product

Let x be a positive element in the spatial tensor product of two non unital C* algebras
A and B. Is there a single element $a \otimes b \geq x$?
How can we noncommutativize the following proof, in ...

**4**

votes

**3**answers

337 views

### On tensor products of “generic” vectors

Suppose that $x_1,\ldots,x_n$ are $n$ vectors in $\mathbb{R}^m$ (where $m<n\leq m^2$) such that any subset of $m$ of them are linearly independent (i.e., they are "generic"). Now, form the ...

**2**

votes

**2**answers

167 views

### Equivalence relations in suplattices

I am wondering about generalisations of the concept of equivalence relations to suplattices.
Here is my motivation: Given a set $X$. The powerset $\mathcal{P}(X)$ is a suplattice. For suplattices ...

**4**

votes

**2**answers

159 views

### Natural Isomorphism of $S(V[1])$ and $(\bigwedge V)[n]$

Let $V:=\oplus_{j\in\mathbb{Z}}V_j$ be a graded $\mathbb{F}$-vector space over
the field $\mathbb{F}$. The graded tensor product of graded vector spaces is given
by
$V \otimes W:= \oplus_{j\in ...