Source author record

Thiago Castilho de Mello

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RA math.AC math.AG

Catalog footprint

Research overview

16works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Images of graded polynomials on matrix algebras

The aim of this paper is to start the study of images of graded polynomials on full matrix algebras. We work with the matrix algebra $M_n(K)$ over a field $K$ endowed with its canonical $\mathbb{Z}_n$ -grading (Vasilovsky's grading). We explicitly determine the possibilities for the linear span of the image of a multilinear graded polynomial over the field $\mathbb Q$ of rational numbers and state an analogue of the L'vov-Kaplansky conjecture about images of multilinear graded polynomials on $n\times n$ matrices, where $n$ is a prime number. We confirm such conjecture for polynomials of degree 2 over $M_n(K)$ when $K$ is a quadratically closed field of characteristic zero or greater than $n$ and for polynomials of arbitrary degree over matrices of order 2. We also determine all the possible images of semi-homogeneous graded polynomials evaluated on $M_2(K)$ .

preprint2021arXiv

Homogeneous involutions on upper triangular matrices

Let $K$ be a field of characteristic different from 2 and let $G$ be a group. If the algebra $UT_n$ of $n\times n$ upper triangular matrices over $K$ is endowed with a $G$ -grading $Γ: UT_n=\oplus_{g\in G}A_g$ we give necessary and sufficient conditions on $Γ$ that guarantees the existence of a homogeneous antiautomorphism on $A$ , i.e., an antiautomorphism $φ$ satisfying $φ(A_g)=A_{θ(g)}$ for some permutation $θ$ of the support of the grading. It turns out that $UT_n$ admits a homogeneous antiautomorphism if and only if the reflection involution of $UT_n$ is homogeneous. Moreover, we prove that if one homogeneous antiautomorphism of $UT_n$ is defined by the map $θ$ then any other homogeneous antiautomorphism is defined by the same map $θ$ .

preprint2021arXiv

Images of multilinear polynomials on $n\times n$ upper triangular matrices over infinite fields

In this paper we prove that the image of multilinear polynomials evaluated on the algebra $UT_n(K)$ of $n\times n$ upper triangular matrices over an infinite field $K$ equals $J^r$ , a power of its Jacobson ideal $J=J(UT_n(K))$ . In particular, this shows that the analogue of the Lvov-Kaplansky conjecture for $UT_n(K)$ is true, solving a conjecture of Fagundes and de Mello. To prove that fact, we introduce the notion of commutator-degree of a polynomial and characterize the multilinear polynomials of commutator-degree $r$ in terms of its coefficients. It turns out that the image of a multilinear polynomial $f$ on $UT_n(K)$ is $J^r$ if and only if $f$ has commutator degree $r$ .

preprint2021arXiv

The Mesyan Conjecture: a restatement and a correction

The well-known Lvov-Kaplansky conjecture states that the image of a multilinear polynomial $f$ evaluated on $n\times n$ matrices is a vector space. A weaker version of this conjecture, known as the Mesyan conjecture, states that if $m=deg( f)$ and $n\geq m-1$ then its image contains the set of trace zero matrices. Such conjecture has been proved for polynomials of degree $m \leq 4$ . The proof of the case $m=4$ contains an error in one of the lemmas. In this paper, we correct the proof of such lemma and present some evidences which allow us to state the Mesyan conjecture for the new bound $n \geq \frac{m+1}{2}$ , which cannot be improved.

preprint2020arXiv

Graded monomial identities and almost non-degenerate gradings on matrices

Let $F$ be a field of characteristic zero, $G$ be a group and $R$ be the algebra $M_n(F)$ with a $G$ -grading. Bahturin and Drensky proved that if $R$ is an elementary and the neutral component is commutative then the graded identities of $R$ follow from three basic types of identities and monomial identities of length $\geq 2$ bounded by a function $f(n)$ of $n$ . In this paper we prove the best upper bound is $f(n)=n$ , more generally we prove that all the graded monomial identities of an elementary $G$ -grading on $M_n(F)$ follow from those of degree at most $n$ . We also study gradings which satisfy no monomial identities but the trivial ones, which we call almost non-degenerate gradings. The description of non-degenerate elementary gradings on matrix algebras is reduced to the description of non-degenerate elementary gradings on matrix algebras that have commutative neutral component. We provide necessary conditions so that the grading on $R$ is almost non-degenerate and we apply the results on monomial identities to describe all almost non-degenerate $\mathbb{Z}$ -gradings on $M_n(F)$ for $n\leq 5$ .

preprint2020arXiv

Relatively free algebras of finite rank

Let $\mathbb{K}$ be a field of characteristic zero and $B=B_0+B_1$ a finite dimensional associative superalgebra. In this paper we investigate the polynomial identities of the relatively free algebras of finite rank of the variety $\mathfrak V$ defined by the Grassmann envelope of $B$ . We also consider the $k$ -th Grassmann Envelope of $B$ , $G^{(k)}(B)$ , constructed with the $k$ -generated Grassmann algebra, instead of the infinite dimensional Grassmann algebra. We specialize our studies for the algebra $UT_2(G)$ and $UT_2(G^{(k)})$ , which can be seen as the Grassmann envelope and $k$ -th Grassmann envelope, respectively, of the superalgebra $UT_2(\mathbb{K}[u])$ , where $u^2=1$ .

preprint2019arXiv

The image of multilinear polynomials evaluated on $3\times 3$ upper triangular matrices

We describe the images of multilinear polynomials of arbitrary degree evaluated on the $3\times 3$ upper triangular matrix algebra over an infinite field.

preprint2017arXiv

Degree-inverting involutions on matrix algebras

Let $F$ be an algebraically closed field of characteristic zero, and $G$ be a finite abelian group. If $A=\oplus_{g\in G} A_g$ is a $G$ -graded algebra, we study degree-inverting involutions on $A$ , i.e., involutions $*$ on $A$ satisfying $(A_g)^*\subseteq A_{g^{-1}}$ , for all $g\in G$ . We describe such involutions for the full $n\times n$ matrix algebra over $F$ and for the algebra of $n\times n$ upper triangular matrices.

preprint2017arXiv

Graded Polynomial Identities for Matrices with the Transpose Involution over an Infinite Field

Let $F$ be an infinite field, and let $M_{n}(F)$ be the algebra of $n\times n$ matrices over $F$ . Suppose that this algebra is equipped with an elementary grading whose neutral component coincides with the main diagonal. In this paper, we find a basis for the graded polynomial identities of $M_{n}(F)$ with the transpose involution. Our results generalize for infinite fields of arbitrary characteristic previous results in the literature which were obtained for the field of complex numbers and for a particular class of elementary G-gradings.

preprint2016arXiv

Automorphisms of Ideals of Polynomial Rings

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$ .

preprint2015arXiv

Graded identities of block-triangular matrices

Let $F$ be an infinite field and $UT(d_1,\dots, d_n)$ be the algebra of upper block-triangular matrices over $F$ . In this paper we describe a basis for the $G$ -graded polynomial identities of $UT(d_1,\dots, d_n)$ , with an elementary grading induced by an $n$ -tuple of elements of a group $G$ such that the neutral component corresponds to the diagonal of $UT(d_1,\dots,d_n)$ . In particular, we prove that the monomial identities of such algebra follow from the ones of degree up to $2n-1$ . Our results generalize for infinite fields of arbitrary characteristic, previous results in the literature which were obtained for fields of characteristic zero and for particular $G$ -gradings. In the characteristic zero case we also generalize results for the algebra $UT(d_1,\dots, d_n)\otimes C$ with a tensor product grading, where $C$ is a color commutative algebra generating the variety of all color commutative algebras.

preprint2014arXiv

Minimal Varieties and Identities of Relatively Free Algebras

Let $K$ be a field of characteristic zero and let $\mathfrak{M}_5$ be the variety of associative algebras over $K$ , defined by the identity $[x_1,x_2][x_3,x_4,x_5]$ . It is well-known that such variety is a minimal variety and that is generated by the algebra $A=\begin{pmatrix} E_0 & E\\ 0 & E\\ \end{pmatrix},$ where $E=E_0\oplus E_1$ is the Grassmann algebra. In this paper, for any positive integer $k$ , we describe the polynomial identities of the relatively free algebras of rank $k$ of $\mathfrak{M}_5$ , $F_k(\mathfrak{M}_5)=\dfrac{K\langle x_1,\dots, x_k \rangle}{K\langle x_1,\dots, x_k \rangle\cap T(\mathfrak{M}_5)}.$ It turns out that such algebras satisfy the same polynomial identities of some algebras used in the description of the subvarieties of $\mathfrak{M}_5$ , given by Di Vincenzo, Drensky and Nardozza.

preprint2013arXiv

A model for the relatively free graded algebra of block triangular matrices with entries from a graded algebra

Let G be a group and A be a G-graded algebra satisfying a polynomial identity. We buid up a model for the relative free G-graded algebra and we obtain, as an application, the "factoring" property for the T_G-ideals of block triangular matrices with entries from the finite dimensional Grassmann algebra E for some particular Z_2-grading.

preprint2013arXiv

On graded identities of block-triangular matrices with the grading of Di Vincenzo-Vasilovsky

The algebra of $n\times n$ matrices over a field $F$ has a natural $\mathbb{Z}_n$ -grading. Its graded identities have been described by Vasilovsky who extended a previous work of Di Vincenzo for the algebra of $2\times 2$ matrices. In this paper we study the graded identities of block-triangular matrices with the grading inherited by the grading of $M_n(F)$ . We show that its graded identities follow from the graded identities of $M_n(F)$ and from its monomial identities of degree up to $2n-2$ . In the case of blocks of sizes $n-1$ and 1, we give a complete description of its monomial identities, and exhibit a minimal basis for its $T_{\mathbb{Z}_n}$ -ideal.

preprint2013arXiv

On the polynomial identities of the algebra $M_{11}(E)$

Verbally prime algebras are important in PI theory. They were described by Kemer over a field $K$ of characteristic zero: 0 and $K<T>$ (the trivial ones), $M_n(K)$ , $M_n(E)$ , $M_{ab}(E)$ . Here $K<T>$ is the free associative algebra of infinite rank, with free generators $T$ , $E$ denotes the infinite dimensional Grassmann algebra over $K$ , $M_n(K)$ and $M_n(E)$ are the $n\times n$ matrices over $K$ and over $E$ , respectively. The algebras $M_{ab}(E)$ are subalgebras of $M_{a+b}(E)$ , see their definition below. The generic (also called relatively free) algebras of these algebras have been studied extensively. Procesi described the generic algebra of $M_n(K)$ and lots of its properties. Models for the generic algebras of $M_n(E)$ and $M_{ab}(E)$ are also known but their structure remains quite unclear. In this paper we study the generic algebra of $M_{11}(E)$ in two generators, over a field of characteristic 0. In an earlier paper we proved that its centre is a direct sum of the field and a nilpotent ideal (of the generic algebra), and we gave a detailed description of this centre. Those results were obtained assuming the base field infinite and of characteristic different from 2. In this paper we study the polynomial identities satisfied by this generic algebra. We exhibit a basis of its polynomial identities. It turns out that this algebra is PI equivalent to a 5-dimensional algebra of certain upper triangular matrices. The identities of the latter algebra have been studied; these were described by Gordienko. As an application of our results we describe the subvarieties of the variety of unitary algebras generated by the generic algebra in two generators of $M_{11}(E)$ . Also we describe the polynomial identities in two variables of the algebra $M_{11}(E)$ .

preprint2012arXiv

The centre of generic algebras of small PI algebras

Verbally prime algebras are important in PI theory. They are well known over a field $K$ of characteristic zero: 0 and $K<T>$ (the trivial ones), $M_n(K)$ , $M_n(E)$ , $M_{ab}(E)$ . Here $K<T>$ is the free associative algebra with free generators $T$ , $E$ is the infinite dimensional Grassmann algebra over $K$ , $M_n(K)$ and $M_n(E)$ are the $n\times n$ matrices over $K$ and over $E$ , respectively. Moreover $M_{ab}(E)$ are certain subalgebras of $M_{a+b}(E)$ , defined below. The generic algebras of these algebras have been studied extensively. Procesi gave a very tight description of the generic algebra of $M_n(K)$ . The situation is rather unclear for the remaining nontrivial verbally prime algebras. In this paper we study the centre of the generic algebra of $M_{11}(E)$ in two generators. We prove that this centre is a direct sum of the field and a nilpotent ideal (of the generic algebra). We describe the centre of this algebra. As a corollary we obtain that this centre contains nonscalar elements thus we answer a question posed by Berele.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Thiago Castilho de Mello

Research overview

Is this your work?

16 publications

Images of graded polynomials on matrix algebras

Homogeneous involutions on upper triangular matrices

Images of multilinear polynomials on $n\times n$ upper triangular matrices over infinite fields

The Mesyan Conjecture: a restatement and a correction

Graded monomial identities and almost non-degenerate gradings on matrices

Relatively free algebras of finite rank

The image of multilinear polynomials evaluated on $3\times 3$ upper triangular matrices

Degree-inverting involutions on matrix algebras

Graded Polynomial Identities for Matrices with the Transpose Involution over an Infinite Field

Automorphisms of Ideals of Polynomial Rings

Graded identities of block-triangular matrices

Minimal Varieties and Identities of Relatively Free Algebras

A model for the relatively free graded algebra of block triangular matrices with entries from a graded algebra

On graded identities of block-triangular matrices with the grading of Di Vincenzo-Vasilovsky

On the polynomial identities of the algebra $M_{11}(E)$

The centre of generic algebras of small PI algebras

See the researcher in context

Building this map preview

Thiago Castilho de Mello

Research overview

Is this your work?

16 publications

Images of graded polynomials on matrix algebras

Homogeneous involutions on upper triangular matrices

Images of multilinear polynomials on n×nn\times nn×n upper triangular matrices over infinite fields

The Mesyan Conjecture: a restatement and a correction

Graded monomial identities and almost non-degenerate gradings on matrices

Relatively free algebras of finite rank

The image of multilinear polynomials evaluated on 3×33\times 33×3 upper triangular matrices

Degree-inverting involutions on matrix algebras

Graded Polynomial Identities for Matrices with the Transpose Involution over an Infinite Field

Automorphisms of Ideals of Polynomial Rings

Graded identities of block-triangular matrices

Minimal Varieties and Identities of Relatively Free Algebras

A model for the relatively free graded algebra of block triangular matrices with entries from a graded algebra

On graded identities of block-triangular matrices with the grading of Di Vincenzo-Vasilovsky

On the polynomial identities of the algebra M11(E)M_{11}(E)M11​(E)

The centre of generic algebras of small PI algebras

See the researcher in context

Building this map preview

Images of multilinear polynomials on $n\times n$ upper triangular matrices over infinite fields

The image of multilinear polynomials evaluated on $3\times 3$ upper triangular matrices

On the polynomial identities of the algebra $M_{11}(E)$