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
5
votes
0answers
79 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 ...
4
votes
0answers
80 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}$, ...
3
votes
1answer
108 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 ...
8
votes
1answer
252 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
3answers
744 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
0answers
92 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
0answers
94 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 $$...
6
votes
1answer
192 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
1answer
206 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
1answer
256 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
0answers
86 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
1answer
120 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
2answers
482 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
2answers
243 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}$...
7
votes
1answer
225 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
1answer
108 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
1answer
224 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
1answer
142 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
1answer
441 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
1answer
299 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
0answers
123 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 ...
2
votes
1answer
237 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
0answers
273 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
1answer
156 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
1answer
170 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
0answers
159 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 ...
3
votes
1answer
309 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 ...
19
votes
1answer
584 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
1answer
149 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
0answers
282 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
1answer
339 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
1answer
386 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
0answers
259 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
1answer
392 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
0answers
90 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
1answer
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://...
13
votes
1answer
925 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 ...
8
votes
0answers
297 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
2answers
793 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
1answer
373 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
1answer
457 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$...
14
votes
0answers
755 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 ...
7
votes
1answer
201 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 \...
5
votes
2answers
181 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 ...
13
votes
0answers
425 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, (...
1
vote
1answer
343 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 ...
16
votes
2answers
983 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 ...
5
votes
1answer
439 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. ...
2
votes
1answer
216 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 ...
20
votes
3answers
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 ...