Related papers: On Twisted Subgroups and Bol Loops of Odd Order
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
A Smarandache quasigroup(loop) is shown to be universal if all its f,g-principal isotopes are Smarandache f,g-principal isotopes. Also, weak Smarandache loops of Bol-Moufang type such as Smarandache: left(right) Bol, Moufang and extra loops…
This is the second in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. We introduce the Dirac family of Fredholm operators…
In this paper, we introduce a notion of twisted Roe algebra and a twisted coarse Baum-Connes conjecture with coefficients. We will study the basic properties of twisted Roe algebras, including a coarse analogue of the imprimitivity theorem…
Cachazo and Strominger recently proposed an extension of the soft-graviton theorem found by Weinberg. In addition, they proved the validity of their extension at tree level. This was motivated by a Virasoro symmetry of the gravity S-matrix…
We classify the connected $3$-dimensional differentiable Bol loops $L$ having a solvable Lie group as the group topologically generated by the left translations of $L$ using $3$-dimensional solvable Lie triple systems. Together with…
We study the structure of abelian extensions of the group $L_qG$ of $q$-differentiable loops (in the Sobolev sense), generalizing from the case of central extension of the smooth loop group. This is motivated by the aim of understanding the…
We give a short introduction to the theory of twisted Alexander polynomials of a 3--manifold associated to a representation of its fundamental group. We summarize their formal properties and we explain their relationship to twisted…
For a rational and $C_2$-cofinite vertex operator algebra $V$ with an automorphism group $G$ of prime order, the fusion rules for twisted $V$-modules are studied, a twisted Verlinde formula which relates fusion rules for $g$-twisted modules…
Using general principles in the theory of vertex operator algebras and their twisted modules, we obtain a bosonic, twisted construction of a certain central extension of a Lie algebra of differential operators on the circle, for an…
Let $G$ be a connected Lie group and $\text{Sub}_G$ be the space of closed subgroups of $G$ equipped with the Chabauty topology. In this article, we investigate the existence of invariant random subgroups of $G$ supported on various orbits…
We study twisted conjugacy classes of the unit element in different groups. Fel'shtyn and Troitsky showed that the twisted conjugacy class of the unit element of an abelian group is a subgroup for every automorphism. The structure is…
We show that if $G$ is a finite group whose Sylow $2$-subgroups are wreathed, then the intersection $\Outc(G) \cap \OutCol(G)$ has odd order, where $\Outc(G)$ and $\OutCol(G)$ denote the class-preserving and Coleman outer automorphism…
In this short note we define a new cohomology for a Lie algebroid $\mathcal{A}$, that we call the \emph{twisted cohomology} of $\mathcal{A}$ by an odd cocycle $\theta$ in the Lie algebroid cohomology of $\mathcal{A}$. We proof that this…
Analyses which use loop calculations to put constraints on anomalous trilinear gauge boson couplings (TGC's) often give bounds which are much too stringent. The reason has nothing to do with gauge invariance, in contrast to the recent…
Feynman diagrams (notably the triangle diagram) involving heavy enough particles contain branch cuts on the physical sheet - anomalous thresholds - which, unlike normal thresholds and bound-state poles, do not correspond to any asymptotic…
Our aim in this paper is to classify the $3$-dimensional connected differentiable global Bol loops, which have a non-solvable group as the group topologically generated by their left translations and to describe their relations to metric…
In this article we show that all cyclic branched covers of a Seifert link have left-orderable fundamental groups, and therefore admit co-oriented taut foliations and are not $L$-spaces, if and only if it is not an $ADE$ link up to…
The paper contains versions of the Strong Embedding Theorem and the Uniqueness Subgroup Theorem for groups of finite Morley rank and odd type which are needed for the study of permutations actions and modules in the finite Morley rank…
In accordance with recent progress of fracton topological phases, unusual topological phases of matter hosting fractionalized quasiparticle excitations with mobility constraints, new type of symmetry is studied -- multipole symmetry,…