Search

In this work, we are interested in studying conditions so that the R alpha and R alpha G rings are Morita equivalents. We will see (in the main theorem) that a condition for such rings to be Morita equivalents is when the ring R has partial Galois coordinates on R alpha. This leads us to the study of Morita Theory, partial actions of groups on rings (in a purely algebraic context) and extensions of partial Galois Neste trabalho, estamos interessados em estudar condições para que os anéis R alpha e R alpha G sejam Morita equivalentes. Veremos (no teorema principal) que uma condição para que tais anéis sejam Morita equivalentes é quando o anel R possui coordenadas de Galois parciais sobre R alpha. Isto nos leva ao estudo da Teoria de Morita, ações parciais de grupos sobre anéis (num contexto puramente algébrico) e extensões de Galois parciais

Let X -> Y be a fibration whose fibers are complete intersections of two quadrics. We develop new categorical and algebraic tools---a theory of relative homological projective duality and the Morita invariance of the even Clifford algebra under quadric reduction by hyperbolic splitting---to study semiorthogonal decompositions of the bounded derived category of X. Together with new results in the theory of quadratic forms, we apply these tools in the case where X -> Y has relative dimension 1, 2, or 3, in which case the fibers are curves of genus 1, Del Pezzo surfaces of degree 4, or Fano threefolds, respectively. In the latter two cases, if Y is the projective line over an algebraically closed field of characteristic zero, we relate rationality questions to categorical representability of X., 43 pages, changes made and some material added and corrected in sections 1, 4, and 5; this is the final version accepted for publication at Journal de Math\'ematiques Pures et Appliqu\'ees

A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $\Sigma$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear functors $\Mm^\Cc\to\Mm^\Dd$. Strictness of the Morita context is shown to imply the Galois property of $\Sigma$ as a $\cC$-comodule and a Weak Structure Theorem. Sufficient conditions are found also for a Strong Structure Theorem to hold. Cleft property of an $L$-$\cC$ bicomodule $\Sigma$ -- implying strictness of the associated Morita context -- is introduced. It is shown to be equivalent to being a Galois $\cC$-comodule and isomorphic to $\End^\cC(\Sigma)\otimes_{L} \cD$, in the category of left modules for the ring $\End^\cC(\Sigma)$ and right comodules for the coring $\cD$, i.e. satisfying the normal basis property. Algebra extensions, that are cleft extensions by a Hopf algebra, a coalgebra or a pure Hopf algebroid, as well as cleft entwining structures (over commutative or non-commutative base rings) and cleft weak entwining structures, are shown to provide examples of cleft bicomodules. Cleft extensions by arbitrary Hopf algebroids are described in terms of Morita contexts that do not necessarily correspond to coring extensions., Comment: 34 pages LaTeX. v2:A missing purity assumption is added throughout Sections 3, 4 and 5

A recollement of triangulated categories describes one such category as being "glued together" from two others. This paper gives a precise criterion for the existence of a recollement of the derived category of a Differential Graded Algebra in terms of two other such categories., Comment: 13 pages

In this paper we take some classical ideas from commutative algebra, mostly ideas involving duality, and apply them in algebraic topology. To accomplish this we interpret properties of ordinary commutative rings in such a way that they can be extended to the more general rings that come up in homotopy theory. Amongst the rings we work with are the differential graded ring of cochains on a space, the differential graded ring of chains on the loop space, and various ring spectra, e.g., the Spanier-Whitehead duals of finite spectra or chromatic localizations of the sphere spectrum. Maybe the most important contribution of this paper is the conceptual framework, which allows us to view all of the following dualities: Poincare duality for manifolds, Gorenstein duality for commutative rings, Benson-Carlson duality for cohomology rings of finite groups, Poincare duality for groups, Gross-Hopkins duality in chromatic stable homotopy theory, as examples of a single phenomenon. Beyond setting up this framework, though, we prove some new results, both in algebra and topology, and give new proofs of a number of old results., Comment: 49 pages. To appear in the Advances in Mathematics

For any left R-module P with endomorphism ring S, the adjoint pair of functors P ⊗S − and HomR(P , −) induce an equivalence between the categories of P -static R-modules and P -adstatic S-modules. In particular, this setting subsumes the Morita theory of equivalences between module categories and the theory of tilting modules. In this paper we consider, more generally, any adjoint pair of covariant functors between complete and cocomplete Abelian categories and describe equivalences induced by them. Our results subsume the situations mentioned above but also equivalences between categories of comodules.  2003 Editions scientifiques et medicales Elsevier SAS. All rights reserved. Resume Pour un R-module a gauche P avec anneau d’endomorphisms S, le couple de foncteurs adjoints P ⊗R − et HomR(P , −) induis une equivalence entre le categorie des R-modules P -static et des S-module P adstatic. En particulier, ceci etend la theorie de Morita d’equivalences entre les categories des modules et la theorie des modules tilting. Dans cet article nous considerons, plus generalement, n’importe quelle paire de functeurs covariants adjoints entre des categories abeliennes completes et cocompletes et decrivons des equivalences induites par elles. Nos resultats

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg–Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.

This thesis is concerned with the algebraic theory of hermitian forms. It is organized in two parts. The first, consisting of the first two chapters, deals with some descent properties of unimodular hermitian forms over central simple algebras with involution. The second, which consists of the last two chapters, generalizes several classical properties of unimodular hermitian forms over rings with involution to the setting of sesquilinear forms in hermitian categories. The original results established in this thesis are joint work with Professor Eva Bayer-Fluckiger. The first chapter contains an introduction to the algebraic theory of unimodular ε-hermitian forms over fields with involution. One knows that if L/K is an extension of odd degree (where char(K) ≠ 2) then the restriction map rL/K : W(K) →W(L) is injective. In addition, if the extension is purely inseparable then the map rL/K is bijective. In the second chapter we first introduce the basic notions and techniques of the theory of unimodular ε-hermitian forms over algebras with involution, in particular the technique of Morita equivalence. Let L/K be a finite field extension, τ an involution on L and A a finite-dimensional K-algebra endowed with an involution α such that αœK = τœK. E. Bayer-Fluckiger and H.W. Lenstra proved that if L/K is of odd degree and αœK = idK then the restriction map rL/Kε : Wε(A, α) → Wε(A ⊗K L, α ⊗ τ) is injective for any ε = ±1. This holds also if αœK ≠ idK. We prove that if, in addition, L/K is purely inseparable and A is a central simple K-algebra, then the above map is actually bijective. The proof proceeds via induction on the degree of the algebra and uses in an essential way an exact sequence of Witt groups due to R. Parimala, R. Sridharan and V. Suresh, later extended by N. Gernier-Boley and M.G. Mahmoudi. The third chapter contains a survey of the theory of hermitian and quadratic forms in hermitian categories. In particular, we cover the transfer between two hermitian categories, the reduction by an ideal, the transfer into the endomorphism ring of an object, as well as the Krull-Schmidt-Azumaya theorem and some of its applications. In the fourth chapter we prove, adapting the ideas developed by E. Bayer-Fluckiger and L. Fainsilber, that the category of sesquilinear forms in a hermitian category ℳ is equivalent to the category of unimodular hermitian forms in the category of double arrows of ℳ. In order to obtain this equivalence of categories we associate to a sesquilinear form the double arrow consisting of its two adjoints, equipped with a canonical unimodular hermitian form. This equivalence of categories allows us to define a notion of Witt group for sesquilinear forms in hermitian categories. This generalizes the classical notion of a Witt group of unimodular hermitian forms over rings with involution. Using the above equivalence of categories we deduce analogues of the Witt cancellation theorem and Springer's theorem for sesquilinear forms over certain algebras with involution. We also extend some finiteness results due to E. Bayer-Fluckiger, C. Kearton and S.M. J. Wilson. In addition, we study the weak Hasse-Minkowski principle for sesquilinear forms over skew fields with involution over global fields. We prove that this principle holds for systems of sesquilinear forms over a skew field over a global field and endowed with a unitary involution. Two systems of sesquilinear forms are hence isometric if and only if they are isometric over all the completions of the base field. This result has already been known for unimodular hermitian and skew-hermitian forms over rings with involution, under the same hypothesis. Finally, we study the behaviour of the Witt group of a linear hermitian category under extension of scalars. Let K be a field of characteristic different from 2, L a finite extension of K and ℳ a K-linear hermitian category. We define the extension of ℳ to L as being the category with the same objects as ℳ and with morphisms given by the morphisms of ℳ extended to L. We obtain an L-linear hermitian category, denoted by ℳL. The canonical functor of scalar extension ℛL/K : ℳ → ℳL induces for any ε = ±1 a group homomorphism Wε(ℳ) →Wε(ℳL). We prove that if all the idempotents of the category ℳ split and the extension L/K is of odd degree then this homomorphism is injective. This result has already been known in the case when ℳ is the category of finite-dimensional K-vector spaces.

This thesis explores the relation between module categories over small differential graded (abbreviated DG) categories on the one hand, and well generated triangulated categories on the other. In the first part, we construct the $\alpha$-continuous derived category D_\alpha A of a homotopically $\alpha$-cocomplete small DG category A, where $\alpha$ is a regular cardinal. This construction enjoys a useful and beautiful property which is the key technical result for proving the main theorem of the thesis. The categories D_\alpha A turn out to be the prototypes of the $\alpha$-compactly generated algebraic triangulated categories. Here algebraic means triangle equivalent to the stable category of a Frobenius category. The main result says that algebraic well generated categories are precisely those which are localizations of the derived category of some small DG category. This result is strongly reminiscent of a 1964 theorem of Gabriel and Popescu, which characterized the Grothendieck abelian categories as localizations of categories of modules over rings. It also gives a positive answer to Drinfeld?s question whether all well generated categories arise as localizations of compactly generated ones, for the class of algebraic triangulated categories. In the second part, we study the categories DA and D_\alpha A using the projective Quillen?s model category structure present on the category of DG modules. We introduce the subcategory of homotopically $\alpha$-compact cofibrant DG modules and we show that its homotopy category is precisely the $\alpha$-continuous derived category D_\alpha A. This enables us to give a second, completely different proof of the key technical result of the first part., Cette thèse explore la relation entre les catégories de modules sur les catégories différentielles graduées (abrégées DG) petites, d'une part, et les catégories triangulées bien engendrées d'autre part. Dans la première partie, on construit la catégorie dérivée $\alpha$-continue D_\alpha A d'une catégorie DG $\alpha$-cocomplète petite A, où $\alpha$ est un cardinal régulier. Cette construction jouit d'une propriété très intéressante, qui est la clef pour démontrer le théorème principal de la thèse. Les catégories D_\alpha A s'avèrent être les prototypes des catégories triangulées algébriques à engendrement $\alpha$-compact. On entend par algébrique, équivalente, en tant que catégorie triangulée à la catégorie stable d'une catégorie de Frobenius. Le résultat principal établit que les catégories algébriques bien engendrées sont précisément celles qui sont des localisations de la catégorie dérivée d'une catégorie DG petite. Ce résultat rappelle beaucoup un théorème de Gabriel et Popescu de 1964, qui caractérise les catégories abéliennes de Grothendieck comme des localisations de catégories de modules sur des anneaux. Il donne aussi une réponse positive à une question de Drinfeld qui demandait si toutes les catégories triangulées bien engendrées sont des localisations de catégories triangulées à engendrement compact, pour la classe des catégories triangulées algébriques. Dans la deuxième partie, on étudie les catégories DA et D_\alpha A en utilisant la structure projective de catégories de modèles de Quillen présente sur la catégorie des DG modules. On introduit la sous-catégorie des DG modules cofibrants homotopiquement $\alpha$-compacts et on montre que sa catégorie homotopique est précisément la catégorie dérivée $\alpha$-continue D_\alpha A. Cela nous permet de donner une deuxième preuve, complètement différente du résultat-clef de la première partie.

Doc. Math. 11 (2006), 143--159; We consider categories over a field $k$ in order to prove that smash extensions and Galois coverings with respect to a finite group coincide up to Morita equivalence of $k$-categories. For this purpose we describe processes providing Morita equivalences called contraction and expansion. We prove that composition of these processes provides any Morita equivalence, a result which is related with the karoubianisation (or idempotent completion) and additivisation of a $k$-category.

We explore two constructions in homotopy category with algebraic precursors in the theory of noncommutative rings and homological algebra, namely the Hochschild cohomology of ring spectra and Morita theory. The present paper provides an extension of the algebraic theory to include the case when $M$ is not necessarily a progenerator. Our approach is complementary to recent work of Dwyer and Greenlees and of Schwede and Shipley. A central notion of noncommutative ring theory related to Morita equivalence is that of central separable or Azumaya algebras. For such an Azumaya algebra A, its Hochschild cohomology HH^*(A,A) is concentrated in degree 0 and is equal to the center of A. We introduce a notion of topological Azumaya algebra and show that in the case when the ground S-algebra R is an Eilenberg-Mac Lane spectrum of a commutative ring this notion specializes to classical Azumaya algebras. A canonical example of a topological Azumaya R-algebra is the endomorphism R-algebra F_R(M,M) of a finite cell R-module. We show that the spectrum of mod 2 topological K-theory KU/2 is a nontrivial topological Azumaya algebra over the 2-adic completion of the K-theory spectrum widehat{KU}_2. This leads to the determination of THH(KU/2,KU/2), the topological Hochschild cohomology of KU/2. As far as we know this is the first calculation of THH(A,A) for a noncommutative S-algebra A., Published by Algebraic and Geometric Topology at http://www.maths.warwick.ac.uk/agt/AGTVol4/agt-4-29.abs.html

In [R. Colpi, K.R. Fuller, Tilting objects in abelian categories and quasitilted rings, Trans. Amer. Math. Soc., in press] tilting objects in an arbitrary abelian category H are introduced and are shown to yield a version of the classical tilting theorem between H and the category of modules over their endomorphism rings. Moreover, it is shown that given any faithful torsion theory ( X , Y ) in Mod - R , for a ring R , the corresponding Heart H ( X , Y ) is an abelian category admitting a tilting object which yields a tilting theorem between the Heart and Mod - R . In this paper we first prove that H ( X , Y ) is a prototype for any abelian category H admitting a tilting object which tilts to ( X , Y ) in Mod - R . Then we study AB-type properties of the Heart and commutations with direct limits. This allows us to show, for instance, that any abelian category H with a tilting object is AB4, and to find necessary and sufficient conditions which guarantee that H is a Grothendieck or even a module category. As particular situations, we examine two main cases: when ( X , Y ) is hereditary cotilting, proving that H ( X , Y ) is Grothendieck and when ( X , Y ) is tilting, proving that H ( X , Y ) is a module category.