# Questions tagged [morita-equivalence]

Two rings are said to be Morita equivalent if their categories of (left) modules are equivalent. The notion is also used in more general contexts when certain categories of representations are equivalent.

60
questions

17
votes

1
answer

1k
views

### Why is the bicategory viewpoint useful?

In ring theory one often wants to think about bimodules as being morphisms between rings using tensor product as composition. However, this composition is only associative if one uses isomorphism ...

6
votes

1
answer

345
views

### Morita equivalences and centers of some algebras

Let $k $ is an algebraically closed field of $\text{ch}(k)=0$.
Let $$E := k \langle x_0, x_1, x_2 ,x_3 \rangle/(x_ix_j-q_{ij}x_jx_i )_{0 \leq i,j \leq 3},$$ where $$(\text{deg}(x_0), \text{deg}(x_1), \...

7
votes

2
answers

401
views

### Condition for an equivalence of functor categories to imply an equivalence of categories

Given small categories $\mathcal{C}$ and $\mathcal{D}$, we have that $[\mathcal{C}^\text{op},\textbf{Set}]\simeq[\mathcal{D}^\text{op},\textbf{Set}]$ if and only if the Cauchy-completions of $\...

5
votes

0
answers

107
views

### State-sum for 4d TQFT from fusion 2-categories and invariants of Morita equiavalence classes beyond Drinfeld center

If $\mathcal{C}$ is a fusion 1-category, the Turaev-Viro state-sum produces a 3d TQFT whose modular tensor category is the Drinfeld center of $\mathcal{C}$. In particular this means that the Turaev-...

3
votes

0
answers

100
views

### Is the Frobenius property invariant by Morita equivalence?

Kaplansky's sixth conjecture [Ka75] states that the dimension of a semisimple finite dimensional Hopf algebra over $\mathbb{C}$ is divisible by the dimension of its irreducible complex representations....

4
votes

0
answers

174
views

### Is there a strongly noncommutative Grothendieck ring?

This sequel of Is there a strongly noncommutative fusion category? is motivated to know whether every fusion category is "equivalent" (in some sense) to one with a commutative Grothendieck ...

6
votes

1
answer

338
views

### Is there a strongly noncommutative fusion category?

A fusion category is called noncommutative if its Grothendieck ring is noncommutative. Let us call a fusion category strongly noncommutative if every fusion category Morita equivalent to it (i.e. same ...

5
votes

0
answers

163
views

### Strongly simple fusion categories: the known examples?

A fusion category is called simple if its fusion subcategories are just $Vec$ and itself. Let us call a fusion category strongly simple if every fusion category Morita equivalent to it (i.e. same ...

5
votes

0
answers

142
views

### Morita equivalence for monoidal categories

I came across this MO post and it got me thinking. In monoidal categories we can define module and bi-module categories, so what can we say about morita equivalence in this situation? Which of the ...

5
votes

0
answers

128
views

### Can a braided fusion category have an order-2 Morita equivalence class which cannot be simultaneously connected and isomorphic to its opposite?

Let $\mathcal{B}$ be a braided fusion category over $\mathbb{C}$. Let me write $\mathrm{Alg}(\mathcal{B})$ for the set of isomorphism classes of unital associative algebra objects in $\mathcal{B}$, ...

5
votes

1
answer

213
views

### Categorical Morita equivalence implies equivalence of module categories?

Classically, two rings $R$ and $S$ are Morita equivalent if and only if any of the following is true
($R$-Mod) $\simeq$ ($S$-Mod).
$S \simeq Hom_R(M,M)$, where $M$ is a finitely generated projective ...

9
votes

1
answer

326
views

### Picard-surjectivity and Morita-equivalence

Let us say that an algebra $A$ over a field $k$ is Picard-surjective if the canonical map
$$ \mathrm{Aut}(A) \rightarrow \mathrm{Pic}(A)$$
is surjective. Here $\mathrm{Pic}(A)$ denotes the group of ...

11
votes

3
answers

824
views

### Does Morita theory hint higher modules for noncommutative ring?

Two possibly noncommutative rings are called Morita equivalent if their left-module categories are equivalent. In the commutative case, Morita equivalence is nothing more than ring isomorphism. ...

2
votes

0
answers

99
views

### A question on cokernel

I was reading the proof of Theorem 7.12.11 in the book "Tensor categories" by Etingof et al. Let $\mathcal{C}$ be a finite multi-tensor category, and $A$ be an algebra in $\mathcal{C}$. Let $...

3
votes

0
answers

144
views

### Multiplicative structure of the K-theory of Severi-Brauer varieties

There is a well-known result by Quillen stating that if $X_A$ is the Severi-Brauer variety of a central simple algebra $A$ of degree $d$ over a field $k$, then its (Quillen) K-theory decomposes as
$$...

7
votes

1
answer

267
views

### Morita-invertible C*-algebras

I am familiar with the Morita theory of rings, and the hermitian Morita theory of rings with involution, and I am trying to understand some parallels and differences with the Morita theory of C*-...

3
votes

1
answer

271
views

### What to call a morphism of sites inducing an equivalence on categories of sheaves?

Is there a standard term for a morphism of sites $(C,J)\to(C',J')$ which induces an equivalence on sheaf categories $\operatorname{Sh}(C',J')\xrightarrow\sim\operatorname{Sh}(C,J)$? The nLab entry ...

5
votes

1
answer

270
views

### Dirac operator on a Morita equivalent algebra

Let $(A,H,D)$ be a spectral triple and let $B$ be an algebra which is Morita equivalent to $A$. Then there exists a finitely generated, projective $A$ module $E$ such that $B=End_A(E)$. Endow $E$ with ...

9
votes

0
answers

104
views

### Morita equivalence for graded von Neumann algebras

I am interested in understanding Morita equivalence of $Z_2$-graded von Neumann algebras. In the ungraded case, Rieffel showed that all Type I factors are Morita-equivalent, while for Type III factors ...

1
vote

1
answer

175
views

### Morita equivalence of quivers from related exceptional collections

On $\mathbb{P}^2$, we have two full strong exceptional collections:
$\{\mathcal{O}_{\mathbb{P}^2},\Omega_{\mathbb{P}^2}(2),\mathcal{O}_{\mathbb{P}^2}(1)\}$ and $\{\mathcal{O}_{\mathbb{P}^2}(-2), \...

12
votes

2
answers

541
views

### Is there a good name for the operation that turns $A\operatorname{-mod}$ and $B\operatorname{-mod}$ into $A\otimes B\operatorname{-mod}$?

The name pretty much says it all: there's a well-defined operation on categories equivalent to modules over some ring: if $\mathcal{C}_1=A\operatorname{-mod}$ and $\mathcal{C}_2=B\operatorname{-mod}$, ...

3
votes

2
answers

299
views

### Necessity/Motivation for generalised homomorpisms

I am reading Ieke Moerdijk's article "Orbifolds as Groupoids : an Introduction".
In that notes author defines a notion of generalized map between Lie groupoids.
Let $\mathcal{G}$ and $\mathcal{H}$...

9
votes

1
answer

320
views

### Is there a simple argument that shows that two unitary fusion categories are Morita equivalent if their Drinfeld centers are equal?

By Morita equivalent I mean that there is an invertible bi-module between the two fusion categories. [Feel free to replace the Drinfeld centers being "equal" by an appropriate categorial notion of "...

4
votes

1
answer

127
views

### Isomorphism classes of rings of differential operators

Let $X$ be your "favourite" kind of space, and let $\mathcal{D}_X$ be the (sheaf of) ring(s) of differential operators on $X$. What does the ring $\mathcal{D}_X$ tell us about $X$?
I know this might ...

0
votes

1
answer

231
views

### Is it true that $A$ is Morita equivalent with $M_I(A)$ [closed]

Let $A$ be a unital Banach algebra. Is it true that $A$ is Morita equivalent with $M_I(A)$, where $I$ is an arbitrary index set ($M_I(A)$ is the space of $I*I$ matrices with entries in $A$. Let $a,b\...

5
votes

1
answer

161
views

### Is a Morita equivalent functor an exact functor(Module protective direct sum) ?

We say that two finite dimensional algebras $A$ and
$B$ are stably equivalent if there is an equivalence $F:\underline{mod} A\longrightarrow \underline{mod} B$
between the associated module ...

8
votes

1
answer

546
views

### Morita equivalent algebras in a fusion category

Let $\mathcal{C}$ be a braided $\mathbb{k}$-linear fusion category ($\mathbb{k}$ algebraically closed; if necessary to answer my question you can also assume $\mathcal{C}$ to be pivotal or even ...

6
votes

1
answer

415
views

### Morita equivalence and isomorphisms in cohomology theories

Let $A,B$ be two unital algebras. We say that $A,B$ are Morita equivalent if there are $A-B$ and $B-A$ bimodules $P,Q$ such that
$$P \otimes_{B} Q \cong A, Q \otimes_A P \cong B$$
(as $A-A$ and $B-B$ ...

2
votes

0
answers

134
views

### The induced equivalence of bimodules from Morita equivalence

Let $A$ be a finite dimension algebra over a field K. $B=eAe$ is Morita equivalent to $A$ for an idempotent $e \in A$. Then Morita equivalence $F$ is given by $F(M)=eM$ for any left $A$-module $M$.
I ...

3
votes

1
answer

297
views

### Whether Morita equivalence holds the following properties?

Let $A,B$ be two K-algebras over a field K.
$A$ and $B$ are said to be $Morita $ $equivalent$ if the category $Mod A$ and $Mod B$ are equivalent.
$A$ and $B$ are said to be $derived$ $equivalent$ ...

4
votes

0
answers

325
views

### Does derived equivalence imply dg Morita equivalence between DG algebras over field with char$=0$?

Let $A$, $B$ be two DG algebras and $D(A)$, $D(B)$ be derived categories of DG-modules of $A$, $B$, respectively. We call $A$ and $B$ are dg Morita equivalent if there is an $A$-$B$ bimodule $T$ with ...

2
votes

1
answer

187
views

### When are Morita classes represented by certain structured algebra objects?

Let $\mathcal{C}$ be a monoidal category. There is a notion of Morita equivalence of algebra objects internal to $\mathcal{C}$. Does each Morita class have a symmetric Frobenius representative? A Hopf ...

7
votes

1
answer

189
views

### Morita equivalence base equivalence relation for discrete groups

In the context of "discrete groups", is there an equivalence relation that implies the Morita equivalence of their reduced group C*-algebras?
We define $G \sim H$ for discrete groups $G$ and $H$, ...

8
votes

0
answers

192
views

### Non-Standard Derived Equivalences of Non-Flat Algebras

I read that for algebras $R$ and $S$ (over a commutative ring), assuming that $R$ or $S$ is flat, the existence of a derived equivalence $\mathcal{D}(R) \to \mathcal{D}(S)$ implies the existence of an ...

4
votes

1
answer

392
views

### A canonical representative in Morita equivalence class

Let $A$ be a finite dimensional algebra over an algebraically closed field $K$.
If $A$ is semisimple, then $A$ is Morita equivalence with a commutative algebra, that is $A \backsim K^n$ where $n$ is ...

20
votes

1
answer

749
views

### Reference request: Morita bicategory

I have two closely related questions:
Who first recognized that Morita equivalence was equivalence in the bicategory of Rings, Bimodules, and Intertwiners?
I've heard this bicategory called the &...

5
votes

1
answer

160
views

### Morita equivalence of $K$-algebras

Given $K$ a unital commutative ring and $A$ a $K$-algebra different from $K$. Can $K$ be Morita equivalent to $A \amalg A$, where $A \amalg A$ is the coproduct in the category of unital associative $K$...

4
votes

0
answers

319
views

### 2-periodic derived equivalence

Let $A$ and $B$ be finite-dimensional algebras with finite global dimension over some field (in fact I am thinking of rational incidence algebras of finite posets).
Suppose we know that $A$ and $B$ ...

7
votes

1
answer

374
views

### Can a finite von Neumann algebra be strongly morita equivalent to a properly infinite von neumann algebra?

Can a finite (by finite I mean when the projection $1$ is finite) von Neumann algebra be strongly morita equivalent to a properly infinite von Neumann algebra?
(Strong morita equivalence is the same ...

6
votes

1
answer

487
views

### C*-bimodules: the mess with definitions

I used to participate in a seminar that taught students about foundations of non-commutative geometry. It isn’t very complicated to define a C*-module $\mathcal E$ (also known as C* Hilbert module) ...

5
votes

0
answers

266
views

### Are two $W^*$-algebras $A$ and $B$ that are Morita equivalent (in the sense of Rieffel) also Morita equivalent in the algebraic sense (as rings)?

Let $A$ and $B$ be $C^*$-algebras, I had a question about Morita equivalence for $C^*$-algebras and $W^*$-algebras, I've come across 3 concepts:
Morita equivalence for $C^*$-algebras: Equivalence of ...

10
votes

1
answer

478
views

### Is every separable algebra in a modular tensor category Morita equivalent to a commutative one?

Separable algebras in modular tensor categories are interesting algebraic structures, which have received significant attention because of their connection to conformal field theories. My ...

3
votes

0
answers

103
views

### Morita equivalence for utrametric Banach algebras (reference needed)

Is there any descent description of Morita theory for ultrametric Banach algebras?
To make this question more precise let $K$ be some completion of the field $\mathbb{Q}_p$ (I'm mostly interested in ...

1
vote

1
answer

117
views

### Quick question about conjugate equivalence bimodules and inner products

Let $A$ and $B$ be $W^{*}$-algebras, let $X$ be an $A-B$-equivalence bimodule (according to the definition given in "Morita equivalence for $C^*$-algebras and $W^*$-algebras" by Rieffel, link:http://...

15
votes

1
answer

1k
views

### In what generality does Eilenberg-Watts hold?

In homological algebra, the Eilenberg-Watts theorem states that if $F\colon\text{Mod}_R\to\text{Mod}_S$ is a right-exact coproduct preserving functor of modules, then $F\cong-\otimes_R F(R).$ The ...

10
votes

0
answers

334
views

### Which endomorphism algebras are not Morita-trivial?

Let $\mathcal C$ be a symmetric monoidal category — for example, $\mathcal C$ might be the category of $R$-modules for a commutative ring $R$. At a minimum, I request further that:
$\mathcal C$ is ...

4
votes

2
answers

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

7
votes

1
answer

394
views

### Morita equivalence for operator algebras and tensor products, question about proof

This is a bit of a dumb question I know, but I was reading "Morita equivalence for C*-algebras and W*-algebras" by Rieffel, in this section about Morita equivalences and how they relate to forming ...

-1
votes

1
answer

475
views

### For a ring $A$, is $A$ Morita equivalent to $M_\infty(A)$? [closed]

Let $A$ be a ring, let $M_n(A)$ be the ring of $n$-by-$n$ matrices with elements in $A$, $A$ is Morita equivalent to $M_n(A)$, I was wondering if this also applied to infinite matrices? That is, if $A$...

16
votes

0
answers

830
views

### Is "being a full ring of quotients" a Morita invariant property?

Definition and context:
An (associative, unital, not necessarily commutative) ring $R$ is called classical if every regular element of $R$ is a unit. Equivalently, $R$ is its own classical ring of ...