Lie Superalgebras and Lie Supergroups, II
|
|
- Bridget Dalton
- 6 years ago
- Views:
Transcription
1 Seminar Sophus Lie Lie Superalgebras and Lie Supergroups, II Helmut Boseck 6. The Hopf Dual. Let H = H 0 H 1 denote an affine Hopf superalgebra, i.e. a Z 2 -graded commutative, finitely generated Hopf algebra. The set GH = hom alg H; K of algebra homomorphisms mapping the superalgebra H onto the base field is a group with respect to convolution, called the structure group of H. The convolution is defined by γ 1 γ 2 = γ 1 γ 2. It holds γ 1 γ 2 GH if γ 1, γ 2 GH, and γ ε = γ = ε γ, and γ γσ = ε = γσ γ. By an easy calculation we have f.i. γ ε = γ ε = γid H ε = γid H = γ, and γσ γ = γσ γ = γ γσ id H = γµσ id H = γιε = ε. Let H = H/H 1 denote the quotient of H by the homogeneous ideal generated by H 1, which is a coideal too: H H 1 H 0 + H 0 H 1, εh 1 = 0, and σh 1 H 1. H is an affine Hopf algebra and there is a canonical isomorphism between the structure groups of H and H GH = GH. Let Λ denote a Grassmann algebra and let GH; Λ = hom alg H; Λ denote the set of algebra homomorphisms mapping H into Λ, then GH; Λ is a group with respect to convolution. The equation π Λ γ Λ = p 0 γ Λ with γ Λ GH; Λ defines an epimorphism π Λ mapping GH; Λ onto GH. Moreover, by the inclusion K Λ we have a canonical embedding ι Λ of GH into GH; Λ. The diagram GH ι Λ GH; Λ π Λ GH implies a semidirect product structure of GH; Λ GH; Λ = GH KH; Λ. The normal subgroup KH; Λ = ker π Λ is a unipotent group. In the representation by block matrices from Matm, n; Λ the group KH; Λ consists of matrices of the form Em B 1 Λ. B 0 Λ A differentiation λ : H K of H is a linear mapping satisfying the equation E n λxy = λxεy + εxλy, X, Y H.
2 4 Boseck Let λ 1 and λ 2 denote homogeneous differentiations of H. Then [λ 1, λ 2 ] = λ 1 λ 2 1 λ 1 λ 2 λ 2 λ 1 is a homogeneous differentiation of H. Let L 0H and L 1H denote the linear space of even and odd differentiations of H respectively. The linear space LH = L 0H L 1H is a Lie superalgebra with respect to the brackets defined above. LH is called the Liesuperalgebra of the Hopf superalgebra H. Let λ Λ : H Λ denote an even linear mapping satisfying the equation λ Λ XY = λ Λ XεY +εxλ Λ Y, X, Y H. We shall call it a Λ-differentiation of H. Then it holds The linear space LH; Λ of Λ- differentiations of H is a Lie algebra with respect to the brackets [λ 1Λ, λ 2Λ ] = λ 1Λ λ 2Λ λ 2Λ λ 1Λ. The Lie algebra LH; Λ is isomorphic to the Grassmann-hull of the Lie superalgebra LH. The algebraic dual H = H 0 H 1 of the Hopf superalgebra H is an associative superalgebra with unit. The product of H is the convolution, i.e. the restriction of the dual mapping : H H H of the coproduct to the subspace H H of H H. Let H denote the subalgebra of H consisting of those linear functionals ϕ H which vanish on a homogeneous ideal of finite codimension in H. Then it is known, that the restriction of the dual mapping µ of the product map µ of H to H maps H into H H and hence defines a coproduct in H. Moreover, the restriction of the dual map σ of the antipode σ of H to H is an antipode σ of H. At last, the counit of H is the evaluation of the linear functionals at the unit of H. H = H 0 H 1 is a cocommutative Hopf superalgebra. It is called the Hopfdual of H. The structure group GH consists of the group-like elements of H : γ GH iff γ = γ γ. The structure group of H is the group of units in H. The Lie superalgebra LH consists of the primitive or Liealgebra-like elements of H : λ LH iff λ = λ ε + ε λ. It is easy to verify the following equations : < γ, X Y > = < γ, XY > = < γ, X >< γ, Y > = < γ γ, X Y >, and < λ, X Y > = < λ, XY > = < λ, X >< ε, Y > + < ε, X >< λ, Y > = < λ ε + ε λ, X Y >, X, Y H. Structure Theorem of cocommutative Hopf superalgebras. Sweedler,Kostant Let H denote a cocommutative Hopf superalgebra, G its group of group-like elements and L its Lie superalgebra of primitive elements. Let KG denote the group algebra of G and UL the enveloping superalgebra of L. Then H is a smashed product of KG and UL.
3 Boseck 5 As a corollary from this theorem we mention The Hopf dual H of a Hopf superalgebra H is generated by its structure group GH and its Lie superalgebra LH. 7. Affine Algebraic Supergroups. Let G denote a group. A representative function on G is a K-valued function f on G with the property that span{f g ; g G} or span{ g f; g G} is finite dimensional. It is f g g = fg g and g fg = fg 1 g. Proposition.Hochschild The representative functions of G make up an affine Hopf algebra R G. The coproduct is defined by the equation fg 1, g 2 = fg 1 g 2 using the isomorphism of R G G with R G R G. The counit ε is the evaluation at the identity : ε f = fe and the antipode σ is defined by σ fg = fg 1. Definition.Hochschild The structure of an affine algebraic group is a pair G, P consisting of a group G and a sub Hopf algebra P of R G satisfying the following properties i. P separates the points of G ; ii. every algebra homomorphism γ : P K is the evaluation at a group element. The algebra P is called the algebra of polynomial functions on G. The properties i. and ii. imply a canonical isomorphism G = GP and L 0 = LP is the Lie algebra of the affine algebraic group G, P. Proposition.Hochschild Let H denote an affine Hopf algebra, then GH, H is an affine algebraic group structure. Definition. The structure of an affine algebraic supergroup is a pair G, P consisting of a group G and an affine Hopf superalgebra P satisfying the following property:. There is a sub Hopf algebra P of R G and a finite dimensional vector space W such that it holds i. P = P ΛW is an isomorphism of associative superalgebras; ii. the canonical projection p : P P is a morphism of supercoalgebras compatible with the antipodes; iii. G, P is the structure of an affine algebraic group. Property ii. is equivalent to the equations : p p = p, ε = ε p, and pσ = σ p. Property iii. implies canonical isomorphisms GP = GP = G. Every algebra homomorphism γ : P K is of the following type: projection by p and evaluation at a group element. P = P 0 P 1 is called the superalgebra of polynomial functions in commuting and anticommuting variables on G. LP = L = L 0 L 1 is called the Lie superalgebra of the affine algebraic supergroup G, P. Evidently holds: dim L 0 = dimg, P = degree of transcendency of QP /K ; QP denotes the quotient field of P provided the algebraic group
4 6 Boseck structure G, P is irreducible, i.e. P is an integral domain; and dim L 1 = dim W. Proposition. Let H = H 0 H 1 denote an affine Hopf superalgebra, then GH, H is the structure of an affine algebraic supergroup. If H = H ΛW, then it holds GH = GH canonically and GH, H is the structure of an affine algebraic group, the underlying algebraic group of the algebraic supergroup GH, H. Assume L = L 0 L 1 to be a finite dimensional Lie superalgebra. Denote by UL its enveloping algebra, UL is a cocommutative Hopf superalgebra: λ = λ ε + ε λ ; λ L, ε denotes the unit element of UL. Its Hopf dual U L is a commutative Hopf superalgebra. It holds the following isomorphism of associative, commutative superalgebras: U L = U L 0 ΛL 1. Proposition. The following statements are equivalent i U L is an affine Hopf superalgebra; ii [L 0, L 0] = L 0; iii LU L = L. If one of the statements i - iii holds, then G = GU L = GU L 0 is the connectend and simply connected algebraic Lie group associated to L 0 and G, U L is the structure of an affine algebraic supergroup. Corollary. Let L denote a finite dimensional Lie superalgebra with semisimple even part L 0, and let G denote the connected, simply connected, semisimple Lie group corresponding to L 0, then G, U L 0 is the structure of an affine algebraic supergroup. 8. Representations. Let us start with a motivation. Let L = L 0 L 1 denote a Lie superalgebra, and let V = V 0 V 1 denote a finite dimensional linear superspace. Assume that ρ : L L L V is a representation of L and Uρ : UL LV its lift to the enveloping algebra UL. Put δvu = 1 u v Uρuv, with u UL, v V and homogeneous. δv is a V -valued representative function of L : δv U L V. The map δ : V U L makes V an U L-left supercomodule. Every representation of the Lie superalgebra L defines an U L-left supercomodule structure on the representation superspace V. Definition. Let H = H 0 H 1 denote a Hopf superalgebra. A H-left supercomodule is a linear superspace V = V 0 V 1 endowed with an even linear mapping δ : V H V satisfying the following equations: id V δ = id H δδ ; ε id V δ = id V. Example 1. Let H = H 0 H 1 denote a Hopf superalgebra. Put V = H and δ =.
5 Boseck 7 H is a H-left -right supercomodul. Example 2. Assume H = SPm, n = K[X, X ]/detx detx ΛY, Y X = X Y Y X ; L = slm, n. Take V = K m,n = K m,0 K 0,n, and let e 1,..., e m and f 1,..., f n denote the canonical basis of K m,0 and K 0,n respectively. Write In more detail E = e 1. e m f 1. f n and δe = X E. δe µ = δf ν = m n X µj e j + Y µk f k, j=1 k=1 m n Y νj e j + X νk f k. j=1 k=1 It holds id V δe = id V X E = X E = X X E = X X E = id H δδe; ε id V δe = ε id V X E = εx E = EE. K m,n is a SPm, n-left supercomodule. Let H = H 0 H 1 denote a Hopf superalgebra. A block matrix X Matm, n; H is called multiplicative, if it holds X = X X. Proposition.Manin The H-left supercomodules K m,n, δ are in oneto-one correspondence to the multiplicative block matrices X Matm, n; H. Given δ : K m,n H K m,n we may compute X from δe = X E, and given a multiplicative X Matm, n; H, δ is defined by the same equation. A linear mapping f : K m,n K m,n is a morphism of the supercomodules K m,n, δ and K m,n, δ, if there is a block matrix F interchanging the corresponding multiplicative block matrices X and X : FX = X F and fe = FE. Let H = H 0 H 1 denote a Hopf superalgebra and let V, δ denote a H-left supercomodule not necessarily finite dimensional. If ϕ H = H 0 H 1 then the equation ρ ϕ = ϕ id V δ defines a representation ρ of the associative superalgebra H over V.
6 8 Boseck By suitable restrictions of ρ we get representations of the superalgebra H, of the structure group GH, and of the Lie superalgebra LH: ρ ϕ = ϕ id V δ, ϕ H ; ρ G γ = γ id V δ, γ GH; ρ L λ = λ id V δ, λ LH. Let G, P denote an affine algebraic supergroup and assume V = P as P -left supercomodule P,. The corresponding representation ρ L of the Lie superalgebra L = LP is called the left regular representation of L. Proposition. The left regular representation of the Lie superalgebra L = LP of the affine algebraic supergroup G, P is an isomorphism of L onto the Lie superalgebra Der r P of right invariant derivations on P : LP = Der r P. Let us start with an affine algebraic supergroup G, P. If K m,n, δ is a P - left supercomodule, and X denotes the corresponding multiplicative block matrix, then we may get matrix representations of the group G and its Lie superalgebra L = LP as well, in the following way: γx 0 ρ G γ = γx = 0 γx ; λx λy ρ L λ = ΛX = λy ΛX. We may also get representations of the group G Λ = GP; Λ and of the Lie algebra L Λ = LP; Λ by Λ matrices : γλ X γ ρ G γ Λ = γ Λ X = Λ Y γ Λ Y γ Λ X ; λλ X λ ρ L λ Λ = λ Λ X = Λ Y λ Λ Y λ Λ X. References [1] Abe, E., Hopf algebras, Cambridge University Press [2] Berezin, F. A., Introduction to algebra and analysis with anticommuting variables, Russian Moscow University [3] Boseck H., On representative functions of Lie superalgebras, Math.Nachr , 61 72; Correction to my paper: On representative functions..., Math. Nachr , [4], Affine Lie supergroups, Math. Nachr , [5], Classical Lie supergroups, Math. Nachr , [6], Lie superalgebras and Lie supergroups, I Seminar Sophus Lie Heldermann Verlag Berlin, , [7] Corwin, L., Y. Ne eman, and S. Sternberg, Graded Lie algebras in Mathematics and Physics Bose-Fermi-symmetry, Rev. of Mod. Physics ,
7 Boseck 9 [8] Heynemann, R. G., and M. E. Sweedler Affine Hopf algebras I, J. of Algebra , [9] Hochschild, G., Algebraic groups and Hopfalgebras, Illinois J. Math , [10], Introduction to Affine Algebraic Groups, Holden Day Inc., San Francisco etc., [11], Basic Theory of Algebraic Groups and Lie Algebras, Graduate Texts in Math. 75, Springer Verlag Berlin etc., [12] Kac, V. G., Lie superalgebras, Adv. in Math , [13] Kostant, B., Graded manifolds, graded Lie theory, and prequantization, Lect. Notes in Math , [14] Manin, Y., Quantum Groups and Noncommutative Geometry, CRM Université de Montreal [15] Milnor J., and J. Moore, On the structure of Hopf algebras, Ann. of Math , [16] Scheunert M., The Theory of Lie Superalgebras, Lect. Notes in Math. 716, Springer Verlag, Berlin etc., [17] Sweedler M. E. Hopf Algebras, Benjamin Inc., New York, Fachrichtungen Mathematik/Informatik Ernst Moritz Arndt Universität Greifswald Friedrich Ludwig Jahn-Straße 15a O-2200 Greifswald, Germany Received March 31, 1992
On Algebraic and Semialgebraic Groups and Semigroups
Seminar Sophus Lie 3 (1993) 221 227 Version of July 15, 1995 On Algebraic and Semialgebraic Groups and Semigroups Helmut Boseck 0. This is a semi lecture 1 whose background is as follows: The Lie-theory
More informationOn integrals of Quantum Supergroup U q gl(n m)
On integrals of Quantum Supergroup U q gl(n m) Jianjun Paul Tian Department of Mathematical Sciences New Mexico State University, Las Cruces, NM 88001 Abstract A linear basis of quantum supergroup U q
More informationLecture 4 Super Lie groups
Lecture 4 Super Lie groups In this lecture we want to take a closer look to supermanifolds with a group structure: Lie supergroups or super Lie groups. As in the ordinary setting, a super Lie group is
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationAtypical representations of the Lie superalgebra sl(1,n) for n greater than 1
Seminar Sophus Lie 3 (1993) 15 24 Atypical representations of the Lie superalgebra sl(1,n) for n greater than 1 Hartmut Schlosser 1. Preliminaries The Lie superalgebra (LSA) sl(1, n) with n > 1 is a concrete
More informationCombinatorial Dyson-Schwinger equations and systems I Feynma. Feynman graphs, rooted trees and combinatorial Dyson-Schwinger equations
Combinatorial and systems I, rooted trees and combinatorial Potsdam November 2013 Combinatorial and systems I Feynma In QFT, one studies the behaviour of particles in a quantum fields. Several types of
More informationCohomology of Hopf Algebras
Texas A&M University Workshop on Algebras at UNT April 23, 2011 Introduction Motivation Homological algebra has a large number of applications in many different fields Hopf algebra structure The finite
More informationA global version of the quantum duality principle
A global version of the quantum duality principle Fabio Gavarini Università degli Studi di Roma Tor Vergata Dipartimento di Matematica Via della Ricerca Scientifica 1, I-00133 Roma ITALY Received 22 August
More informationne varieties (continued)
Chapter 2 A ne varieties (continued) 2.1 Products For some problems its not very natural to restrict to irreducible varieties. So we broaden the previous story. Given an a ne algebraic set X A n k, we
More informationFrobenius Green functors
UC at Santa Cruz Algebra & Number Theory Seminar 30th April 2014 Topological Motivation: Morava K-theory and finite groups For each prime p and each natural number n there is a 2-periodic multiplicative
More informationTHE QUANTUM DOUBLE AS A HOPF ALGEBRA
THE QUANTUM DOUBLE AS A HOPF ALGEBRA In this text we discuss the generalized quantum double construction. treatment of the results described without proofs in [2, Chpt. 3, 3]. We give several exercises
More informationOn the Grothendieck Ring of a Hopf Algebra
On the Grothendieck Ring of a Hopf Algebra H is a fin. dim l Hopf algebra over an alg. closed field k of char p 0, with augmentation ε, antipode S,.... (1) Grothendieck ring and character algebra The Grothendieck
More informationAutomorphisms and twisted forms of Lie conformal superalgebras
Algebra Seminar Automorphisms and twisted forms of Lie conformal superalgebras Zhihua Chang University of Alberta April 04, 2012 Email: zhchang@math.ualberta.ca Dept of Math and Stats, University of Alberta,
More informationMULTIPLICATIVE FIBRE MAPS
MULTIPLICATIVE FIBRE MAPS BY LARRY SMITH 1 Communicated by John Milnor, January 9, 1967 In this note we shall outline a result concerning the cohomology of a multiplicative fibre map. To fix our notation
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationBURNSIDE'S THEOREM FOR HOPF ALGEBRAS D. S. PASSMAN AND DECLAN QUINN. (Communicated by Ken Goodearl)
proceedings of the american mathematical society Volume 123, Number 2, February 1995 BURNSIDE'S THEOREM FOR HOPF ALGEBRAS D. S. PASSMAN AND DECLAN QUINN (Communicated by Ken Goodearl) Abstract. A classical
More informationTranscendental Numbers and Hopf Algebras
Transcendental Numbers and Hopf Algebras Michel Waldschmidt Deutsch-Französischer Diskurs, Saarland University, July 4, 2003 1 Algebraic groups (commutative, linear, over Q) Exponential polynomials Transcendence
More informationWhat is a quantum symmetry?
What is a quantum symmetry? Ulrich Krähmer & Angela Tabiri U Glasgow TU Dresden CLAP 30/11/2016 Uli (U Glasgow) What is a quantum symmetry? CLAP 30/11/2016 1 / 20 Road map Classical maths: symmetries =
More informationMATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA
MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationALGEBRAIC GROUPS: PART III
ALGEBRAIC GROUPS: PART III EYAL Z. GOREN, MCGILL UNIVERSITY Contents 10. The Lie algebra of an algebraic group 47 10.1. Derivations 47 10.2. The tangent space 47 10.2.1. An intrinsic algebraic definition
More informationNon-Commutative Covariant Differential Calculi on Quantum Spaces and Quantum Groups
Seminar Sophus Lie 1 (1991) 125 132 Non-Commutative Covariant Differential Calculi on Quantum Spaces and Quantum Groups Konrad Schmüdgen 1. Introduction There are two alternative fundamental approaches
More informationLECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C)
LECTURE 3: REPRESENTATION THEORY OF SL 2 (C) AND sl 2 (C) IVAN LOSEV Introduction We proceed to studying the representation theory of algebraic groups and Lie algebras. Algebraic groups are the groups
More informationHopf Algebras. Zajj Daugherty. March 6, 2012
Hopf Algebras Zajj Daugherty March 6, 2012 Big idea: The Hopf algebra structure is essentially what one needs in order to guarantee that tensor products of modules are also modules Definition A bialgebra
More informationAlgebra properties invariant under twisting
Algebra properties invariant under twisting S. MONTGOMERY University of Southern California, Los Angeles, CA 90089-1113, USA e-mail address: smontgom@math.usc.edu Abstract. For a finite-dimensional Hopf
More informationTowers of algebras categorify the Heisenberg double
Towers of algebras categorify the Heisenberg double Joint with: Oded Yacobi (Sydney) Alistair Savage University of Ottawa Slides available online: AlistairSavage.ca Preprint: arxiv:1309.2513 Alistair Savage
More informationHopf subalgebras of the Hopf algebra of rooted trees coming from Dyson-Schwinger equations and Lie algebras of Fa di Bruno type
Hopf subalgebras of the Hopf algebra of rooted trees coming from Dyson-Schwinger equations and Lie algebras of Fa di Bruno type Loïc Foissy Contents 1 The Hopf algebra of rooted trees and Dyson-Schwinger
More informationA Leibniz Algebra Structure on the Second Tensor Power
Journal of Lie Theory Volume 12 (2002) 583 596 c 2002 Heldermann Verlag A Leibniz Algebra Structure on the Second Tensor Power R. Kurdiani and T. Pirashvili Communicated by K.-H. Neeb Abstract. For any
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics PICARD VESSIOT EXTENSIONS WITH SPECIFIED GALOIS GROUP TED CHINBURG, LOURDES JUAN AND ANDY R. MAGID Volume 243 No. 2 December 2009 PACIFIC JOURNAL OF MATHEMATICS Vol. 243,
More informationAN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE
AN EXACT SEQUENCE FOR THE BROADHURST-KREIMER CONJECTURE FRANCIS BROWN Don Zagier asked me whether the Broadhurst-Kreimer conjecture could be reformulated as a short exact sequence of spaces of polynomials
More informationAn Algebraic Approach to Hybrid Systems
An Algebraic Approach to Hybrid Systems R. L. Grossman and R. G. Larson Department of Mathematics, Statistics, & Computer Science (M/C 249) University of Illinois at Chicago Chicago, IL 60680 October,
More informationElementary (super) groups
Elementary (super) groups Julia Pevtsova University of Washington, Seattle Auslander Days 2018 Woods Hole 2 / 35 DETECTION QUESTIONS Let G be some algebraic object so that Rep G, H (G) make sense. Question
More informationHopf algebras in renormalisation for Encyclopædia of Mathematics
Hopf algebras in renormalisation for Encyclopædia of Mathematics Dominique MANCHON 1 1 Renormalisation in physics Systems in interaction are most common in physics. When parameters (such as mass, electric
More informationDESCRIPTION OF SIMPLE MODULES FOR SCHUR SUPERALGEBRA S(2j2)
DESCRIPTION OF SIMPLE MODULES FOR SCHUR SUPERALGEBRA S(22) A.N. GRISHKOV AND F. MARKO Abstract. The goal of this paper is to describe explicitly simple modules for Schur superalgebra S(22) over an algebraically
More informationarxiv:q-alg/ v1 9 Aug 1997
DAMTP/97-76 arxiv:q-alg/9708010v1 9 Aug 1997 COALGEBRA EXTENSIONS AND ALGEBRA COEXTENSIONS OF GALOIS TYPE Tomasz Brzeziński 1 and Piotr M. Hajac 2 Department of Applied Mathematics and Theoretical Physics,
More informationarxiv:math/ v1 [math.rt] 1 Jul 1996
SUPERRIGID SUBGROUPS OF SOLVABLE LIE GROUPS DAVE WITTE arxiv:math/9607221v1 [math.rt] 1 Jul 1996 Abstract. Let Γ be a discrete subgroup of a simply connected, solvable Lie group G, such that Ad G Γ has
More informationTakeuchi s Free Hopf Algebra Construction Revisited
Takeuchi s Free Hopf Algebra Construction Revisited Hans E. Porst Department of Mathematics, University of Bremen, 28359 Bremen, Germany Abstract Takeuchi s famous free Hopf algebra construction is analyzed
More informationSkew Calabi-Yau algebras and homological identities
Skew Calabi-Yau algebras and homological identities Manuel L. Reyes Bowdoin College Joint international AMS-RMS meeting Alba Iulia, Romania June 30, 2013 (joint work with Daniel Rogalski and James J. Zhang)
More informationCOLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS
COLOR LIE RINGS AND PBW DEFORMATIONS OF SKEW GROUP ALGEBRAS S. FRYER, T. KANSTRUP, E. KIRKMAN, A.V. SHEPLER, AND S. WITHERSPOON Abstract. We investigate color Lie rings over finite group algebras and their
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More information58 CHAPTER 2. COMPUTATIONAL METHODS
58 CHAPTER 2. COMPUTATIONAL METHODS 23 Hom and Lim We will now develop more properties of the tensor product: its relationship to homomorphisms and to direct limits. The tensor product arose in our study
More informationarxiv: v1 [math.gr] 11 Dec 2008
A LIMIT APPROACH TO GROUP HOMOLOGY arxiv:0812.2092v1 [math.gr] 11 Dec 2008 IOANNIS EMMANOUIL AND ROMAN MIKHAILOV Abstract. In this paper, we consider for any free presentation G = F/R of a group G the
More informationTCC Homological Algebra: Assignment #3 (Solutions)
TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More informationKac-Moody Algebras. Ana Ros Camacho June 28, 2010
Kac-Moody Algebras Ana Ros Camacho June 28, 2010 Abstract Talk for the seminar on Cohomology of Lie algebras, under the supervision of J-Prof. Christoph Wockel Contents 1 Motivation 1 2 Prerequisites 1
More informationDEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1
DEFORMATIONS OF ALGEBRAS IN NONCOMMUTATIVE ALGEBRAIC GEOMETRY EXERCISE SHEET 1 TRAVIS SCHEDLER Note: it is possible that the numbers referring to the notes here (e.g., Exercise 1.9, etc.,) could change
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationA Z N -graded generalization of the Witt algebra
A Z N -graded generalization of the Witt algebra Kenji IOHARA (ICJ) March 5, 2014 Contents 1 Generalized Witt Algebras 1 1.1 Background............................ 1 1.2 A generalization of the Witt algebra..............
More informationThus we get. ρj. Nρj i = δ D(i),j.
1.51. The distinguished invertible object. Let C be a finite tensor category with classes of simple objects labeled by a set I. Since duals to projective objects are projective, we can define a map D :
More informationNOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS
NOTES ON POLYNOMIAL REPRESENTATIONS OF GENERAL LINEAR GROUPS MARK WILDON Contents 1. Definition of polynomial representations 1 2. Weight spaces 3 3. Definition of the Schur functor 7 4. Appendix: some
More informationCoding theory: algebraic geometry of linear algebra David R. Kohel
Coding theory: algebraic geometry of linear algebra David R. Kohel 1. Introduction. Let R be a ring whose underlying set we call the alphabet. A linear code C over R is a free R-module V of rank k, an
More informationThe Dirac operator on quantum SU(2)
Rencontres mathématiques de Glanon 27 June - 2 July 2005 The Dirac operator on quantum SU(2) Walter van Suijlekom (SISSA) Ref: L. D abrowski, G. Landi, A. Sitarz, WvS and J. Várilly The Dirac operator
More informationarxiv:math/ v1 [math.ra] 9 Jun 2006
Noetherian algebras over algebraically closed fields arxiv:math/0606209v1 [math.ra] 9 Jun 2006 Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Drive Burnaby, BC, V5A 1S6
More informationNonassociative Lie Theory
Ivan P. Shestakov The International Conference on Group Theory in Honor of the 70th Birthday of Professor Victor D. Mazurov Novosibirsk, July 16-20, 2013 Sobolev Institute of Mathematics Siberian Branch
More informationMODULAR REPRESENTATIONS OF THE SUPERGROUP Q(n), I
MODULAR REPRESENTATIONS OF THE SUPERGROUP Q(n), I JONATHAN BRUNDAN AND ALEXANDER KLESHCHEV To Professor Steinberg with admiration 1. Introduction The representation theory of the algebraic supergroup Q(n)
More informationPROBLEMS, MATH 214A. Affine and quasi-affine varieties
PROBLEMS, MATH 214A k is an algebraically closed field Basic notions Affine and quasi-affine varieties 1. Let X A 2 be defined by x 2 + y 2 = 1 and x = 1. Find the ideal I(X). 2. Prove that the subset
More informationLIE ALGEBRAS: LECTURE 3 6 April 2010
LIE ALGEBRAS: LECTURE 3 6 April 2010 CRYSTAL HOYT 1. Simple 3-dimensional Lie algebras Suppose L is a simple 3-dimensional Lie algebra over k, where k is algebraically closed. Then [L, L] = L, since otherwise
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationThe Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras
The Morozov-Jacobson Theorem on 3-dimensional Simple Lie Subalgebras Klaus Pommerening July 1979 english version April 2012 The Morozov-Jacobson theorem says that every nilpotent element of a semisimple
More informationSELF-DUAL HOPF QUIVERS
Communications in Algebra, 33: 4505 4514, 2005 Copyright Taylor & Francis, Inc. ISSN: 0092-7872 print/1532-4125 online DOI: 10.1080/00927870500274846 SELF-DUAL HOPF QUIVERS Hua-Lin Huang Department of
More informationLemma 1.3. The element [X, X] is nonzero.
Math 210C. The remarkable SU(2) Let G be a non-commutative connected compact Lie group, and assume that its rank (i.e., dimension of maximal tori) is 1; equivalently, G is a compact connected Lie group
More informationarxiv: v1 [math.qa] 23 Jul 2016
Obstructions for Twist Star Products Pierre Bieliavsky arxiv:1607.06926v1 [math.qa] 23 Jul 2016 Faculté des sciences Ecole de mathématique (MATH) Institut de recherche en mathématique et physique (IRMP)
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More informationBLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n)
BLOCKS IN THE CATEGORY OF FINITE-DIMENSIONAL REPRESENTATIONS OF gl(m n) VERA SERGANOVA Abstract. We decompose the category of finite-dimensional gl (m n)- modules into the direct sum of blocks, show that
More informationHochschild and cyclic homology of a family of Auslander algebras
Hochschild and cyclic homology of a family of Auslander algebras Rachel Taillefer Abstract In this paper, we compute the Hochschild and cyclic homologies of the Auslander algebras of the Taft algebras
More informationReducibility of generic unipotent standard modules
Journal of Lie Theory Volume?? (??)???? c?? Heldermann Verlag 1 Version of March 10, 011 Reducibility of generic unipotent standard modules Dan Barbasch and Dan Ciubotaru Abstract. Using Lusztig s geometric
More informationCanonical systems of basic invariants for unitary reflection groups
Canonical systems of basic invariants for unitary reflection groups Norihiro Nakashima, Hiroaki Terao and Shuhei Tsujie Abstract It has been known that there exists a canonical system for every finite
More informationLinear Algebraic Groups
Linear Algebraic Groups Fall 2015 These are notes for the graduate course Math 6690 (Linear Algebraic Groups) taught by Dr. Mahdi Asgari at the Oklahoma State University in Fall 2015. The notes are taken
More informationarxiv: v1 [math.rt] 14 Nov 2007
arxiv:0711.2128v1 [math.rt] 14 Nov 2007 SUPPORT VARIETIES OF NON-RESTRICTED MODULES OVER LIE ALGEBRAS OF REDUCTIVE GROUPS: CORRIGENDA AND ADDENDA ALEXANDER PREMET J. C. Jantzen informed me that the proof
More informationHalf the sum of positive roots, the Coxeter element, and a theorem of Kostant
DOI 10.1515/forum-2014-0052 Forum Math. 2014; aop Research Article Dipendra Prasad Half the sum of positive roots, the Coxeter element, and a theorem of Kostant Abstract: Interchanging the character and
More informationQuantum Groups and Link Invariants
Quantum Groups and Link Invariants Jenny August April 22, 2016 1 Introduction These notes are part of a seminar on topological field theories at the University of Edinburgh. In particular, this lecture
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationCYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138
CYCLIC HOMOLOGY AND THE BEILINSON-MANIN-SCHECHTMAN CENTRAL EXTENSION. Ezra Getzler Harvard University, Cambridge MA 02138 Abstract. We construct central extensions of the Lie algebra of differential operators
More informationc Copyright 2013 Guangbin Zhuang
c Copyright 2013 Guangbin Zhuang Hopf algebras of finite Gelfand-Kirillov dimension Guangbin Zhuang A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy
More informationA GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander
A GLIMPSE OF ALGEBRAIC K-THEORY: Eric M. Friedlander During the first three days of September, 1997, I had the privilege of giving a series of five lectures at the beginning of the School on Algebraic
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationarxiv: v1 [math.ag] 14 Mar 2019
ASYMPTOTIC CONSTRUCTIONS AND INVARIANTS OF GRADED LINEAR SERIES ariv:1903.05967v1 [math.ag] 14 Mar 2019 CHIH-WEI CHANG AND SHIN-YAO JOW Abstract. Let be a complete variety of dimension n over an algebraically
More informationDeformation of the `embedding'
Home Search Collections Journals About Contact us My IOPscience Deformation of the `embedding' This article has been downloaded from IOPscience. Please scroll down to see the full text article. 1997 J.
More informationTHE LIE ALGEBRA sl(2) AND ITS REPRESENTATIONS
An Şt Univ Ovidius Constanţa Vol 11(1), 003, 55 6 THE LIE ALGEBRA sl() AND ITS REPRESENTATIONS Camelia Ciobanu To Professor Silviu Sburlan, at his 60 s anniversary Abstract In this paper we present same
More informationOn Invariants of Complex Filiform Leibniz Algebras ABSTRACT INTRODUCTION
Malaysian Journal of Mathematical Sciences (): 47-59 (009) Isamiddin S.Rakhimov Department of Mathematics Faculty of Science and Institute for Mathematical Research Universiti Putra Malaysia 4400 UPM Serdang
More informationELEMENTARY BIALGEBRA PROPERTIES OF GROUP RINGS AND ENVELOPING RINGS: AN INTRODUCTION TO HOPF ALGEBRAS
ELEMENTARY BIALGEBRA PROPERTIES OF GROUP RINGS AND ENVELOPING RINGS: AN INTRODUCTION TO HOPF ALGEBRAS D. S. PASSMAN Abstract. This is a slight extension of an expository paper I wrote a while ago as a
More informationCOMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY
COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski
More informationON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA
italian journal of pure and applied mathematics n. 34 2015 (151 158) 151 ON THE CONJUGATION INVARIANT PROBLEM IN THE MOD p DUAL STEENROD ALGEBRA Neşet Deniz Turgay Bornova-Izmir 35050 Turkey e-mail: Deniz
More informationTrace fields of knots
JT Lyczak, February 2016 Trace fields of knots These are the knotes from the seminar on knot theory in Leiden in the spring of 2016 The website and all the knotes for this seminar can be found at http://pubmathleidenunivnl/
More informationNotes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop. Eric Sommers
Notes on nilpotent orbits Computational Theory of Real Reductive Groups Workshop Eric Sommers 17 July 2009 2 Contents 1 Background 5 1.1 Linear algebra......................................... 5 1.1.1
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 7.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 7. 7. Killing form. Nilpotent Lie algebras 7.1. Killing form. 7.1.1. Let L be a Lie algebra over a field k and let ρ : L gl(v ) be a finite dimensional L-module. Define
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE
ON CERTAIN CLASSES OF CURVE SINGULARITIES WITH REDUCED TANGENT CONE Alessandro De Paris Università degli studi di Napoli Federico II Dipartimento di Matematica e Applicazioni R. Caccioppoli Complesso Monte
More informationAuslander s Theorem for permutation actions on noncommutative algebras
Auslander s Theorem for permutation actions on noncommutative algebras (arxiv:1705.00068) Jason Gaddis Miami University Introduction This project is joint work with my collaborators at Wake Forest University.
More informationGeneric Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005
Generic Picard-Vessiot extensions for connected by finite groups Kolchin Seminar in Differential Algebra October 22nd, 2005 Polynomial Galois Theory case Noether first introduced generic equations in connection
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationFock space representations of twisted affine Lie algebras
Fock space representations of twisted affine Lie algebras Gen KUROKI Mathematical Institute, Tohoku University, Sendai JAPAN June 9, 2010 0. Introduction Fock space representations of Wakimoto type for
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More informationCoarse geometry and quantum groups
Coarse geometry and quantum groups University of Glasgow christian.voigt@glasgow.ac.uk http://www.maths.gla.ac.uk/~cvoigt/ Sheffield March 27, 2013 Noncommutative discrete spaces Noncommutative discrete
More informationINTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References
INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608 ABRAHAM BROER References [1] Atiyah, M. F.; Macdonald, I. G. Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills,
More informationGeometric Aspects of SL(2)-Invariant Second Order Ordinary Differential Equations
Seminar Sophus Lie 3 (1993) 31 36 Version of Jul 15, 1995 Geometric Aspects of SL()-Invariant Second Order Ordinar Differential Equations Günter Czichowski 1. Actions of SL() on the Real Plane With respect
More informationTwo subgroups and semi-direct products
Two subgroups and semi-direct products 1 First remarks Throughout, we shall keep the following notation: G is a group, written multiplicatively, and H and K are two subgroups of G. We define the subset
More information