Related papers: Graphical configuration spaces, Contractads and Fo…
The \emph{difference subgroup graph} $D(G)$ of a finite group $G$ is defined as the graph whose vertices are the non-trivial proper subgroups of $G$, with two distinct vertices $H$ and $K$ adjacent if and only if $\langle H, K \rangle = G$…
The unordered configuration space of $n$ points on a graph $\Gamma,$ denoted here by $UC^n(\Gamma),$ can be viewed as the space of all configurations of $n$ unlabeled robots on a system of one-dimensional tracks, which is interpreted as a…
Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…
This expository article describes applications of topological configuration spaces to the control of robotic systems. In particular, we review recent work by the authors on configuration spaces of graphs. These are lovely spaces: we show…
A rigidity theory is developed for the Euclidean and non-Euclidean placements of countably infinite simple graphs in R^d with respect to the classical l^p norms, for d>1 and 1<p<\infty. Generalisations are obtained for the Laman and…
We expand upon a claim made in a recent paper [arXiv:1411.5721] that generic minimally supersymmetric AdS backgrounds of warped flux compactifications of Type II and M theory can be understood as satisfying a straightforward weak…
Let $G$ be an infinite discrete group. A classifying space for proper actions of $G$ is a proper $G$-CW-complex $X$ such that the fixed point sets $X^H$ are contractible for all finite subgroups $H$ of $G$. In this paper we consider the…
We develop the details of Kontsevich's proof of the formality of little N-disks operad over the field of real numbers. Formality holds in the category of operads of chain complexes and also in some sense in the category of commutative…
Fold maps are smooth maps at each singular point of which it is represented as the product map of a Morse function and the identity map. Round fold maps are, in short, such maps the sets of all singular points of which are embedded…
A finite non-abelian group $H$ is hamiltonian if all of its subgroups are normal. We compute the minimal orders of graphs having a hamiltonian group as their automorphism group. The fixing number of a graph $\Gamma$ is the minimum…
Compact sets in constructive mathematics capture our intuition of what computable subsets of the plane (or any other complete metric space) ought to be. A good representation of compact sets provides an efficient means of creating and…
Given a graph and a representation of its fundamental group, there is a naturally associated twisted adjacency operator. The main result of this article is the fact that these operators behave in a controlled way under graph covering maps.…
A unicellular collection on a surface is a collection of curves whose complement is a single disk. There is a natural surgery operation on unicellular collections, endowing the set of such with a graph structure where the edge relation is…
For a positive integer $d$, a connected graph $\Gamma$ is a symmetrical 2-extension of the $d$-dimensional grid $\Lambda^d$ if there exists a vertex-tran\-sitive group $G$ of automorphisms of $\Gamma$ and its imprimitivity system $\sigma$…
The notion of graph covers is a discretization of covering spaces introduced and deeply studied in topology. In discrete mathematics and theoretical computer science, they have attained a lot of attention from both the structural and…
We compute the fundamental group of a toroidal compactification of a Hermitian locally symmetric space $D/\Gamma$, without assuming either that $\Gamma$is neat or that it is arithmetic. We also give bounds for the first Betti number.
The symmetric group S_n acts freely on the configuration space of n distinct points in a quasi-projective variety. In this paper, we study the induced action of the symmetric group S_n on the de Rham cohomology of this space, using mixed…
The paper describes homomorphisms between Douglas algebras and some semisimple Banach algebras. The main tool is a result on the structure of the space $C(Z,\mathfrak M)$ of continuous mappings from a connected first-countable $T_1$ space…
We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid…
A picture P of a graph G = (V,E) consists of a point P(v) for each vertex v in V and a line P(e) for each edge e in E, all lying in the projective plane over a field k and subject to containment conditions corresponding to incidence in G. A…