DOCSLIB.ORG

A CHARACTERIZATION of FINITE ÉTALE MORPHISMS in TENSOR TRIANGULAR GEOMETRY Contents 1. Introduction 1 2. Strongly Separable

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A CHARACTERIZATION of FINITE ÉTALE MORPHISMS in TENSOR TRIANGULAR GEOMETRY Contents 1. Introduction 1 2. Strongly Separable A CHARACTERIZATION OF FINITE ETALE´ MORPHISMS IN TENSOR TRIANGULAR GEOMETRY BEREN SANDERS Abstract. We provide a characterization of finite ´etalemorphisms in tensor triangular geometry. They are precisely those functors which have a conser- vative right adjoint, satisfy Grothendieck{Neeman duality, and for which the relative dualizing object is trivial (via a canonically-defined map). Contents 1. Introduction1 2. Strongly separable algebras2 3. Separable algebras and triangulated categories 12 4. Finite ´etalemorphisms 13 5. Examples 15 References 20 1. Introduction The purpose of this note is to give a characterization of “finite ´etalemorphisms" in tensor triangular geometry. We follow the notation, terminology, and perspective of [BDS16]. In particular, we will work in the context of rigidly-compactly generated tensor-triangulated categories [BDS16, Def. 2.7]. The kind of characterization we have in mind is analogous to the following well-known characterization of smashing localizations: 1.1. Theorem. Smashing localizations of a rigidly-compactly generated tensor- triangulated category T are precisely those geometric functors f ∗ : T ! S between rigidly-compactly generated tensor-triangulated categories whose right adjoint f∗ is fully faithful. We will recall a proof in Remark 3.9 below. Smashing localizations include, for example, restriction to a quasi-compact open subset of the Balmer spectrum. More generally, the tensor-triangular analogue of an ´etalemorphism is extension- of-scalars with respect to a commutative separable algebra (with smashing local- izations being the special case of idempotent algebras). Finite ´etalemorphisms are, by definition, extension-of-scalars with respect to a compact commutative separa- ble algebra (see Definition 4.1). Most smashing localizations are not finite ´etale morphisms, just as most open immersions are not proper. We will prove: Date: June 30, 2021. Author is supported by NSF grant DMS-1903429. 1 2 BEREN SANDERS 1.2. Theorem. Finite ´etaleextensions of a rigidly-compactly generated tensor- triangulated category T are precisely those geometric functors f ∗ : T ! S between rigidly-compactly generated tensor-triangulated categories which satisfy the follow- ing three properties: (a) f ∗ satisfies Grothendieck{Neeman duality; (b) the right adjoint f∗ is conservative; (c) the canonical map 1S ! !f is an isomorphism. The terminology and notation will be explained in Section4. We just remark that under hypothesis (a), the algebra f∗(1S) is rigid (a.k.a. dualizable) and hence has an associated trace map. This corresponds by adjunction to a canonical map 1S ! !f from the unit to the relative dualizing object, which hypothesis (c) asserts is an isomorphism. The keys to the theorem are the robust monadicity theorems which hold for triangulated categories and a deeper understanding of strongly separable algebras. Indeed, we begin the paper in Section2 with a treatment of strongly separable algebras in arbitrary symmetric monoidal categories which may be of independent interest. We prove, in particular, that a rigid commutative algebra is separable if and only if it is strongly separable if and only if its canonically-defined trace form is nondegenerate (Corollary 2.38). We then turn in Section3 to tensor-triangulated categories and the role separable algebras play in that setting. A key tool is a strengthened version of separable monadicity (Proposition 3.8). We define finite ´etalemorphisms and prove the main theorem (Theorem 4.7) in Section4. In Sec- tion5, we illustrate the theorem by giving some examples and non-examples of finite ´etalemorphisms in equivariant homotopy theory, algebraic geometry, and derived algebra. Acknowledgements : The author readily thanks Paul Balmer, Tobias Barthel, Ivo Dell'Ambrogio, Drew Heard and Amnon Neeman. 2. Strongly separable algebras We begin with a discussion of separable algebras in an arbitrary symmetric monoidal category. Although separable algebras are well-understood at this level of generality, we would like to clarify the notion of strongly separable algebra. Our main goal is to show that the equivalent characterizations of classical strongly separable algebras over fields established by [Agu00] have suitable generalizations to arbitrary symmetric monoidal categories. The main punch-line is that a rigid commutative algebra is separable if and only if it is strongly separable if and only if its trace form is nondegenerate (see Corollary 2.38). Moreover, this is the case if and only if it has the (necessarily unique) structure of a special symmetric Frobenius algebra. 2.1. Terminology. Throughout this section we work in a fixed symmetric monoidal category (C; ⊗; 1). The symmetry isomorphism will be denoted τ : A⊗B −!∼ B ⊗A. An object A in C is rigid (a.k.a. dualizable) if there exists an object DA such that DA⊗− is right adjoint to A⊗−. An algebra A is an associative unital monoid in C. The multiplication and unit maps will be denoted µ : A ⊗ A ! A and u : 1 ! A. 2.2. Definition. An algebra (A; µ, u) is separable if there exists a map σ : A ! A⊗A such that FINITE ETALE´ MORPHISMS IN TENSOR TRIANGULAR GEOMETRY 3 (σ1) µ ◦ σ = idA, and (σ2) (1 ⊗ µ) ◦ (σ ⊗ 1) = σ ◦ µ = (µ ⊗ 1) ◦ (1 ⊗ σ) as maps A ⊗ A ! A ⊗ A . In other words, A is separable if the multiplication map µ : A ⊗ A ! A admits an (A; A)-bilinear section. 2.3. Remark. If we precompose such a section σ with the unit u : 1 ! A, we obtain a map κ := σ ◦ u : 1 ! A ⊗ A which satisfies (κ1) µ ◦ κ = u, and (κ2) (1 ⊗ µ) ◦ (κ ⊗ 1) = (µ ⊗ 1) ◦ (1 ⊗ κ) as maps A ! A ⊗ A . Conversely, given such a κ, the map A ! A ⊗ A displayed in( κ2) satisfies axioms (σ1) and( σ2). Thus, an algebra A is separable if and only if it admits a map κ : 1 ! A ⊗ A satisfying( κ1) and( κ2). Such a map κ is called a separability idempotent. 2.4. Remark. We refer the reader to [AG60], [CHR65], [KO74], [Pie82, Chapter 10], and [For17] for further information about separable algebras and their role in classi- cal representation theory and algebraic geometry. The following notion of a strongly separable algebra was originally studied by Kanzaki and Hattori [Hat65, Kan62]: 2.5. Definition. An algebra A is strongly separable if there exists a map κ : 1 ! A⊗A satisfying( κ1),( κ2) and (κ3) κ = τ ◦ κ . In other words, A is strongly separable if it admits a symmetric separability idem- potent. 2.6. Remark. For classical algebras over a field, [Agu00] provides several equivalent characterizations of strongly separable algebras. Our present goal is to clarify the extent to which these characterizations hold in an arbitrary symmetric monoidal category. For this purpose, the graphical calculus of string diagrams will be very convenient. We refer the reader to [Sel11, xx3{4] and [PS13, x2] for more informa- tion concerning these diagrams and suffice ourselves to remark that it is a routine exercise to convert a proof involving string diagrams into a detailed proof using commutative diagrams. 2.7. Notation. We'll read our string diagrams from bottom to top. The multipli- cation map µ : A ⊗ A ! A and the map κ : 1 ! A ⊗ A will be represented by µ and κ while the unit u : 1 ! A and the identity id : A ! A will be represented by u = and idA = Thus, for example, axiom( κ2) reads (2.8) = 4 BEREN SANDERS 2.9. Proposition. An algebra (A; µ, u) is strongly separable if and only if there exists a morphism κ : 1 ! A ⊗ A satisfying (κ2) and (κ4) µ ◦ τ ◦ κ = u . Proof. By definition an algebra is strongly separable if it admits a morphism κ satisfying( κ1),( κ2), and( κ3). It is immediate that( κ1) and( κ3) together im- ply( κ4). It is also immediate that( κ3) and( κ4) together imply( κ1). Thus, the claim will be established if we can prove that( κ2) and( κ4) together imply( κ3). Using Notation 2.7, observe: (2.10) = = = = (unital) (κ4) (assoc) (κ2) We can then rearrange the last diagram by pulling the left-hand multiplication to the right-hand side and continue: (2.11) = = = = (κ2) (assoc) (κ4) (unital) This establishes κ = τ ◦ κ which is axiom( κ3). 2.12. Corollary. Any commutative separable algebra is strongly separable. Proof. This follows from Proposition 2.9 since axiom( κ4) coincides with axiom( κ1) when the algebra is commutative. 2.13. Remark. For string diagrams involving a rigid object A, we'll use the direction of a string to indicate whether it represents A or its dual DA. For example, the unit 1 ! DA ⊗ A and counit A ⊗ DA ! 1 are represented by and respectively, and the unit-counit relations are given by = and = 2.14. Definition. Let A be a rigid algebra in the symmetric monoidal category C. Its trace map tr : A ! 1 is given by 1⊗η µ⊗1 (2.15) A ' A ⊗ 1 −−! A ⊗ DA ⊗ A −−!1⊗τ A ⊗ A ⊗ DA −−−! A ⊗ DA −! 1 : FINITE ETALE´ MORPHISMS IN TENSOR TRIANGULAR GEOMETRY 5 2.16. Remark. To explain this definition, recall that every endomorphism f : A ! A of the rigid object A has an associated \trace" Tr(f): 1 ! 1 given as η 1⊗f 1 −! DA ⊗ A −−−! DA ⊗ A −!τ A ⊗ DA −! 1 : Moreover, post-composition by the map (2.17) DA ⊗ A −!τ A ⊗ DA −! 1 induces a function C(A; A) ' C(1; DA ⊗ A) ! C(1; 1) which sends f to Tr(f). On the other hand, the multiplication map µ : A ⊗ A ! A corresponds by adjunction to a morphism A ! DA ⊗ A given by η⊗1 1⊗µ (2.18) A ' 1 ⊗ A −−! DA ⊗ A ⊗ A −−!1⊗τ DA ⊗ A ⊗ A −−−! DA ⊗ A: Post-composition by this map provides a function C(1;A) ! C(1; DA ⊗ A) ' C(A; A) which sends a morphism a : 1 ! A to \left multiplication by a": 1⊗a τ µ La : A ' A ⊗ 1 −−! A ⊗ A −! A ⊗ A −! A: The map (2.15) defining the trace map tr : A ! 1 is readily checked to equal the composite of (2.18) and (2.17).
Load more

Recommended publications
  • On Orders in Separable Algebras
    ON ORDERS IN SEPARABLE ALGEBRAS D. G. HIGMAN Introduction. The present note began from the observation that the arguments produced by J-M. Maranda in developing his very interesting theory of representations of groups by automorphisms of modules over Dedekind rings (4, 5) were applicable without essential change to arbitrary orders, instead of just group rings, provided that a suitable generalization of Theorem 1 of (4) could be supplied. We prove that when the ring of integers is a Dedekind ring a certain integral ideal /(©) vanishes if and only if © is an order in a separable algebra, thus extending Maranda's results to these orders and indicating that an essential change can be expected in going beyond this case. The author is indebted to Professor Maranda for the opportunity of studying (5) before its publication. Notations. The following notations will be fixed throughout. Q = Dedekind ring. K = quotient field of Q. A = (finite dimensional linear associative) algebra over K with identity element e. © = g-order in A. 1. The ideal /(©). By a two-sided G-module we shall understand a module T having © both as a ring of left and right operators such that (r«)i? = r(«^)i eu = ue = u (f, rj 6 G, u 6 T), which is finitely generated over g. For such a two-sided ©-module T we shall denote by Z(T) the g-module of all g-homomorphisms <j> of © into T such that (i) *(fr) = ww + *(r)* (r, ^®), and by B(T) the submodule of 0 € Z(T) for which there exist elements u Ç T such that (2) 0(co) = œu — uo) (w Ç ®).
    [Show full text]
  • Uniquely Separable Extensions
    UNIQUELY SEPARABLE EXTENSIONS LARS KADISON Abstract. The separability tensor element of a separable extension of noncommutative rings is an idempotent when viewed in the correct en- domorphism ring; so one speaks of a separability idempotent, as one usually does for separable algebras. It is proven that this idempotent is full if and only the H-depth is 1 (H-separable extension). Similarly, a split extension has a bimodule projection; this idempotent is full if and only if the ring extension has depth 1 (centrally projective exten- sion). Separable and split extensions have separability idempotents and bimodule projections in 1 - 1 correspondence via an endomorphism ring theorem in Section 3. If the separable idempotent is unique, then the separable extension is called uniquely separable. A Frobenius extension with invertible E-index is uniquely separable if the centralizer equals the center of the over-ring. It is also shown that a uniquely separable extension of semisimple complex algebras with invertible E-index has depth 1. Earlier group-theoretic results are recovered and related to depth 1. The dual notion, uniquely split extension, only occurs trivially for finite group algebra extensions over complex numbers. 1. Introduction and Preliminaries The classical notion of separable algebra is one of a semisimple algebra that remains semisimple under every base field extension. The approach of Hochschild to Wedderburn’s theory of associative algebras in the Annals was cohomological, and characterized a separable k-algebra A by having a e op separability idempotent in A = A⊗k A . A separable extension of noncom- mutative rings is characterized similarly by possessing separability elements in [13]: separable extensions are shown to be left and right semisimple exten- arXiv:1808.04808v3 [math.RA] 29 Aug 2019 sions in terms of Hochschild’s relative homological algebra (1956).
    [Show full text]
  • SOME APPLICATIONS of FROBENIUS ALGEBRAS to HOPF ALGEBRAS 0.1. It Is a Well-Known Fact That All Finite-Dimensional Hopf Algebras
    SOME APPLICATIONS OF FROBENIUS ALGEBRAS TO HOPF ALGEBRAS MARTIN LORENZ ABSTRACT. This expository article presents a unified ring theoretic approach, based on the theory of Frobenius algebras, to a variety of results on Hopf algebras. These include a theorem of S. Zhu on the degrees of irreducible representations, the so-called class equation, the de- termination of the semisimplicity locus of the Grothendieck ring, the spectrum of the adjoint class and a non-vanishing result for the adjoint character. INTRODUCTION 0.1. It is a well-known fact that all finite-dimensional Hopf algebras over a field are Frobenius algebras. More generally, working over a commutative base ring R with trivial Picard group, any Hopf R-algebra that is finitely generated projective over R is a Frobenius R-algebra [20]. This article explores the Frobenius property, and some consequences thereof, for Hopf alge- bras and for certain algebras that are closely related to Hopf algebras without generally being Hopf algebras themselves: the Grothendieck ring G0(H) of a split semisimple Hopf algebra H and the representation algebra R(H) ⊆ H∗. Our principal goal is to quickly derive various consequences from the fact that the latter algebras are Frobenius, or even symmetric, thereby giving a unified ring theoretic approach to a variety of known results on Hopf algebras. 0.2. The first part of this article, consisting of four sections, is entirely devoted to Frobenius and symmetric algebras over commutative rings; its sole purpose is to deploy the requisite ring theoretical tools. The content of these sections is classical over fields and the case of general commutative base rings is easily derived along the same lines.
    [Show full text]
  • Separable Algebras Over Commutative Rings
    SEPARABLE ALGEBRAS OVER COMMUTATIVE RINGS BY G. J. JANUSZ(i), (2) Introduction. The main objects of study in this paper are the commutative separable algebras over a commutative ring. Noncommutative separable algebras have been studied in [2]. Commutative separable algebras have been studied in [1] and in [2], [6] where the main ideas are based on the classical Galois theory of fields. This paper depends heavily on these three papers and the reader should consult them for relevant definitions and basic properties of separable algebras. We shall be concerned with commutative separable algebras in two situations. Let R be an arbitrary commutative ring with no idempotents except 0 and 1. We first consider separable P-algebras that are finitely generated and projective as an P-module. We later drop the assumption that the algebras are projective but place restrictions on P — e.g., P a local ring or a Noetherian integrally closed domain. In §1 we give a proof due to D. K. Harrison that any finitely generated, pro- jective, separable P-algebra without proper idempotents can be imbedded in a Galois extension of P also without proper indempotents. We also give a number of preliminary results to be used in later sections. In §2 we generalize some of the results about polynomials over fields to the case of aground ring P with no proper idempotents. We show that certain polynomials (called "separable") admit "splitting rings" which are Galois extensions of the ground ring. We apply this to show that any finitely generated, projective, separable homomorphic image of R[X] has a kernel generated by a separable polynomial.
    [Show full text]
  • Galois Theory for Schemes
    Galois theory for schemes H. W. Lenstra Mathematisch Instituut Universiteit Leiden Postbus 9512, 2300 RA Leiden The Netherlands First edition: 1985 (Mathematisch Instituut, Universiteit van Amsterdam) Second edition: 1997 (Department of Mathematics, University of California at Berkeley) Electronic third edition: 2008 Table of contents Introduction 1–5 Coverings of topological spaces. The fundamental group. Finite ´etalecoverings of a scheme. An example. Contents of the sections. Prerequisites and conventions. 1. Statement of the main theorem 6–16 Free modules. Free separable algebras. Finite ´etalemorphisms. Projective limits. Profinite groups. Group actions. Main theorem. The topological fundamental group. Thirty exercises. 2. Galois theory for fields 17–32 Infinite Galois theory. Separable closure. Absolute Galois group. Finite algebras over a field. Separable algebras. The main theorem in the case of fields. Twenty-nine exercises. 3. Galois categories 33–53 The axioms. The automorphism group of the fundamental functor. The main theorem about Galois categories. Finite coverings of a topological space. Proof of the main theorem about Galois categories. Functors between Galois categories. Twenty-seven exercises. 4. Projective modules and projective algebras 54–68 Projective modules. Flatness. Local characterization of projective modules. The rank. The trace. Projective algebras. Faithfully projective algebras. Projective separable algebras. Forty- seven exercises. 5. Finite ´etale morphisms 69–82 Affine morphisms. Locally free morphisms. The degree. Affine characterization of finite ´etale morphisms. Surjective, finite, and locally free morphisms. Totally split morphisms. Charac- terization of finite ´etale morphisms by means of totally split morphisms. Morphisms between totally split morphisms are locally trivial. Morphisms between finite ´etale morphisms are fi- nite ´etale.Epimorphisms and monomorphisms.
    [Show full text]
  • Part III — Algebras
    Part III | Algebras Based on lectures by C. J. B. Brookes Notes taken by Dexter Chua Lent 2017 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after lectures. They are nowhere near accurate representations of what was actually lectured, and in particular, all errors are almost surely mine. The aim of the course is to give an introduction to algebras. The emphasis will be on non-commutative examples that arise in representation theory (of groups and Lie algebras) and the theory of algebraic D-modules, though you will learn something about commutative algebras in passing. Topics we discuss include: { Artinian algebras. Examples, group algebras of finite groups, crossed products. Structure theory. Artin{Wedderburn theorem. Projective modules. Blocks. K0. { Noetherian algebras. Examples, quantum plane and quantum torus, differen- tial operator algebras, enveloping algebras of finite dimensional Lie algebras. Structure theory. Injective hulls, uniform dimension and Goldie's theorem. { Hochschild chain and cochain complexes. Hochschild homology and cohomology. Gerstenhaber algebras. { Deformation of algebras. { Coalgebras, bialgebras and Hopf algebras. Pre-requisites It will be assumed that you have attended a first course on ring theory, eg IB Groups, Rings and Modules. Experience of other algebraic courses such as II Representation Theory, Galois Theory or Number Fields, or III Lie algebras will be helpful but not necessary. 1 Contents III Algebras Contents 0 Introduction 3 1 Artinian algebras 6 1.1 Artinian algebras . .6 1.2 Artin{Wedderburn theorem . 13 1.3 Crossed products . 18 1.4 Projectives and blocks . 19 1.5 K0 ................................... 27 2 Noetherian algebras 30 2.1 Noetherian algebras .
    [Show full text]
  • NONCOMMUTATIVE RINGS Michael Artin
    NONCOMMUTATIVE RINGS Michael Artin class notes, Math 251, Berkeley, fall 1999 I began writing notes some time after the semester began, so the beginning of the course (diamond lemma, Peirce decomposition, density and Wedderburn theory) is not here. Also, the first chapter is sketchy and unreadable. The remaining chapters, though not in good shape, are a fair record of the course except for the last two lectures, which were on graded algebras of GK dimension two and on open problems. I. Morita equivalence 1. Hom 3 2. Bimodules 3 3. Projective modules 4 4. Tensor products 5 5. Functors 5 6. Direct limits 6 7. Adjoint functors 7 8. Morita equivalence 10 II. Localization and Goldie's theorem 1. Terminology 13 2. Ore sets 13 3. Construction of the ring of fractions 15 4. Modules of fractions 18 5. Essential submodules and Goldie rank 18 6. Goldie's theorem 20 III. Central simple algebras and the Brauer group 1. Tensor product algebras 23 2. Central simple algebras 25 3. Skolem-Noether theorem 27 4. Commutative subfields of central simple algebras 28 5. Faithful flatness 29 6. Amitsur complex 29 7. Interlude: analogy with bundles 32 8. Characteristic polynomial for central simple algebras 33 9. Separable splitting fields 35 10. Structure constants 36 11. Smooth maps and idempotents 37 12. Azumaya algebras 40 13. Dimension of a variety 42 14. Background on algebraic curves 42 15. Tsen's theorem 44 1 2 IV. Maximal orders 1. Lattices and orders 46 2. Trace pairing on Azumaya algebras 47 3. Separable algebras 49 4.
    [Show full text]
  • 4Étale Algebras, Norm and Trace
    18.785 Number theory I Fall 2017 Lecture #4 09/18/2017 4 Etale´ algebras, norm and trace 4.1 Separability In this section we briefly review some standard facts about separable and inseparable field extensions that we will use repeatedly throughout the course. Those familiar with this material should feel free to skim it. In this section K denotes any field, K is an algebraic closure that we will typically choose to contain any extensions L=K under consideration, P i 0 P i−1 and for any polynomial f = aix 2 K[x] we use f := iaix to denote the formal derivative of f (this definition also applies when K is an arbitrary ring). Definition 4.1. A nonzero polynomial f in K[x] is separable if (f; f 0) = (1), that is, gcd(f; f 0) is a unit in K[x]. Otherwise f is inseparable. If f is separable then it splits into distinct linear factors over over K, where it has deg f distinct roots; this is sometimes used as an alternative definition. Note that the proper of separability is intrinsic to the polynomial f, it does not depend on the field we are working in; in particular, if L=K is any field extension whether or not a polynomial in f 2 K[x] ⊆ L[x] does not depend on whether we view f as an element of K[x] or L[x]. Warning 4.2. Older texts (such as Bourbaki) define a polynomial in K[x] to be separable if all of its irreducible factors are separable (under our definition); so (x − 1)2 is separable under this older definition, but not under ours.
    [Show full text]
  • Projective Modules Over Central Separable Algebras
    PROJECTIVE MODULES OVER CENTRAL SEPARABLE ALGEBRAS F. R. DEMEYER In (2), M. Auslander and O. Goldman laid the foundations for the study of central separable algebras. For unexplained terminology and notation, see (2). Here we are interested in projective modules and the ideal structure of a central separable algebra A over some special commutative rings K. When K is a field, one consequence of Wedderburn's Theorem is that there is a unique (up to isomorphism) irreducible A -module. We show here that if K is a com­ mutative ring with a finite number of maximal ideals (semi-local) and with no idempotents other than 0 and 1 or if K is the ring of polynomials in one variable over a perfect field, then there is a unique (up to isomorphism) indecomposable finitely generated projective A -module. An example in (3) shows that this result fails if one only assumes that K is a principal ideal domain. If K is either a semi-local ring with no idempotents other than 0 and 1 or a ring of polynomials in one variable over a perfect field, we can obtain the structure of a central separable iT-algebra in terms of a unique (up to isomorphism) central separable i£-algebra D which has no idempotents other than 0 and 1. In the Brauer group of K, D plays the same role that the division algebras do when K is a field. We also extend an important theorem on lifting automorphisms in separable algebras (6). Theorem 1 and Corollary 1 are due to G.
    [Show full text]
  • Separable Algebras
    GRADUATE STUDIES IN MATHEMATICS 183 Separable Algebras Timothy J. Ford American Mathematical Society 10.1090/gsm/183 Separable Algebras GRADUATE STUDIES IN MATHEMATICS 183 Separable Algebras Timothy J. Ford American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dan Abramovich Daniel S. Freed (Chair) Gigliola Staffilani Jeff A. Viaclovsky 2010 Mathematics Subject Classification. Primary 16H05, 15B05, 13A15, 13C20, 14F20, 14B25, 16-01, 13-01. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-183 Library of Congress Cataloging-in-Publication Data Names: Ford, Timothy J., 1954- Title: Separable algebras / Timothy J. Ford. Description: Providence, Rhode Island : American Mathematical Society, [2017] | Series: Gradu- ate studies in mathematics ; volume 183 | Includes bibliographical references and index. Identifiers: LCCN 2017013677 | ISBN 9781470437701 (alk. paper) Subjects: LCSH: Separable algebras–Textbooks. | Associative rings–Textbooks. | AMS: Associa- tive rings and algebras – Algebras and orders – Separable algebras (e.g., quaternion algebras, Azumaya algebras, etc.). msc | Commutative algebra – Ring extensions and related topics – Etale´ and flat extensions; Henselization; Artin approximation. msc | Commutative algebra – Ring extensions and related topics – Galois theory. msc | Commutative algebra – General commutative ring theory – Ideals; multiplicative ideal theory. msc | Commutative algebra – Theory of modules and ideals – Class groups. msc | Algebraic geometry – (Co)homology theory – Etale´ and other Grothendieck topologies and (co)homologies. msc | Algebraic geometry – Local theory – Local structure of morphisms: Etale,´ flat, etc. msc | Associative rings and alge- bras – Instructional exposition (textbooks, tutorial papers, etc.). msc | Commutative algebra – Instructional exposition (textbooks, tutorial papers, etc.). msc Classification: LCC QA251.5 .F67 2017 | DDC 512/.46–dc23 LC record available at https://lccn.
    [Show full text]
  • On Automorphisms of Separable Algebras
    Pacific Journal of Mathematics ON AUTOMORPHISMS OF SEPARABLE ALGEBRAS LINDSAY NATHAN CHILDS AND FRANK RIMI DEMEYER Vol. 23, No. 1 March 1967 PACIFIC JOURNAL OF MATHEMATICS Vol. 23, No. 1, 1967 ON AUTOMORPHISMS OF SEPARABLE ALGEBRAS L. N. CHILDS AND F. R. DEMEYER This paper presents a Galois theory for separable algebras over a (not necessarily Noetherian) semi-local ring. Our theory is patterned after, but independent of the Galois theory of G. Hochschild; over a perfect field Hochschild's theory and ours coincide. In order to present this theory we first present some re- sults concerning separable algebras over semilocal rings. The most important of these is a generalization of the Skolem- Noether theorem. Our theorem states that any algebra mo- nomorphism of a separable subalgebra without central idempo- tents into a central separable algebra whose center is semi- local extends to an inner automorphism. We assume throughout this paper that all rings have identity, all subrings contain the identity of the larger ring, all modules are unitary and all ring homomorphisms carry identity to identity. The notation [S: R] will denote the rank of S as a free iϋ-module, and if R is a commutative ring, the statement "R is connected" will mean that R has no idempotents other than 0 and 1. We will assume the reader is familiar with [1] and [6], all unexplained notation is as in [1]. We begin by noting the following facts, which we will sometimes employ without reference in the sequel. They will eliminate the need for assumptions of finite generation and projectivity in many places as we proceed: LEMMA.
    [Show full text]
  • Arxiv:Math/9809084V3 [Math.QA] 28 Sep 1999
    The structure of Frobenius algebras and separable algebras S. Caenepeel Bogdan Ion Faculty of Applied Sciences Department of Mathematics Free University of Brussels, VUB Princeton University Pleinlaan 2 Fine Hall, Washington Road B-1050 Brussels, Belgium Princeton, NJ 08544-1000, USA G. Militaru∗ Faculty of Mathematics University of Bucharest Str. Academiei 14 RO-70109 Bucharest 1, Romania Abstract We present a unified approach to the study of separable and Frobenius algebras. The crucial observation is that both types of algebras are related to the nonlinear equation R12R23 = R23R13 = R13R12, called the FS-equation. Solutions of the FS-equation automatically satisfy the braid equation, an equation that is in a sense equivalent to the quantum Yang-Baxter equation. Given a solution to the FS-equation satisfying a certain normalizing condition, we can construct a Frobenius algebra or a separable algebra A(R) - the normalizing condition is different in both cases. The main result of this paper is the structure of these two fundamental types of algebras: a finitely generated projective Frobenius or separable k- algebra A is isomorphic to such an A(R). If A is a free k-algebra, then A(R) can be described using generators and relations. A new characterization of Frobenius extensions is given: B ⊂ A is Frobenius if and only if A has a B-coring structure (A, ∆,ε) such that the comultiplication ∆ : A → A ⊗B A is an A-bimodule map. 0 Introduction arXiv:math/9809084v3 [math.QA] 28 Sep 1999 Frobenius extensions in noncommutative ring theory have been introduced by Kasch [31], as generalizations of the classical notion of Frobenius algebras over a field (see also [42], [43], [46]).
    [Show full text]