Related papers: When can a formality quasi-isomorphism over ration…
The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…
We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic D-modules of exponential type. We also prove that every formal C[[t]]<\partial_t>-modules is isomorphic, after a ramification, to a germ of…
Let $X$ be a partial flag variety, equipped with the Borel action by multiplication. We give a criterion for the equivariant derived category with modular coefficients to be formal.
We show that for every quasivariety K of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equational theories of K (the dual of the lattice of…
This paper investigates if a differential graded algebra can have more than one $A_\infty$-structure extending the given differential graded algebra structure. We give a sufficient condition for uniqueness of such an $A_\infty$-structure up…
An informal discussion of how the construction problem in algebraic geometry motivates the search for formal proof methods. Also includes a brief discussion of my own progress up to now, which concerns the formalization of category theory…
In this work, we present a logical formalism for reasoning about quantum systems in finite dimension. Contrary to the usual approach in quantum logic, our formalism is based classical first-order logic, which allows us to use the tools of…
We consider the question whether a real threefold X fibred into quadric surfaces over the real projective line is stably rational (over R) if the topological space X(R) is connected. We give a counterexample. When all geometric fibres are…
Let $X$ a complex projective variety of complex dimension $n$ with only isolated singularities of simply connected links. We show that we can endow the rational cohomology of the family of the $\overline{p}$-perverse intersection spaces $\{…
Let X and Y be finite-type CW-complexes (X connected, Y simply connected), such that the rational cohomology ring of Y is a k-rescaling of the rational cohomology ring of X. Assume H^*(X,Q) is a Koszul algebra. Then, the homotopy Lie…
We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds $U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}{D^{2n+1}}$, for large $g$ and $n$, up to approximately degree $n$. The…
Let X be a projective, equidimensional, singular scheme over an algebraically closed field. Then the existence of a geometric smoothing (i.e. a family of deformations of X over a smooth base curve whose generic fibre is smooth) implies the…
We develop general foundations of topological algebra over a linearly topologized ring k in a format applicable to both formal schemes and analytic adic spaces. We are especially interested in determining exact closed tensor categories of…
By applying holomorphic motions, we prove that a parabolic germ is quasiconformally rigid, that is, any two topologically conjugate parabolic germs are quasiconformally conjugate and the conjugacy can be chosen to be more and more near…
In this note we extend connectedness results to formal properties of inverse images under proper maps of Schubert varieties and of the diagonal in products of projective rational homogeneous spaces
Arguments on PL,(=piecewise linear) topology work over any ordered field in the same way as over the real field, and those on differential topology do over a real closed field R in an o-minimal structure that expands (R,<,0,1,+,cdot). One…
Non notherian Formal schemes of perfectoid type (for example $\mathbb{Z}_p[p^{1/p^\infty}]\langle X^{1/p^\infty} \rangle$ along with its multivariate version) with rational degree are constructed and are shown to be admissible. These formal…
Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…
The Chevalley-Eilenberg differential calculus and differential operators over N-graded commutative rings are constructed. This is a straightforward generalization of the differential calculus over commutative rings, and it is the most…
We consider groups G which have a cocompact, 3-manifold model for the classifying space \underline{E}G. We provide an algorithm for computing the rationalized equivariant K-homology of \underline{E}G. Under the additional hypothesis that…