https://arxiv.org/api/CAer41emWFlz60aAwQ5qLqLbRcc 2026-07-25T14:20:46Z 25936 255 15 http://arxiv.org/abs/2606.30453v3 2026-07-01T11:08:48Z

In this short note we establish the Schur--Zassenhaus Theorem and Sylow's Third Theorem for finite skew braces. More precisely, we prove that every Hall ideal of a finite skew brace admits a sub-skew brace complement, and more generally that every left ideal whose order is coprime to that of the Hall ideal can be embedded in such a complement. Using similar ideas we show that every left ideal of prime-power order is contained in a Sylow sub-skew brace. Finally, we prove that the number of Sylow $p$-sub-skew braces is congruent to $1$ modulo $p$, and provide examples showing that the corresponding containment property fails for arbitrary sub-skew braces.

2026-06-29T15:22:13Z 9 pages; we have added some new examples and the Sylow's Third Theorem; we have added an example showing that the number of Sylow sub-skew braces does not divide the order of the skew brace M. Ferrara M. Trombetti http://arxiv.org/abs/2607.00697v1 2026-07-01T09:45:45Z

We prove that an action by $C^1$ diffeomorphisms of a lattice in a simple $p$-adic group on a compact manifold is finite, provided the dimension is less than the rank. We extend this statement to lattices in totally disconnected $S$-arithmetic groups, where the critical dimension is the maximal rank of the simple factors. This uses the machinery developed by Brown, Fisher, and Hurtado.

2026-07-01T09:45:45Z Comments welcome! Segev Gonen Cohen http://arxiv.org/abs/2603.02111v2 2026-07-01T08:28:05Z

Let $q$ be an odd prime power. We study Kakeya maximal operators associated with horizontal lines in the finite Heisenberg groups $\mathbb H_n(\mathbb F_q)$. Our principal object is the refined-direction maximal operator, whose parameter records the projective horizontal direction together with the central homogeneous coordinate determined by horizontality. In rank one, we prove \[ \|M_{\mathbb H_1}^{\mathrm{rd}}F\|_{\ell^2(\mathcal D_1)} \lesssim q^{\frac{1}{2}} \|F\|_{\ell^2(\mathbb H_1(\mathbb F_q))}, \] where the exponent $\frac{1}{2}$ is sharp. Combining this estimate with endpoint bounds and interpolation, we determine the exact mixed-norm growth exponent: \[ A^{\mathrm{rd}}_1(u,v) = \max\left\{ \frac1v,\, 1-\frac1u,\, \frac2v-\frac1u,\, 1+\frac2v-\frac3u \right\}, \qquad 1\le u,v\le\infty. \] As a consequence, if $E\subset\mathbb H_1(\mathbb F_q)$ meets, in at least $m$ points, a horizontal line in each refined direction from $Ω\subset D_1$, then \[ |E|\gtrsim \frac{m^2|Ω|}{q}. \] As a benchmark, we also analyze the coarser operator parameterized only by projective horizontal directions and determine its exact $\ell^u\to\ell^v$ growth exponent in every rank. In rank one, this benchmark is established by a self-contained $TT^*$ argument rather than polynomial vanishing, and the same planar estimate reappears as the zero-central-frequency component of the refined-direction proof. The nonzero central frequencies are controlled by Plancherel, character orthogonality, and a bounded-fiber property of an explicit quadratic map. Thus, the sharp refined-direction estimate is obtained by purely Fourier-analytic methods.

2026-03-02T17:28:02Z The second version: 43 pages, ready for submission Thang Pham Andrea Pinamonti Dung The Tran Boqing Xue http://arxiv.org/abs/2607.00352v1 2026-07-01T02:49:44Z

A group is called bidihedral if it can be expressed as a product of two dihedral subgroups. In this paper, a complete classification for all bidihedral groups is given.

2026-07-01T02:49:44Z Hao Yu Pengchong Zeng http://arxiv.org/abs/2604.09161v2 2026-07-01T01:03:11Z

In this paper, we confirm the Kessar-Linckelmann conjecture for blocks with abelian defect groups. More generally, we prove that if a covered block with abelian defect groups has its irreducible Brauer characters forming a single orbit under the block stabilizer, then the covering block is inertial; we term these blocks with a single irreducible Brauer character orbit. Consequently, we establish Broué's abelian defect conjecture for such blocks. As a byproduct, we show that blocks of finite quasisimple groups with a single irreducible Brauer character orbit necessarily have abelian defect groups. As applications, we verify the blockwise Alperin weight conjecture for blocks with a unique irreducible Brauer character and prove Puig's long-standing conjecture in full generality. All results rely essentially on the Classification of finite simple groups.

2026-04-10T09:47:34Z Fuming Jiang Kun Zhang Yuanyang Zhou http://arxiv.org/abs/2607.00181v1 2026-06-30T20:55:52Z

For all Dyer groups, we find an algorithm to determine when two parabolic subgroups are conjugate. Given two conjugate standard parabolic subgroup, we fully describe the conjugating elements in terms of ribbons, showing that the ribbon conjecture holds true. In particular we give a description of the normaliser of a parabolic subgroup using ribbons. We prove the standardisation property for parabolic subgroups and deduce that an arbitrary intersection of parabolic subgroups is a parabolic subgroup.

2026-06-30T20:55:52Z 18 pages, 4 figures María Cumplido Marina Salamero Giovanni Sartori Mireille Soergel http://arxiv.org/abs/2603.09640v3 2026-06-30T20:55:50Z

We show the following dichotomy for a connected Lie group $G$: If $G$ is amenable, then any topologically generating set $X\subset G$ of size larger than a fixed polynomial in the dimension of $G$ must be redundant (i.e., a proper subset of $X$ still generates $G$). If $G$ is non-amenable, then it admits arbitrarily large topologically generating sets that are irredundant, and remain irredundant even after applying Nielsen transformations. The polynomial bound for amenable groups is obtained by reduction to finite simple groups of Lie type via strong approximation. This partially answers two conjectures by Gelander on generation in compact Lie groups and simple algebraic groups, and moreover shows that these conjectures are implied by the Wiegold conjecture. The construction of large Nielsen irredundant generating sets in non-amenable groups is done by extending Minsky's work to higher rank Lie groups, exhibiting dense representations in the domain of discontinuity of the $\mathrm{Out}(F_{n})$-action on the character variety.

2026-03-10T13:15:30Z Tal Cohen Itamar Vigdorovich http://arxiv.org/abs/2412.10936v2 2026-06-30T20:13:24Z

Given a connected linear algebraic group $G$ over an algebraically closed field of characteristic zero, we describe the subgroup of $G$ generated by all semisimple elements.

2024-12-14T19:08:05Z 7 pages Ivan Arzhantsev http://arxiv.org/abs/2606.31774v1 2026-06-30T14:57:29Z

We show that if $G$ is a finitely generated torsion-free group satisfying the Strong Atiyah Conjecture with vanishing first $L^{2}$-Betti number, then the map that assigns to each surjective integral character the first $L^2$-Betti number of the kernel extends to a seminorm on the first cohomology group of $G$ with real coefficients. We call this seminorm the Thurston norm. Moreover, we show that this norm is induced by a polytope in the first homology group with real coefficients. We also generalize this result to higher $L^{2}$-Betti numbers of the kernels, thereby confirming a conjecture of Friedl, Lück and Tillmann. In the case where $G$ is either a free-by-cyclic group or the fundamental group of an admissible $3$-manifold, we show that the Thurston norm of $G$ admits a combinatorial interpretation that relates it to the splitting complexity of the character. This confirms a conjecture of Gardam and Kielak. As an application, we show that there exists an algorithm to compute the Bieri--Neumann--Strebel invariant of free-by-cyclic groups, and discuss connections to the isomorphism problem in free-by-cyclic groups.

2026-06-30T14:57:29Z 36 pages Andrei Jaikin-Zapirain Monika Kudlinska Pablo Sánchez-Peralta http://arxiv.org/abs/2606.18414v3 2026-06-30T10:19:55Z

We establish an unconditional analogue of Sylow's first theorem for finite skew braces, and deduce an analogue of Cauchy's theorem. We also prove an analogue of the existence part of Hall's theorem for finite skew braces with soluble additive and multiplicative groups. We make some observations regarding the number of Sylow subskew braces of a skew brace in various cases. By applying these results we streamline the classification of skew braces of order $ pq $, where $ p,q $ are distinct prime numbers.

2026-06-16T19:09:43Z 8 pages Paul J. Truman http://arxiv.org/abs/2606.31398v1 2026-06-30T09:27:37Z

We study the image of a regular unipotent element under any finite-dimensional irreducible polynomial representations of $\mathrm{GL}_3(\mathbb{C})$. This problem is equivalent to decomposing certain compositions of irreducible representations as $\mathrm{SL}_2(\mathbb{C})$-modules. We give an explicit decomposition of this finding, its Jordan decomposition.

2026-06-30T09:27:37Z 9 pages, 1 figure Dibyendu Biswas http://arxiv.org/abs/2606.31254v1 2026-06-30T07:31:27Z

We construct closed manifolds with vanishing L^2-Betti numbers over every field) which do not virtually fibre over the circle. The class of fundamental groups that occurs is the largest possible, and in many cases the dimension may be taken to be six. We construct aspherical closed manifolds with residually (torsionfree and nilpotent) fundamental groups in all dimensions at least three whose L^2-Betti numbers vanish (over every field) and which do not virtually fibre over the circle. In particular this implies that in Kielak's Theorem about virtually algebraic fibring for RFRS-groups one cannot weaken the condition RFRS to residually (torsionfree and nilpotent.

2026-06-30T07:31:27Z 32 pages Sam Hughes Ian Leary Wolfgang Lueck http://arxiv.org/abs/2606.31221v1 2026-06-30T07:03:46Z

The isometry group of the bounded Urysohn space, $G = \mathrm{Iso}(\U{1})$ is a central object in the study of Polish groups and topological dynamics. It is known that generic sequences in $G$ generate algebraically free dense subgroups. In this paper, we show that such generic free subgroups exhibit strong geometric rigidity. Specifically, we prove that for a comeager set of sequences generating dense free subgroups $F\leq G$, every non-trivial element $h\in F$ acts with maximal metric displacement, satisfying $\sup_{n\in \N} d(h^n(x),x) = 1$ for every $x \in \U{1}$. As a consequence, these generic subgroups satisfy the \emph{no small subgroup} ($\nss$) property. We note that the method naturally extends to the full isometry group $\mathrm{Iso}(\mathbb{U})$ of the classical Urysohn space.

2026-06-30T07:03:46Z Víctor Hugo Yañez http://arxiv.org/abs/2606.31181v1 2026-06-30T06:10:17Z

In this paper, we construct several explicit examples of singular sets of Hausdorff dimension $(n-2)$ in $\mathbb{R}^n$ on free boundaries for an elliptic system modeling long range segregation. The system has been previously studied by Caffarelli, Patrizi and Quitalo in \cite{CL2} for the regularity of the free boundary in dimension two, and by the author and Torres in \cite{ChPaTo26_2} for the partial regularity in higher dimensions. However, the dimension of the singular set is unknown, and no concrete examples of singular set are known in the literature due to the nonlocal nature of the elliptic system. In this paper, we overcome this difficulty by rigidity and finite group action. As a byproduct of our result, we see that singular points can exist for the model in any dimensions. We also show that our method can be applied to the study of the singular set in the adjacent model. Finally, we also discuss some related open problems for future studies.

2026-06-30T06:10:17Z 15 pages, 2 figures Howen Chuah http://arxiv.org/abs/2306.02493v4 2026-06-30T05:50:59Z

The global Langlands conjecture for $\text{GL}_n$ over a number field $F$ predicts a correspondence between certain algebraic automorphic representations $π$ of $\text{GL}_n(\mathbb{A}_F)$ and certain families $\{ ρ_{π,\ell} \}_\ell$ of $n$-dimensional $\ell$-adic Galois representations of $\text{Gal}(\overline{F}/F)$. In general, it is expected that the image of the residual Galois representation $\overlineρ_{π,\ell}$ of $ρ_{π,\ell}$ should be as large as possible for almost all primes $\ell$, unless there is an automorphic reason for the image to be small. In this paper, we study the images of certain compatible systems of Galois representations $\{ρ_{π,\ell} \}_\ell$ associated to regular algebraic, polarizable, cuspidal automorphic representations $π$ of $\text{GL}_n(\mathbb{A}_F)$ by using only standard techniques and currently available tools (e.g., Fontaine-Laffaille theory, Serre's modularity conjecture, classification of the maximal subgroups of Lie type groups, and known results about irreducibility of automorphic Galois representations and Langlands functoriality). In particular, when $F$ is a totally real field and $n$ is an odd prime number $\leq 293$, we prove that (under certain automorphic conditions) the images of the residual representations $\overlineρ_{π,\ell}$ are as large as possible for infinitely many primes $\ell$. In fact, we prove the large image conjecture (i.e., large image for almost all primes $\ell$) when $F=\mathbb{Q}$ and $n=5$.

2023-06-04T22:00:20Z This article supersedes arXiv:2008.00556. Accepted in the Fields Institute Monographs Adrian Zenteno