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.
65 questions
21
votes
3
answers
2k
views
stacks as Morita equivalence classes
I have often encountered definitions of the kind "stacks are equivalence classes of groupoids under Morita equivalence" in topological or differentiable context, with the notion of Morita equivalence ...
- 4,070
20
votes
1
answer
833
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 &...
- 54.6k
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 ...
- 171
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 ...
- 291
16
votes
1
answer
2k
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 ...
- 1,446
16
votes
0
answers
860
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 ...
- 2,444
13
votes
0
answers
523
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, (...
- 6,131
13
votes
1
answer
224
views
Large V-categories admitting the construction of V-presheaves
By a result of Foltz, and Freyd and Street, a category $C$ is essentially small (i.e. equivalent to a small category) if and only if both $C$ and $[C^{\text{op}}, \mathrm{Set}]$ are locally small. I ...
- 10.5k
12
votes
2
answers
563
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}$, ...
- 44.7k
11
votes
3
answers
908
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. ...
- 5,230
10
votes
1
answer
525
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 ...
- 2,513
10
votes
0
answers
120
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,579
10
votes
0
answers
341
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 ...
- 54.6k
10
votes
0
answers
1k
views
Regarding the Gerstenhaber bracket on Hochschild cohomology and Morita equivalence
Associated to any $A_\infty$ $k$-algebra $A$ the Hochschild cochain complex $CH^*(A)$ has the structure of a dg-Lie algebra and a dg-algebra which are compatible enough that the cohomology is a ...
- 1,038
9
votes
1
answer
401
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 "...
- 3,001
9
votes
1
answer
343
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 ...
- 9,853
8
votes
2
answers
458
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 $\...
- 171
8
votes
2
answers
302
views
Differing notions of Morita equivalence for operator algebras
Rieffel first studied Morita equivalence for $C^*$-algebras and von Neumann algebras in "Morita equivalence for C∗-algebras and W∗-algebras" Zbl 0295.46099 as a direct generalisation of the ...
- 18.7k
8
votes
1
answer
566
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 ...
- 295
8
votes
0
answers
197
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 ...
- 156
7
votes
1
answer
391
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 ...
- 360
7
votes
1
answer
195
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$, ...
- 181
7
votes
1
answer
412
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 ...
- 335
7
votes
1
answer
225
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 \...
- 12.8k
6
votes
1
answer
357
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 ...
6
votes
1
answer
362
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), \...
- 889
6
votes
1
answer
518
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. ...
- 1,271
6
votes
1
answer
347
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*-...
- 272
6
votes
1
answer
449
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$ ...
- 9,330
6
votes
1
answer
518
views
What is Out(G-mod) for a finite group G?
Following the notation of Etingof-Nikshych-Ostrik what is Out(G-mod) for a finite group G?
That is what are all bimodule cateogries over the fusion category G-mod of complex G-modules which have the ...
- 28.1k
6
votes
1
answer
542
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) ...
- 437
6
votes
0
answers
159
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-...
- 813
5
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 ...
- 743
5
votes
1
answer
163
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 ...
- 181
5
votes
2
answers
211
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 ...
- 7,800
5
votes
1
answer
335
views
Morita equivalence and connectivity
Let $A, B$ be Morita equivalent $\mathbb{E}_1$-ring spectra. Fix an an $(A, B)$-bimodule $P$ and a $(B, A)$-bimodule $Q$ such that $P \otimes_B Q \cong A$ and $Q \otimes_A P \cong B$. If $A$ is ...
- 448
5
votes
1
answer
273
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,330
5
votes
1
answer
273
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 ...
- 5,230
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$...
- 51
5
votes
0
answers
183
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
175
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 ...
- 53
5
votes
0
answers
135
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}$, ...
- 54.6k
5
votes
0
answers
270
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 ...
- 417
4
votes
1
answer
132
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 ...
- 653
4
votes
1
answer
475
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 ...
- 5,039
4
votes
0
answers
177
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 ...
4
votes
0
answers
347
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 ...
- 9,009
4
votes
0
answers
334
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$ ...
- 3,174
3
votes
1
answer
182
views
Morita equivalence of Lie groupoids and isomorphism of differentiable stacks
It's a well known fact two Lie groupoids are Morita-equivalent iff they induce isomorphic differentiable stacks (I'll call this statement "(1)").
It's also well known that there is a ...
- 105
3
votes
2
answers
315
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}$...
- 6,023