English
Related papers

Related papers: A Proof of Desingularization over fields of charac…

200 papers

Let K be the field of fractions of a Henselian discrete valuation ring O_K. Let X_K/K be a smooth proper geometrically connected scheme admitting a regular model X/O_K. We show that the index \delta(X_K/K) of X_K/K can be explicitly…

Algebraic Geometry · Mathematics 2016-09-29 Ofer Gabber , Qing Liu , Dino Lorenzini

In this text, we illustrate the use of local methods in the theory of (irregular) holonomic D-modules. I. (The Euler characteristic of the de~Rham complex) We show the invariance of the global or local Euler characteristic of the de~Rham…

Algebraic Geometry · Mathematics 2026-03-09 Claude Sabbah

Let $Hilb ^{p(t)}(P^n)$ be the Hilbert scheme of closed subschemes of $P^n$ with Hilbert polynomial $p(t) \in Q[t]$, and let $W:= \overline{W(\underline{b};\underline{a};r)}$ be the closure of the locus in $Hilb ^{p(t)}(P^n)$ of…

Algebraic Geometry · Mathematics 2023-09-28 Jan O. Kleppe , Rosa M. Miró-Roig

In this paper, we generalise the construction of the functorial pullback of refined unramified cohomology between smooth schemes, by following the ideas of Fulton's intersection theory and Rost's cycle modules. We also define standard…

Algebraic Geometry · Mathematics 2025-01-08 Kees Kok , Lin Zhou

We describe the support of $F$-finite $F$-modules over polynomial rings $R$ of prime characteristic. Our description yields an algorithm to compute the support of such modules; the complexity of our algorithm is also analyzed. To the best…

Commutative Algebra · Mathematics 2017-05-05 Mordechai Katzman , Wenliang Zhang

We first introduce and study the notion of multi-weighted blow-ups, which is later used to systematically construct an explicit yet efficient algorithm for functorial logarithmic resolution in characteristic zero, in the sense of Hironaka.…

Algebraic Geometry · Mathematics 2026-05-27 Dan Abramovich , Ming Hao Quek

We prove that the integral closedness of any ideal of height at least two is compatible with specialization by a generic element. This opens the possibility for proofs using induction on the height of an ideal. Also, with additional…

Commutative Algebra · Mathematics 2014-04-08 J. Hong , B. Ulrich

Let Hilb^p be the Hilbert scheme parametrizing the closed subschemes of P^n with Hilbert polynomial p \in Q[t] over a field K of characteristic zero. By bounding below the cohomological Hilbert functions of the points of Hilb^p we define…

Commutative Algebra · Mathematics 2007-05-23 Stefan Fumasoli

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…

Algebraic Geometry · Mathematics 2024-12-30 Félix Baril Boudreau , Cristhian Garay

We study sublevel set and superlevel set persistent homology on discrete functions through the perspective of finite ordered sets of both linearly ordered and cyclically ordered domains. Finite ordered sets also serve as the codomain of our…

Algebraic Topology · Mathematics 2025-08-27 Robin Belton , Georg Essl

In this thesis, a new class of algorithms based on Sums of Squares Programming is developed. These allow to reduce a degree-$d$ homogeneous polynomial $T = \sum_{i = 1}^m \langle a_i, X \rangle^d $ to a quadratic form being close to a…

Numerical Analysis · Mathematics 2018-12-14 Alexander Taveira Blomenhofer

In this article we prove the irreducibility of the Hilbert scheme of rationnal curves on homogeneous varieties with fixed class in the Chow ring. This result has also been proved by J. F. Thomsen [T] and B. Kim and R. Pandharipande [KP].…

Algebraic Geometry · Mathematics 2007-05-23 Nicolas Perrin

We consider discretizations of the hyper-singular integral operator on closed surfaces and show that the inverses of the corresponding system matrices can be approximated by blockwise low-rank matrices at an exponential rate in the block…

Numerical Analysis · Mathematics 2017-12-04 Markus Faustmann , Jens Markus Melenk , Dirk Praetorius

In this paper we introduce an effective method to construct rational deformations between couples of Borel-fixed ideals. These deformations are governed by flat families, so that they correspond to rational curves on the Hilbert scheme.…

Commutative Algebra · Mathematics 2010-10-27 Paolo Lella

The process of renormalization to eliminate divergences arising in quantum field theory is not uniquely defined; one can always perform a finite renormalization, rendering finite perturbative results ambiguous. The consequences of making…

High Energy Physics - Phenomenology · Physics 2019-01-24 D. G. C. McKeon , Chenguang Zhao

We consider the formal reduction of a system of linear differential equations and show that, if the system can be block-diagonalised through transformation with a ramified Shearing-transformation and following application of the Splitting…

Symbolic Computation · Computer Science 2019-11-15 Eckhard Pflügel

We study multivariate trigonometric polynomials, satisfying a set of constraints close to the known Strung-Fix conditions. Based on the polyphase representation of these polynomials relative to a general dilation matrix, we develop a simple…

Functional Analysis · Mathematics 2009-07-27 Nira Dyn , Maria Skopina

We show that there exist flat surface bundles with closed leaves having non-trivial normal bundles. This leads us to compute the Abelianisation of surface diffeomorphism groups with marked points. We also extend a formula of Tsuboi that…

Geometric Topology · Mathematics 2014-10-01 Jonathan Bowden

In recent literature there are plenty of works that combine handcrafted and learnable regularizers to solve inverse imaging problems. While this hybrid approach has demonstrated promising results, the motivation for combining handcrafted…

Computer Vision and Pattern Recognition · Computer Science 2025-05-23 Alexandros Gkillas , Dimitris Ampeliotis , Kostas Berberidis

In this paper we prove a desingularization theorem for Legendrian surfaces that are the conormal of a quasi-ordinary hypersurface.

Algebraic Geometry · Mathematics 2015-11-02 Antonio Araujo , Joao Cabral , Orlando Neto