Mathematics - Rings and Algebras Publications (50)


Mathematics - Rings and Algebras Publications

We classify all tilting classes over an arbitrary commutative ring via certain sequences of Thomason subsets of the spectrum, generalizing the classification for noetherian commutative rings by Angeleri-Posp\'i\v{s}il-\v{S}\v{t}ov\'i\v{c}ek-Trlifaj. We show that the n-tilting classes can be equivalently expressed as classes of all modules vanishing in the first n degrees of one of the following homology theories arising from a finitely generated ideal: Tor_*(R/I,-), Koszul homology, \v{C}ech homology, or local homology (even though in general none of those theories coincide). Cofinite-type n-cotilting classes are described by vanishing of the corresponding cohomology theories. Read More

Let $\mathbb{K}$ be an infinite field. We prove that if a variety of alternating $\mathbb{K}$-algebras (not necessarily associative, where $xx=0$ is a law) is locally algebraically cartesian closed, then it must be a variety of Lie algebras over $\mathbb{K}$. In particular, $\mathsf{Lie}_{\mathbb{K}}$ is the largest such. Read More

In this paper we study twisted algebras of multiplier Hopf ($^*$-)algebras which generalize all kinds of smash products such as generalized smash products, twisted smash products, diagonal crossed products, L-R-smash products, two-sided crossed products and two-sided smash products for the ordinary Hopf algebras appeared in [P-O]. Read More

We give a criterion for the existence of non-commutative crepant resolutions (NCCR's) for certain toric singularities. In particular we recover Broomhead's result that a 3-dimensional toric Gorenstein singularity has a NCCR. Our result also yields the existence of a NCCR for a 4-dimensional toric Gorenstein singularity which is known to have no toric NCCR. Read More

A new tropical plactic algebra is introduced in which the Knuth relations are inferred from the underlying semiring arithmetics, encapsulating the ubiquitous plactic monoid $\mathcal{P}_n$. This algebra manifests a natural framework for accommodating representations of $\mathcal{P}_n$, or equivalently of Young tableaux, and its moderate coarsening -- the cloaktic monoid $\mathcal{K}_n$ and the co-cloaktic $ ^{\operatorname{co}}\mathcal{K}_n$. The faithful linear representations of $\mathcal{K}_n$ and $\, ^{\operatorname{co}} \mathcal{K}_n$ by tropical matrices, which constitute a tropical plactic algebra, are shown to provide linear representations of the plactic monoid. Read More

We generalize the main result of the first author Van Daele (1998) on the Pontryagin duality of multiplier Hopf algebras with integrals to weak multiplier Hopf algebras with integrals; we illustrate this duality by considering the two natural weak multiplier Hopf algebras associated with a groupoid in detail and show that they are dual to each other in the sense of the above duality. Read More

We present and compare three constructive methods for realizing non-real spectra with three nonzero elements in the nonnegative inverse eigenvalue problem. We also provide some necessary conditions for realizability and numerical examples. In particular, we utilise the companion matrix. Read More

We determine the Jordan-Holder decomposition multiplicities of projective and cell modules over periplectic Brauer algebras in characteristic zero. These are obtained by developing the combinatorics of certain skew Young diagrams. We also establish a useful relationship with the Kazhdan-Lusztig multiplicities of the periplectic Lie superalgebra. Read More

The Lie algebras over the algebra of dual numbers are introduced and investigated. Read More

We study pivotal decomposition schemes and investigate classes of pivotally decomposable operations. We provide sufficient conditions on pivotal operations that guarantee that the corresponding classes of pivotally decomposable operations are clones, and show that under certain assumptions these conditions are also necessary. In the latter case, the pivotal operation together with the constant operations generate the corresponding clone. Read More

We derive, from a given matrix polynomial, a lower order matrix polynomial with the same eigenvalues, which we call a companion matrix polynomial in analogy to the Frobenius companion matrix, which is a special case of our result. We derive a few nonstandard bounds on the zeros and eigenvalues of scalar and matrix polynomials, respectively, as an illustration of the usefulness of companion matrix polynomials. Read More

For a non-abelian Lie algebra $L$ of dimension $n$ with the derived subalgebra of dimension $m$ , the first author earlier proved that the dimension of its Schur multiplier is bounded by $\frac{1}{2}(n+m-2)(n-m-1)+1$. In the current work, we give some new inequalities on the exterior square and the Schur multiplier of Lie algebras and then we obtain the class of all nilpotent Lie algebras which attains the above bound. Moreover, we also improve this bound as much as possible. Read More

A closure endomorphism of a Hilbert algebra A is a mapping that is simultaneously an endomorphism of and a closure operator on A. It is known that the set CE of all closure endomorphisms of A is a distributive lattice where the meet of two elements is defined pointwise and their join is given by their composition. This lattice is shown in the paper to be isomorphic to the lattice of certain filters of A, anti-isomorphic to the lattice of certain closure retracts of A, and compactly generated. Read More

From Morita theoretic viewpoint, computing Morita invariants is important. We prove that the intersection of the center and the $n$th right socle $ZS^n(A) := Z(A) \cap \operatorname{Soc}^n(A)$ of a finite dimensional algebra $A$ is a Morita invariant; This is a generalization of important Morita invariants, the center $Z(A)$ and the Reynolds ideal $ZS^1(A)$. As an example, we also studied $ZS^n(FP)$ for the group algebra $FP$ of a finite $p$-group $P$ over a field $F$ of positive characteristic $p$. Read More

Let $\mathbb K$ be an algebraically closed field of characteristic zero. Let $V$ be a module over the polynomial ring $\mathbb K[x,y]$. The actions of $x$ and $y$ determine linear operators $P$ and $Q$ on $V$ as a vector space over $\mathbb K$. Read More

Lie-Butcher (LB) series are formal power series expressed in terms of trees and forests. On the geometric side LB-series generalizes classical B-series from Euclidean spaces to Lie groups and homogeneous manifolds. On the algebraic side, B-series are based on pre-Lie algebras and the Butcher-Connes-Kreimer Hopf algebra. Read More

We describe a solution of the word problem in free fields (coming from non-commutative polynomials over a commutative field) using elementary linear algebra, provided that the elements are given by minimal linear representations. It relies on the normal form of Cohn and Reutenauer and can be used more generally to (positively) test rational identities. Moreover we provide a construction of minimal linear representations for the inverse of non-zero elements. Read More

We describe the modules in the Ziegler closure of ray and coray tubes in module categories over finite-dimensional algebras. We improve slightly on Krause's result for stable tubes by showing that the inverse limit along a coray in a ray or coray tube is indecomposable, so in particular, the inverse limit along a coray in a stable tube is indecomposable. In order to do all this, we first describe the finitely presented modules over and the Ziegler spectra of iterated one-point extensions of valuation domains. Read More

We show that every subset of vertices of a directed graph E gives a Morita equivalence between a subalgebra and an ideal of the associated Leavitt path algebra. We use this observation to prove an algebraic version of a theorem of Crisp and Gow: certain subgraphs of E can be contracted to a new graph G such that the Leavitt path algebras of E and G are Morita equivalent. We provide examples to illustrate how desingularising a graph, and in- or out-delaying of a graph, all fit into this setting. Read More

We describe the structure of bimodules (over finite dimensional algebras) which have the property that the functor of tensoring with such a bimodule sends any module to a projective module. The main result is that all such bimodules are $\Bbbk$-split in the sense that they factor (inside the tensor category of bimodules) over $\Bbbk$-vector spaces. As one application, we show that any simple $2$-category has a faithful $2$-representation inside the $2$-category of $\Bbbk$-split bimodules. Read More

A compact topological space $X$ is \emph{spectral} if it is sober and the compact open subsets of $X$ form a basis of the topology of $X$, closed under finite intersections. It is well known that the spectrum of an Abelian $\ell$-group with unit -- equivalently, of an MV-algebra -- is spectral. Theorem. Read More

The main purpose of this paper is to unify the theory of actions of Hopf algebras, weak Hopf algebras and multiplier Hopf algebras to one of actions of weak multiplier Hopf algebras introduced by A. Van Daele and S. H. Read More

For $c\geq 2$, the free centre-by-(nilpotent-of-class-c-1)-by abelian Lie ring on a set $X$ is the quotient $L/[(L')^c,L]$ where $L$ is the free Lie ring on $X$, and $(L')^c$ denotes the $c$th term of the lower central series of the derived ideal $L'=L^2$ of $L$. In this paper we give a complete description of the torsion subgroup of its additive group in the case where $|X|=2$ and $c$ is a prime number. Read More

We attach to each $\langle 0, \vee \rangle$-semilattice a graph $\boldsymbol{G}_{\boldsymbol{S}}$ whose vertices are join-irreducible elements of $\boldsymbol{S}$ and whose edges correspond to the reflexive dependency relation. We study properties of the graph $\boldsymbol{G}_{\boldsymbol{S}}$ both when $\boldsymbol{S}$ is a join-semilattice and when it is a lattice. We call a $\langle 0, \vee \rangle$-semilattice $\boldsymbol{S}$ particle provided that the set of its join-irreducible elements join-generates $\boldsymbol{S}$ and it satisfies DCC. Read More

We prove that, for any positive integer $c$, the quotient group $\gamma_{c}(M_{3})/\gamma_{c+1}(M_{3})$ of the lower central series of the McCool group $M_{3}$ is isomorphic to two copies of the quotient group $\gamma_{c}(F_{3})/\gamma_{c+1}(F_{3})$ of the lower central series of a free group $F_{3}$ of rank $3$ as $\mathbb{Z}$-modules. Furthermore, we give a necessary and sufficient condition whether the associated graded Lie algebra ${\rm gr}(M_{3})$ of $M_3$ is naturally embedded into the Johnson Lie algebra ${\cal L}({\rm IA}(F_{3}))$ of the IA-automorphisms of $F_{3}$. Read More

Laszlo Fuchs posed the following problem in 1960, which remains open: classify the abelian groups occurring as the group of all units in a commutative ring. In this note, we provide an elementary solution to a simpler, related problem: find all cardinal numbers occurring as the cardinality of the group of all units in a commutative ring. As a by-product, we obtain a solution to Fuchs' problem for the class of finite abelian $p$-groups when $p$ is an odd prime. Read More

We study a multi-parametric family of quadratic algebras in four generators, which includes coordinate algebras of noncommutative four-planes and, as quotient algebras, noncommutative three spheres. Particular subfamilies comprise Sklyanin algebras and Connes--Dubois-Violette planes. We determine quantum groups of symmetries for the general algebras and construct finite-dimensional covariant differential calculi. Read More

Nikolai Durov introduced the theory of generalized rings and schemes to study Arakelov geometry in an alternative algebraic framework, and introduced the residue field at the infinite place. We show an elementary algebraic approach to modules and algebras over this object, define prime congruences, show that the polynomial ring of n variables is of Krull dimension n, and derive a prime decomposition theorem for these primes. Read More

We associate to every central simple algebra with involution of orthogonal type in characteristic two a totally singular quadratic form which reflects certain anisotropy properties of the involution. It is shown that this quadratic form can be used to classify totally decomposable algebras with orthogonal involution. Also, using this form, a criterion is obtained for an orthogonal involution on a split algebra to be conjugated to the transpose involution. Read More

We obtain some criteria for a symmetric square-central element of a totally decomposable algebra with orthogonal involution in characteristic two, to be contained in an invariant quaternion subalgebra. Read More

Let $W$ be a Coxeter group. The goal of the paper is to construct new Hopf algebras that contain Hecke algebras $H_{\bf q}(W)$ as (left) coideal subalgebras. Our Hecke-Hopf algebras ${\bf H}(W)$ have a number of applications. Read More

Classifying Hopf algebras of a given dimension is a hard and open question. Using the generalized lifting method, we determine all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose coradical generates a Hopf algebra $H$ of dimension $16$ without the Chevalley property and the corresponding infinitesimal braidings are simple objects in $\HYD$. In particular, we figure out $8$ classes of new Hopf algebras of dimension $128$ without the Chevalley property. Read More

We present Buchberger Theory and Algorithm of Gr\"obner bases for multivariate Ore extensions of rings presented as modules over a principal ideal domain. The algorithms are based on M\"oller Lifting Theorem. Read More

We study identities of finite dimensional algebras over a field of characteristic zero, graded by an arbitrary groupoid $\Gamma$. First we prove that its graded colength has a polynomially bounded growth. For any graded simple algebra $A$ we prove the existence of the graded PI-exponent, provided that $\Gamma$ is a commutative semigroup. Read More

Let $A$ be a finite dimensional real algebra with a division grading by a finite abelian group $G$. In this paper we provide finite basis for the $T_G$-ideal of graded identities and for the $T_G$-space of graded central polynomials for $A$. Read More

We associate an Albert form to any pair of cyclic algebras of prime degree $p$ over a field $F$ with $\operatorname{char}(F)=p$ which coincides with the classical Albert form when $p=2$. We prove that if every Albert form is isotropic then $H^4(F)=0$. As a result, we obtain that if $F$ is a linked field with $\operatorname{char}(F)=2$ then its $u$-invariant is either $0,2,4$ or $8$. Read More

In 2008, Loday generalises Hopf-Borel theorem to operads. We extend here his result by loosening and reducing hypotheses of this theorem to a class of rewriting rules generalising the classical notion of mixed distributive laws, that we call generalised mixed distributive laws. This enables us to show that for any operads P and Q having the same underlying S-module, there exists a generalised mixed distributive law $\lambda$ such that any connected P coQ-bialgebra satisfying $\lambda$ is free and cofree over its primitive elements. Read More

Lee and Kwon [12] defined an ordered semigroup S to be completely regular if a 2 (a2Sa2] for every a 2 S. We characterize every completely regular ordered semigroup as a union of t-simple subsemigroups, and every Clifford ordered semigroup as a complete semilattice of t-simple subsemigroups. Green's Theorem for the completely regular ordered semigroups has been established. Read More

We discuss the projective line $\mathbb{P}(R)$ over a finite associative ring with unity. $\mathbb{P}(R)$ is naturally endowed with the symmetric and anti-reflexive relation distant. We study the graph of this relation on $\mathbb{P}(R)$. Read More

In this note, let $\A$ be a finitary hereditary abelian category with enough projectives. By using the associativity formula of Hall algebras, we give a new and simple proof of the main theorem in \cite{Yan}, which states that the Bridgeland's Hall algebra of 2-cyclic complexes of projective objects in $\A$ is isomorphic to the Drinfeld double Hall algebra of $\A$. In a similar way, we give a simplification of the key step in the proof of Theorem 4. Read More

We show that the Poisson centre of truncated maximal parabolic subalgebras of a simple Lie algebra of type B, D and E_6 is a polynomial algebra. This allows us to answer positively for these algebras Dixmier's fourth problem, namely whether the field of invariant fractions of the enveloping algebra of a Lie algebra is a purely transcendental extension of the base field. In roughly half of the cases the polynomiality of the Poisson centre was already known by a completely different method. Read More

We revisit (higher-order) translation operators on rough paths, in both the geometric and branched setting. As in Hairer's work on the renormalization of singular SPDEs we propose a purely algebraic view on the matter. Recent advances in the theory of regularity structures, especially the Hopf algebraic interplay of positive and negative renormalization of Bruned--Hairer--Zambotti (2016), are seen to have precise counterparts in the rough path context, even with a similar formalism (short of polynomial decorations and colourings). Read More

Let $L$ be a restricted Lie algebra over a field of positive characteristic. We prove that the restricted enveloping algebra of $L$ is a principal ideal ring if and only if $L$ is an extension of a finite-dimensional torus by a cyclic restricted Lie algebra. Read More

We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension over it admits a join decomposition. We also explain why this result cannot be extended to a non-cocommutative setting. Read More

In this paper, we investigate *-DMP elements in $*$-semigroups and $*$-rings. The notion of *-DMP element was introduced by Patr\'{i}cio in 2004. An element $a$ is *-DMP if there exists a positive integer $m$ such that $a^{m}$ is EP. Read More

In this paper, we define $A_{\infty}$-Koszul duals for directed $A_{\infty}$-categories in terms of twists in their $A_{\infty}$-derived categories. Then, we compute a concrete formula of $A_{\infty}$-Koszul duals for path algebras with directed $A_n$-type Gabriel quivers. To compute an $A_\infty$-Koszul dual of such an algebra $A$, we construct a directed subcategory of a Fukaya category which are $A_\infty$-derived equivalent to the category of $A$-modules and compute Dehn twists as twists. Read More

We extend the Leavitt path algebras versions for ultragraphs (quotient ultragraphs) and we prove the graded and Cuntz-Krieger uniqueness theorems to characterize their ideal structure. Next, we give an algebraic analogous of Exel-Laca algebras and we show that the class of Leavitt path algebras of ultragraphs includes this class of directed graphs as well as the class of algebraic Exel-Laca algebras. Read More

We introduce the notion of a subregular subalgebra, which we believe is useful for classification of subalgebras of Lie algebras. We use it to construct a non-regular invariant generalized complex structure on a Lie group. As an illustration of the study of invariant generalized complex structures, we compute them all for the real forms of G2. Read More

The post-Lie algebra is an enriched structure of the Lie algebra. We characterize the graded post-Lie algebra structures and a class of non-graded post-Lie algebra structures on the Witt algebra. We obtain some new Lie algebras and give a class of their modules. Read More