Related papers: A higher-order generalization of group theory

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…

We prove a general form of the regularity theorem for uniformity norms, and deduce an inverse theorem for these norms which holds for a class of compact nilspaces including all compact abelian groups, and also nilmanifolds; in particular we…

We recall the emergence of a generalized gauge theory from a noncommutative Riemannian spin manifold, viz. a real spectral triple $(A,H,D;J)$. This includes a gauge group determined by the unitaries in the $*$-algebra $A$ and gauge fields…

We construct a map from fundamental groups of complements to some plane configurations to the groups $G_{n}^{k}$ for large $k$. We discuss connection between the groups $G_{n}^{k}$ for different $G_{n}^{k}$ and their geometric realization.

Recently the third named author defined a 2-parametric family of groups $G_n^k$ \cite{gnk}. Those groups may be regarded as a certain generalisation of braid groups. Study of the connection between the groups $G_n^k$ and dynamical systems…

As a fundamental concept of all crystals, space groups are partitioned into symmorphic groups and nonsymmorphic groups. Each nonsymmorphic group contains glide reflections or screw rotations with fractional lattice translations, which are…

We study noncommutative principal bundles (Hopf-Galois extensions) in the context of coquasitriangular Hopf algebras and their monoidal category of comodule algebras. When the total space is quasi-commutative, and thus the base space…

We define dilatations of general schemes and study their basic properties. Dilatations of group schemes are -- in favorable cases -- again group schemes, called N\'eron blowups. We give two applications to their cohomology in degree zero…

In this paper, we define a new structure analogous to group, called partial group. This structure concerns the partial stability by the composition inner law. We generalize the three isomorphism theorems for groups to partial groups.

We consider generalized metric spaces taking distances in an arbitrary ordered commutative monoid, and investigate when a class $\mathcal{K}$ of finite generalized metric spaces satisfies the Hrushovski extension property: for any…

In a recent paper, it was shown that in diffeomorphism-invariant theories, Noether charges associated with a given codimension-2 surface become integrable if one introduces an extended phase space. In this paper we extend the notion of…

We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes…

We extend the construction of generalized fixed point algebras to the setting of locally compact quantum groups - in the sense of Kustermans and Vaes - following the treatment of Marc Rieffel, Ruy Exel and Ralf Meyer in the group case. We…

We determine the group structure of the homotopy set whose target is the automorphism group of the Cuntz algebra $O_{n+1}$ for finite n in terms of K-theory. We show that there is an example of a space for which the homotopy set is a…

The aim of this article is to explain a philosophy for applying higher dimensional Seifert-van Kampen Theorems, and how the use of groupoids and strict higher groupoids resolves some foundational anomalies in algebraic topology at the…

We provide a non-technical overview of recent extensions of renormalization methods and techniques to Group Field Theories (GFTs), a class of combinatorially non-local quantum field theories which generalize matrix models to dimension $d…

We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular…

We exhibit a connection between geometric stability theory and the classification of unstable structures at the level of simplicity and the $\mathrm{NSOP}_{1}$-$\mathrm{SOP}_{3}$ gap. Particularly, we introduce generic expansions $T^{R}$ of…

Let $V$ be a finite-dimensional unitary representation of a compact quantum group $\mathrm{G}$ and denote by $\mathrm{G}_W$ the isotropy subgroup of a linear subspace $W\le V$ regarded as a point in the Grassmannian $\mathbb{G}(V)$. We show…

The configuration space of k points on a manifold carries an action of its diffeomorphism group. The homotopy quotient of this action is equivalent to the classifying space of diffeomorphisms of a punctured manifold, and therefore admits…