Related papers: Exotic Fusion Systems Related to Sporadic Simple G…

Let G be a semisimple complex algebraic group, and H a wonderful subgroup of G. We prove several results relating the subgroup H to the properties of a combinatorial invariant S of G/H, called its spherical system. It is also possible to…

In this article we prove that for any saturated fusion system, that the (unique) smallest weakly normal subsystem of it on a given strongly closed subgroup is actually normal. This has a variety of corollaries, such as the statement that…

We discuss how an anomalous U(1) symmetry when appended to MSSM and SUSY GUTs [e.g. SU(5)] can help overcome a variety of puzzles related to charged fermion masses and mixings, flavor changing processes, proton decay and neutrino…

We find all exceptional spin groups attached to the vertices of any exceptional spin graph on any hyperbolic Riemann surface S of genus g>1. In particular, we show that when the order r of a graph is r>2 (i.e.the genus of S must be g>3)…

Exceptional points (EPs) has seen substantial advances in both experiment and theory. However, in quantum systems, higher-order exceptional points remain of great interest and possess numerous intriguing properties yet to be fully explored.…

This is the third and final installment of an exposition of an ACL2 formalization of finite group theory. Part I covers groups and subgroups, cosets, normal subgroups, and quotient groups. Part II extends the theory in the developmnent of…

On a 4-dimensional compact symplectic manifold, we study how suitable perturbations of a toric system to a family of completely integrable systems with $\mathbb{S}^1$-symmetry lead to various hyperbolic-regular singularities. We compute and…

The submonoid of the $3$-strand braid group $\mathcal{B}_3$ generated by $\sigma_1$ and $\sigma_1 \sigma_2$ is known to yield an exotic Garside structure on $\mathcal{B}_3$. We introduce and study an infinite family $(M_n)_{n\geq 1}$ of…

Given a saturated fusion system $\mathcal{F}$ over a finite $p$-group $S$, we provide criteria to determine when uniqueness of factorization into irreducible $\mathcal{F}$--invariant representations holds. We use them to prove uniqueness of…

We describe the cohomology ring $H^*(J_2;\mathbb{F}_3)$ both as subring of $H^*(3^{1+2}_+;\mathbb{F}_3)$ and with an abstract presentation. We also give its Poincar\'{e} series. We use as tool a spectral sequence for the strongly closed…

In this paper we examine embeddings of alternating groups and symmetric groups into almost simple groups of exceptional type. In particular, we prove that unless the alternating or symmetric group has degree 6 or 7, there is no maximal…

In this paper, we focus on the subgroups control $p$-fusion, and we improve the Theorem B of [4] for odd prime. For odd prime, we prove that elementary abelian subgroups of rank at least 2 can control $p$-fusion(see our Theorem B).

As defined by Guralnick and Saxl, given a nonabelian simple group $S$ and its nonidentity automorphism $x$, a natural number $\alpha_S(x)$ is the minimum number of conjugates of $x$ in $\langle x,S\rangle$ that generate a subgroup…

We present a detailed description of a fundamental group algorithm based on Forman's combinatorial version of Morse theory. We use this algorithm in a classification problem of prime knots up to 14 crossings.

Sometimes, mathematical oddities crowd in upon one another, and the exceptions to one classification scheme reveal themselves as fellow-travelers with the exceptions to a quite different taxonomy.

We study embeddings of $\mathrm{PSL}_2(p^a)$ into exceptional groups $G(p^b)$ for $G=F_4,E_6,{}^2\!E_6,E_7$, and $p$ a prime with $a,b$ positive integers. With a few possible exceptions, we prove that any almost simple group with socle…

Intermediate-richness galaxy groups are an important test ground for MOND. First, they constitute a distinct type of galactic systems, with their own evolution histories and underlying physical processes; secondly, they probe…

Linking systems are crucial for studying the homotopy theory of fusion systems, but are also of interest from an algebraic point of view. We propose a definition of a linking system associated to a saturated fusion system which is more…

Let $p$ be an odd prime with $p\equiv1\bmod 4$. Then for any odd power $q$ of $p$ and a positive integer $j$ we show that the groups $\text{Sp}_{p^j+1}(q),\text{PSp}_{p^j+1}(q)$, and their Sylow $p$-subgroups are non-$FSZ_{p^j}$.

For a finite group G of Lie type and a prime p, we compare the automorphism groups of the fusion and linking systems of G at p with the automorphism group of G itself. When p is the defining characteristic of G, they are all isomorphic,…