Questions tagged [tensor-products]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer
95 views

$(S\otimes T)^{it}= S^{it}\otimes T^{it}$ for unbounded operators

Let $S,T$ be unbounded, closed operators in Hilbert spaces $H,K$. In that case, we can form the tensor product operator $S\otimes T$ on the Hilbert space $H\otimes K$ which is the closure of the ...
Andromeda's user avatar
  • 115
0 votes
0 answers
50 views

Continuity of linear map on tensor product spaces with different norm properties

I originally asked this question on StackExchange, but I think that it may be more suitable to here. Let $V$ and $U$ be Banach spaces. I'm considering a linear map $\phi: V \rightarrow U$, and ...
Martin Geller's user avatar
3 votes
0 answers
94 views

Reference request for embedding of a tensor product $C^*$-algebra

I am studying Ruy Exel's paper "A new look at the crossed product of a $C^*$-algebra by a semigroup of endomorphisms." In the proof of Theorem 11.7 he writes: Let $G$ be ameanable, thus $C^*(...
Tomás Pacheco's user avatar
2 votes
0 answers
125 views

Which "tensor" endofunctors on triangulated categories are essentially exact?

Assume that $T$ is a symmetric monoidal triangulated category, and $X$ is an object in it. Then the functors $X\otimes -$ and $-\otimes X: T\to T$ are not necessarily exact since they send ...
Mikhail Bondarko's user avatar
3 votes
1 answer
112 views

Property that follows from conditions involving slice maps on Hilbert module

Let $A,B$ be $C^*$-algebras and $E$ be a right $A$-Hilbert $C^*$-module. We can form the Hilbert $A\otimes B$ (minimal tensor product) module $E \otimes B$. If $\omega \in B^*$, there is a unique ...
Andromeda's user avatar
  • 115
13 votes
3 answers
1k views

Tensor product of vector bundles

The Whitney sum (where fibre dimensions add) of two real, or two complex, vector bundles $\pi : E \to X$ and $\pi' : E' \to X$ over a topological space $X$ is not hard to get an intuitive grasp of. ...
Daniel Asimov's user avatar
6 votes
2 answers
178 views

Decomposition of tensors into symmetry classes according to Schur functors

I am mainly looking for references on this subject, as I was unable to find any, at least any that answers what I am looking for to a satisfactory degree. As it is well-known and extremely easy to ...
Bence Racskó's user avatar
7 votes
2 answers
508 views

Tensor product of irreducible representations of an algebra

Let $A$ be an associative algebra over $\mathbb{C}$ with irreducible finite-dimensional representations on $V$ and $W$. Then is the tensor product of representations on $V \otimes W$ semi-simple? The ...
Nanoputian's user avatar
0 votes
0 answers
41 views

About injective and projective tensor products of commutative Banach algebras

Let $A_i$, $B_i$, $i=1,2$, be semisimple commutative Banach algebras such that $A_i$ is isomorphic to $B_i$, $i=1,2$. Is the injective tensor product of $A_1$ and $A_2$ is isomorphic to the injective ...
Meisam Soleimani Malekan's user avatar
4 votes
0 answers
220 views

The ideal structure of the Haagerup tensor product of $C^{\ast}$-algebras

I'm currently reading the paper The ideal structure of the Haagerup tensor product of $C^{\ast}$-algebras and having difficulty in understanding the proof of Proposition $4.5$ from the paper. Let $A$ ...
Math Lover's user avatar
  • 1,055
1 vote
0 answers
40 views

Intersection of (sub-)modules under Laurent and formal rings

I have a (hopefully quick) question regarding an intersection of two tensor modules. Let K be a field and $A,B$ finitely-generated modules over the Laurent series $K((X))$. Let $\tilde{A}$ be a (...
mathieu_matheux's user avatar
1 vote
0 answers
157 views

The conditions to determine whether multivector $\Lambda\in\wedge^k V$ is decomposable

In Section 5, Chapter 1 of the famous book "Principles of algebraic geometry" by Griffiths and Harris, there are two equivalent conditions to determine whether a multivector $\Lambda\in\...
tudong's user avatar
  • 41
1 vote
1 answer
128 views

Convergence of the partial sum of a sequence strictly converging to zero

The following question comes from a statement in Lemma 16.4 in K-theory and $C^{\ast}$-Algebras written by N.E. Wegge-Olsen. Let $A$ be a non-unital $C^*$-algebra, $\{p_n\}_{n\in\mathbb{N}}$ be a ...
Sanae Kochiya's user avatar
3 votes
0 answers
151 views

Intersection of two modules (and sub-modules) under tensors

I have a (hopefully quick) question regarding an intersection of two tensor modules. Let $K$ be a field and $A, B$ finitely-generated modules over the Laurent series $K((X))$. Let $\tilde{A}$ be a (...
M-M's user avatar
  • 31
5 votes
0 answers
150 views

Maximal minors of tensor product

Let $r \leq n$ be integers, and let $A$ be an $r \times n$ integer-valued matrix such that each $r\times r$ minor of $A$ is in $\{0, 1,-1\}$. Is it true that each $r^2 \times r^2$ minor of $A\otimes A$...
Ben's user avatar
  • 1,000
3 votes
0 answers
52 views

Automatic complete boundedness for bilinear and multilinear maps

$\newcommand{\cb}{\mathrm{cb}}$Let $T : X \rightarrow Y$ be a bounded linear map between Banach spaces. We have the following results concerning automatic complete boundedness: $\|T : X \rightarrow \...
Seven9's user avatar
  • 493
12 votes
0 answers
118 views

Existence of more than two C*-norms on algebraic tensor product of C*-algebras

Let $A$ and $B$ be two C*-algebras. Then $(A,B)$ is called is a nuclear pair if there is a unique $C^*$-norm on the algebraic tensor product $A\odot B$. If $A$ or $B$ is nuclear, then all pairs $(A,B)$...
Alcides Buss's user avatar
2 votes
0 answers
135 views

Quotients of $c_0\mathbin{\hat{\otimes}_{\pi}}\ell^1$

Let $\hat{\otimes}_{\pi}$ denote the projective tensor product. Let $$\mathcal{S} = \{V\subseteq c_0\mathbin{\hat{\otimes}_{\pi}}\ell^1\textrm{ closed subspace}: {c_0\mathbin{\hat{\otimes}_{\pi}}\ell^...
Onur Oktay's user avatar
  • 2,108
1 vote
0 answers
109 views

On Noetherianity and local ness of a completed tensor product

Let $R$ be a regular local complete (with respect to the maximal ideal) ring with field of fraction $K$. Let $S\cong R[[x_1,\cdots, x_n]]/J$ (this is a Noetherian local ring which is an $R$-algebra) ...
Snake Eyes's user avatar
0 votes
0 answers
161 views

Completely continuous maps from projective tensor products into $c_0$

Let $E$, $F$ be two Banach spaces and $E\mathbin{\hat{\otimes}}_{\pi}F$ denote their projective tensor product. For each unit norm $\xi\in E$ and $\gamma\in F$, let's define $$ J_{\gamma}:E\to E\...
Onur Oktay's user avatar
  • 2,108
0 votes
1 answer
79 views

Proving finite presentation [closed]

Let $R$ be an integral domain, $S$ be a finitely presented $R$ algebra. Then for a flat $R$ module $M$ which is also a finitely generated $S$ module I need to show that $M \otimes_{R}T$ is a fintely ...
user443060's user avatar
7 votes
1 answer
596 views

Clebsch–Gordan decomposition formula for algebraic groups

$\DeclareMathOperator\SL{SL}$There is a well-known Clebsch–Gordan decomposition formula for irreducible representations of $\SL_2$. If $V_n$ denotes the unique $n+1$-dimensional irreducible ...
dm82424's user avatar
  • 226
2 votes
0 answers
329 views

Weakly null sequences in projective tensor products

First, I'd like to record a question that may still be open. The snippet below is taken from DiestelPuglisi2009. Second, let $E$ be a Banach space, $(u_n)$ be a weakly null sequence in the projective ...
Onur Oktay's user avatar
  • 2,108
1 vote
0 answers
101 views

Does Schwartz kernel theorem come from the universal property of tensor product?

In wikipedia we have Tensor product The tensor product of two vector spaces $V$ and $W$ is a vector space denoted as $V \otimes W$, together with a bilinear map $\otimes:(v, w) \mapsto v \otimes w$ ...
amilton moreira's user avatar
1 vote
0 answers
138 views

Could we characterize elements in the second dual by the character space?

Let $A$ and $B$ be two semisimple commutative Banach algebras. Assume that $A\mathbin{\tilde\otimes} B$ is a Banach algebra obtained by completing $A\otimes B$ with respect to a cross norm not ...
Meisam Soleimani Malekan's user avatar
0 votes
0 answers
183 views

completion and tensor product

Let $A$ be a commutative ring, consider the map $Spec(A[[t]])\rightarrow Spec(A)$, does it have geometrically connected fibers? If $A$ is noetherian, it is clear because one has for $k$ a residue ...
prochet's user avatar
  • 3,314
0 votes
0 answers
131 views

Eigenvalue multiplicity of tensor product of positive operator with itself

Let $H$ be a separable complex Hilbert space and let $A\in B(H)$ be positive with $||A||=1$ and have eigenvalue 1 with multiplicity 1. Suppose $A=T^*T$ for some $T\in B(H)$. Denote the spectrum of $A$ ...
Dasherman's user avatar
  • 203
13 votes
2 answers
384 views

Tensor product of finite type UFD algebras over an algebraically closed field is again UFD?

Let $K$ be an algebraically closed field, $A$ and $B$ two finite type $K$-algebras which are assumed to be UFD. Is $A \otimes_K B$ again a UFD? This question has been already asked here and here, but ...
Libli's user avatar
  • 6,960
3 votes
1 answer
292 views

Is Spec of a ring monoidal or anti-monoidal?

Let $A$ and $B$ be rings. A very senior mathematician impressed on me the importance of writing $$ \operatorname{Spec}{A \otimes B} = \operatorname{Spec}{B} \times \operatorname{Spec}{A} $$ One can ...
David Corwin's user avatar
  • 14.7k
1 vote
1 answer
102 views

Which elements live in the image of the canonical map $X \otimes_\mathcal{F} M \to B(M_*, X)$?

Let $X\subseteq B(H)$ be an operator system and let $M\subseteq B(K)$ be a von Neumann algebra. We form the Fubini-tensor product $$X \otimes_\mathcal{F} M := \{z \in B(H\otimes K): (\sigma\otimes \...
J. De Ro's user avatar
  • 319
2 votes
1 answer
84 views

Explain how to infer a density matrix from the statistics of quantum measurements

This question follows the "Probabilistic Simulation of Quantum Circuits with the Transformer" paper by Carrasquilla et al. In the Formalism section on page 2 the authors state that ...
Grwlf's user avatar
  • 135
0 votes
1 answer
209 views

Tensor product is complete?

Let $(V,\|\cdot\|_V)$ and $(W,\|\cdot\|_W)$ be Banach spaces and let the norm $\|\cdot\|_{V\otimes W}$ on the tensor product space $V\otimes W$ be admissible in the following sense: for $v\in V, w\in ...
Martin Geller's user avatar
4 votes
0 answers
89 views

Multiplier algebra of Fock space

For any vector space, one may form the tensor algebra with multiplication being the tensor product. For a Hilbert space $\mathcal{H}$, the analogous construction is the Fock space $$ \mathcal{F}(\...
J_P's user avatar
  • 337
1 vote
1 answer
76 views

What resource do Markov and Shi mean when they estimate tensor contraction complexity?

Markov and Shi in their paper Simulating quantum computation by contracting tensor networks define the contraction complexity as follows (page 10): The complexity of π is the maximum degree of a ...
Grwlf's user avatar
  • 135
4 votes
1 answer
153 views

Certain isotypical component of the tensor product of irreducible representations of $\mathrm{U}(n)$

The following question is closely related to this one. Let $\mathrm{U}(n)$ be the group of all (complex) unitary matrices $n\times n$. It is known that all irreducible representations of $\mathrm{U}(n)...
richrow's user avatar
  • 333
1 vote
0 answers
100 views

Is the rank preserved when the spectral radius is maximized?

If $A$ is a matrix, then let $\rho(A)$ denote the spectral radius of $A$. If $A=(a_{i,j})_{i,j}$, then let $\overline{A}=(\overline{a_{i,j}})_{i,j}$. Suppose that $A_1,\dots,A_r\in M_{n}(\mathbb{C})$ ...
Joseph Van Name's user avatar
5 votes
0 answers
83 views

Recoverability of categorical products in graphs

For simple, undirected graphs $G, H$, let $G\times H$ denote the categorical product, or tensor product, of $G$ and $H$. Let us call a graph $G = (V,E)$ (product-)reducible if there are graphs $G_i = ...
Dominic van der Zypen's user avatar
5 votes
1 answer
251 views

Tensoring with an induced representation: proof question

Let $G$ be a locally compact Hausdorff group and $H$ a closed subgroup of $G$. If $\sigma: H \to B(\mathcal{K}_\sigma)$ is a unitary representation of $G$, we can associate an "induced ...
Andromeda's user avatar
  • 115
3 votes
0 answers
58 views

Tensor product of exact couples

Suppose $(D_1,E_1;i_1,j_1,k_1)$ and $(D_2,E_2;i_2,j_2,k_2)$ are two exact couples, ie., there are exact sequences $D_1\xrightarrow{i_1}D_1\xrightarrow{j_1}E_1\xrightarrow{k_1}D_1$ and $D_2\xrightarrow{...
Faniel's user avatar
  • 545
3 votes
2 answers
540 views

An inequality for the spectral radius of block matrices

Let $d,m$ be positive integers. Suppose that $A_{i,j}$ is a $d\times d$-matrix with real entries whenever $i,j\in\{1,\dots m\}$. Let $A$ be the $dm\times dm$ matrix that can be written as a block ...
Joseph Van Name's user avatar
3 votes
1 answer
217 views

Is $\rho(X_1\dots X_r)^{2/r}\leq \frac{d}{r}\cdot\rho(X_1\otimes X_1+\dots+X_r\otimes X_r)$ for $d\times d$-real matries $X_1,\dots,X_r$?

Let $\rho(A)$ denote the spectral radius of a square matrix $A$. Let $r,d$ be positive integers. Let $X_1,\dots,X_r$ be $d\times d$-real matrices. Then do we necessarily have $$\rho(X_1\dots X_r)^{2/r}...
Joseph Van Name's user avatar
2 votes
0 answers
381 views

Eigenvalues of the sum of matrices, where matrices are tensor products of Pauli matrices

recently I've been studying the toric code (a squared lattice in the context of quantum computation). I want to calculate the energy of the ground state and of all the excitations, with the respective ...
MarcPN's user avatar
  • 21
7 votes
1 answer
159 views

Projective tensor product of injective operators

I've seen claims that it is known that for a pair of bounded injective linear operators $T\colon X\to Y, S\colon W\to V$, their tensor product $T\otimes S\colon X \otimes_\pi W\to Y \otimes_\pi V$ ...
Tomasz Kania's user avatar
2 votes
1 answer
142 views

Can the supremum of this quotient of spectral radii be reached?

Let $V$ be a finite dimensional complex inner product space. If $A_1,\dots,A_r\in L(V)$, then define a mapping $\Phi(A_1,\dots,A_r):L(V)\rightarrow L(V)$ by letting $\Phi(A_1,\dots,A_r)(X)=A_1XA_1^*+\...
Joseph Van Name's user avatar
2 votes
1 answer
274 views

When does the Cauchy-Schwarz inequality for spectral radii of tensor products become equality?

Let $V$ be a complex finite dimensional inner product space. If $A_{1},\dots,A_{n}:V\rightarrow V$ are linear operators, then let $\Phi(A_{1},\dots,A_{n}):L(V)\rightarrow L(V)$ be the superoperator ...
Joseph Van Name's user avatar
1 vote
1 answer
130 views

The cap set tensor in Lovett (2019)

I hope this is appropriate for the site. I am reading the paper "The analytic rank of a tensor" [S. Lovett, Discrete Analysis (2019), #7, 10 pp.] and am a bit confused in one of the ...
Marcel K. Goh's user avatar
-1 votes
1 answer
232 views

Injection vs. bijection between $V^\star \otimes V^\star$ and $(V \otimes V)^\star$ [closed]

It is a well-known fact that, if $V$ is a vector space over a field $k$, then $V^\star \otimes V^\star$ embeds into $(V \otimes V)^\star$. It turns out to be an isomorphism when $V$ is a finite-...
MathTolliob's user avatar
5 votes
1 answer
146 views

An example where the non-Archimedean tensor product of normed modules is only seminormed?

Let $R$ be a commutative unital ring and let $M$ be a unital $R$-module. A non-Archimedean ring seminorm on $R$ is a map $|\cdot| \colon R \rightarrow \mathbb{R}_{\geq 0}$ which satisfies $$ | 0_R| = ...
dejavu's user avatar
  • 153
7 votes
1 answer
466 views

Tangent bundle of a tensor product bundle

This question was also asked here on math-stackexchange. Let $E\to M$ and $F\to M$ be vector bundles. The structure of their tangents $TE$ and $TF$ is well known. In particular, connectors map $K_E: ...
Raz Kupferman's user avatar
3 votes
0 answers
60 views

Dual space of Carleman functions

Let $X$ be the space of all weakly measurable functions $\gamma:\mathbb{R}^n \to L^2(\mathbb{R}^n)$ (modulo functions that are 0 almost everywhere) for which $$\|\gamma\|_X^2 := \sup_{\|g\|_{L^2}=1} \...
Janik's user avatar
  • 141

1
2 3 4 5
8