Related papers: A short proof for tc(K) = 4

In this paper, we provide sufficient conditions for a space $X$ to satisfy the Ganea conjecture for topological complexity. To achieve this, we employ two auxiliary invariants: weak topological complexity in the sense of Berstein-Hilton,…

We present a top-down lower-bound method for depth-$4$ boolean circuits. In particular, we give a new proof of the well-known result that the parity function requires depth-$4$ circuits of size exponential in $n^{1/3}$. Our proof is an…

We provide an alternative, simpler proof of the existence of thick triangulations for noncompact $\mathcal{C}^1$ manifolds. Moreover, this proof is simpler than the original one given in \cite{pe}, since it mainly uses tools of elementary…

We give new lower bounds for the (higher) topological complexity of a space, in terms of the Lusternik-Schnirelmann category of a certain auxiliary space. We also give new lower bounds for the rational topological complexity of a space, and…

This article presents a technique for proving problems hard for classes of the polynomial hierarchy or for PSPACE. The rationale of this technique is that some problem restrictions are able to simulate existential or universal quantifiers.…

It is shown how solutions to the Tzitz\'eica equation can be used to construct a family of (pseudo) hyper-complex metrics in four dimensions.

We give a pen and paper and (comparatively) much simpler proof to verify of the Four Colour Theorem.

In this note, we give a short proof of the Torelli theorem for cubic fourfolds that relies on the global Torelli theorem for irreducible holomorphic symplectic varieties proved by Verbitsky.

We prove the formula C(a,b) = K(a|C(a,b)) + C(b|a,C(a,b)) + O(1) that expresses the plain complexity of a pair in terms of prefix and plain conditional complexities of its components.

We show that the complexity function $p_k(n)$ of a piecewise translation map conjugated to a minimal translation on the torus $\TT^k = \RR^k / \ZZ^k$ is at least $kn+1$ for every integer $n$.

We construct a four dimensional topological Quantum Field Theory from a modular tensor category. We complete the proof in the case of SU(2)q at a root of unity. Our construction may be important in the physical interpretation of the Chern…

We study closed orientable manifolds whose topological complexity is at most 3 and determine their cohomology rings. For some of admissible cohomology rings we are also able to identify corresponding manifolds up to homeomorphism.

The topological complexity of a path-connected space $X,$ denoted $TC(X),$ can be thought of as the minimum number of continuous rules needed to describe how to move from one point in $X$ to another. The space $X$ is often interpreted as a…

We solve the problem of determining basic topological properties of flat samples by performing measurements on their outer edge. The global maximum of four probe resistances shows a characteristic behaviour, which is dependent on the genus…

We introduce a functor which associates to every measure preserving system (X,B,\mu,T) a topological system (C_2(\mu),\tilde{T}) defined on the space of 2-fold couplings of \mu, called the topological lens of T. We show that often the…

We compute the K-theory of complex projective spaces. There are three major ingredients: the exact sequence of K-groups, the theory of Chern character and the Bott Periodicity Theorem.

Given a space $X$, the topological complexity of $X$, denoted by $TC(X)$, can be viewed as the minimum number of "continuous rules" needed to describe how to move between any two points in $X$. Given subspaces $Y_1$ and $Y_2$ of $X$, there…

Let M be a compact, connected, orientable, irreducible 3-manifold and T' an incompressible torus boundary component of M such that the pair (M,T') is not cabled. By a result of C. Gordon, if S and T are incompressible punctured tori in M…

We present upper and lower bounds for symmetrized topological complexity $TC^\Sigma(X)$ in the sense of Basabe-Gonz\'alez-Rudyak-Tamaki. The upper bound comes from equivariant obstruction theory, and the lower bounds from the cohomology of…

A cohomology class u of a topological space X is atoroidal if its pullback to the torus vanishes for every map from a torus to X. Furthermore, X is atoroidally symplectic if there is an atoroidal cohomology class $u\in H^2(X;F)$ such that…