Related papers: A strong desingularization theorem

In this note we realize the sheaf of Cherednik algebras $H_{1, c, X, G}$ on a general good complex orbifold $X/G$, originally introduced by Etingof for smooth complex varieties with an action by a finite group, by gluing sheaves of flat…

Let $k$ be a non-archimedean complete valued field and let X be a smooth Berkovich analytic $k$-curve. Let $F$ be a finite locally constant \'{e}tale sheaf on $k$ whose torsion is prime to the residue characteristic. We denote by $|X|$ the…

We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…

In this article, we introduce the idempotentization process, which bears some philosophical and mathematical similarities with modern analytification and tropicalization. Idempotentization associates to any affine scheme an idempotent…

Let X be a complex algebraic variety, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. We show that the formal neighborhood of f in L(X) admits a decomposition into a…

Given a projective variety X, a smooth divisor D, and semipositive line bundles (L_1,h_1),,...,(L_m,h_m), we consider the "multiply twisted pluricanonical bundle" F:=m(K_X+D)+L_1+...+L_m on X and F_D:=mK_D+(L_1+...+L_m)|_D. Let I_j be the…

Let W -> X be a real smooth projective threefold fibred by rational curves. Koll\'ar proved that if W(R) is orientable a connected component N of W(R) is essentially either a Seifert fibred manifold or a connected sum of lens spaces. Let k…

Let $\mathcal{V}$ be a complete discrete valuation ring of unequal characteristic with perfect residue field, $u\colon \mathcal{Z} \hookrightarrow \mathfrak{X}$ be a closed immersion of smooth, quasi-compact, separated formal schemes over…

Motivated by the work of Esnault-Hai, one has the notion of de Rham $K(\pi,1)$ schemes, defined as follows. Given a smooth proper geometrically connected scheme $X$ over a field $k$ of characteristic 0 and a base point $x \in X (k)$, one…

Let $\Omega$ be a complex manifold, and let $X\subset \Omega$ be an open submanifold whose closure $\bar X$ is a (not necessarily compact) submanifold with smooth boundary. Let $G$ be a complex Lie group, $\Pi$ be a differentiable principal…

Let $X$ be a smooth dendroid in the plane $\mathbb R^2$. We show that each endpoint of $X$ is arcwise accessible from $\mathbb R^2\setminus X$, and that the space of endpoints $E(X)$ has the property of a circle. In the event that $E(X)$ is…

Let $R$ be a commutative ring: we explain the Beilinson-Bernstein localisation mechanism for sheaves of homogeneous twisted differential operators defined over a smooth, separated, locally of finite type $R$-scheme. As an application, we…

A short new proof of the fact that all shifted complexes are fixed by reverse lexicographic shifting is given. A notion of lexicographic shifting, $\Delta_{\lex}$ -- an operation that transforms a monomial ideal of $S=\field[x_i: i\in\N]$…

Our main result establishes functorial desingularization of noetherian quasi-excellent schemes over $\bfQ$ with ordered boundaries. A functorial embedded desingularization of quasi-excellent schemes of characteristic zero is deduced.…

Let $X$ be a completely regular topological space. We assign to each (set theoretic) ideal of $X$ an (algebraic) ideal of $C_B(X)$, the normed algebra of continuous bounded complex valued mappings on $X$ equipped with the supremum norm. We…

Let $Y$ be a compact Gorenstein analytic space with only isolated singularities and trivial dualizing sheaf. A recent paper of Imagi studies the deformation theory of $Y$ in case the singularities of $Y$ are weighted homogeneous and…

In a paper from 2011, Jiang, Wang and Zhang studied the fixed points and fixed subgroups of selfmaps on a connected finite graph or a connected compact hyperbolic surface $X$. In particular, for any selfmap $f: X\to X$, they proved that a…

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable subset X of M^n, there is a definable type p in X, definable over a code for…