Let $H_4$ and $H_8$ be the Sweedler’s and Kac-Paljutkin Hopf algebras, respectively. We prove that any Hopf algebra which factorizes through $H_8$ and $H_4$ (equivalently, any bicrossed product between the Hopf algebras $H_8$ and $H_4$) must be isomorphic to one of the following four Hopf algebras: $H_8\otimes H_4,H_{32,1},H_{32,2},H_{32,3}$. The set of all matched pairs $(H_8,H_4,▹,◃)$ is explicitly described, and then the associated bicrossed product is given by generators and relations.

We give a complete classification of right coideal subalgebras that contain all grouplike elements for the quantum group $U_q^{+}\left({\mathrm{𝔰𝔬}}_{2n+1}\right)$ provided that $q$ is not a root of 1. If $q$ has a finite multiplicative order $t>4$; this classification remains valid for homogeneous right coideal subalgebras of the Frobenius–Lusztig kernel $u_q^{+}\left({\mathrm{𝔰𝔬}}_{2n+1}\right)$. In particular, the total number of right coideal subalgebras that contain the coradical equals $\left(2n\right)!!$; the order of the Weyl group defined by the root system of type $B_n$.

We present some results concerning the problem $-\Delta u=\lambda \frac{u}{{\left|x\right|}^2}+u^q$, $u>0$ in $\Omega$, ${u|}_{\partial \Omega }=0$, where $0<q<(N+2)/\left(N-2\right)$, $q\ne 1$, $\lambda \ge 0$ and $\Omega$ is a smooth bounded domain containing the origin. In particular, bifurcation and uniqueness results are discussed.

We deal with the problem ⎧ -Δu = f(x,u) + λg(x,u), in Ω, ⎨ ($P_{\lambda }$) ⎩ $u_{\mid \partial \Omega }=0$ where Ω ⊂ ℝⁿ is a bounded domain, λ ∈ ℝ, and f,g: Ω×ℝ → ℝ are two Carathéodory functions with f(x,0) = g(x,0) = 0. Under suitable assumptions, we prove that there exists λ* > 0 such that, for each λ ∈ (0,λ*), problem ($P_{\lambda }$) admits a non-zero, non-negative strong solution $u_{\lambda }\in {\bigcap }_{p\ge 2}{W}^{2,p}\left(\Omega \right)$ such that $li{m}_{\lambda \to 0⁺}\left|\right|u_{\lambda }{\left|\right|}_{W^{2,p}\left(\Omega \right)}=0$ for all p ≥ 2. Moreover, the function $\lambda \mapsto I_{\lambda }\left(u_{\lambda }\right)$ is negative and decreasing in ]0,λ*[, where $I_{\lambda }$ is the energy functional related to ($P_{\lambda }$). ...

For finite groups $X$, $G$ and the right $G$-action on $X$ by group automorphisms, the non-balanced quantum double $D(X;G)$ is defined as the crossed product ${\left(ℂX^{\mathrm{op}}\right)}^{*}⋊ℂG$. We firstly prove that $D(X;G)$ is a finite-dimensional Hopf $C^{*}$-algebra. For any subgroup $H$ of $G$, $D(X;H)$ can be defined as a Hopf $C^{*}$-subalgebra of $D(X;G)$ in the natural way. Then there is a conditonal expectation from $D(X;G)$ onto $D(X;H)$ and the index is $[G;H]$. Moreover, we prove that an associated natural inclusion of non-balanced quantum doubles is the crossed product by the...

Suppose $A$ is a separable unital $𝒞\left(X\right)$-algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_1$-injective $C^{*}$-algebra $𝒟$. We show that $A$ and $𝒞\left(X\right)\otimes 𝒟$ are isomorphic as $𝒞\left(X\right)$-algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.

Let $G$ be a group generated by a set of finite order elements. We prove that any bicrossed product $H_{m,d}\left(q\right)\bowtie k\left[G\right]$ between the generalized Taft algebra $H_{m,d}\left(q\right)$ and group algebra $k\left[G\right]$ is actually the smash product $H_{m,d}\left(q\right)♯k\left[G\right]$. Then we show that the classification of these smash products could be reduced to the description of the group automorphisms of $G$. As an application, the classification of $H_{m,d}\left(q\right)\bowtie k[C_{n_1}\times C_{n_2}]$ is completely presented by generators and relations, where $C_n$ denotes the $n$-cyclic group.

Let $r\left({𝔴}_2^0\right)$ be the Green ring of the weak Hopf algebra ${𝔴}_2^0$ corresponding to Sweedler’s 4-dimensional Hopf algebra $H_2$, and let $\mathrm{Aut}\left(R\left({𝔴}_2^0\right)\right)$ be the automorphism group of the Green algebra $R\left({𝔴}_2^0\right)=r\left({𝔴}_2^0\right){\otimes }_{\mathbb{Z}}ℂ$. We show that the quotient group $\mathrm{Aut}\left(R\left({𝔴}_2^0\right)\right)/C_2\cong S_3$, where $C_2$ contains the identity map and is isomorphic to the infinite group $({ℂ}^{*},\times )$ and $S_3$ is the symmetric group of order 6.

We show that any ${\Sigma }_s$-product of at most $𝔠$-many $L\Sigma (\le \omega )$-spaces has the $L\Sigma (\le \omega )$-property. This result generalizes some known results about $L\Sigma (\le \omega )$-spaces. On the other hand, we prove that every ${\Sigma }_s$-product of monotonically monolithic spaces is monotonically monolithic, and in a similar form, we show that every ${\Sigma }_s$-product of Collins-Roscoe spaces has the Collins-Roscoe property. These results generalize some known results about the Collins-Roscoe spaces and answer some questions due to Tkachuk [Lifting the Collins-Roscoe...

Let ${\left(f_{\lambda }\right)}_{\lambda \in \Lambda }$ be a holomorphic family of rational mappings of degree $d$ on ${\mathbb{P}}^1\left(ℂ\right)$, with $k$ marked critical points $c_1,...,c_k$. To this data is associated a closed positive current $T_1\wedge \cdots \wedge T_k$ of bidegree $(k,k)$ on $\Lambda$, aiming to describe the simultaneous bifurcations of the marked critical points. In this note we show that the support of this current is accumulated by parameters at which $c_1,...,c_k$ eventually fall on repelling cycles. Together with results of Buff, Epstein and Gauthier, this leads to a complete characterization of $\mathrm{Supp}(T_1\wedge \cdots \wedge T_k)$. ...

We show that every operator from ${\ell }_s$ to ${\ell }_p\otimes ̂{\ell }_q$ is compact when 1 ≤ p,q < s and that every operator from ${\ell }_s$ to ${\ell }_p\widehat{\otimes ̂}{\ell }_q$ is compact when 1/p + 1/q > 1 + 1/s.

Let $𝒜={\left\{A_t\right\}}_{t\in G}$ and $ℬ={\left\{B_t\right\}}_{t\in G}$ be $C^{*}$-algebraic bundles over a finite group $G$. Let $C={⨁}_{t\in G}{A}_t$ and $D={⨁}_{t\in G}{B}_t$. Also, let $A=A_e$ and $B=B_e$, where $e$ is the unit element in $G$. We suppose that $C$ and $D$ are unital and $A$ and $B$ have the unit elements in $C$ and $D$, respectively. In this paper, we show that if there is an equivalence $𝒜-ℬ$-bundle over $G$ with some properties, then the unital inclusions of unital $C^{*}$-algebras $A\subset C$ and $B\subset D$ induced by $𝒜$ and $ℬ$ are strongly Morita equivalent. Also, we suppose that $𝒜$ and $ℬ$ are saturated and that $A^{\text{'}}\cap C=𝐂1$. We show that...

In a Tychonoff space $X$, the point $p\in X$ is called a $C^{*}$-point if every real-valued continuous function on $C\setminus \left\{p\right\}$ can be extended continuously to $p$. Every point in an extremally disconnected space is a $C^{*}$-point. A classic example is the space ${𝐖}^{*}={\omega }_1+1$ consisting of the countable ordinals together with ${\omega }_1$. The point ${\omega }_1$ is known to be a $C^{*}$-point as well as a $P$-point. We supply a characterization of $C^{*}$-points in totally ordered spaces. The remainder of our time is aimed at studying when a point in a product space...

Associated to an Hadamard matrix $H\in M_N\left(ℂ\right)$ is the spectral measure μ ∈ [0,N] of the corresponding Hopf image algebra, A = C(G) with $G\subset S{⁺}_N$. We study a certain family of discrete measures ${\mu }^r\in [0,N]$, coming from the idempotent state theory of G, which converge in Cesàro limit to μ. Our main result is a duality formula of type ${\int }_0^N{(x/N)}^{p}d{\mu }^r\left(x\right)={\int }_0^N{(x/N)}^{r}d{\nu }^p\left(x\right)$, where ${\mu }^r,{\nu }^r$ are the truncations of the spectral measures μ,ν associated to $H,H^t$. We also prove, using these truncations ${\mu }^r,{\nu }^r$, that for any deformed Fourier matrix $H=F_M{\otimes }_Q{F}_N$ we have μ = ν.

The moduli space of rank-$n$ commutative algebras equipped with an ordered basis is an affine scheme ${𝔅}_n$ of finite type over $\mathbb{Z}$, with geometrically connected fibers. It is smooth if and only if $n\le 3$. It is reducible if $n\ge 8$ (and the converse holds, at least if we remove the fibers above $2$ and $3$). The relative dimension of ${𝔅}_n$ is $\frac{2}{27}{n}^3+O\left(n^{8/3}\right)$. The subscheme parameterizing étale algebras is isomorphic to ${GL}_n/S_n$, which is of dimension only $n^2$. For $n\ge 8$, there exist algebras that are not limits of étale algebras. The dimension...