相关论文: Computing Homotopy Types Using Crossed N-Cubes of …

Many applications modeled by polynomial systems have positive dimensional solution components (e.g., the path synthesis problems for four-bar mechanisms) that are challenging to compute numerically by homotopy continuation methods. A…

Described the algebraic structure on the space of homotopy classes of cycles with marked topological flags of disks. This space is a non-commutative monoid, with an Abelian quotient corresponding to the group of singular homologies…

Symmetry groups or groupoids of C*-algebras associated to non-Hausdorff spaces are often non-Hausdorff as well. We describe such symmetries using crossed modules of groupoids. We define actions of crossed modules on C*-algebras and crossed…

We study the homotopy theory of diagrams of chain complexes over a field indexed by a finite poset, and show that it can be completely described in terms of appropriate diagrams of graded vector spaces.

A topological groupoid G is K-pointed, if it is equipped with a homomorphism from a topological group K to G. We describe the homotopy groups of such K-pointed topological groupoids and relate these groups to the ordinary homotopy groups in…

We introduce a new approach to constructing derived deformation groupoids, by considering them as parameter spaces for strong homotopy bialgebras. This allows them to be constructed for all classical deformation problems, such as…

This paper presents a set of tools to compute topological information of simplicial complexes, tools that are applicable to extract topological information from digital pictures. A simplicial complex is encoded in a (non-unique)…

We show how one can associate to a given class of finite type G-structures a classifying Lie algebroid. The corresponding Lie groupoid gives models for the different geometries that one can find in the class, and encodes also the different…

Recently there has been growing interest in discrete homotopies and homotopies of graphs beyond treating graphs as 1-dimensional simplicial spaces. One such type of homotopy is $\times$-homotopy. Recent work by Chih-Scull has developed a…

In order to get $\lambda$-models with a rich structure of $\infty$-groupoid, which we call "homotopy $\lambda$-models", a general technique is described for solving domain equations on any cartesian closed $\infty$-category (c.c.i.) with…

We give the first tractable and systematic examples of nontrivial higher digraph homotopy groups. To do this we define relative digraph homotopy groups and show these satisfy a long exact sequence analogous to the relative homotopy groups…

For $n\geq 2$ we compute the homotopy groups of $(n-1)$-connected closed manifolds of dimension $(2n+1)$. Away from the finite set of primes dividing the order of the torsion subgroup in homology, the $p$-local homotopy groups of $M$ are…

We introduce group crosscoders, an extension of crosscoders that systematically discover and analyse symmetrical features in neural networks. While neural networks often develop equivariant representations without explicit architectural…

We continue our investigation of spaces of long embeddings (long embeddings are high-dimensional analogues of long knots). In previous work we showed that when the dimensions are in the stable range, the rational homology groups of these…

We classify pointed Hopf algebras of discrete corepresentation type over an algebraically closed field K with characteristic zero. For such algebras $H$, we explicitly determine the algebra structure up to isomorphism for the link…

Numerical Algebraic Geometry uses numerical data to describe algebraic varieties. It is based on the methods of numerical polynomial homotopy continuation, an alternative to the classical symbolic approaches of computational algebraic…

We provide a systematic derivation of cluster alphabets of finite types. The construction is based on a geometric realization of the generalized worldsheets by gluing and folding a pair of polygons. The cross ratios of the worldsheet z…

The author proposes a method for investigating actions of finite groups on aspherical spaces. Complete homotopy classification of free actions of finite groups on aspherical spaces is obtained. Also there are some results about non-free…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

Let $S$ be a complete flat surface, such as the Euclidean plane. We determine the homeomorphism class of the space of all curves on $S$ which start and end at given points in given directions and whose curvatures are constrained to lie in a…