Showing 1–11 of 11 results for author: Macedo, T

Finite-dimensional representations of map superalgebras

Authors: Lucas Calixto, Tiago Macedo

Abstract: We obtain a complete classification of all finite-dimensional irreducible modules over classical map superalgebras, provide formulas for their (super)characters and a description of their extension groups. Furthermore, we describe the block decomposition of the category of finite-dimensional modules for such map superalgebras. As an application, we specialize our results to the case of loop supera… ▽ More We obtain a complete classification of all finite-dimensional irreducible modules over classical map superalgebras, provide formulas for their (super)characters and a description of their extension groups. Furthermore, we describe the block decomposition of the category of finite-dimensional modules for such map superalgebras. As an application, we specialize our results to the case of loop superalgebras in order to obtain a classification of finite-dimensional irreducible modules and block decomposition of the category of finite-dimensional modules over affine Lie superalgebras. △ Less

Submitted 14 May, 2021; originally announced May 2021.

MSC Class: 17B10; 17B55; 17B65

Local Weyl modules and fusion products for the current superalgebra $\mathfrak{sl}(1|2)[t]$

Authors: Matheus Brito, Lucas Calixto, Tiago Macedo

Abstract: We study a class of modules, called Chari-Venkatesh modules, for the current superalgebra $\mathfrak{sl}(1|2)[t]$. This class contains other important modules, such as graded local Weyl, truncated local Weyl and Demazure-type modules. We prove that Chari-Venkatesh modules can be realized as fusion products of generalized Kac modules. In particular, this proves Feigin and Loktev's conjecture, that… ▽ More We study a class of modules, called Chari-Venkatesh modules, for the current superalgebra $\mathfrak{sl}(1|2)[t]$. This class contains other important modules, such as graded local Weyl, truncated local Weyl and Demazure-type modules. We prove that Chari-Venkatesh modules can be realized as fusion products of generalized Kac modules. In particular, this proves Feigin and Loktev's conjecture, that fusion products are independent of their fusion parameters in the case where the fusion factors are generalized Kac modules. As an application of our results, we obtain bases, dimension and character formulas for Chari-Venkatesh modules. △ Less

Submitted 14 April, 2022; v1 submitted 16 December, 2019; originally announced December 2019.

Comments: accepted by Journal of Algebra

Demazure and local Weyl modules for twisted hyper current algebras

Authors: Angelo Bianchi, Tiago Macedo

Abstract: In this paper, we study local graded Weyl modules and Demazure modules for twisted hypercurrent algebras. We prove that local graded Weyl modules for a twisted hypercurrent algebra are isomorphic to the corresponding level 1 Demazure modules, and moreover, that they are restrictions of corresponding local graded Weyl modules for the untwisted hypercurrent algebra. In this paper, we study local graded Weyl modules and Demazure modules for twisted hypercurrent algebras. We prove that local graded Weyl modules for a twisted hypercurrent algebra are isomorphic to the corresponding level 1 Demazure modules, and moreover, that they are restrictions of corresponding local graded Weyl modules for the untwisted hypercurrent algebra. △ Less

Submitted 15 April, 2020; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: Comments are welcome. Updated references in the introduction

Weyl modules and Weyl functors for Lie superalgebras

Authors: Irfan Bagci, Lucas Calixto, Tiago Macedo

Abstract: Given an algebraically closed field $\Bbbk$ of characteristic zero, a Lie superalgebra $\mathfrak{g}$ over $\Bbbk$ and an associative, commutative $\Bbbk$-algebra $A$ with unit, a Lie superalgebra of the form $\mathfrak{g} \otimes_\Bbbk A$ is known as a map superalgebra. Map superalgebras generalize important classes of Lie superalgebras, such as, loop superalgebras (where $A=\Bbbk[t, t^{-1}]$), a… ▽ More Given an algebraically closed field $\Bbbk$ of characteristic zero, a Lie superalgebra $\mathfrak{g}$ over $\Bbbk$ and an associative, commutative $\Bbbk$-algebra $A$ with unit, a Lie superalgebra of the form $\mathfrak{g} \otimes_\Bbbk A$ is known as a map superalgebra. Map superalgebras generalize important classes of Lie superalgebras, such as, loop superalgebras (where $A=\Bbbk[t, t^{-1}]$), and current superalgebras (where $A=\Bbbk[t]$). In this paper, we define Weyl functors, global and local Weyl modules for all map superalgebras where $\mathfrak{g}$ is either $\mathfrak{sl} (n,n)$ with $n \ge 2$, or a finite-dimensional simple Lie superalgebra not of type $\mathfrak{q}(n)$. Under certain conditions on the triangular decomposition of these Lie superalgebras we prove that global and local Weyl modules satisfy certain universal and tensor product decomposition properties. We also give necessary and sufficient conditions for local (resp. global) Weyl modules to be finite dimensional (resp. finitely generated). △ Less

Submitted 10 May, 2018; v1 submitted 19 November, 2016; originally announced November 2016.

Comments: 31 pages

MSC Class: 17B65; 17B10

Invariant polynomials on truncated multicurrent algebras

Authors: Tiago Macedo, Alistair Savage

Abstract: We construct invariant polynomials on truncated multicurrent algebras, which are Lie algebras of the form $\mathfrak{g} \otimes_\mathbb{F} \mathbb{F}[t_1,\dotsc,t_\ell]/I$, where $\mathfrak{g}$ is a finite-dimensional Lie algebra over a field $\mathbb{F}$ of characteristic zero, and $I$ is a finite-codimensional ideal of $\mathbb{F}[t_1,\dotsc,t_\ell]$ generated by monomials. In particular, when… ▽ More We construct invariant polynomials on truncated multicurrent algebras, which are Lie algebras of the form $\mathfrak{g} \otimes_\mathbb{F} \mathbb{F}[t_1,\dotsc,t_\ell]/I$, where $\mathfrak{g}$ is a finite-dimensional Lie algebra over a field $\mathbb{F}$ of characteristic zero, and $I$ is a finite-codimensional ideal of $\mathbb{F}[t_1,\dotsc,t_\ell]$ generated by monomials. In particular, when $\mathfrak{g}$ is semisimple and $\mathbb{F}$ is algebraically closed, we construct a set of algebraically independent generators for the algebra of invariant polynomials. In addition, we describe a transversal slice to the space of regular orbits in $\mathfrak{g} \otimes_\mathbb{F} \mathbb{F}[t_1,\dotsc,t_\ell]/I$. As an application of our main result, we show that the center of the universal enveloping algebra of $\mathfrak{g} \otimes_\mathbb{F} \mathbb{F}[t_1,\dotsc,t_\ell]/I$ acts trivially on all irreducible finite-dimensional representations provided $I$ has codimension at least two. △ Less

Submitted 29 March, 2018; v1 submitted 21 July, 2016; originally announced July 2016.

Comments: 17 pages; v2: Corrected statements of Proposition 5.7 and Remark 5.8; v3: Minor changes, published version

MSC Class: 17B05; 17B08 (Primary); 17B35; 17B70 (Secondary)

Journal ref: Journal of Pure and Applied Algebra, 223 (2019), no. 1, 349-368

Automorphisms of Ideals of Polynomial Rings

Authors: Tiago Macedo, Thiago Castilho de Mello

Abstract: Let $R$ be a commutative integral domain with unit, $f$ be a nonconstant monic polynomial in $R[t]$, and $I_f \subset R[t]$ be the ideal generated by $f$. In this paper we study the group of $R$-algebra automorphisms of the $R$-algebra without unit $I_f$. We show that, if $f$ has only one root (possibly with multiplicity), then $Aut (I_f) \cong R^\times$. We also show that, under certain mild hypo… ▽ More Let $R$ be a commutative integral domain with unit, $f$ be a nonconstant monic polynomial in $R[t]$, and $I_f \subset R[t]$ be the ideal generated by $f$. In this paper we study the group of $R$-algebra automorphisms of the $R$-algebra without unit $I_f$. We show that, if $f$ has only one root (possibly with multiplicity), then $Aut (I_f) \cong R^\times$. We also show that, under certain mild hypothesis, if $f$ has at least two different roots in the algebraic closure of the quotient field of $R$, then $Aut(I_f)$ is a cyclic group and its order can be completely determined by analyzing the roots of $f$. △ Less

Submitted 25 May, 2016; v1 submitted 28 April, 2016; originally announced April 2016.

MSC Class: 08A35; 13A15; 16W20

Journal ref: Bulletin of the Brazilian Mathematical Society, 49 No. 1,(2018) 1--15

Irreducible modules for equivariant map superalgebras and their extensions

Authors: Lucas Calixto, Tiago Macedo

Abstract: Let $Γ$ be a group acting on a scheme $X$ and on a Lie superalgebra $\mathfrak{g}$, both defined over an algebraically closed field of characteristic zero $\Bbbk$. The corresponding equivariant map superalgebra $M(\mathfrak{g}, X)^Γ$ is the Lie superalgebra of equivariant regular maps from $X$ to $\mathfrak{g}$. In this paper we complete the classification of finite-dimensional irreducible… ▽ More Let $Γ$ be a group acting on a scheme $X$ and on a Lie superalgebra $\mathfrak{g}$, both defined over an algebraically closed field of characteristic zero $\Bbbk$. The corresponding equivariant map superalgebra $M(\mathfrak{g}, X)^Γ$ is the Lie superalgebra of equivariant regular maps from $X$ to $\mathfrak{g}$. In this paper we complete the classification of finite-dimensional irreducible $M(\mathfrak{g}, X)^Γ$-modules when $\mathfrak{g}$ is a finite-dimensional simple Lie superalgebra, $X$ is of finite type and $Γ$ is a finite abelian group acting freely on the rational points of $X$, by classifying these $M(\mathfrak{g},X)^Γ$-modules in the case where $\mathfrak{g}$ is a periplectic Lie superalgebra. We also describe extensions between irreducible modules in terms of homomorphisms and extensions between modules for certain finite-dimensional Lie superalgebras. △ Less

Submitted 17 May, 2021; v1 submitted 6 April, 2016; originally announced April 2016.

MSC Class: 17B10; 17B55; 17B56; 17B65

Extensions for Generalized Current Algebras

Authors: Brian D. Boe, Christopher M. Drupieski, Tiago R. Macedo, Daniel K. Nakano

Abstract: Given a complex semisimple Lie algebra ${\mathfrak g}$ and a commutative ${\mathbb C}$-algebra $A$, let ${\mathfrak g}[A] = {\mathfrak g} \otimes A$ be the corresponding generalized current algebra. In this paper we explore questions involving the computation and finite-dimensionality of extension groups for finite-dimensional ${\mathfrak g}[A]$-modules. Formulas for computing… ▽ More Given a complex semisimple Lie algebra ${\mathfrak g}$ and a commutative ${\mathbb C}$-algebra $A$, let ${\mathfrak g}[A] = {\mathfrak g} \otimes A$ be the corresponding generalized current algebra. In this paper we explore questions involving the computation and finite-dimensionality of extension groups for finite-dimensional ${\mathfrak g}[A]$-modules. Formulas for computing $\operatorname{Ext}^{1}$ and $\operatorname{Ext}^{2}$ between simple ${\mathfrak g}[A]$-modules are presented. As an application of these methods and of the use of the first cyclic homology, we completely describe $\operatorname{Ext}^{2}_{{\mathfrak g}[t]}(L_{1},L_{2})$ for ${\mathfrak g}=\mathfrak{sl}_{2}$ when $L_{1}$ and $L_{2}$ are simple ${\mathfrak g}[t]$-modules that are each given by the tensor product of two evaluation modules. △ Less

Submitted 30 October, 2015; originally announced November 2015.

MSC Class: 17B55. 17B65

On Demazure and local Weyl modules for affine hyperalgebras

Authors: Angelo Bianchi, Tiago Macedo, Adriano Moura

Abstract: We establish the existence of Demazure flags for graded local Weyl modules for hyper current algebras in positive characteristic. If the underlying simple Lie algebra is simply laced, the flag has length one, i.e., the graded local Weyl modules are isomorphic to Demazure modules. This extends to the positive characteristic setting results of Fourier-Littelmann and Naoi for current algebras in char… ▽ More We establish the existence of Demazure flags for graded local Weyl modules for hyper current algebras in positive characteristic. If the underlying simple Lie algebra is simply laced, the flag has length one, i.e., the graded local Weyl modules are isomorphic to Demazure modules. This extends to the positive characteristic setting results of Fourier-Littelmann and Naoi for current algebras in characteristic zero. Using this result, we prove that the character of local Weyl modules for hyper loop algebras depend only on the highest weight, but not on the (algebraically closed) ground field, and deduce a tensor product factorization for them. △ Less

Submitted 22 September, 2014; v1 submitted 16 July, 2013; originally announced July 2013.

Comments: v.2: Minor corrections. Accepted for publication in Pacific Journal of Mathematics

MSC Class: 17B65; 17B10; 17B37; 20G42

Journal ref: Pacific Journal of Mathematics, v. 274, p. 257-303, 2015

Second cohomology for finite groups of Lie type

Authors: Brian D. Boe, Brian Bonsignore, Theresa Brons, Jon F. Carlson, Leonard Chastkofsky, Christopher M. Drupieski, Niles Johnson, Daniel K. Nakano, Wenjing Li, Phong Thanh Luu, Tiago Macedo, Nham Vo Ngo, Brandon L. Samples, Andrew J. Talian, Lisa Townsley, Benjamin J. Wyser

Abstract: Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(λ)$ be the simple rational $G$-module of highest weight $λ$. In this paper we establish sufficient criteria for the restriction map in second cohomology… ▽ More Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$. Given a power $q = p^r$ of $p$, let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$-rational points. Let $L(λ)$ be the simple rational $G$-module of highest weight $λ$. In this paper we establish sufficient criteria for the restriction map in second cohomology $H^2(G,L(λ)) \rightarrow H^2(G(\mathbb{F}_q),L(λ))$ to be an isomorphism. In particular, the restriction map is an isomorphism under very mild conditions on $p$ and $q$ provided $λ$ is less than or equal to a fundamental dominant weight. Even when the restriction map is not an isomorphism, we are often able to describe $H^2(G(\mathbb{F}_q),L(λ))$ in terms of rational cohomology for $G$. We apply our techniques to compute $H^2(G(\mathbb{F}_q),L(λ))$ in a wide range of cases, and obtain new examples of nonzero second cohomology for finite groups of Lie type. △ Less

Submitted 14 December, 2011; v1 submitted 2 October, 2011; originally announced October 2011.

Comments: 29 pages, GAP code included as an ancillary file. Rewritten to include the adjoint representation in types An, B2, and Cn. Corrections made to Theorem 3.1.3 and subsequent dependent results in Sections 3-4. Additional minor corrections and improvements also implemented

MSC Class: 20G10; 20C33 (Primary) 20G05; 20J06 (Secondary)

Journal ref: J. Algebra 360 (2012), 21-52

Symbolic computation with finite quandles

Authors: Richard Henderson, Todd Macedo, Sam Nelson

Abstract: Algorithms are described and Maple implementations are provided for finding all quandles of order $n$, as well as computing all homomorphisms between two finite quandles or from a finitely presented quandle (e.g., a knot quandle) to a finite quandle, computing the automorphism group of a finite quandle, etc. Several of these programs work for arbitrary binary operation tables and hence algebraic… ▽ More Algorithms are described and Maple implementations are provided for finding all quandles of order $n$, as well as computing all homomorphisms between two finite quandles or from a finitely presented quandle (e.g., a knot quandle) to a finite quandle, computing the automorphism group of a finite quandle, etc. Several of these programs work for arbitrary binary operation tables and hence algebraic structures other than quandles. We also include a stand-alone C program which finds quandles of order $n$ and provide URLs for files containing the results for $n=6,$ 7 and 8. △ Less

Submitted 18 April, 2006; v1 submitted 18 August, 2005; originally announced August 2005.

Comments: 6 pages. Version 2 includes some updates and corrections. Code has been relocated to www.esotericka.org/quandles. To appear in J. Symbolic Computation

MSC Class: 57M27; 57-04

Journal ref: J. Symbolic Comput. 41 (2006) 811-817.