Hopf Extensions of CM-finite Artin Algebras

Let H be a finite-dimensional Hopf algebra over a field k, and A a left $H\mbox{-}$ module $k\mbox{-}$ algebra. We show that A#H is a CM-finite algebra if and only if A is a CM-finite algebra preserving global dimension of their relative Auslander algebras when A/A ^H is an $H^{*}\mbox{-}$ Galois extension and A#H/A is separable. As application, we describe all the finitely-generated Gorenstein-projective modules over a triangular matrix artin algebra $\Lambda=\left(\begin{smallmatrix} A^{H}& A\\ 0&A\#H \end{smallmatrix}\right)$ , and obtain a criteria for Λ being Gorenstein. We also show that Hopf extensions can induce recollements between categories $A\#H\mbox{-}{\rm Mod}$ and $A^{H}\mbox{-}{\rm Mod}$ .     

Maximal Abelian Dimensions in Some Families of Nilpotent Lie Algebras

This paper deals with the maximal abelian dimension of a Lie algebra, that is, the maximal value for the dimensions of its abelian Lie subalgebras. Indeed, we compute the maximal abelian dimension for every nilpotent Lie algebra of dimension less than 7 and for the Heisenberg algebra $\mathfrak{H}_k$ , with $k\in\mathbb{N}$ . In this way, an algorithmic procedure is introduced and applied to compute the maximal abelian dimension for any arbitrary nilpotent Lie algebra with an arbitrary dimension. The maximal abelian dimension is also given for some general families of nilpotent Lie algebras.     

A construction of cylindric and polyadic algebras from atomic relation algebras

Given a simple atomic relation algebra ${\mathcal{A}}$ and a finite n ?? 3, we construct effectively an atomic n-dimensional polyadic equality-type algebra ${\mathcal{P}}$ such that for any subsignature L of the signature of ${\mathcal{P}}$ that contains the boolean operations and cylindrifications, the L-reduct of ${\mathcal{P}}$ is completely representable if and only if ${\mathcal{A}}$ is completely representable. If ${\mathcal{A}}$ is finite then so is ${\mathcal{P}}$ . It follows that there is no algorithm to determine whether a finite n-dimensional cylindric algebra, diagonal-free cylindric algebra, polyadic algebra, or polyadic equality algebra is representable (for diagonal-free algebras this was known). We also obtain a new proof that the classes of completely representable n-dimensional algebras of these types are non-elementary, a result that remains true for infinite dimensions if the diagonals are present, and also for infinite-dimensional diagonal-free cylindric algebras.     

Hom-tensor relations for (quasi-) comodule algebras

We discuss quasi-Hopf algebras as introduced by Drinfeld and generalize the Hom-tensor adjunctions from the Hopf case to the quasi-Hopf setting, making the module category over a quasi-Hopf algebra H into a biclosed monoidal category. However, in this case, the unit and counit of the adjunction are not trivial and should be suitably modified in terms of the reassociator and the quasi-antipode of the quasi-Hopf algebra H. In a more general case, for a comodule algebra $ \mathcal{B} $ over a quasi-Hopf algebra H, the module category over $ \mathcal{B} $ need not to be monoidal. However, there is an action of a monoidal category on it. Using this action, we consider some kind of tensor and Hom-endofunctors of module category over $ \mathcal{B} $ and generalize some Hom-tensor relations from module category on H to this module category.     

Cotorsion dimensions and Hopf algebra actions

Let H be a finite-dimensional Hopf algebra over a field k, and let A be an H-module algebra. In this paper, we discuss the cotorsion dimension of the smash product A # H. We prove that $$l.\cot .D\left( {A\# H} \right) \leqslant l.\cot .D\left( A \right) + r.D\left( H \right),$$ which generalizes the result of group rings. Moreover, we give some sufficient conditions for which $$l.\cot .D\left( {A\# H} \right) = l.\cot .D\left( A \right).$$ As applications, we study the invariants of IF properties and Gorenstein global dimensions.     

Banach-valued holomorphic functions on the maximal ideal space of H ∞

We study Banach-valued holomorphic functions defined on open subsets of the maximal ideal space of the Banach algebra H ^∞ of bounded holomorphic functions on the unit disk $\mathbb{D}\subset \mathbb{C}$ with pointwise multiplication and supremum norm. In particular, we establish vanishing cohomology for sheaves of germs of such functions and, solving a Banach-valued corona problem for H ^∞, prove that the maximal ideal space of the algebra $H_{\mathrm{comp}}^{\infty}(A)$ of holomorphic functions on $\mathbb{D}$ with relatively compact images in a commutative unital complex Banach algebra A is homeomorphic to the direct product of maximal ideal spaces of H ^∞ and A.     

A Sequence to Compute the Brauer Group of Certain Quasi-Triangular Hopf Algebras

A deeper understanding of recent computations of the Brauer group of Hopf algebras is attained by explaining why a direct product decomposition for this group holds and describing the non-interpreted factor occurring in it. For a Hopf algebra B in a braided monoidal category ${{\mathcal C}}$ , and under certain assumptions on the braiding (fulfilled if ${{\mathcal C}}$ is symmetric), we construct a sequence for the Brauer group ${{\rm{BM}}}({{\mathcal C}};B)$ of B-module algebras, generalizing Beattie’s one. It allows one to prove that ${{\rm{BM}}}({{\mathcal C}};B) \cong {{\rm{Br}}}({{\mathcal C}}) \times {\operatorname{Gal}}({{\mathcal C}};B)$ , where ${{\rm{Br}}}({{\mathcal C}})$ is the Brauer group of ${{\mathcal C}}$ and ${\operatorname{Gal}}({{\mathcal C}};B)$ the group of B-Galois objects. We also show that ${{\rm{BM}}}({{\mathcal C}};B)$ contains a subgroup isomorphic to ${{\rm{Br}}}({{\mathcal C}}) \times {\operatorname{H^2}}({{\mathcal C}};B,I),$ where ${\operatorname{H^2}}({{\mathcal C}};B,I)$ is the second Sweedler cohomology group of B with values in the unit object I of ${{\mathcal C}}$ . These results are applied to the Brauer group ${{\rm{BM}}}(K,B \times H,{{\mathcal R}})$ of a quasi-triangular Hopf algebra that is a Radford biproduct B × H, where H is a usual Hopf algebra over a field K, the Hopf subalgebra generated by the quasi-triangular structure ${{\mathcal R}}$ is contained in H and B is a Hopf algebra in the category ${}_H{{\mathcal M}}$ of left H-modules. The Hopf algebras whose Brauer group was recently computed fit this framework. We finally show that ${{\rm{BM}}}(K,H,{{\mathcal R}}) \times {\operatorname{H^2}}({}_H{{\mathcal M}};B,K)$ is a subgroup of ${{\rm{BM}}}(K,B \times H,{{\mathcal R}})$ , confirming the suspicion that a certain cohomology group of B × H (second lazy cohomology group was conjectured) embeds into it. New examples of Brauer groups of quasi-triangular Hopf algebras are computed using this sequence.     

On Artin Algebras Arising from Morita Contexts

We study Morita rings \(\Lambda _{(\phi ,\psi )}=\left (\begin {array}{cc}A &_{A}N_{B} \\ _{B}M_{A} & B \end {array}\right )\) in the context of Artin algebras from various perspectives. First we study covariantly finite, contravariantly finite, and functorially finite subcategories of the module category of a Morita ring when the bimodule homomorphisms \(\phi \) and \(\psi \) are zero. Further we give bounds for the global dimension of a Morita ring \(\Lambda _{(0,0)}\) , as an Artin algebra, in terms of the global dimensions of A and B in the case when both \(\phi \) and \(\psi \) are zero. We illustrate our bounds with some examples. Finally we investigate when a Morita ring is a Gorenstein Artin algebra and then we determine all the Gorenstein-projective modules over the Morita ring \(\Lambda _{\phi ,\psi }\) in case \(A=N=M=B\) and A an Artin algebra.     

A Hyperbolic Non Distributive Algebra in 1 + 2 Dimensions

We introduce a non distributive algebra over the reals in 1 + 2 dimensions that contains the hyperbolic complex algebra ${\mathbb{H}_2}$ . The algebra has divisors of zero that can be avoided by introducing the necessary conditions. Under these conditions, the proposed addition and product operations satisfy group properties. More stringent restrictions sufficient to satisfy group properties separate the algebra in two subspaces. As an application, the composition of velocities in a deformed Lorentz metric is presented. In this approach, Minkowski light cones are deformed into light bipyramids.     

On Homotopes of Novikov Algebras

Given a unital associative commutative ring Φ containing $\frac{1}{2}$ , we consider a homotope of a Novikov algebra, i.e., an algebra $A_\varphi $ that is obtained from a Novikov algebra A by means of the derived operation $x \cdot y = xy\varphi $ on the Φ-module A, where the mapping ? satisfies the equality $xy\varphi = x(y\varphi )$ . We find conditions for a homotope of a Novikov algebra to be again a Novikov algebra.     

New Directions in Representation Theory

The Iwahori?CHecke algebra H(G, B) of a finite Chevalley group G with respect to a Borel subgroup B is described as a deformation of the group algebra of the Weyl group of G Similarly, the +-part of the quantized enveloping algebra ${{U^+_v (\mathfrak{g})}}$ associated with a semisimple Lie algebra ${{\mathfrak{g}}}$ can be viewed as a deformation of the +-part of the universal enveloping algebra ${{U(\mathfrak{g})}}$ . In both cases it is shown how information concerning the deformed algebras H(G, B) and ${{U^+_v (\mathfrak{g})}}$ can be used to obtain results about the representation theory of the Chevalley group G and the semisimple Lie algebra ${{\mathfrak{g}}}$ .     

Topological stable rank of H ∞(Ω) for circular domains Ω

Let Ω be a circular domain, that is, an open disk with finitely many closed disjoint disks removed. Denote by H ^∞(Ω) the Banach algebra of all bounded holomorphic functions on Ω, with pointwise operations and the supremum norm. We show that the topological stable rank of H ^∞(Ω) is equal to 2. The proof is based on Suárez’s theorem that the topological stable rank of H ^∞( $ \mathbb{D} $ ) is equal to 2, where $ \mathbb{D} $ is the unit disk. We also show that for circular domains symmetric to the real axis, the Bass and topological stable ranks of the real-symmetric algebra H _? ^∞ (Ω) are 2.     

A commutant realization of Odake’s algebra

The bcβγ-system $ \mathcal{W} $ of rank 3 has an action of the affine vertex algebra $ {V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ , and the commutant vertex algebra $ \mathcal{C}=\mathrm{Com}\left( {{V_0}\left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right),\mathcal{W}} \right) $ contains copies of V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and Odake’s algebra $ \mathcal{O} $ . Odake’s algebra is an extension of the N = 2 super-conformal algebra with c = 9, and is generated by eight fields which close nonlinearly under operator product expansions. Our main result is that V _?3/2 $ \left( {\mathfrak{s}{{\mathfrak{l}}_2}} \right) $ and $ \mathcal{O} $ form a Howe pair (i.e., a pair of mutual commutants) inside $ \mathcal{C} $ . More generally, any finite-dimensional representation of a Lie algebra $ \mathfrak{g} $ gives rise to a similar Howe pair, and this example corresponds to the adjoint representation of $ \mathfrak{s}{{\mathfrak{l}}_2} $ .     

Geometric models for the spectra of certain Gelfand pairs associated with Heisenberg groups

Let K be a compact Lie group acting on a finite dimensional Hermitian vector space V via some unitary representation. Now K acts by automorphisms on the associated Heisenberg group ${H_V=V \times \mathbb{R}}$ , and we say that (K, H _V ) is a Gelfand pair when the algebra ${L^1_K(H_V)}$ of integrable K-invariant functions on H _V commutes under convolution. In this situation an application of the Orbit Method yields a injective mapping ${\Psi}$ from the space Δ(K, H _V ) of bounded K-spherical functions on H _V to the space ${\mathfrak{h}_V^{*}/K}$ of K-orbits in the dual of the Lie algebra for H _V . We prove that ${\Psi}$ is a homeomorphism onto its image provided that the action of K on V is “well-behaved” in a sense made precise in this work. Our result encompasses a widely studied class of examples arising in connection with Hermitian symmetric spaces.     

Hall Polynomials and Composition Algebra of Representation Finite Algebras

Let \(\mathcal{A}\) be a representation finite algebra over finite field k such that the indecomposable \(\mathcal{A}\) -modules are determined by their dimension vectors and for each \(M, L \in ind(\mathcal{A})\) and \(N\in mod(\mathcal{A})\) , either \(F^{M}_{N L}=0\) or \(F^{M}_{L N}=0\) . We show that \(\mathcal{A}\) has Hall polynomials and the rational extension of its Ringel–Hall algebra equals the rational extension of its composition algebra. This result extend and unify some known results about Hall polynomials. As a consequence we show that if \(\mathcal{A}\) is a representation finite simply-connected algebra, or finite dimensional k-algebra such that there are no short cycles in \(mod(\mathcal{A})\) , or representation finite cluster tilted algebra, then \(\mathcal{A}\) has Hall polynomials and \(\mathcal{H}(\mathcal{A})\otimes_\mathbb{Z}Q=\mathcal{C}(\mathcal{A})\otimes_\mathbb{Z}Q\) .     

Relative Igusa-Todorov Functions and Relative Homological Dimensions

We develope the theory of \({\mathcal {E}}\)-relative Igusa-Todorov functions in an exact I T-context \(({\mathcal {C}},{\mathcal {E}})\) (see Definition 2.1). In the case when \({\mathcal {C}}={\text {mod}}\, ({\Lambda })\) is the category of finitely generated left Λ-modules, for an artin algebra Λ, and \({\mathcal {E}}\) is the class of all exact sequences in \({\mathcal {C}},\) we recover the usual Igusa-Todorov functions, Igusa K. and Todorov G. (2005). We use the setting of the exact structures and the Auslander-Solberg relative homological theory to generalise the original Igusa-Todorov’s results. Furthermore, we introduce the \({\mathcal {E}}\)-relative Igusa-Todorov dimension and also we obtain relationships with the relative global and relative finitistic dimensions and the Gorenstein homological dimensions.     

Finite-state self-similar actions of nilpotent groups

Let G be a finitely generated torsion-free nilpotent group and ${\phi:H\rightarrow G}$ be a surjective homomorphism from a subgroup H < G of finite index with trivial ${\phi}$ -core. For every choice of coset representatives of H in G there is a faithful self-similar action of the group G associated with ${(G, \phi)}$ . We are interested in what cases all these actions are finite-state and in what cases there exists a finite-state self-similar action for ${(G, \phi)}$ . These two properties are characterized in terms of the Jordan normal form of the corresponding automorphism $\widehat{\phi}$ of the Lie algebra of the Mal’cev completion of G.     

The structure theorem for comodule algebras over Hopf algebroids

We obtain the structure theorem for $(H, \mathcal{H})$ -Hopf bimodules over Hopf algebroids, where H is the total algebra of the Hopf algebroid  $\mathcal{H}$ . Based on this theorem, we investigate the structure theorem for comodule algebras over Hopf algebroids.