On actions of Drinfel'd doubles on finite dimensional algebras

Let q be an nth root of unity for $n>2$ and let $T_n(q)$ be the Taft (Hopf) algebra of dimension $n^2$. In 2001, Susan Montgomery and Hans-Jürgen Schneider classified all non-trivial $T_n(q)$-module algebra structures on an n-dimensional associative algebra A. They further showed that each such module structure extends uniquely to make A a module algebra over the Drinfel'd double of $T_n(q)$. We explore what it is about the Taft algebras that leads to this uniqueness, by examining actions of (the Drinfel'd double of) Hopf algebras H “close” to the Taft algebras on finite-dimensional algebras analogous to A above. Such Hopf algebras H include the Sweedler (Hopf) algebra of dimension 4, bosonizations of quantum linear spaces, and the Frobenius–Lusztig kernel $u_q({\mathfrak{sl}}_2)$.     

On Eisenstein polynomials and zeta polynomials

Eisenstein polynomials, which were defined by Oura, are analogues of the concept of an Eisenstein series. Oura conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In this paper, we provide new analogous properties of Eisenstein polynomials and zeta polynomials. These properties are finite analogies of certain properties of Eisenstein series.     

Indecomposable involutive set-theoretic solutions of the Yang–Baxter equation

We describe the indecomposable involutive non-degenerate set-theoretic solutions of the Yang–Baxter equation as dynamical extensions of non-degenerate left cycle sets. Moreover we characterize the indecomposable dynamical extensions and we produce several examples. As an application we construct a family of finite indecomposable solutions whose structure groups have not the unique product property.     

Linear maps between C*-algebras that are *-homomorphisms at a fixed point

Let A and B be C*-algebras. A linear map T : A → B is said to be a *-homomorphism at an element z ∈ A if ab* = z in A implies T (ab*) = T (a)T (b)* = T (z), and c*d = z in A gives T (c*d) = T (c)*T (d) = T (z). Assuming that A is unital, we prove that every linear map T : A → B which is a *-homomorphism at the unit of A is a Jordan *-homomorphism. If A is simple and infinite, then we establish that a linear map T : A → B is a *-homomorphism if and only if T is a *-homomorphism at the unit of A. For a general unital C*-algebra A and a linear map T : A → B, we prove that T is a *-homomorphism if, and only if, T is a *-homomorphism at 0 and at 1. Actually if p is a non-zero projection in A, and T is a ^?-homomorphism at p and at 1 ? p, then we prove that T is a Jordan *-homomorphism. We also study bounded linear maps that are *-homomorphisms at a unitary element in A.     

Discrete Morse theory for totally non-negative flag varieties

In a seminal 1994 paper Lusztig (1994) [26], Lusztig extended the theory of total positivity by introducing the totally non-negative part (G/P)_?0 of an arbitrary (generalized, partial) flag variety G/P. He referred to this space as a “remarkable polyhedral subspace”, and conjectured a decomposition into cells, which was subsequently proven by the first author Rietsch (1998) [33]. In Williams (2007) [40] the second author made the concrete conjecture that this cell decomposed space is the next best thing to a polyhedron, by conjecturing it to be a regular CW complex that is homeomorphic to a closed ball. In this article we use discrete Morse theory to prove this conjecture up to homotopy-equivalence. Explicitly, we prove that the boundaries of the cells are homotopic to spheres, and the closures of cells are contractible. The latter part generalizes a result of Lusztig's (1998) [28], that (G/P)_?0 - the closure of the top-dimensional cell - is contractible. Concerning our result on the boundaries of cells, even the special case that the boundary of the top-dimensional cell (G/P)_>0 is homotopic to a sphere, is new for all G/P other than projective space.     

Global existence of BV solutions and relaxation limit for a model of multiphase reactive flow

We consider a strictly hyperbolic system of balance laws in one space variable, that represents a simple model for a fluid flow in the presence of phase transitions. The state variables are specific volume, velocity and mass-density fraction λ of the vapor in the fluid. A reactive source term drives the dynamics of the phase mixtures; such a term depends on a relaxation parameter and involves an equilibrium pressure, allowing for metastable states.First we prove the global existence of weak solutions to the Cauchy problem, where the initial datum for λ is close either to 0 or 1 (the pure phases) and has small total variation, while the initial variations of pressure and velocity are not necessarily small. Then we consider the relaxation limit and prove that the weak solutions of the full system converge to those of the reduced system.     

Hadamard matrices of small order and Yang conjecture

We show that 138 odd values of n<10000 for which a Hadamard matrix of order 4n exists have been overlooked in the recent handbook of combinatorial designs. There are four additional odd n=191, 5767, 7081, 8249 in that range for which Hadamard matrices of order 4n exist. There is a unique equivalence class of near‐normal sequences NN(36), and the same is true for NN(38) and NN(40). This means that the Yang conjecture on the existence of near‐normal sequences NN(n) has been verified for all even n⩽40, but it still remains open. © 2010 Wiley Periodicals, Inc. J Combin Designs 18: 254–259, 2010     

Analyzing completeness of axiomatic functional systems for temporal × modal logics

In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions (being injective, surjective, increasing, etc.) have been considered and axiomatic systems (called functional) which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Analogues of Riemann tensors for the odd metric on supermanifolds

Structure functions constitute the complete set of obstructions to integrability of a G-structure on a manifold. For a Riemannian manifold the structure function is the Riemann tensor. In this work, we compute structure functions for the odd analogue of the metric on supermanifolds and for several related structures. Structure functions take values in Spencer cohomology groups, which we describe by means of the representation theory of Lie algebras and Lie superalgebras.