Hochschild Cohomology of Quiver Algebras Defined by Two Cycles and a Quantum-Like Relation II

We consider quiver algebras A _q over a field k defined by two cycles and a quantum-like relation depending on a nonzero element q in k. We determine the Hochschild cohomology ring of A _q and give necessary and sufficient conditions for A _q to have the finitely generated Hochschild cohomology ring.     

On the algebra structure of some bismash products

We study several families of semisimple Hopf algebras, arising as bismash products, which are constructed from finite groups with a certain specified factorization. First we associate a bismash product H_q of dimension q(q−1)(q+1) to each of the finite groups PGL₂(q) and show that these H_q do not have the structure (as algebras) of group algebras (except when q=2,3). As a corollary, all Hopf algebras constructed from them by a comultiplication twist also have this property and are thus non-trivial. We also show that bismash products constructed from Frobenius groups do have the structure (as algebras) of group algebras.     

Finitely additive integration and local integration with respect to upper integrals

Summary We study the integration theory for general integral metrics when restricted to upper integrals q, finding improvements in the relation between the classes of the q-integrable and the q_l-integrable functions. We give new results and notions which lead to the desirable characterizations of q-integrable functions as q_l-integrable f with q(|f|) < ∞, and of q_l-integrable functions via the integrability of their upper truncations, under natural conditions which are fulfilled in most finitely additive integration theories.     

The Graded Algebra Generated by Two Eulerian Derivatives

We study the algebra R _p,q generated by the Eulerian derivatives for two parameters p and q. Subject to certain conditions on the parameters, we show that R _p,q is a finitely presented N-graded algebra of Gelfand–Kirillov dimension 3. We establish a criterion for the cyclic module R _p,q /R _p,q f to be Noetherian, where f is homogeneous of degree 1. For some choices of the parameters, this criterion always holds and we know of no situation where it fails. It is not known whether R _p,q is Noetherian. We classify the point modules for R _p,q and determine the normal elements and graded automorphisms for R _p,q .     

On Composition Factors of Finite Groups Having the Same Set of Element Orders as the Group U3(q)

We study the composition factors of a finite nonsolvable group having the same set of order elements as the simple unitary group U ₃(q) for an odd q. We prove in particular that for q>5 the (only) nonabelian composition factor of such a group is isomorphic to U ₃(q).     

Order of elements in the groups related to the general linear group

For a natural number n and a prime power q the general, special, projective general and projective special linear groups are denoted by GL_n(q), SL_n(q), PGL_n(q) and PSL_n(q), respectively. Using conjugacy classes of elements in GL_n(q) in terms of irreducible polynomials over the finite field GF(q) we demonstrate how the set of order elements in GL_n(q) can be obtained. This will help to find the order of elements in the groups SL_n(q), PGL_n(q) and PSL_n(q). We also show an upper bound for the order of elements in SL_n(q).     

Renormalization of multiple <Emphasis Type="Italic">q</Emphasis>-zeta values

In this paper, we shall define the renormalization of the multiple q-zeta values （MqZV） which are special values of multiple q-zeta functions ζq （s1,..., Sd） when the arguments are all positive integers or all non-positive integers. This generalizes the work of Guo and Zhang （Renormalization of Multiple Zeta Values, arxiv： math/0606076v3）. We show that our renormalization process produces the same values if the MqZVs are well-defined originally and that these renormalizations of MqZV satisfy the q-stuffle relations if we use shifted-renormalizations for all divergent ζq（S1,..., sd） （i.e., s1 ≤ 1）. Moreover, when q ↑ 1 our renormalizations agree with those of Guo and Zhang.     

Compactness of the complex Green operator on CR-manifolds of hypersurface type

The purpose of this article is to study compactness of the complex Green operator on CR manifolds of hypersurface type. We introduce (CR-P _q ), a potential theoretic condition on (0, q)-forms that generalizes Catlin’s property (P _q ) to CR manifolds of arbitrary codimension. We prove that if an embedded CR-manifold of hypersurface type of real dimension at least five satisfies (CR-P _q ) and (CR-P _n-1-q ), then the complex Green operator is a compact operator on the Sobolev spaces H^s_0,q(M){H^s_{0,q}(M)} and H^s_0,n-1-q(M){H^s_{0,n-1-q}(M)} , if 1 ≤  q ≤  n−2 and s ≥  0. We use CR-plurisubharmonic functions to build a microlocal norm that controls the totally real direction of the tangent bundle.     

The Cardinality of Sets of k -Independent Vectors over Finite Fields

A set of vectors is k-independent if all its subsets with no more than k elements are linearly independent. We obtain a result concerning the maximal possible cardinality Ind _q (n, k) of a k-independent set of vectors in the n-dimensional vector space F _q ⁿ over the finite field F _q of order q. Namely, we give a necessary and sufficient condition for Ind _q (n, k) = n + 1. We conclude with some pertinent remarks re applications of our results to codes, graphs and hypercubes.     

Sets of Elements that Pairwise Generate a Matrix Ring

In this article, we investigate the relationship between the minimum number of proper subgroups of GL(n, q) whose union is the whole GL(n, q) and the maximum number of elements that pairwise generate GL(n, q). We show that the minimum number of proper subrings of M _n (q) whose union is the whole M _n (q) is exactly the maximum number of elements that pairwise generate M _n (q).     

Principal congruence subgroups of the Hecke groups and related results

In this paper, first, we determine the quotient groups of the Hecke groups H(λ _q ), where q ≥ 7 is prime, by their principal congruence subgroups H _p (λ _q ) oflevel p, where p is also prime. We deal with the case of q = 7 separately, because of its close relation with the Hurwitz groups. Then, using the obtained results, we find the principal congruence subgroups of the extended Hecke groups $ \overline H $ \overline H (λ _q ) for q ≥ 5 prime. Finally, we show that some of the quotient groups of the Hecke group H(λ _q ) and the extended Hecke group $ \overline H $ \overline H (λ _q ), q ≥ 5 prime, by their principal congruence subgroups H _p (λ _q ) are M*-groups.     

Simple quasidoubles of projective planes

We show that the number of (simple) designsS ₂(2,q + 1,q ² +q + 1), whereq is a power of a prime, grows at least asO(q!).Dedicated to Professor Otto Haupt with best wishes on his 100th birthday     

A generalized numerical range: the range of a constrained sesquilinear form

Let M_n denote the algebra of all nxn complex matrices. For a given q?C with ∣Q∣≤1, we define and denote the q-numerical range of A?M_n by

W_q (A)={x ^? Ay:x,y?C ⁿ , _{x ^? x?y ^? y=1,x ^? y=q} }

The q-numerical radius is then given by r_q (A)=sup{∣z∣:z?W _q (A)}. When q=1,W _q (A) and r _q (A) reduce to the classical numerical range of A and the classical numerical radius of A, respectively. when q≠0, another interesting quantity associated with W _q (A) is the inner q-numerical radius defined by [rtilde] _q (A)=inf{∣z∣:z?W _q (A)}

In this paper, we describe some basic properties of W _q (A), extending known results on the classical numerical range. We also study the properties of r_q considered as a norm (seminorm if q=0) on M_n .Finally, we characterize those linear operators L on M_n that leave W_q ,r_q of [rtilde]_q invariant. Extension of some of our results to the infinite dimensional case is discussed, and open problems are mentioned.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

The representations ofU q(SO4) andU q(SO3,1)

Summary We have considered here the (unitary) irreducible representations of theq-deformed algebraU _q(SO₄) and of theq-deformed Lorentz algebraU _q(SO_3,1). Both of them contain, as subalgebra, the algebraU _q(SO₃) which is shown to be isomorphic to the Fairlie-Odesskii algebra. As the list of pairwise nonequivalent irreps of theU _q(SO_3,1) demonstrates, the set of the parameters, which characterize such irreps is somewhat reduced (due to periodicity properties of the function w(z)=[z]_q) in comparison with that of theq=1 (classical) case. From another side, the list of unitary irreps of theU _q(SO_3,1) contains the strange series which has no classical counterpart (disappears at q=1).Published in Teoreticheskaya i Matematicheskaya Fizika. Vol. 95, No. 2, pp. 251–257, May, 1993.     

Psl(2,q) quotients of some hyperbolic tetrahedral and coxeter groups

We classify quotients of type PSL(2,q) and PGL(2,q) with torsion-free kernel for four of the nine hyperbolic tetrahedral groups. Using this result, we give a classification of the quotients with torsion-free kernel of type PSL(2q) ×Z₂ of the associated Coxeter or reflection groups. These do not admit quotients of type PSL(2,q),PGL(2,q). We also study quotients of type PSL(2,q) and PGL(2,q) of the fundamental group of the hyperbolic 3-orbifold of minimal known volume.     

Maximal partial spreads in PG (3, q)

We transfer the whole geometry of PG(3, q) over a non-singular quadric Q_4,q of PG(4, q) mapping suitably PG(3, q) over Q_4,q. More precisely the points of PG(3, q) are the lines of Q_4,q; the lines of PG(3, q) are the tangent cones of Q_4,q and the reguli of the hyperbolic quadrics hyperplane section of Q_4,q. A plane of PG(3, q) is the set of lines of Q_4,q meeting a fixed line of Q_4,q. We remark that this representation is valid also for a projective space over any field K and we apply the above representation to construct maximal partial spreads in PG(3, q). For q even we get new cardinalities for For q odd the cardinalities are partially known.     

The Maximum or Minimum Number of Rational Points on Genus Three Curves over Finite Fields

We show that for all finite fields F_q, there exists a curve C over F_q of genus 3 such that the number of rational points on C is within 3 of the Serre–Weil upper or lower bound. For some q, we also obtain improvements on the upper bound for the number of rational points on a genus 3 curve over F_q.with an Appendix by Jean-Pierre Serre     

A characterization of some q-orthogonal polynomials

We show that the only orthogonal polynomials satisfying a q-difference equation of the form π(x)D _q P _n (x) = (α _n x + β _n )P _n (x) + γ _n P _n−1(x) where π(x) is a polynomial of degree 2, are the Al-Salam Carlitz 1, little and big q-Laguerre, the little and big q-Jacobi, and the q-Bessel polynomials. This is a q-analog of the work carried out in [1]. 2000 Mathematics Subject Classification Primary—33C45, 33D45     

The depth of the maximal subgroups of Ree groups

We determine the combinatorial and the ordinary depth of the maximal subgroups of the simple Ree groups ²G₂(q). As an application of these calculations, we determine the subdegrees of primitive actions of the groups ²G₂(q). We also improve an earlier estimate of Burness, Liebeck, and Shalev on the base size of” non-standard” primitive actions of ²G₂(q) on the coset space of maximal subgroups from 3 to 2.