Questions tagged [bimodules]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers

Gerstenhaber bracket for Hochschild cohomology with values in a module

I am currently trying to compute obstructions in a Hochschild cohomology $\mathrm{HH}^* (A,M)$ where $A$ is a $\Bbbk$-algebra and $M$ an $A$-bimodule. The obstruction I am looking at looks a lot like ...
Felix's user avatar
  • 203
11 votes
1 answer

Are algebras with invertible linear duals always Frobenius?

Let $A$ be a finite dimensional algebra over a ground field $k$. The linear dual $A^* = Hom_k(A,k)$ is naturally an $A$-$A$ bimodule. I am interested in those algebras such that $A^*$ is an invertible ...
Chris Schommer-Pries's user avatar
1 vote
0 answers

MAGMA-question concerning dual modules of bimodules

Let $G$ be a finite group and let $H_1,H_2\leq G$. Let char$(k)=p>0$, $k$ a field, large enough. Let $T$ be a $(kH_1, kH_2)$-bimodule given in MAGMA. Moreover, let $T$ be finitely generated ...
Bernhard Boehmler's user avatar
1 vote
2 answers

A description of the kernel of projection map from the tensor algebra to the symmetric algebra $T(V)\to S(V)$

Let $V$ be a vector space over some arbitrary field. Let $T(V)$ and $S(V)$ be the tensor and symmetric algebras over $V$. We have the projection map $T(V)\to S(V)$, given by $x_1\otimes\cdots\otimes ...
Constantin-Nicolae Beli's user avatar
9 votes
3 answers

Dual of a bimodule

For a noncommutative ring $R$, and an $R$-$R$-bimodule $B$, is there a "correct/natural" notion of a dual bimodule? I am interested, really, when $B$ is projective as a left $R$-module. Note: ...
Fofi Konstantopoulou's user avatar
6 votes
1 answer

"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 ...
Matthew Levy's user avatar
6 votes
0 answers

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}(\...
Adrián González Pérez's user avatar
2 votes
0 answers

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. ...
Michael Bächtold's user avatar
1 vote
0 answers

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 ...
Fermat's user avatar
  • 167
5 votes
1 answer

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 ...
HeinrichD's user avatar
  • 5,364
2 votes
0 answers

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 $...
Francesco Genovese's user avatar
5 votes
1 answer

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 ...
Phoenix87's user avatar
  • 417
8 votes
0 answers

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 $...
Manny Reyes's user avatar
  • 4,977
10 votes
0 answers

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 (," Lipshitz-Ozsvath-Thurston (...
Andy Manion's user avatar
  • 1,444
4 votes
2 answers

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 ...
John N.'s user avatar
  • 723
3 votes
2 answers

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 ...
Sasha Pavlov's user avatar
  • 1,525
3 votes
1 answer

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 ...
rschwieb's user avatar
  • 1,458
13 votes
2 answers

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$$ ...
Dylan Thurston's user avatar
18 votes
2 answers

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 ...
André Henriques's user avatar
2 votes
1 answer

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^{\...
Vera's user avatar
  • 21
5 votes
1 answer

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'...
Dmitri Pavlov's user avatar
27 votes
8 answers

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-...
Dmitri Pavlov's user avatar