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$.

Let $A_{T}H$ denote the twisted smash product of an arbitrary algebra A and a Hopf algebra H over a field. We present an analogue of the celebrated Blattner-Montgomery duality theorem for $A_{T}H$, and as an application we establish the relationship between the homological dimensions of $A_{T}H$ and A if H and its dual H* are both semisimple.

Let $H$ be a finite-dimensional bialgebra. In this paper, we prove that the category $\mathrm{ℒℛ}\left(H\right)$ of Yetter-Drinfeld-Long bimodules, introduced by F. Panaite, F. Van Oystaeyen (2008), is isomorphic to the Yetter-Drinfeld category ${}_{H\otimes H^{*}}^{H\otimes H^{*}}\mathrm{𝒴𝒟}$ over the tensor product bialgebra $H\otimes H^{*}$ as monoidal categories. Moreover if $H$ is a finite-dimensional Hopf algebra with bijective antipode, the isomorphism is braided. Finally, as an application of this category isomorphism, we give two results.

We develop a new approach of extension calculus in the category of strict polynomial functors, based on Troesch complexes. We obtain new short elementary proofs of numerous classical $\mathrm{Ext}$-computations as well as new results. In particular, we get a cohomological version of the “fundamental theorems” from classical invariant theory for $G{L}_n$ for $n$ big enough (and we give a conjecture for smaller values of $n$). We also study the “twisting spectral sequence” $E^{s,t}(F,G,r)$ converging to the extension groups...

The paper studies applications of $C^{*}$-algebras in geometric topology. Namely, a covariant functor from the category of mapping tori to a category of $AF$-algebras is constructed; the functor takes continuous maps between such manifolds to stable homomorphisms between the corresponding $AF$-algebras. We use this functor to develop an obstruction theory for the torus bundles of dimension $2$, $3$ and $4$. In conclusion, we consider two numerical examples illustrating our main results.

Let K be an algebraically closed field. Let (Q,Sp,I) be a skewed-gentle triple, and let $(Q^{sg},I^{sg})$ and $(Q^g,I^g)$ be the corresponding skewed-gentle pair and the associated gentle pair, respectively. We prove that the skewed-gentle algebra $K{Q}^{sg}/⟨I^{sg}⟩$ is singularity equivalent to KQ/⟨I⟩. Moreover, we use (Q,Sp,I) to describe the singularity category of $K{Q}^g/⟨I^g⟩$. As a corollary, we find that $gldimK{Q}^{sg}/⟨I^{sg}⟩<\infty$ if and only if $gldimKQ/⟨I⟩<\infty$ if and only if $gldimK{Q}^g/⟨I^g⟩<\infty$.

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.

For any positive integer $n$, let $A_n$ be a linearly oriented quiver of type $A$ with $n$ vertices. It is well-known that the quotient of an exact category by projective-injectives is an extriangulated category. We show that there exists an extriangulated equivalence between the extriangulated categories ${ℳ}_{n+1}$ and ${ℱ}_n$, where ${ℳ}_{n+1}$ and ${ℱ}_n$ are the two extriangulated categories corresponding to the representation category of $A_{n+1}$ and the morphism category of projective representations of $A_n$, respectively. As a...

The relative cohomology ${\mathrm{H}}_{\mathrm{diff}}^1(𝕂\left(1\right|3),\mathrm{𝔬𝔰𝔭}(2,3);{𝒟}_{\lambda ,\mu }\left(S^{1|3}\right))$ of the contact Lie superalgebra $𝕂\left(1\right|3)$ with coefficients in the space of differential operators ${𝒟}_{\lambda ,\mu }\left(S^{1|3}\right)$ acting on tensor densities on $S^{1|3}$, is calculated in N. Ben Fraj, I. Laraied, S. Omri (2013) and the generating $1$-cocycles are expressed in terms of the infinitesimal super-Schwarzian derivative $1$-cocycle $s\left(X_f\right)=D_1{D}_2{D}_3\left(f\right){\alpha }_3^{1/2}$, $X_f\in 𝕂\left(1\right|3)$ which is invariant with respect to the conformal subsuperalgebra $\mathrm{𝔬𝔰𝔭}(2,3)$ of $𝕂\left(1\right|3)$. In this work we study the supergroup case. We give an explicit construction of $1$-cocycles...

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 μ = ν.

We deal with a bifurcation result for the Dirichlet problem ⎧$-{\Delta }_{p}u=\mu /{\left|x\right|}^p{\left|u\right|}^{p-2}u+\lambda f(x,u)$ a.e. in Ω, ⎨ ⎩$u_{|\partial \Omega }=0$. Starting from a weak lower semicontinuity result by E. Montefusco, which allows us to apply a general variational principle by B. Ricceri, we prove that, for μ close to zero, there exists a positive number $\lambda {*}_{\mu }$ such that for every $\lambda \in ]0,\lambda {*}_{\mu }[$ the above problem admits a nonzero weak solution $u_{\lambda }$ in $W{₀}^{1,p}\left(\Omega \right)$ satisfying $li{m}_{\lambda \to 0⁺}\left|\right|u_{\lambda }\left|\right|=0$.

If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group ${}_f\subseteq G*H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_f{=p|}_f{:}_f\to G$. A right inverse (section) $G{\to }_f$ of $p_f$ is called a coaction on G. In this paper we study ${}_f$ and the sections of $p_f$. We consider the following topics: the structure of ${}_f$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and...

Let $p$ be a prime number. This paper introduces the Roquette category ${ℛ}_p$ of finite $p$-groups, which is an additive tensor category containing all finite $p$-groups among its objects. In ${ℛ}_p$, every finite $p$-group $P$ admits a canonical direct summand $\partial P$, called the edge of $P$. Moreover $P$ splits uniquely as a direct sum of edges of Roquette $p$-groups, and the tensor structure of ${ℛ}_p$ can be described in terms of such edges. The main motivation for considering this category is that the additive functors...

We study equivalences for category ${𝒪}_p$ of the rational Cherednik algebras ${𝐇}_p$ of type $G_{\ell }\left(n\right)={\left({\mu }_{\ell }\right)}^n⋊{𝔖}_n$: a highest weight equivalence between ${𝒪}_p$ and ${𝒪}_{\sigma \left(p\right)}$ for $\sigma \in {𝔖}_{\ell }$ and an action of ${𝔖}_{\ell }$ on an explicit non-empty Zariski open set of parameters $p$; a derived equivalence between ${𝒪}_p$ and ${𝒪}_{p^{\text{'}}}$ whenever $p$ and $p^{\text{'}}$ have integral difference; a highest weight equivalence between ${𝒪}_p$ and a parabolic category $𝒪$ for the general linear group, under a non-rationality assumption on the parameter $p$. As a consequence, we confirm special cases...

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 ${\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)$. ...

Let $X$ be an arbitrary hyperbolic geodesic metric space and let $\Gamma$ be a countable subgroup of the isometry group $\mathrm{Iso}\left(X\right)$ of $X$. We show that if $\Gamma$ is non-elementary and weakly acylindrical (this is a weak properness condition) then the second bounded cohomology groups $H_b^2(\Gamma ,ℝ)$, $H_b^2(\Gamma ,{\ell }^p\left(\Gamma \right))$ $(1<p<\infty )$ are infinite dimensional. Our result holds for example for any subgroup of the mapping class group of a non-exceptional surface of finite type not containing a normal subgroup which virtually splits as a direct...

CONTENTSIntroduction................................................................................................................................................................................5§ 1. Notation and preliminaries.............................................................................................................................................6§ 2. Epimorphisms and monomorphisms.........................................................................................................................7§...

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 }$). ...

Let C be a coalgebra over an arbitrary field K. We show that the study of the category C-Comod of left C-comodules reduces to the study of the category of (co)representations of a certain bicomodule, in case C is a bipartite coalgebra or a coradical square complete coalgebra, that is, C = C₁, the second term of the coradical filtration of C. If C = C₁, we associate with C a K-linear functor ${ℍ}_C:C-Comod\to H_C-Comod$ that restricts to a representation equivalence ${ℍ}_C:C-comod\to H_C-como{d}_{sp}^{•}$, where $H_C$ is a coradical square complete hereditary...

Let $G$ be a split semisimple linear algebraic group over a field and let $T$ be a split maximal torus of $G$. Let $𝗁$ be an oriented cohomology (algebraic cobordism, connective $K$-theory, Chow groups, Grothendieck’s $K_0$, etc.) with formal group law $F$. We construct a ring from $F$ and the characters of $T$, that we call a formal group ring, and we define a characteristic ring morphism $c$ from this formal group ring to $𝗁(G/B)$ where $G/B$ is the variety of Borel subgroups of $G$. Our main result says that when the...

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...

A classical result of A. D. Alexandrov states that a connected compact smooth $n$-dimensional manifold without boundary, embedded in ${ℝ}^{n+1}$, and such that its mean curvature is constant, is a sphere. Here we study the problem of symmetry of $M$ in a hyperplane $X_{n+1}=\text{const}$ in case $M$ satisfies: for any two points $(X^{\text{'}},X_{n+1})$, $(X^{\text{'}},{\widehat{X}}_{n+1})$ on $M$, with $X_{n+1}>{\widehat{X}}_{n+1}$, the mean curvature at the first is not greater than that at the second. Symmetry need not always hold, but in this paper, we establish it under some additional condition for $n=1$....

Let X be a nice variety over a number field k. We characterise in pure “descent-type” terms some inequivalent obstruction sets refining the inclusion $X{{(}_k)}^{ét,Br}\subset X{{(}_k)}^{Br₁}$. In the first part, we apply ideas from the proof of $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ by Skorobogatov and Demarche to new cases, by proving a comparison theorem for obstruction sets. In the second part, we show that if $\subset {\subset }_k$ are such that $\subset Ext\left({,}_k\right)$, then $X{{(}_k)}^{}=X{{(}_k)}^{}$. This allows us to conclude, among other things, that $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ and $X{{(}_k)}^{Sol,Br₁}=X{{(}_k)}^{So{l}_k}$.

In the moduli space ${ℳ}_d$ of degree $d$ rational maps, the bifurcation locus is the support of a closed $(1,1)$ positive current $T_{\mathrm{bif}}$ which is called the bifurcation current. This current gives rise to a measure ${\mu }_{\mathrm{bif}}:={\left(T_{\mathrm{bif}}\right)}^{2d-2}$ whose support is the seat of strong bifurcations. Our main result says that $\mathrm{supp}\left({\mu }_{\mathrm{bif}}\right)$ has maximal Hausdorff dimension $2(2d-2)$. As a consequence, the set of degree $d$ rational maps having $(2d-2)$ distinct neutral cycles is dense in a set of full Hausdorff dimension.

Suppose that A and B are unital Banach algebras with units $1_A$ and $1_B$, respectively, M is a unital Banach A,B-module, $=\left[\begin{array}{cc}A& M\\ 0& B\end{array}\right]$ is the triangular Banach algebra, X is a unital -bimodule, $X_{AA}=1_{A}X{1}_A$, $X_{BB}=1_{B}X{1}_B$, $X_{AB}=1_{A}X{1}_B$ and $X_{BA}=1_{B}X{1}_A$. Applying two nice long exact sequences related to A, B, , X, $X_{AA}$, $X_{BB}$, $X_{AB}$ and $X_{BA}$ we establish some results on (co)homology of triangular Banach algebras.

Let $M$ be any compact simply-connected oriented $d$-dimensional smooth manifold and let $𝔽$ be any field. We show that the Gerstenhaber algebra structure on the Hochschild cohomology on the singular cochains of $M$, $H{H}^{*}(S^{*}\left(M\right),S^{*}\left(M\right))$, extends to a Batalin-Vilkovisky algebra. Such Batalin-Vilkovisky algebra was conjectured to exist and is expected to be isomorphic to the Batalin-Vilkovisky algebra on the free loop space homology on $M$, $H_{*+d}\left(LM\right)$ introduced by Chas and Sullivan. We also show that the negative cyclic...

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.