Related papers: Computations in rational sectional category
We derive recursive equations for the characteristic numbers of rational nodal plane curves with at most one cusp, subject to point conditions, tangent conditions and flag conditions, developing techniques akin to quantum cohomology on a…
We study the higher (sequential) topological complexity, a numerical homotopy invariant for the planar polygon spaces. For these spaces with a small genetic codes and dimension $m$, Davis showed that their topological complexity is either…
We present an explicit formula computing morphism spaces in the stable category of a Frobenius algebra.
The structure of topological spaces is analysed here through the lenses of fibrous preorders. Each topological space has an associated fibrous preorder and those fibrous preorders which return a topological space are called spacial. A…
The complexity of algorithms solving the motion planning problem is measured by a homotopy invariant TC(X) of the configuration space X of the system. Previously known lower bounds for TC(X) use the structure of the cohomology algebra of X.…
Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning…
We study certain topological problems that are inspired by applications to autonomous robot manipulation. Consider a continuous map $f\colon X\to Y$, where $f$ can be a kinematic map from the configuration space $X$ to the working space $Y$…
For a positive integer r, an r-spin topological quantum field theory is a 2-dimensional TQFT with tangential structure given by the r-fold cover of SO_2 . In particular, such a TQFT assigns a scalar invariant to every closed r-spin surface…
We continue work of our earlier paper (Lewitzka and Brunner: Minimally generated abstract logics, Logica Universalis 3(2), 2009), where abstract logics and particularly intuitionistic abstract logics are studied. Abstract logics can be…
We give an upper bound on the topological complexity of varieties $\mathcal{V}$ obtained as complements in $\mathbb{C}^m$ of the zero locus of a polynomial. As an application, we determine the topological complexity of unordered…
The dynamical degrees of a rational map $f:X\dashrightarrow X$ are fundamental invariants describing the rate of growth of the action of iterates of $f$ on the cohomology of $X$. When $f$ has nonempty indeterminacy set, these quantities can…
Here are considered some categorical aspects of "Differential calculus" archetype of local approximation of arbitrary morphisms by "linear" ones.
In this paper we consider the computational complexity of uniformizing a domain with a given computable boundary. We give nontrivial upper and lower bounds in two settings: when the approximation of boundary is given either as a list of…
Given a finite modular tensor category, we associate with each compact surface with boundary a cochain complex in such a way that the mapping class group of the surface acts projectively on its cohomology groups. In degree zero, this action…
We construct and discuss new numerical homotopy invariants of topological spaces that are suitable for the study of functions on loop and sphere spaces. These invariants resemble the Lusternik-Schnirelmann category and provide lower bounds…
We show that the loop spaces of real projective spaces are topologically approximated by the spaces of rational maps from RP(1) to RP(n). As a byproduct of our constructions we obtain an interpretation of the Kronecker characteristic…
We study the group of self-equivalences of a partially postcritically finite branched cover and answer a question of Adam Epstein about contractibility of certain deformation spaces of rational maps.
We define a relative version of tiling cohomology for the purpose of comparing the topology of tiling spaces when one is a factor of the other. We illustrate this with examples, and outline a method for computing the cohomology of tiling…
This paper is the first in a series. The main goal of the series is to present a geometric construction of certain remarkable tensor categories arising from quantum groups coresponding to the value of deformation parameter $q$ equal to a…
Definable topological groups whose topologies are affine have definable $\mathcal C^r$ structures in d-minimal expansions of ordered fields, where $r$ is a positive integer. We prove this fact using a new notion called partition degree of a…