Aspects of 4d $$ \mathcal{N}=1 $$ ADE gauge theories from M-theory: decomposition, automorphisms, and generalised symmetries

A bstract We study the decomposition of 4d $$ \mathcal{N}=1 $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>N</mml:mi> <mml:mo>=</mml:mo> <mml:mn>1</mml:mn> </mml:math> gauge theories with Lie algebras of type $$ \mathfrak{su}(N) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>su</mml:mi> <mml:mfenced> <mml:mi>N</mml:mi> </mml:mfenced> </mml:math> , $$ \mathfrak{so}(2N) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>so</mml:mi> <mml:mfenced> <mml:mrow> <mml:mn>2</mml:mn> <mml:mi>N</mml:mi> </mml:mrow> </mml:mfenced> </mml:math> , and $$ {\mathfrak{e}}_6 $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>e</mml:mi> <mml:mn>6</mml:mn> </mml:msub> </mml:math> , realized via M-theory geometric engineering. These theories, together with their novel decomposition structure, arise from quotienting the Bryant-Salamon spin bundle over the 3-sphere by special finite subgroups acting simultaneously on both the fiber and base. We show that these gauge theories admit both inner and outer automorphisms, enabling sequences of gauge theory breaking. In particular, outer automorphisms extend the decomposition structure to theories with $$ \mathfrak{so}\left(2N+1\right) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>so</mml:mi> <mml:mfenced> <mml:mrow> <mml:mn>2</mml:mn> <mml:mi>N</mml:mi> <mml:mo>+</mml:mo> <mml:mn>1</mml:mn> </mml:mrow> </mml:mfenced> </mml:math> , $$ \mathfrak{sp}(2N) $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mi>sp</mml:mi> <mml:mfenced> <mml:mrow> <mml:mn>2</mml:mn> <mml:mi>N</mml:mi> </mml:mrow> </mml:mfenced> </mml:math> , $$ {\mathfrak{f}}_4 $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>f</mml:mi> <mml:mn>4</mml:mn> </mml:msub> </mml:math> , and $$ {\mathfrak{g}}_2 $$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msub> <mml:mi>g</mml:mi> <mml:mn>2</mml:mn> </mml:msub> </mml:math> gauge algebras. For these theories, including both simply-laced and non-simply-laced cases, we analyze their p -form symmetries, including (−1)-form symmetries, derive the corresponding SymTFTs, and identify the M-theoretic origin of their symmetry topological operators and defects. Finally, we demonstrate that these gauge theories exhibit modified instanton sums and higher 4-group structures, and we derive the associated topological sector directly from M-theory.