Related papers: A Second Homotopy Group for Digital Images

We compute the first and second homotopy groups of a class of contact toric manifolds in terms of the images of the associated moment map.

The James fibrations give rise to the geometric EHP sequences of homotopy groups of spheres. Using techniques from the Lambda algebra, \cite{BCKQRS66} shows that there are similar long exact sequences of Ext groups defining the $E_{2}-$page…

We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…

We prove a division algorithm for group rings of high genus surface groups and use it to show that some $2$-complexes with surface fundamental groups are standard. We also give an application of division to cohomological dimension of…

Homotopy comomentum maps are a higher generalization of the notion of moment map introduced to extend the concept of Hamiltonian actions to the framework of multisymplectic geometry. Loosely speaking, higher means passing from considering…

Second-order superintegrable systems in dimensions two and three are essentially classified. With increasing dimension, however, the non-linear partial differential equations employed in current methods become unmanageable. Here we propose…

We study the homotopy types of spaces of algebraic (rational) maps from real projective spaces into complex projective spaces. In a previous paper we have shown that the inclusion of the first space into the second one is a homotopy…

We study the geometry of homogeneous hypersurfaces and their focal sets in complex hyperbolic spaces. In particular, we provide a characterization of the focal set in terms of its second fundamental form and determine the principal…

The fundamental bigroupoid of a topological space is one way of capturing its homotopy 2-type. When the space is semilocally 2-connected, one can lift the construction to a bigroupoid internal to the category of topological spaces, as Brown…

We construct a "higher dimensional" version 2V of Thompson's group V. Like V it is an infinite, finitely presented, simple subgroup of the homeomorphism group of the Cantor set, but we show that it is not isomorphic to V by showing that the…

We define the 2-groupoid of descent data assigned to a cosimplicial 2-groupoid and present it as the homotopy limit of the cosimplicial space gotten after applying the 2-nerve in each cosimplicial degree. This can be applied also to the…

We extend Dwyer's sharp subgroup homology decomposition of the classifying space of a finite group to arbitrary saturated fusion systems and arbitrary Mackey functors.

We give an algebraic proof for the result of Eilenberg and Mac Lane that the second cohomology group of a simplicial group G can be computed as a quotient of a fibre product involving the first two homotopy groups and the first Postnikov…

Diagram semigroups are interesting algebraic and combinatorial objects, several types of them originating from questions in computer science and in physics. Here we describe diagram semigroups in a general framework and extend our…

A noetherian form is an abstract self-dual framework suitable for establishing homomorphism theorems (such as the isomorphism theorems and homological diagram lemmas) for group-like structures. In this paper we identify and carry out an…

For an abelian category, a category equivalent to its derived category is constructed by means of specific projective (injective) multicomplexes, the so-called homological resolutions.

We show that the mapping class group of a handlebody is a virtual duality group, in the sense of Bieri and Eckmann. In positive genus we give a description of the dualising module of any torsion-free, finite-index subgroup of the handlebody…

Non-Abelian gauge fields give rise to nontrivial topological physics. Here we develop a scheme to create an arbitrary SU(2) lattice gauge field for photons in the synthetic frequency dimension using an array of dynamically modulated ring…

We construct second homotopy classes associated with twins of non-cancellative tuples of a monoid, where the monoid is defined by the semi-positive fundamental relations of the fundamental group of a CW-complex. As an application, we…

An algorithm is presented allowing the construction of fast Fourier transforms for any solvable group on a classical computer. The special structure of the recursion formula being the core of this algorithm makes it a good starting point to…