Related papers: Notes on rational chain connectedness
Near every point of a real-analytic set in $\mathbb R^n$, we make use of Hironaka's resolution of singularity theorem to construct a family of continuous functions in $W^{1, 1}_{loc}$ such that their weak derivatives have (removable)…
These are lectures notes on rationally connected varieties, written for the "Etats de la Recherche" of the French Mathematical Society held in Strasbourg (May 2008). We focus on geometric aspects. These notes have been written in order that…
We give simple homological conditions for a rational homology 3-sphere Y to have infinite order in the rational homology cobordism group, and for a collection of rational homology spheres to be linearly independent. These translate…
We investigate relative connections on a sheaf of modules. A sufficient condition is given for the existence of a relative holomorphic connection on a holomorphic vector bundle over a complex analytic family. We show that the relative Chern…
Either fibered knots supporting the tight contact structure are unique in their smooth concordance class or there exists a fibered counterexample to the Slice-Ribbon Conjecture.
We describe a general construction of finiteness spaces which subsumes the interpretations of all positive connectors of linear logic. We then show how to apply this construction to prove the existence of least fixpoints for particular…
We utilize recent results of Andr\'e and Gabber on the existence of weakly functorial integral perfectoid big Cohen-Macaulay (BCM) algebras to study singularities of local rings in mixed characteristic. In particular, we introduce a mixed…
We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…
Classical higher-order logic, when utilized as a meta-logic in which various other (classical and non-classical) logics can be shallowly embedded, is well suited for realising a universal logic reasoning approach. Universal logic reasoning…
We show the functional completeness for the connectives of the non-trivial negation inconsistent logic C by using a well-established method implementing purely proof-theoretic notions only. Firstly, given that C contains a strong negation,…
The goal of this paper is to generalize some of the existing toolkit of combinatorial algebraic topology in order to study the homology of abstract chain complexes. We define shellability of chain complexes in a similar way as for cell…
We provide coordinate-free versions of the classical projection Theorem of Marstrand-Kaufman-Mattila. This allows us to generalize this Theorem to the complex setting; in restriction to complex spheres, we obtain further projection Theorems…
In the present paper, we prove the retract rationality of the classifying spaces $BG$ for several types of finite connected group schemes $G$ over algebraically closed fields of positive characteristic $p>0$. In particular, we prove the…
We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient…
We construct a canonical correspondence from a wide class of reproducing kernels on infinite-dimensional Hermitian vector bundles to linear connections on these bundles. The linear connection in question is obtained through a pull-back…
In this paper we prove the existence of purely log terminal blow-up for Kawamata log terminal singularity and obtain the criterion for a singularity to be weakly exceptional in terms of the exceptional divisor of plt blow-up.
We globalize the derived version of the McKay correspondence of Bridgeland-King-Reid, proven by Kawamata in the case of abelian quotient singularities, to certain log algebraic stacks with locally free log structure. The two sides of the…
This paper considers normal projective complex surface X with at worst Kawamata log terminal singularities and K_X is numerically trivial. The aim is to prove that there is a finite rational polyhedral cone which is a fundamental domain for…
Given a strongly stationary Markov chain and a finite set of stopping rules, we prove the existence of a polynomial algorithm which projects the Markov chain onto a minimal Markov chain without redundant information. Markov complexity is…
A limit of rational varieties need not be rational, even if all varieties in the family are projective and have at most terminal singularities.