BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Thiago Castilho de Mello

Thiago Castilho de Mello contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.RAmath.ACmath.AG

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
14works
0followers
3topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

14 published item(s)

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

0 citations0 reviewsNo code linkedOpen access
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 $θ$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access