Related papers: The category of 3-computads is not cartesian close…
We show that under generic conditions, the quantisation of a $1$-parameter family of KAM perturbations $P(x,\xi;t)$ of a completely integrable and Kolmogorov non-degenerate Gevrey smooth Hamiltonian is not quantum ergodic, at least for a…
Using geometric arguments, we compute the group of homotopy classes of maps from a closed $(n+1)$-dimensional manifold to the $n$-sphere for $n \geq 3$. Our work extends results from Kirby, Melvin and Teichner for closed oriented…
This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…
We show by example that the Chern numbers c_1^3 and c_1 c_2 of a complex 3-fold are not determined by the topology of the underlying smooth compact 6-manifold. In fact, we observe that infinitely many different values of a Chern number can…
The embedded template is a geometric tool in dynamics being used to model knots and links as periodic orbits of $3$-dimensional flows. We prove that for an embedded template in $S^3$ with fixed homeomorphism type, its boundary as a…
Murphy and the second author showed that a generic closed Riemannian manifold has no totally geodesic submanifolds, provided it is at least four dimensional. Lytchak and Petrunin established the same thing in dimension 3. For the higher…
We define a closed model category containing the $n$-nerves defined by Tamsamani, and admitting internal $Hom$. This allows us to construct the $n+1$-category $nCAT$ by taking the internal $Hom$ for fibrant objects. We prove a generalized…
The Popescu-Gabriel theorem states that each Grothendieck abelian category is a localization of a module category. In this paper, we prove an analogue where Grothendieck abelian categories are replaced by triangulated categories which are…
We show that the problem of showing that a cusped 3-manifold M is not hyperbolic is in NP, assuming $S^3$-RECOGNITION is in coNP. To this end, we show that IRREDUCIBLE TOROIDAL RECOGNITION lies in NP. Along the way we unconditionally…
A great part of the mathematical foundations of topological quantum computation is given by the theory of modular categories which provides a description of the topological phases of matter such as anyon systems. In the near future the…
We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories…
Biconservative surfaces of Riemannian 3-space forms $N^3(\rho)$, are either constant mean curvature (CMC) surfaces or rotational linear Weingarten surfaces verifying the relation $3\kappa_1+\kappa_2=0$ between their principal curvatures…
We generalise clones, which are sets of functions $f:A^n \rightarrow A$, to sets of mappings $f:A^n \rightarrow A^m$. We formalise this and develop language that we can use to speak about it. We then look at bijective mappings, which have…
We introduce a cohomology theory for spatial super- product systems and compute the $2-$cocycles for some basic examples called as Clifford super-product systems, thereby distinguish them up to isomorphism. This consequently proves that a…
We show that a version of Martin-L\"of type theory with an extensional identity type former I, a unit type N1 , Sigma-types, Pi-types, and a base type is a free category with families (supporting these type formers) both in a 1- and a…
We give an example of a computably enumerable closed subset of [0,1] that is not homeomorphic to any computably compact space. This answers a question of Koh, Melnikov and Ng.
For any $n\geq 3$, we prove that there exist equivalences between these apparently unrelated objects: irreducible $n$-dimensional non degenerate projective varieties $X\subset \mathbb P^{2n+1}$ different from rational normal scrolls and…
We introduce a notion of complexity of diagrams (and in particular of objects and morphisms) in an arbitrary category, as well as a notion of complexity of functors between categories equipped with complexity functions. We discuss several…
In this article we further the study of non-commutative motives. Our main result is the construction of a simple model, given in terms of infinite matrices, for the suspension in the triangulated category of non-commutative motives. As a…
We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over…