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 ...
- 171
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), \...
- 579
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 $\...
- 71
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-...
- 829
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....
- 25.2k
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 ...
- 25.2k
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 ...
- 25.2k
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 ...
- 25.2k
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 ...
- 53
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}$, ...
- 52.1k
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 ...
- 4,700
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 ...
- 9,461
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. ...
- 4,700
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 $...
- 471
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
$$...
- 262
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*-...
- 262
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 ...
- 18.1k
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,150
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,375
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), \...
- 815
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}$, ...
- 43.3k
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}$...
- 5,837
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 "...
- 2,809
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 ...
- 613
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\...
- 25
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 ...
- 181
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 ...
- 295
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$ ...
- 9,150
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 ...
- 775
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$ ...
- 775
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 ...
- 8,627
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 ...
- 1,189
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$, ...
- 81
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 ...
- 156
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 ...
- 4,969
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 &...
- 52.1k
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
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$ ...
- 3,114
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 ...
- 350
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) ...
- 427
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 ...
- 407
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 ...
- 2,423
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 ...
- 613
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://...
- 407
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 ...
- 1,406
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 ...
- 52.1k
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 ...
- 723
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 ...
- 325
-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$...
- 407
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 ...
- 2,424