Related papers: Higher Descent Data as a Homotopy Limit
A subspace or subgroup is isotropic under a bilinear map if the restriction of the map on it is trivial. We study maximal isotropic subspaces or subgroups under skew-symmetric maps, and in particular the isotropy index---the maximum…
Primary cohomology operations, i.e., elements of the Steenrod algebra, are given by homotopy classes of maps between Eilenberg--MacLane spectra. Such maps (before taking homotopy classes) form the topological version of the Steenrod…
In this article we discuss the geometric quantization on a certain type of infinite dimensional super-disc. Such systems are quite natural when we analyze coupled bosons and fermions. The large-N limit of a system like that corresponds to a…
We study the homotopy decompositions of the suspension $\Sigma M$ of an $(n-1)$-connected $(2n+2)$ dimensional Poincar\'{e} duality complex $M$, $n\geq 2$. In particular, we completely determine the homotopy types of $\Sigma M$ of a…
Starting from the geometric description of quantum systems, we propose a novel approach to time-independet dissipative quantum processes according to which the energy is dissipated but the coherence of the states is preserved. Our proposal…
In this article, we provide new structural results and algorithms for the Homotopy Height problem. In broad terms, this problem quantifies how much a curve on a surface needs to be stretched to sweep continuously between two positions. More…
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…
Higher gauge theory is a higher order version of gauge theory that makes possible the definition of 2-dimensional holonomy along surfaces embedded in a manifold where a gauge 2-connection is present. In this paper, we will continue the…
There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…
We show that the nerve complex of n arcs in the circle is homotopy equivalent to either a point, an odd-dimensional sphere, or a wedge sum of spheres of the same even dimension. Moreover this homotopy type can be computed in time O(n log…
We define a simpler notion of symmetric topological complexity more ad hoc to the motion planning problem which was the original motivation for the definition of topological complexity. This is a homotopy invariant that we call…
In this paper, the 2-category $\mathfrak{Rep}_{{\bf 2Mat}_{\mathbb{C}}}(\mathbb{G})$ of (weak) representations of an arbitrary (weak) 2-group $\mathbb{G}$ on (some version of) Kapranov and Voevodsky's 2-category of (complex) 2-vector spaces…
It is well-known that both the pathwidth and the outer-planarity of a graph can be used to obtain lower bounds on the height of a planar straight-line drawing of a graph. But both bounds fall short for some graphs. In this paper, we…
We construct explicit global homotopies for differential Hochschild cochains in differential geometry, thereby upgrading the classical Hochschild-Kostant-Rosenberg map to a deformation retract. Our approach combines two key techniques: a…
A presheaf of complexes is constructed on a category of weighted finite subsets of a fixed Euclidean space. To each object, a Koszul complex is assigned which resolves the coordinate ring of least squares solutions on that data set for a…
This paper is a synthesis and extension of three earlier papers on $PD_4$-complexes $X$ with fundamental group $\pi$ such that $c.d.\pi=2$ and $\pi$ has one end. Our goal is to show that the homotopy types of such complexes are determined…
We develop a homotopy theory of directed graphs based on cubical homotopy groups, also referred to as A-groups or reduced GLMY homotopy groups. Localizing the category of directed graphs at morphisms that induce isomorphisms on these groups…
A deformed differential calculus is developed based on an associative star-product. In two dimensions the Hamiltonian vector fields model the algebra of pseudo-differential operator, as used in the theory of integrable systems. Thus one…
This is the first of a series of two technical papers devoted to the analysis of holonomy invariants in strict higher gauge theory with end applications in higher Chern--Simons theory. For a flat 2--connection, we define the 2-holonomy of…
Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized in the Coq proof assistant. We discuss some of the challenges posed by this approach to formalizing homotopy-theoretic…