On Azumaya Graphs

We study Azumaya multiplicative graphs over a suitable base category, generalizing in this way the theory of Azumaya algebras over a ring, with or without unit, and the theory of enriched Azumaya categories. We exhibit the links with the corresponding notions of centrality, separability, Brauer group and Brauer–Taylor group.     

H-separable Hopf Galois Extensions and Azumaya Algebra

1 IntroductionLet A/R be a ring extension with the common identity 1. A/R is said to be separable if theA-bimodule homomorphism of A @R A onto A defined by a @ 5-a6 splits. A separableextension over a non-commutative ring generalizes that over a commutative ring which wasdiscussed in [1]. Hirata introduced anOther kind of separable extensions called H-separabeones (see [2]). A/R is said to be H-separable if A @R A is isomorphic as an A-bimoduleto a direct sumrnand of A". riom {2, Theor…     

The Invariant Subrings of an Azumaya Galois Extension

Let B be an Azumaya Galois extension or a DeMeyer-Kanzaki Galois extension with Galois group G. Equivalent conditions are given for a separable subextension of a Galois extension in the skew group ring B * G being an invariant subring of a subgroup of the Galois group G.AMS Subject Classification (2000): 16S35, 16W20.     

A Note on K-Theory of Azumaya Algebras

For an Azumaya algebra A which is free over its centre R, we prove that K-theory of A is isomorphic to K-theory of R up to its rank torsions. We conclude that K _i (A, ?/m) = K _i (R, ?/m) for any m relatively prime to the rank and i ≥ 0. This covers, for example, K-theory of division algebras, K-theory of Azumaya algebras over semilocal rings, and K-theory of graded central simple algebras indexed by a totally ordered abelian group.     

The Brauer group of Yetter-Drinfel'd module algebras

Let be a Hopf algebra with bijective antipode. In a previous paper, we introduced -Azumaya Yetter-Drinfel'd module algebras, and the Brauer group classifying them. We continue our study of , and we generalize some properties that were previously known for the Brauer-Long group. We also investigate separability properties for -Azumaya algebras, and this leads to the notion of strongly separable -Azumaya algebra, and to a new subgroup of the Brauer group .

     

The equivariant Brauer group of a group

We consider the Brauer group of a group (finite or infinite) over a commutative ring with identity. A split exact sequence

is obtained. This generalizes the Fröhlich-Wall exact sequence from the case of a field to the case of a commutative ring, and generalizes the Picco-Platzeck exact sequence from the finite case of to the infinite case of . Here is the Brauer-Taylor group of Azumaya algebras (not necessarily with unit). The method developed in this paper might provide a key to computing the equivariant Brauer group of an infinite quantum group.

     

Subgroups of the Brauer Group of a Cocommutative Coalgebra

We introduce Shur and projective Schur subgroup of the Brauer group of a cocommutative coalgebra by means of twisted cogroup coalgebras and we study their properties. In particular we show that these subgroups are always torsion (in contrast with the whole Brauer group). Moreover, when C is coreflexive and irreducible both subgroups coincide with the coradical ones. We illustrate the theory with several examples.     

Azumaya Extensions and Galois Correspondence

For H a finite-dimensional Hopf algebra over a field k, we study H*-Galois Azumaya extensions A, i.e., A is an H-module algebra which is H*-Galois with A/A^H separable and A^H Azumaya. We prove that there is a Galois correspondence between a set of separable subalgebras of A and a set of separable subalgebras of C_A(A^H), thus generalizing the work of Alfaro and Szeto for H a group algebra. We also study Galois bases and Hirata systems.1991 Mathematics Subject Classification: 16W30, 16H05     

Limits of rank 4 Azumaya algebras and applications to desingularization

It is shown that the schematic image of the scheme of Azumaya algebra structures on a vector bundle of rank 4 over any base scheme is separated, of finite type, smooth of relative dimension 13 and geometrically irreducible over that base and that this construction base-changes well. This fully generalizes Seshadri’s theorem in [16] that the variety of specializations of (2 x 2)-matrix algebras is smooth in characteristic ≠ 2. As an application, a construction of Seshadri in [16] is shown in a characteristic-free way to desingularize the moduli space of rank 2 even degree semi-stable vector bundles on a complete curve. As another application, a construction of Nori over ℤ (Appendix, [16]) is extended to the case of a normal domain which is a universally Japanese (Nagata) ring and is shown to desingularize the Artin moduli space [1] of invariants of several matrices in rank 2. This desingularization is shown to have a good specialization property if the Artin moduli space has geometrically reduced fibers — for example this happens over ℤ. Essential use is made of Kneser’s concept [8] of ‘semi-regular quadratic module’. For any free quadratic module of odd rank, a formula linking the half-discriminant and the values of the quadratic form on its radical is derived.     

Weak Equivalence of Internal Categories

Weak equivalence is defined as equivalence in the bicategory of modules between internal categories. It is known that two categories are weakly equivalent if and only if their Cauchy completions are equivalent. We prove that this condition can be generalized to a suitable notion of intermediate category, stable under composition with weak equivalences. Applications to categorical Morita theory are given.     

Automorphisms of Green Orders and Their Derived Categories

In an earlier paper, Raphaël Rouquier and the author introduced the group of self-equivalences of a derived category. In the case of a Brauer tree algebra, we determined a nontrivial homomorphism of the Artin braid group to this group of self-equivalences. The class of Brauer tree algebras include blocks of finite group rings over a large enough field with cyclic defect groups. In the present paper we give an integral version of this homomorphism. Moreover, we identify some interesting arithmetic subgroups with natural groups of self-equivalences of the derived category.     

The Brauer–Manin obstruction for certain quartic curves with negative discriminant

In this paper, we construct an infinite explicit family of genus one quartic curves with negative discriminants that are counterexamples to the Hasse principle explained by the Brauer–Manin obstruction.     

Quantum Yang-Baxter module algebras

LetH be a quantum group over a commutative ringR. We introduce the concept of quantum Yang-BaxterH-module algebra, generalizing the notion ofH-dimodule algebra in the case whereH is commutative, cocommutative and faithfully projective. After discussing some examples, we introduceH-Azumaya algebras. The set of quivalence classes ofH-Azumaya algebras can be made into a group, called the Brauer group of the quantum groupH. This group is a generalization of the Brauer-Long group.This author wishes to thank the Department of Mathematics, UIA, for its hospitality and financial support during the time when most of this paper was written.     

Yetter—Drinfel'd H-Azumaya Monoids in Closed Categories

When C is a symmetric closed category with equalizers and coequalizers and H is a Hopf algebra in C, the category of Yetter—Drinfeld H-modules is a braided monoidal category.We develop a categorical version of the results in (10) constructing a Brauer group BQ(C,H) and studying its functorial properties.     

Morita Duality for Grothendieck Categories with Applications to Coalgebras

Finiteness conditions of reflexive objects of a Morita duality of Grothendieck category is studied. It is observed that the relation between coproduct and product is a fundamental fact. We show that for coalgebras with a duality, the class of reflexive objects coincides with the class of quasi-finite comodules.     

Classification of Pointed Fusion Categories of dimension 8 up to weak Morita equivalence

In this paper we give a complete classification of pointed fusion categories over ? of global dimension 8. We first classify the equivalence classes of pointed fusion categories of dimension 8, and then we proceed to determine which of these equivalence classes have equivalent categories of modules following the procedure presented in [9 Naidu, D. (2007). Categorical Morita equivalence for group-theoretical categories. Commun. Algebra 35(11):3544–3565.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar], 11 Uribe, B. (2017). On the classification of pointed fusion categories up to weak Morita equivalence. Pac. J. Math. 290(2):437–466.[Crossref], [Web of Science ®] , [Google Scholar]]. The results of this paper permit to recover the classification of twisted quantum doubles of groups of order 8 up to gauge equivalence of braided quasi-Hopf algebras that was previously done in [6 Mason, C., Ng, S.-H (2001). Group cohomology and gauge equivalence of some twisted quantum doubles. Trans. Am. Math. Soc. 353(9):3465–3509.[Crossref], [Web of Science ®] , [Google Scholar]] and [5 Goff, C., Mason, G., Ng, S.-H (2007). On the gauge equivalence of twisted quantum doubles of elementary abelian and extra-special 2-groups. J. Algebra 312(2):849–875.[Crossref], [Web of Science ®] , [Google Scholar]].