Twisting theory for weak Hopf algebras

The main aim of this paper is to study the twisting theory of weak Hopf algebras and give an equivalence between the （braided） monoidal categories of weak Hopf bimodules over the original and the twisted weak Hopf algebra to generalize the result from Oeckl （2000）.     

Maschke-type theorem and Morita context over weak Hopf algebras

This paper gives a Maschke-type theorem over semisimple weak Hopf algebras, extends the well-known Maschke-type theorem given by Cohen and Fishman and constructs a Morita context over weak Hopf algebras.     

Maschke’s theorem for smash products of quasitriangular weak Hopf algebras

The paper is concerned with the semisimplicity of smash products of quasitriangular weak Hopf algebras. Let (H,R) be a finite dimensional quasitriangular weak Hopf algebra over a field k and A any semisimple and quantum commutative weak H-module algebra. Based on the work of Nikshych et al. (Topol. Appl. 127(1–2):91–123, 2003), we give Maschke’s theorem for smash products of quasitriangular weak Hopf algebras, stating that A#H is semisimple if and only if A is a projective left A#H-module, which extends the Theorem 3.2 given in Yang and Wang (Commun. Algebra 27(3):1165–1170, 1999).     

Classifying bicrossed products of two Sweedler’s Hopf algebras

We continue the study started recently by Agore, Bontea and Militaru in “Classifying bicrossed products of Hopf algebras” (2014), by describing and classifying all Hopf algebras E that factorize through two Sweedler’s Hopf algebras. Equivalently, we classify all bicrossed products H ₄ ? H ₄. There are three steps in our approach. First, we explicitly describe the set of all matched pairs (H ₄,H ₄, ?, ?) by proving that, with the exception of the trivial pair, this set is parameterized by the ground field k. Then, for any λ ∈ k, we describe by generators and relations the associated bicrossed product, \({H_{16,\lambda }}\) . This is a 16-dimensional, pointed, unimodular and non-semisimple Hopf algebra. A Hopf algebra E factorizes through H ₄ and H ₄ if and only if E ? H ₄ ? H ₄ or \(E \cong {H_{16,\lambda }}\) . In the last step we classify these quantum groups by proving that there are only three isomorphism classes represented by: H ₄ ? H ₄, H _16,0 and H _16,1 ? D(H ₄), the Drinfel’d double of H ₄. The automorphism group of these objects is also computed: in particular, we prove that Aut_Hopf (D(H ₄)) is isomorphic to a semidirect product of groups, k ^× ? ?₂.     

Larson–Sweedler Theorem and Some Properties of Discrete Type in (G-Cograded) Multiplier Hopf Algebras

We extend the Larson–Sweedler theorem to group-cograded multiplier Hopf algebras introduced in Abd El-hafez et al. (2004 Abd El-hafez , A. T. , Delvaux , L. , Van Daele , A. ( 2004 ). Group-cograded multiplier Hopf (?-)algebra. Math. QA/0404026 . To appear in Algebras and Representation Theory . [CSA]  [Google Scholar]), by showing that a group-cograded multiplier bialgebra with finite-dimensional unital components is a group-cograded multiplier Hopf algebra if and only if it possesses a nondegenerate left cointegral. We also generalize the theory of multiplier Hopf algebras of discrete type in Van Daele and Zhang (1999 Van Daele , A. , Zhang , Y. ( 1999 ). Multiplier Hopf algebras of discrete type . J. Algebra 214 : 400 – 417 . [CSA] [CROSSREF]  [Google Scholar]) to group-cograded multiplier Hopf algebras. Our results are applicable to Hopf group-coalgebras in the sense of Turaev (2000 Turaev , V. G. ( 2000 ). Homotopy field theory in dimension 3 and crossed group-categories . Preprint GT/0005291. [CSA]  [Google Scholar]). Finally, we study regular multiplier Hopf algebras of η -discrete type.     

A Cartier–Gabriel–Kostant structure theorem for Hopf algebroids

In this paper we give an extension of the Cartier–Gabriel–Kostant structure theorem to Hopf algebroids.     

The Gauss–Wilson theorem for quarter-intervals

We define a Gauss factorial N _n ! to be the product of all positive integers up to N that are relatively prime to n. It is the purpose of this paper to study the multiplicative orders of the Gauss factorials $\left\lfloor\frac{n-1}{4}\right\rfloor_{n}!$ for odd positive integers n. The case where n has exactly one prime factor of the form p≡1(mod4) is of particular interest, as will be explained in the introduction. A fundamental role is played by p with the property that the order of  $\frac{p-1}{4}!$ modulo p is a power of 2; because of their connection to two different results of Gauss we call them Gauss primes. Our main result is a complete characterization in terms of Gauss primes of those n of the above form that satisfy $\left\lfloor\frac{n-1}{4}\right\rfloor_{n}!\equiv 1\pmod{n}$ . We also report on computations that were required in the process.     

A Bishop–Phelps–Bollobás type theorem for uniform algebras

This paper is devoted to showing that Asplund operators with range in a uniform Banach algebra have the Bishop–Phelps–Bollobás property, i.e., they are approximated by norm attaining Asplund operators at the same time that a point where the approximated operator almost attains its norm is approximated by a point at which the approximating operator attains it. To prove this result we use the weak^∗${}^{\ast }$-to-norm fragmentability of weak^∗${}^{\ast }$-compact subsets of the dual of Asplund spaces and we need to observe a Urysohn type result producing peak complex-valued functions in uniform algebras that are small outside a given open set and whose image is inside a Stolz region.     

Twisted exponents and twisted Frobenius–Schur indicators for Hopf algebras

Classically, the exponent of a group is the least common multiple of the orders of its elements. This notion was generalized by Etingof and Gelaki to Hopf algebras. Kashina, Sommerhäuser, and Zhu later observed that there is a strong connection between exponents and Frobenius–Schur indicators. In this article, we introduce the notion of twisted exponents and show there is a similar relationship between the twisted exponent and the twisted Frobenius–Schur indicators defined in previous work of the authors. In particular, we exhibit a new formula for the twisted indicators and use it to prove periodicity and rationality statements.     

A theorem of Fong''''s type for graded algebras

Let G be a finite p-solvable group and k be an algebraic closed field of characteristic p. It is proved that any projective indecomposable module of a G-graded k-algebra is an induced module of a module of the subalgebra graded by a Hall p'-subgroup. A necessary and sufficient condition for the indecomposability of an induced module from a Hall p'-subgroup is obtained.     

A new discrete Hopf–Rinow theorem

We prove a version of the Hopf–Rinow theorem with respect to path metrics on discrete spaces. The novel aspect is that we do not a priori assume local finiteness but isolate a local finiteness type condition, called essentially locally finite, that is indeed necessary. As a side product we identify the maximal weight, called the geodesic weight, generating the path metric in the situation when the space is complete with respect to any of the equivalent notions of completeness proven in the Hopf–Rinow theorem. As an application we characterize the graphs for which the resistance metric is a path metric induced by the graph structure.     

Jacobi–Hecke algebras and a rationality theorem for a formal Hecke series

It is well known that the L-function associated to a Siegel eigenform f is equal to a Rankin-Selberg type zeta-integral involving f and a restricted Eisenstein series ([3], [14]). At some point in the proof one has to show the equality of a certain Dirichlet series and the L-function, which follows from a rationality theorem for a certain formal power series over the Hecke algebra. The main purpose of this paper is to develop a Hecke theory for the Jacobi group and to prove such a rationality theorem. Received: 17 August 1998 / Revised version: 17 February 1999     

The Bowman–Bradley theorem for multiple zeta-star values

TextThe Bowman–Bradley theorem asserts that the multiple zeta values at the sequences obtained by inserting a fixed number of twos between $3,1,\dots ,3,1$ add up to a rational multiple of a power of π. We establish its counterpart for multiple zeta-star values by showing an identity in a non-commutative polynomial algebra introduced by Hoffman.VideoFor a video summary of this paper, please click here or visit http://www.youtube.com/watch?v=LpqA2OJ6vP8.     

The Morse–Sard theorem for Clarke critical values

The Morse–Sard theorem states that the set of critical values of a C^k$C^k$ smooth function defined on a Euclidean space R^d${\mathbb{R}}^d$ has Lebesgue measure zero, provided k≥d$k\ge d$. This result is hereby extended for (generalized) critical values of continuous selections over a compactly indexed countable family of C^k$C^k$ functions: it is shown that these functions are Lipschitz continuous and the set of their Clarke critical values is null.