https://arxiv.org/api/i9IE4ngpyqzi9uQhyHRcyqo5y1U 2026-03-22T14:47:13Z 29619 120 15 http://arxiv.org/abs/2507.10882v3 2026-03-08T19:21:23Z

Let $G$ be a finite group, let $x \in G$, and let $p$ be a prime. We prove that the commutator $[x,g]$ is a $p$-element for every $g \in G$ if and only if $x$ is central modulo $\mathbf{O}_p(G)$, where $\mathbf{O}_p(G)$ denotes the largest normal $p$-subgroup of $G$. This result provides a common generalization of certain variants of both the Baer--Suzuki theorem and Glauberman's $\mathbf{Z}_p^*$-theorem. As an application, we show that if $K$ is a conjugacy class of $G$ such that $K^{-1}K = 1 \cup D \cup D^{-1}$ for some conjugacy class $D$ of $G$, then the subgroup generated by $K$ is solvable.

2025-07-15T00:52:31Z 13 pages Hung P. Tong-Viet http://arxiv.org/abs/2504.01977v2 2026-03-08T09:05:52Z

We construct and give a complete classification of all the differential symmetry breaking operators $\mathbb{D}_{λ, ν}^{N,m}: C^\infty(S^3, \mathcal{V}_λ^{2N+1}) \rightarrow C^\infty(S^2, \mathcal{L}_{m, ν})$, between the spaces of smooth sections of a vector bundle of rank $2N+1$ over the $3$-sphere $\mathcal{V}_λ^{2N+1} \rightarrow S^3$, and a line bundle over the $2$-sphere $\mathcal{L}_{m, ν} \rightarrow S^2$ in the special case $|m| = N$.

2025-03-26T13:30:21Z 50 pages, 4 figures. This is a simplified version of the original paper of 53 pages. Some parts where simplified since it has a some overlaps with arXiv:2306.15360. This paper has been accepted for publication in the Proceedings of the 7th Tunisian-Japanese Conference Víctor Pérez-Valdés http://arxiv.org/abs/2412.10393v2 2026-03-08T06:05:03Z

Let $k$ be an algebraically closed field of characteristic $p\neq 0$. Let $G$ be a connected reductive group over $k$, $P \subseteq G$ be a parabolic subgroup and $λ: P \longrightarrow \mathbb G_m$ be a strictly anti-dominant character. Let $C$ be a projective smooth curve over $k$ with function field $K=k(C)$ and $F$ be a principal $G$-bundle on $C$. Then $F/P \longrightarrow C$ is a flag bundle and $\mathcal{L}_λ=F \times_P k_λ$ on $F/P$ is a relatively ample line bundle. We compute the height filtration and successive minima of the height function $h_{\mathcal{L}_λ}: X(\overline{K}) \longrightarrow \mathbb{R}$ over the flag variety $X=(F/P)_K$.

2024-12-01T09:59:09Z Yue Chen Haoyang Yuan http://arxiv.org/abs/2506.23064v3 2026-03-08T05:49:11Z

In this paper, we construct and classify all differential symmetry breaking operators between certain principal series representations of the pair $SO_0(4,1) \supset SO_0(3,1)$. In this case, we also prove a localness theorem, namely, all symmetry breaking operators between the principal series representations in concern are necessarily differential operators. In addition, we show that all these symmetry breaking operators are sporadic in the sense of T. Kobayashi, that is, they cannot be obtained by residue formulas of meromorphic families of symmetry breaking operators.

2025-06-29T02:43:37Z 56 pages, 5 figures. In the second version a corollary has been added in Section 1.2 and Section 7 has been simplified Víctor Pérez-Valdés http://arxiv.org/abs/2602.18682v2 2026-03-08T02:26:24Z

We study homotopy decompositions of the classifying spaces $BG$ of compact connected Lie groups obtained by (relative) fiber-cofiber construction. Given a pair of Borel fibrations $ F \to E \to BG $ and $F' \to E' \to BG $, this construction yields a tower (telescope) of spaces $ X_{m}(F,F') $ over $BG$ indexed by $ \mathbb{Z}_+ $ that converges in the sense that $\text{hocolim} \,(X_{m})\,$ is weakly homotopy equivalent to $BG$. We determine cohomological conditions on the fibrations that produce the spaces $X_{m}(F,F')$ with properties similar to those of the spaces of quasi-invariants of Weyl groups constructed by the first and third authors. We prove that, under these conditions, the resulting homotopy decompositions of $BG$ are sharp (over $\mathbb{Q}$), the spaces $X_{m}(F,F')$ are rationally formal and Cohen-Macaulay, their cohomology rings being finite rank free modules over $H^*(BG, \mathbb{Q})$. We construct many examples which include the fundamental (maximal torus) fibration $ G/T \to BT \to BG $ as well as the universal fibration $\, E_{\rm com}G_{\bf 1} \to B_{\rm com}G_{\bf 1} \to BG \,$ for the classifying space $B_{\rm com}G$ of commuting elements in $G$ introduced by Adem and Gómez, as the first fibration in the pair. In most cases, we give an explicit presentation for the (equivariant) cohomology rings in terms of characteristic classes and compute the (equivariant) $K$-theory of the spaces involved. The paper contains an Appendix, where we re-examine the topological fiber-cofiber construction in an abstract setting, proving an $\infty$-categorical extension of the classical Ganea Theorem.

2026-02-21T01:07:05Z Fix compiling issue when using cref in appendix. 47 pages Yuri Berest Yun Liu Ajay C. Ramadoss http://arxiv.org/abs/2603.07250v1 2026-03-07T15:05:43Z

In this note, we introduce shifted quantum affine symmetric pairs of split simply-laced type, and construct their GKLO representations, following similar recent developments in the case of shifted twisted Yangians. A full proof that our formulas yield a representation is given.

2026-03-07T15:05:43Z Jian-Rong Li Tomasz Przezdziecki http://arxiv.org/abs/2505.15726v3 2026-03-07T14:07:04Z

Consider an $n\times k$ matrix of i.i.d. Bernoulli random numbers with $p=1/2$. Dual RSK algorithm gives a bijection of this matrix to a pair of Young tableaux of conjugate shape, which is manifestation of skew Howe $GL_{n}\times GL_{k}$-duality. Thus the probability measure on zero-ones matrix leads to the probability measure on Young diagrams proportional to the ratio of the dimension of $GL_{n}\times GL_{k}$-representation and the dimension of the exterior algebra $\bigwedge\left(\mathbb{C}^{n}\otimes\mathbb{C}^{k}\right)$. Similarly, by applying Proctor's algorithm based on Berele's modification of the Schensted insertion, we get skew Howe duality for the pairs of groups $Sp_{2n}\times Sp_{2k}$. In the limit when $n,k\to\infty$ $GL$-case is relatively easily studied by use of free-fermionic representation for the correlation kernel. But for the symplectic groups there is no convenient free-fermionic representation. We use Christoffel transformation to obtain the semiclassical orthogonal polynomials for $Sp_{2n}\times Sp_{2k}$ from Krawtchouk polynomials that describe $GL_{2n}\times GL_{2k}$ case. We derive an integral representation for semiclassical polynomials. The study of the asymptotic of this integral representation gives us the description of the limit shapes and fluctuations of the random Young diagrams for symplectic groups.

2025-05-21T16:33:12Z 29 pages, 1 figure, 1 table. v2 fixes incorrect statement about tensor power and normalization of polynomials, adds table of polynomials Anton Nazarov Anton Selemenchuk http://arxiv.org/abs/2603.05259v2 2026-03-07T12:49:37Z

Questions at the intersection of the AdS/CFT correspondence and quantum information theory motivate the study of projectors in sequences of subalgebras of finite-dimensional commutative associative semisimple algebras $\mathcal{A}$, obtained by incrementally adjoining one generator at each step to produce a non-linear generating set for $\mathcal{A}$. We define degeneracy graphs, which are finite layered tree graphs whose nodes represent projectors in the successive subalgebras. Using combinatorial properties of the degeneracy graph, we give a simple formula for constructing a linear basis of $\mathcal{A}$ in terms of monomials in the generators. The nodes can be labelled by formal variables corresponding to the eigenvalues of the generators added at each layer. We prove that the construction is compatible with the required counting of projectors in $\mathcal{A}$, and give explicit constructions of the projectors in terms of the monomials, in the cases of one- and two-layer degeneracy graphs with arbitrary numbers of nodes. More generally, we provide extensive computational evidence for the invertibility of the matrix relating the proposed monomial basis to the projector basis, by evaluating its determinant. In the 1-layer case, this is a Vandermonde determinant. A simple formula for the non-vanishing determinant in the general layer case is conjectured and supported by the computational data. The construction is illustrated with examples including centres of symmetric group algebras and maximally commuting subalgebras generated by JucysMurphy elements. We outline applications of the monomial basis to algorithms for constructing matrix units in non-commutative semisimple algebras, with relevance to orthogonal bases of multi-matrix gauge-invariant operators and to quantum information theory.

2026-03-05T15:10:35Z 45 pages Garreth Kemp Sanjaye Ramgoolam http://arxiv.org/abs/2603.07105v1 2026-03-07T08:32:41Z

We introduce some classical concepts in the representation theory of compact groups, in order to use them for a new generalization of the Peter-Weyl Theorem. We mostly deal with functions on locally compact groups possessing large nontrivial compact open subgroups: in fact, we show that these functions can be approximated via others which are locally identical to the well known representative functions.

2026-03-07T08:32:41Z 11 pages, 4 figures Y. Bavuma University of Cape Town, South Africa E. Stevenson University of Cape Town, South Africa F. G. Russo University of Camerino, Italy http://arxiv.org/abs/2406.14031v2 2026-03-07T03:30:10Z

Hovey's correspondence between model structures and cotorsion pairs in the setting of abelian categories, has been generalized by Nakaoka-Palu, using two cotorsion pairs, to the setting of weakly idempotent complete extriangulated categories, and the aim of the paper is to give an analogous correspondence using one (hereditary) cotorsion pair generalizing in this setting work of Beligiannis-Reiten and Cui, Lu and Zhang. Furthermore, we provide methods to construct model structures from silting objects in weakly idempotent complete extriangulated categories and co-$t$-structures on triangulated categories.

2024-06-20T06:51:10Z 31 pages. In this version, we have added the Beligiannis-Reiten correspondence Jiangsheng Hu Dongdong Zhang Pu Zhang Panyue Zhou http://arxiv.org/abs/2603.04834v2 2026-03-07T02:56:20Z

Lambre, Zhou and Zimmermann showed that the Hochschild cohomology ring of a Frobenius algebra with semisimple Nakayama automorphism is a Batalin-Vilkovisky algebra. They asked whether the semisimplicity condition is necessary. In this paper, we show that for a self-injective Nakayama algebra, the Hochschild cohomology ring is always a Batalin-Vilkovisky algebra. In course of proofs, we correct some inaccuracies in the literature, hoping not to introduce new errors.

2026-03-05T05:40:40Z Comments are welcome! Xiuli Bian Tomohiro Itagaki Wen Kou Weiguo Lyu Guodong Zhou http://arxiv.org/abs/2603.06994v1 2026-03-07T02:37:31Z

Let $( \mathcal{A^{'}},\mathcal{A},\mathcal{A^{''}},i^\ast,i_\ast,i^!,j_!,j^\ast,j_\ast)$ be a recollement of abelian categories. Suppose that we are given two cotorsion pairs $({\mathcal{U^{'}}},\mathcal{V{'}})$ and $({\mathcal{U}^{''}},{\mathcal{V}^{''}})$ in $\mathcal{A}^{'}$ and $\mathcal{A}^{''}$, respectively. We construct two cotorsion pairs $(^{\bot}{\mathcal{N}_{\mathcal{V^{''}}}^{\mathcal{V^{'}}}},\mathcal{N}_{\mathcal{V^{''}}}^{\mathcal{V^{'}}})$ and $(\mathcal{M}_{\mathcal{U^{''}}}^{\mathcal{U^{'}}}, ({\mathcal{M}_{\mathcal{U^{''}}}^{\mathcal{U^{'}}}})^\bot)$ in $\mathcal{A}$. Moreover, we provide a sufficient condition for these two cotorsion pairs to coincide, and we investigate the heredity and completeness of $(\mathcal{M}_{\mathcal{U^{''}}}^{\mathcal{U^{'}}},\mathcal{N}_{\mathcal{V^{''}}}^{\mathcal{V^{'}}})$. These results are applied to construct new cotorsion pairs in Morita rings. In the course of proof, we introduce a specific constraint on recollements of abelian categories, requiring $\varepsilon_P$ to be a monomorphism for any projective $P \in \mathcal{A}$, with $\varepsilon: j_!j^* \to \mathrm{id}_{\mathcal{A}}$ being the counit of $(j_!, j^*)$. Such recollements enjoy rich homological properties and hence might be of independent interest.

2026-03-07T02:37:31Z Jinrui Yang Yongyun Qin http://arxiv.org/abs/2602.11559v3 2026-03-07T01:19:59Z

Let $G$ be a simple, simply connected, simply laced algebraic group. We construct a monoidal category of representations of the quantum affine algebra $U_q(\widehat{\mathfrak{g}})$ whose Grothendieck ring contains a cluster algebra with initial seed given by that of the coordinate ring of twisted products of flag varieties. This class of varieties includes, in particular, braid varieties and reduced double Bruhat cells.

2026-02-12T04:26:41Z 47 pages. Any comments welcome. We update several details in the proofs and make it more readable Yingjin Bi http://arxiv.org/abs/2603.06965v1 2026-03-07T00:57:57Z

We give a geometric realization of the whole universal enveloping algebra of the Borcherds-Bozec algebra using quiver with loops via the motivic semi-derived Hall algebra approach. In particular, using acyclic quivers, we give a geometric realization of the whole universal enveloping algebra of a certain generalized Kac-Moody algebra using the motivic Bridgeland's Hall algebra given in [12].

2026-03-07T00:57:57Z Xinyi Feng Fan Xu http://arxiv.org/abs/2603.06940v1 2026-03-06T23:24:26Z

Let $Z(\mathcal{W})$ be the center of the finite $W$-algebra $\mathcal{W}({\mathfrak{g}},e)$ associated with $\mathfrak{g}=\text{Lie}(G)$ and a nilpotent element $e\in\mathfrak{g}$ for a connected reductive algebraic group $G$ over an algebraically closed field $\mathbf{k}$ of prime characteristic $p$ under the standard hypotheses (H1)-(H3) in [Jantzen]. In this paper, we first demonstrate that our previous results in [Shu-Zeng] on the structure and geometric properties of $Z(\mathcal{W})$ for $p>>0$ are still true under the present weakened restriction on $p$. Then we study the Zassenhaus variety $\mathscr{Z}$ of $\mathcal{W}(\mathfrak{g},e)$, which is by definition the maximal spectrum $\text{Specm}(Z(\mathcal{W}))$ of $Z({\mathcal{W}})$. On basis of the structure properties of $Z({\mathcal{W}})$, we describe $\mathscr{Z}$ via a good transverse slice $\mathcal{S}$ and show that $\mathscr{Z}$ is birationally equivalent to $\mathcal{S}$, thereby a rational affine scheme. In the special case when $e=0$, we reobtain one of the main results of [Tange] on the rationality of the Zassenhaus varieites for reductive Lie algebras in prime characteristic.

2026-03-06T23:24:26Z To appear Math. Proc. Camb. Phil. Soc Bin Shu Yang Zeng