Related papers: Rational homotopy type and computability

We prove the following generalization of Severi's Theorem: Let $X$ be a fixed complex variety. Then there exist, up to birational equivalence, only finitely many complex varieties $Y$ of general type of dimension at most three which admit a…

If a Quillen model category can be specified using a certain logical syntax (intuitively, ``is algebraic/combinatorial enough''), so that it can be defined in any category of sheaves, then the satisfaction of Quillen's axioms over any site…

We show that the common theory of all modules over a tubular algebra (over a recursive algebraically closed field) is decidable. This result supports a long standing conjecture of Mike Prest which says that a finite-dimensional algebra…

We provide a detailed study of two properties of spaces and pairs of spaces, the surjection property and the epsilon-surjection property, that were recently introduced to characterize the notion of computable type arising from computability…

Given two complex Hilbert spaces $H$ and $K$, let $S(B(H))$ and $S(B(K))$ denote the unit spheres of the C$^*$-algebras $B(H)$ and $B(K)$ of all bounded linear operators on $H$ and $K$, respectively. We prove that every surjective isometry…

We address the question "when the local image of a map is well defined" and answer it in case of holomorphic map germs with target $(\bC^{2}, 0)$. We prove a criterion for holomorphic map germs $(X, x)\to (Y, y)$ to be locally open, solving…

We present a concept of uniform encodability of theories and develop tools related to this concept. As an application we obtain general undecidability results which are uniform for large families of structures. In the way, we define…

The field of constraint satisfaction problems (CSPs) studies homomorphism problems between relational structures where the target structure is fixed. Classifying the complexity of these problems has been a central quest of the field,…

It is possible to talk about the \'etale homotopy equivalence of rational points on algebraic varieties by using a relative version of the \'etale homotopy type. We show that over $p$-adic fields rational points are homotopy equivalent in…

The notion of the \emph{homotopy type} of a topological stack has been around in the literature for some time. The basic idea is that an atlas $X \to \mathfrak{X}$ of a stack determines a topological groupoid $\mathbb{X}$ with object space…

In this paper, we set up a rational homotopy theory for operads in simplicial sets whose term of arity one is not necessarily reduced to an operadic unit, extending results obtained by the author in the book "Homotopy of operads and…

We prove that any symplectic resolution of the closure of a nilpotent orbit in a semi-simple complex Lie algebra is isomorphic to the collapsing of the cotangent bundle of a projective homogenous variety. Then we give a complete…

Let $G$ be a finite group. A faithful $G$-variety $X$ is called strongly incompressible if every dominant $G$-equivariant rational map of $X$ onto another faithful $G$-variety $Y$ is birational. We settle the problem of existence of…

Several possible presentations for the homotopy theory of (non-hypercomplete) $\infty$-stacks on a classical site S are discussed. In particular, it is shown that an elegant combinatorial description in terms of diagrams in S exists,…

Let H be a complex Lie group acting holomorphically on a complex analytic space X such that the restriction to X_{\mathrm{red}} of every H-invariant regular function on X is constant. We prove that an H-equivariant holomorphic vector bundle…

Given an irreducible sofic shift X, we show that an an irreducible SFT Y of lower entropy is a factor of X if and only if it is a factor of X by an open bi-continuing code. If these equivalent conditions hold and Y is mixing, then any code…

We prove a conjecture by F. Ferrari. Let X be the total space of a nonlinear deformation of a rank 2 holomorphic vector bundle on a smooth rational curve, such that X has trivial canonical bundle and has sections. Then the normal bundle to…

Hilbert's Tenth Problem over the field $\mathbb Q$ of rational numbers is one of the biggest open problems in the area of undecidability in number theory. In this paper we construct new, computably presentable subrings $R$ of $\mathbb Q$…

We show that if f: X --> Y is a finite, separable morphism of smooth curves defined over a finite field F_q, where q is larger than an explicit constant depending only on the degree of f and the genus of X, then f maps X(F_q) surjectively…

Assume that all spaces and maps are localised at a fixed prime $p$. We study the possibility of generating a universal space $U(X)$ from a space $X$ which is universal in the category of homotopy associative, homotopy commutative H-spaces…