Related papers: Note on Morita equivalence in ring extensions
We construct a category equivalent to the category $\mathbf{Mon}$ of monoids and monoid homomorphisms, based on categories with strict factorization systems. This equivalence is then extended to the category $\mathbf{Mon_s}$ of unital…
We introduce the notion of totally reflexive extension of rings. It unifies Gorenstein orders and Frobenius extensions. We prove that for a totally reflexive extension, a module over the extension ring is totally reflexive if and only if…
We study the behavior of the Iwasawa invariants of the Iwasawa modules which appear in Kato's main conjecture without $p$-adic $L$-functions under congruences. It generalizes the work of Greenberg-Vatsal, Emerton-Pollack-Weston, B.D. Kim,…
We give a necessary and sufficient condition for the existence of an enhancement of a finite triangulated category. Moreover, we show that enhancements are unique when they exist, up to Morita equivalence.
For a not-necessarily commutative ring R we define an abelian group W(R;M) of Witt vectors with coefficients in an R-bimodule M. These groups generalize the usual big Witt vectors of commutative rings and we prove that they have analogous…
In this paper, we introduce the notion of "extension" of a toric variety and study its fundamental properties. This gives rise to infinitely many toric varieties with a special property, such as being set theoretic complete intersection or…
We study Hilbert's fourteenth problem from a geometric point of view. Nagata's celebrated counterexample demonstrates that for an arbitrary group action on a variety the ring of invariant functions need not be isomorphic to the ring of…
We define a notion of equivalence between algebraic dependent type theories which we call Morita equivalence. This notion has a simple syntactic description and an equivalent description in terms of models of the theories. The category of…
We prove a version of the Jordan-H\" older theorem in the context of weakly group-theoretical fusion categories. This allows us to introduce the composition factors and the length of such a fusion category C, which are in fact Morita…
Symmetric rings were introduced by Lambek to extend usual commutative ideal theory in noncommutative rings. In this paper, we study symmetric rings over which Ore extensions are symmetric. A ring R is called strongly \sigma-symmetric if the…
In this note we give geometric formulations and proofs of three results of S. Morita. These results relate certain two dimensional cohomology classes of various moduli spaces of curves. We also give a geometric interpretation of a fourth…
In this paper a further study is made of $H$-signatures of hermitian forms, introduced previously by the authors. It is shown that a tuple of reference forms $H$ may be replaced by a single form and that the $H$-signature is invariant under…
Nagata's famous counterexample to Hilbert's fourteenth problem shows that the ring of invariants of an algebraic group action on an affine algebraic variety is not always finitely generated. In some sense, however, invariant rings are not…
It was shown by Connes, Douglas, Schwarz[1] that one can compactify M(atrix) theory on noncommutative torus. We prove that compactifications on Morita equivalent tori are physically equivalent. This statement can be considered as a…
We axiomatize the extended operators in topological orders (possibly gravitationally anomalous, possibly with degenerate ground states) in terms of monoidal Karoubi-complete $n$-categories which are mildly dualizable and have trivial…
We propose an analogue of the bounded derived category for an augmented ring spectrum, defined in terms of a notion of Noether normalization. In many cases we show this category is independent of the chosen normalization. Based on this, we…
We present the rudiments of the Morita theory of module systems (over semirings), paralleling the classical Morita theory over associative rings.
We introduce a new notion of Morita equivalence for diffeological groupoids, generalising the original notion for Lie groupoids. For this we develop a theory of diffeological groupoid actions, -bundles and -bibundles. We define a notion of…
We consider rings whose one-sided ideals are close to automorphism-invariant modules. We study rings in which every (finitely generated) right ideal is automorphism invariant and rings in which every right ideal is a finite direct sum of…
If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we prove that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A^{H}. We define also Galois extensions and prove…