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.

Filter by
Sorted by
Tagged with
4 votes
0 answers
105 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 ...
user avatar
5 votes
0 answers
112 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 ...
user avatar
4 votes
0 answers
98 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}$, ...
user avatar
4 votes
1 answer
141 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 ...
user avatar
  • 4,005
9 votes
1 answer
275 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 ...
user avatar
11 votes
3 answers
791 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. ...
user avatar
  • 4,005
2 votes
0 answers
93 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 $...
user avatar
  • 471
3 votes
0 answers
116 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 $$...
user avatar
6 votes
1 answer
221 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*-...
user avatar
3 votes
1 answer
230 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 ...
user avatar
  • 17.5k
5 votes
1 answer
261 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 ...
user avatar
  • 8,660
9 votes
0 answers
96 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 ...
user avatar
1 vote
1 answer
139 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), \...
user avatar
12 votes
2 answers
509 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}$, ...
user avatar
  • 41.2k
3 votes
2 answers
271 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}$...
user avatar
7 votes
1 answer
251 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 "...
user avatar
  • 2,525
4 votes
1 answer
117 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 ...
user avatar
  • 553
0 votes
1 answer
226 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\...
user avatar
5 votes
1 answer
150 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 ...
user avatar
8 votes
1 answer
479 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 ...
user avatar
  • 285
6 votes
1 answer
347 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$ ...
user avatar
  • 8,660
2 votes
0 answers
125 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 ...
user avatar
3 votes
1 answer
262 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$ ...
user avatar
4 votes
0 answers
302 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 ...
user avatar
  • 8,079
2 votes
1 answer
164 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 ...
user avatar
7 votes
1 answer
182 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$, ...
user avatar
  • 81
8 votes
0 answers
172 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 ...
user avatar
4 votes
1 answer
347 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 ...
user avatar
  • 4,562
19 votes
1 answer
670 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 &...
user avatar
5 votes
1 answer
156 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$...
user avatar
4 votes
0 answers
309 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$ ...
user avatar
  • 3,044
7 votes
1 answer
349 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 ...
user avatar
  • 330
6 votes
1 answer
430 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) ...
user avatar
5 votes
0 answers
262 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 ...
user avatar
10 votes
1 answer
434 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 ...
user avatar
  • 2,303
3 votes
0 answers
92 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 ...
user avatar
1 vote
1 answer
112 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://...
user avatar
13 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 ...
user avatar
  • 1,256
8 votes
0 answers
314 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 ...
user avatar
4 votes
2 answers
913 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 ...
user avatar
  • 713
7 votes
1 answer
381 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 ...
user avatar
  • 325
-1 votes
1 answer
459 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$...
user avatar
14 votes
0 answers
790 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 ...
user avatar
7 votes
1 answer
207 views

Morita semi-equivalences

Recall that algebras (or linear 1-categories) $A$ and $B$ are Morita equivalent if there exist bimodules $_AM_B$ and $_BN_A$ and isomorphisms $u: {}_A(M \otimes_BN)_A \to {}_AA_A$ and $v: {}_B(N \...
user avatar
  • 11.9k
5 votes
2 answers
188 views

Are there better upper bounds on the rank of the commutant of a fusion module than the global dimension?

Suppose I have a fusion category $\mathcal{C}$ and an indecomposable module category $\mathcal{M}$ over it. The commutant $\mathcal{C}_\mathcal{M}^*$ is the category of module endofunctors, and gives ...
user avatar
13 votes
0 answers
438 views

Algebras Morita equivalent to their centers

Hi, I wonder if there is a name for: 1) Algebras which are Morita equivalent to their centers, or 2) dg-algebras which are derived Morita equivalent to their Hochshild cohomology? For instance, (...
user avatar
  • 5,993
1 vote
1 answer
350 views

Morita equivalence for compact groups

Let $K$ be a compact or a finite group with a closed subgroup $H$. Let $C(K)$ be the convolution algebra of continuous functions on $K$. The Peter Weyl theorem asserts that the $*$ algebra $C(K)$ and ...
user avatar
  • 10.7k
17 votes
2 answers
1k views

Morita equivalence of DG algebras? (reference needed)

A stupid question: whether ther exists a universally recognized definition of when two differential graded algebras should be Morita equivalent? I mean a sort of equivalence which would incorporate ...
user avatar
  • 291
6 votes
1 answer
458 views

Compare three 2-categories of (Lie) groupoids

Lie groupoids are groupoids with smooth structures. There is a nature 2-category of Lie groupoids: Lie groupoids, smooth functors of Lie groupoids, smooth natural transformations of smooth functors. ...
user avatar
  • 1,211
2 votes
1 answer
221 views

Behaviour of Morita equivalence in families of sheaves

Given a projective scheme $X$, say over $\mathbb{C}$, another $\mathbb{C}$-scheme $S$ and a coherent and torsion free (as an $O_X$-module) $M_n(O_X)$-module $F$. Now we can use Morita equivalence to ...
user avatar
  • 1,381