O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima
Autor(a) principal: | |
---|---|
Data de Publicação: | 2021 |
Tipo de documento: | Tese |
Idioma: | por |
Título da fonte: | Repositório Institucional da UFMG |
Texto Completo: | http://hdl.handle.net/1843/39048 |
Resumo: | Let $\mathfrak{g}$ be a finite-dimensional Lie algebra over a field $\mathbb{F}$ of prime characteristic $p$ and let $U(\mathfrak{g})$ be the universal enveloping algebra of $\mathfrak{g}$. We know from the literature that the center $Z(\mathfrak{g})$ of the enveloping algebra $U(\mathfrak{g})$ is an integrally closed domain. In this thesis, we describe $Z(\mathfrak{g})$ for all indecomposable nilpotent Lie algebras of dimension less than or equal to $6$ over a field $\mathbb{F}$ of prime characteristic $p$ assuming that $\mbox{cl}(\mathfrak{g})\leq p$. We present examples where $Z(\mathfrak{g})=Z_{p}(\mathfrak{g})$, where $Z_{p}(\mathfrak{g})$ is the $p$-center of $U(\mathfrak{g})$. However, we found cases where $Z(\mathfrak{g})\neq Z_{p}(\mathfrak{g})$. In these cases, we will deal with integral extensions $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ where $z_{1},\ldots, z_{s}\in Z(\mathfrak{g})\setminus Z_{p}(\mathfrak{g})$. When $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ is an integral extension whose fraction fields coincide, for equality $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]=Z(\mathfrak{g})$ to occur, it is sufficient that $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]$ is an integrally closed domain. A good part of our job is to show this property. At this point, we need the concepts of regular rings and Cohen-Macaulay rings. We denote by $S(\mathfrak{g})$ the symmetric algebra of $\mathfrak{g}$. In characteristic zero, the spaces $U(\mathfrak{g})$ and $S(\mathfrak{g})$ are isomorphic $\mathfrak{g}$-modules with respect to the adjoint representation. The set of invariants of the $\mathfrak{g}$-module $U(\mathfrak{g})$ is its center $Z(\mathfrak{g})$ and the set of invariants of the $\mathfrak{g}$-module $S(\mathfrak{g})$ is denoted by $S(\mathfrak{g})^{\mathfrak{g}}$. In this thesis, we describe the algebra of invariants $S(\mathfrak{g})^{\mathfrak{g}}$ for all indecomposable nilpotent Lie algebras of a dimension less than or equal to $6$ over a field $\mathbb{F}$ of prime caracteristic $p$ with $\mbox{cl}(\mathfrak{g})\leq p$. Furthermore, we show the existence of an algebra isomorphism between $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$. We also describe $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$ for the standard filiform Lie algebras of dimension up to $6$ in prime characteristic $p$. For these algebras, in general, it is not an easy task to determine explicit generators for $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$ because of the complexity of their generators and their relations. Keywords: nilpotent Lie algebras, universal enveloping algebra, center, Poisson center, Cohen-Macaulay rings. |
id |
UFMG_138c2124134d2481631797084b35ae3d |
---|---|
oai_identifier_str |
oai:repositorio.ufmg.br:1843/39048 |
network_acronym_str |
UFMG |
network_name_str |
Repositório Institucional da UFMG |
repository_id_str |
|
spelling |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística primaThe center of universal enveloping algebras of nilpotent Lie algebras in prime characteristicÁlgebras de Lie nilpotentesÁlgebra envolvente universalCentroCentro PoissonAnéis Cohen-MacaulayMatemática - TesesLie, Álgebra de - TesesGrupos nilpotentes - TesesPoisson, Distribuição de - TesesAneis comutativos -TesesLet $\mathfrak{g}$ be a finite-dimensional Lie algebra over a field $\mathbb{F}$ of prime characteristic $p$ and let $U(\mathfrak{g})$ be the universal enveloping algebra of $\mathfrak{g}$. We know from the literature that the center $Z(\mathfrak{g})$ of the enveloping algebra $U(\mathfrak{g})$ is an integrally closed domain. In this thesis, we describe $Z(\mathfrak{g})$ for all indecomposable nilpotent Lie algebras of dimension less than or equal to $6$ over a field $\mathbb{F}$ of prime characteristic $p$ assuming that $\mbox{cl}(\mathfrak{g})\leq p$. We present examples where $Z(\mathfrak{g})=Z_{p}(\mathfrak{g})$, where $Z_{p}(\mathfrak{g})$ is the $p$-center of $U(\mathfrak{g})$. However, we found cases where $Z(\mathfrak{g})\neq Z_{p}(\mathfrak{g})$. In these cases, we will deal with integral extensions $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ where $z_{1},\ldots, z_{s}\in Z(\mathfrak{g})\setminus Z_{p}(\mathfrak{g})$. When $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ is an integral extension whose fraction fields coincide, for equality $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]=Z(\mathfrak{g})$ to occur, it is sufficient that $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]$ is an integrally closed domain. A good part of our job is to show this property. At this point, we need the concepts of regular rings and Cohen-Macaulay rings. We denote by $S(\mathfrak{g})$ the symmetric algebra of $\mathfrak{g}$. In characteristic zero, the spaces $U(\mathfrak{g})$ and $S(\mathfrak{g})$ are isomorphic $\mathfrak{g}$-modules with respect to the adjoint representation. The set of invariants of the $\mathfrak{g}$-module $U(\mathfrak{g})$ is its center $Z(\mathfrak{g})$ and the set of invariants of the $\mathfrak{g}$-module $S(\mathfrak{g})$ is denoted by $S(\mathfrak{g})^{\mathfrak{g}}$. In this thesis, we describe the algebra of invariants $S(\mathfrak{g})^{\mathfrak{g}}$ for all indecomposable nilpotent Lie algebras of a dimension less than or equal to $6$ over a field $\mathbb{F}$ of prime caracteristic $p$ with $\mbox{cl}(\mathfrak{g})\leq p$. Furthermore, we show the existence of an algebra isomorphism between $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$. We also describe $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$ for the standard filiform Lie algebras of dimension up to $6$ in prime characteristic $p$. For these algebras, in general, it is not an easy task to determine explicit generators for $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$ because of the complexity of their generators and their relations. Keywords: nilpotent Lie algebras, universal enveloping algebra, center, Poisson center, Cohen-Macaulay rings.Seja $\mathfrak{g}$ uma álgebra de Lie de dimensão finita sobre um corpo $\mathbb{F}$ de característica prima $p$ e seja $U(\mathfrak{g})$ a álgebra envolvente universal de $\mathfrak{g}$. Sabemos da literatura que o centro $Z(\mathfrak{g})$ da álgebra envolvente $U(\mathfrak{g})$ é um domínio integralmente fechado. Nesta tese, descrevemos $Z(\mathfrak{g})$ para todas as álgebras de Lie nilpotentes indecomponíveis de dimensão menor ou igual a $6$ sobre um corpo $\mathbb{F}$ de característica prima $p$ assumindo que a classe de nilpotência $\mbox{cl}(\mathfrak{g})\leq p$. Apresentamos exemplos em que $Z(\mathfrak{g})=Z_{p}(\mathfrak{g})$, onde $Z_{p}(\mathfrak{g})$ é o $p$-centro de $U(\mathfrak{g})$. No entanto, encontramos casos em que $Z(\mathfrak{g})\neq Z_{p}(\mathfrak{g})$. Nestes casos, vamos lidar com extensões integrais $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ onde $z_{1},\ldots, z_{s}\in Z(\mathfrak{g})\setminus Z_{p}(\mathfrak{g})$. Nas condições em que $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ é uma extensão integral cujos corpos de frações coincidem, para ocorrer a igualdade $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]=Z(\mathfrak{g})$, é suficiente que $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]$ seja um domínio integralmente fechado. Boa parte de nosso trabalho é mostrar essa propriedade. Nesse ponto, precisamos dos conceitos de anéis regulares e anéis Cohen-Macaulay. Denotamos por $S(\mathfrak{g})$ a álgebra simétrica de $\mathfrak{g}$. Em característica zero, os espaços $U(\mathfrak{g})$ e $S(\mathfrak{g})$ são $\mathfrak{g}$-módulos isomorfos com respeito a representação adjunta. O conjunto de invariantes do $\mathfrak{g}$-módulo $U(\mathfrak{g})$ é o seu centro $Z(\mathfrak{g})$ e o conjunto de invariantes do $\mathfrak{g}$-módulo $S(\mathfrak{g})$ é denotado por $S(\mathfrak{g})^{\mathfrak{g}}$. Nesta tese, também, explicitamos a álgebra de invariantes $S(\mathfrak{g})^{\mathfrak{g}}$ para todas as álgebras de Lie nilpotentes indecomponíveis de dimensão menor ou igual a $6$ sobre um corpo $\mathbb{F}$ de característica prima $p$ com $\mbox{cl}(\mathfrak{g})\leq p$. Bem como, mostramos a incidência de um isomorfismo de álgebras entre $Z(\mathfrak{g})$ e $S(\mathfrak{g})^{\mathfrak{g}}$. Particularmente, determinamos $Z(\mathfrak{g})$ e $S(\mathfrak{g})^{\mathfrak{g}}$ para as álgebras de Lie standard filiform de dimensão até $6$ em característica prima $p$. Para essas álgebras, em geral, não é uma tarefa fácil determinar geradores explicitos para $Z(\mathfrak{g})$ e $S(\mathfrak{g})^{\mathfrak{g}}$ por causa da complexidade de seus geradores e suas relações.CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível SuperiorUniversidade Federal de Minas GeraisBrasilICX - DEPARTAMENTO DE MATEMÁTICAPrograma de Pós-Graduação em MatemáticaUFMGCsaba Schneiderhttp://lattes.cnpq.br/0326577563802136Letterio GattoLucas Henrique CalixtoRenato Vidal da Silva MartinsTiago Rodrigues MacedoVanderlei Lopes de Jesus2022-01-08T03:19:48Z2022-01-08T03:19:48Z2021-08-13info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisapplication/pdfhttp://hdl.handle.net/1843/39048porhttp://creativecommons.org/licenses/by/3.0/pt/info:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFMGinstname:Universidade Federal de Minas Gerais (UFMG)instacron:UFMG2022-01-08T03:19:48Zoai:repositorio.ufmg.br:1843/39048Repositório InstitucionalPUBhttps://repositorio.ufmg.br/oairepositorio@ufmg.bropendoar:2022-01-08T03:19:48Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG)false |
dc.title.none.fl_str_mv |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima The center of universal enveloping algebras of nilpotent Lie algebras in prime characteristic |
title |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima |
spellingShingle |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima Vanderlei Lopes de Jesus Álgebras de Lie nilpotentes Álgebra envolvente universal Centro Centro Poisson Anéis Cohen-Macaulay Matemática - Teses Lie, Álgebra de - Teses Grupos nilpotentes - Teses Poisson, Distribuição de - Teses Aneis comutativos -Teses |
title_short |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima |
title_full |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima |
title_fullStr |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima |
title_full_unstemmed |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima |
title_sort |
O centro das álgebras envolventes universais de álgebras de Lie nilpotentes em caraterística prima |
author |
Vanderlei Lopes de Jesus |
author_facet |
Vanderlei Lopes de Jesus |
author_role |
author |
dc.contributor.none.fl_str_mv |
Csaba Schneider http://lattes.cnpq.br/0326577563802136 Letterio Gatto Lucas Henrique Calixto Renato Vidal da Silva Martins Tiago Rodrigues Macedo |
dc.contributor.author.fl_str_mv |
Vanderlei Lopes de Jesus |
dc.subject.por.fl_str_mv |
Álgebras de Lie nilpotentes Álgebra envolvente universal Centro Centro Poisson Anéis Cohen-Macaulay Matemática - Teses Lie, Álgebra de - Teses Grupos nilpotentes - Teses Poisson, Distribuição de - Teses Aneis comutativos -Teses |
topic |
Álgebras de Lie nilpotentes Álgebra envolvente universal Centro Centro Poisson Anéis Cohen-Macaulay Matemática - Teses Lie, Álgebra de - Teses Grupos nilpotentes - Teses Poisson, Distribuição de - Teses Aneis comutativos -Teses |
description |
Let $\mathfrak{g}$ be a finite-dimensional Lie algebra over a field $\mathbb{F}$ of prime characteristic $p$ and let $U(\mathfrak{g})$ be the universal enveloping algebra of $\mathfrak{g}$. We know from the literature that the center $Z(\mathfrak{g})$ of the enveloping algebra $U(\mathfrak{g})$ is an integrally closed domain. In this thesis, we describe $Z(\mathfrak{g})$ for all indecomposable nilpotent Lie algebras of dimension less than or equal to $6$ over a field $\mathbb{F}$ of prime characteristic $p$ assuming that $\mbox{cl}(\mathfrak{g})\leq p$. We present examples where $Z(\mathfrak{g})=Z_{p}(\mathfrak{g})$, where $Z_{p}(\mathfrak{g})$ is the $p$-center of $U(\mathfrak{g})$. However, we found cases where $Z(\mathfrak{g})\neq Z_{p}(\mathfrak{g})$. In these cases, we will deal with integral extensions $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ where $z_{1},\ldots, z_{s}\in Z(\mathfrak{g})\setminus Z_{p}(\mathfrak{g})$. When $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]\subseteq Z(\mathfrak{g})$ is an integral extension whose fraction fields coincide, for equality $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]=Z(\mathfrak{g})$ to occur, it is sufficient that $Z_{p}(\mathfrak{g})[z_{1},\ldots z_{s}]$ is an integrally closed domain. A good part of our job is to show this property. At this point, we need the concepts of regular rings and Cohen-Macaulay rings. We denote by $S(\mathfrak{g})$ the symmetric algebra of $\mathfrak{g}$. In characteristic zero, the spaces $U(\mathfrak{g})$ and $S(\mathfrak{g})$ are isomorphic $\mathfrak{g}$-modules with respect to the adjoint representation. The set of invariants of the $\mathfrak{g}$-module $U(\mathfrak{g})$ is its center $Z(\mathfrak{g})$ and the set of invariants of the $\mathfrak{g}$-module $S(\mathfrak{g})$ is denoted by $S(\mathfrak{g})^{\mathfrak{g}}$. In this thesis, we describe the algebra of invariants $S(\mathfrak{g})^{\mathfrak{g}}$ for all indecomposable nilpotent Lie algebras of a dimension less than or equal to $6$ over a field $\mathbb{F}$ of prime caracteristic $p$ with $\mbox{cl}(\mathfrak{g})\leq p$. Furthermore, we show the existence of an algebra isomorphism between $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$. We also describe $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$ for the standard filiform Lie algebras of dimension up to $6$ in prime characteristic $p$. For these algebras, in general, it is not an easy task to determine explicit generators for $Z(\mathfrak{g})$ and $S(\mathfrak{g})^{\mathfrak{g}}$ because of the complexity of their generators and their relations. Keywords: nilpotent Lie algebras, universal enveloping algebra, center, Poisson center, Cohen-Macaulay rings. |
publishDate |
2021 |
dc.date.none.fl_str_mv |
2021-08-13 2022-01-08T03:19:48Z 2022-01-08T03:19:48Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/1843/39048 |
url |
http://hdl.handle.net/1843/39048 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
http://creativecommons.org/licenses/by/3.0/pt/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
http://creativecommons.org/licenses/by/3.0/pt/ |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais Brasil ICX - DEPARTAMENTO DE MATEMÁTICA Programa de Pós-Graduação em Matemática UFMG |
publisher.none.fl_str_mv |
Universidade Federal de Minas Gerais Brasil ICX - DEPARTAMENTO DE MATEMÁTICA Programa de Pós-Graduação em Matemática UFMG |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UFMG instname:Universidade Federal de Minas Gerais (UFMG) instacron:UFMG |
instname_str |
Universidade Federal de Minas Gerais (UFMG) |
instacron_str |
UFMG |
institution |
UFMG |
reponame_str |
Repositório Institucional da UFMG |
collection |
Repositório Institucional da UFMG |
repository.name.fl_str_mv |
Repositório Institucional da UFMG - Universidade Federal de Minas Gerais (UFMG) |
repository.mail.fl_str_mv |
repositorio@ufmg.br |
_version_ |
1823248330678861824 |