Related papers: Central extensions of the Ptolemy-Thompson group a…
The theory of algebraic extensions of Banach algebras is well established, and there are many constructions which yield interesting extensions. In particular, Cole's method for extending uniform algebras by adding square roots of functions…
We reformulate the statement of the Feit-Thompson theorem in terms of diagrams in the category of finite groups, namely iterations of the Quillen lifting property with respect to particular morphisms.
The aim of this paper is to provide a new characterization of isomorphism classes of generalized Alexander quandles in terms of the underlying groups and their automorphisms. This extends the previous result [4, Theorem 1.4]. Additionally,…
Cyclohedra are a well-known infinite familiy of finite-dimensional polytopes that can be constructed from centrally symmetric triangulations of even-sided polygons. In this article we introduce an infinite-dimensional analogue and prove…
Let $(\tau_n)$ be a sequence of toral automorphisms $\tau_n : x \rightarrow A_n x \hbox{mod}\ZZ^d$ with $A_n \in {\cal A}$, where ${\cal A}$ is a finite set of matrices in $SL(d, \mathbb{Z})$. Under some conditions the method of…
As generalizations of random graphs, random simplicial complexes have been receiving growing attention in the literature. In this paper, we naturally extend the Random Connection Model (RCM), a random graph that has been extensively studied…
Turing progressions have been often used to measure the proof-theoretic strength of mathematical theories. Turing progressions based on $n$-provability give rise to a $\Pi_{n+1}$ proof-theoretic ordinal. As such, to each theory $U$ we can…
We describe the twisted doubling integrals of Cai-Friedberg-Ginzburg-Kaplan in a conceptual way. This also extends the construction to the quaternionic unitary groups. We carry out the unfolding argument uniformly in this article. To do so,…
The quantization of the Teichm\"uller theory has led to the formulation of the so-called Teichm\"uller TQFT for 3-manifolds. In this paper we initiate the study of "supersymmetrization" of the Teichm\"uller TQFT, which we call the super…
There was a lot of controversy about corollary 3.12, which was described in the paper Inter-universal Teichmuller Theory III. In this article, another proof of Corollary 3.12 will be derived, where the basis of the proof will be the…
We explore some of the special features with respect to Bredon cohomology of groups having all its finite subgroups either nilpotent or p-groups or cyclic p-groups. We get some results on dimensions and also a formula for the equivariant…
We give explicit and elementary constructions of the categorical extensions of a torus by the circle and discuss an application to loop group extensions. Examples include maximal tori of simple and simply connected compact Lie groups and…
We introduce the notion of non commutative truncated polynomial extension of an algebra A. We study two families of these extensions. For the first one we obtain a complete classification and for the second one, which we call upper…
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,…
The Teichm\"uller space of punctured surfaces with the Weil-Petersson symplectic structure and the action of the mapping class group is realized as the Hamiltonian reduction of a finite dimensional symplectic space where the mapping class…
In this paper, we construct a class of $2$-dimensional formal groups over $\mathbb{Z}_p$ that provide a higher-dimensional analogue of the usual $1$-dimensional Lubin-Tate formal groups, then we initiate the study of the extensions…
We present an equivariant extension of the Thom form with respect to a vector field action, in the framework of the Mathai-Quillen formalism. The associated Topological Quantum Field Theories correspond to twisted $N=2$ supersymmetric…
Lie's Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of…
C-loops are loops satisfying the identity $x(y\cdot yz) = (xy\cdot y)z$. We develop the theory of extensions of C-loops, and characterize all nuclear extensions provided the nucleus is an abelian group. C-loops with central squares have…
The underlying theme of Teichm\"uller's papers in function theory is a general principle which asserts that every extremal problem for univalent functions of one complex variable is connected with an associated quadratic differential. The…