Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [bimodules]

The tag has no usage guidance.

4
votes
1answer
130 views

“Left Brace Module”

Let $A$ be an algebra over the brace tree operad and $M$ a module over some base ring. Is there a good notion of a "left brace module" over a brace algebra? I do not think the definition of a module ...
5
votes
0answers
94 views

Characterizing fullness of a von Neumann algebra by the topology of its bimodules

Let $\mathcal{M}$ be a $\mathrm{II}_1$ factor. Among other characterizations, it is said to be full iff the adjoint map: $$ \mathrm{Ad}: U(\mathcal{M})/\mathbb{T} \longrightarrow \mathrm{Aut}(\...
2
votes
0answers
44 views

Is there an established name for bi-module morphisms that swap the module structures?

Let $P,Q$ denote two $R$-bimodules where $R$ is a ring, for my purposes commutative. I'll write the left $R$-module structure by multiplication on the left and analogously for the right structure. ...
1
vote
0answers
93 views

Decomposition of Banach bimodules of Banach algebras

Let $A$ and $B$ be Banach algebras, $\theta:A\rightarrow \mathbb{C}$ be a character (i.e., a multiplicative linear functional) and $A\oplus _{\theta} B$ be the $l^1$-direct sum of $A$ and $B$ equipped ...
5
votes
1answer
215 views

Slick construction of Hochschild complex

Let $R$ be a $k$-algebra and $M$ be an $(R,R)$-bimodule. Let $[n] \mapsto M \otimes R^{\otimes n}$ be the simplicial $k$-module which defines the Hochschild homology $H_*(R,M)$. Is it possible to ...
2
votes
0answers
51 views

Comparing right and left quasi-representable bimodules

Let $\mathcal V$ be your favourite (closed, symmetric) monoidal model category. To fix ideas, set $\mathcal V = \mathrm{Ch}(k)$, the category of chain complexes over a fixed commutative ring. Given a $...
5
votes
1answer
193 views

When are countably generated Hilbert modules generated by c.p.c. order zero maps?

Throughout let $B$ be a stable C*-algebra, i.e. $B\cong B\otimes K$, where $K$ is the C*-algebra of compact operators on an infinite dimensional separable Hilbert space. It is well-known that any ...
8
votes
0answers
239 views

Does this kind of non-noetherian bimodule exist?

Question: Do there exist simple rings $R$ and $S$ (i.e., rings with no proper nonzero ideals) and an $(R,S)$-bimodule $M$ such that $M$ is finitely generated both as a left $R$-module and a right $...
10
votes
0answers
231 views

When were bordered Heegaard Floer homology's DA bimodules invented?

This is less of a strictly mathematical question and more of a reference request. In their paper "Bordered Heegaard Floer Homology (http://arxiv.org/pdf/0810.0687.pdf)," Lipshitz-Ozsvath-Thurston (...
4
votes
2answers
502 views

Strong Morita Equivalence and Morphisms Between $ C^{*} $-Algebras

If $ A $ and $ B $ are $ C^{*} $-algebras, then they are strongly Morita equivalent if there exist a $ (B,A) $-bimodule $ E $ and an $ (A,B) $-bimodule $ F $ such that $$ E \otimes_{A} F \cong B \quad ...
3
votes
2answers
340 views

Morphisms between $K_0$

I suppose this is a question with a well known answer. Suppose $A$ and $B$ are two algebras over some field and there is a map $$ f: \operatorname{K_0}(A) \to \operatorname{K_0}(B) $$ is it ...
3
votes
1answer
224 views

Bimodule version of IBN

Hello all, Does anyone have an example in mind of a ring $R$ for which $R^n\cong R^m$ as $R,R$ bimodules for some positive integers $n\neq m$? I would be a little surprised if someone showed no such ...
13
votes
2answers
1k views

Intrinsic characterization of Soergel bimodules?

A Soergel bimodule (for $S_n$) is a bimodule over $R = \mathbb{Q}[x_1,\dots,x_n]$ which appears as a summand/grading shift of tensor products of the basic bimodules $$B_{i,i+1} = R \otimes_{i,i+1} R$$ ...
18
votes
2answers
735 views

Is the endomorphism algebra of a dualizable bimodule necessarily finite dimensional?

Let $k$ be field. Let $A$, $B$ be $k$-algebras, and let ${}_AM_B$ be a dualizable bimodule. Pre-Question (too naive): Is the algebra of $A$-$B$-bilinear endomorphisms of $M$ necessarily finite ...
2
votes
1answer
171 views

The growthrate of the homology of $H_*(M^{\otimes_A n})$ for a DG-bimodule $M$

Suppose you have an DG-algebra $A$, and a DG-bimodule $M$ over $A$. Under which conditions will the rank of the bimodules $H_*(M^{\otimes_A n})$ will grow exponentially in terms of $n$? Here $M^{\...
5
votes
1answer
293 views

One-parameter semigroups of bimodules

Suppose M is a von Neumann algebra. Consider a monoidal category of bimodules over M. Here a bimodule is a Hilbert space with two normal representations of M. The monoidal structure is given by Connes'...
23
votes
8answers
2k views

Bimodules in geometry

Grothendieck's approach to algebraic geometry in particular tells us to treat all rings as rings of functions on some sort of space. This can also be applied outside of scheme theory (e.g., Gelfand-...