Related papers: On Macaulayfication of certain quasi-projective sc…
To reduce to resolving Cohen-Macaulay singularities, Faltings initiated the program of "Macaulayfying" a given Noetherian scheme $X$. For a wide class of $X$, Kawasaki built the sought Cohen-Macaulay modifications, with a crucial drawback…
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets. Originally introduced by Collins in the 1970s for use in quantifier elimination it has since found numerous applications within…
CylindricalAlgebraicDecomposition.m2 is the first implementation of Cylindrical Algebraic Decomposition (CAD) in Macaulay2. CAD decomposes space into 'cells' where input polynomials are sign-invariant. This package computes an Open CAD…
The aim of this paper is to study a deep connection between local cohomology annihilators and Macaulayfication and arithmetic Macaulayfication over a local ring. Local cohomology annihilators appear through the notion of p-standard system…
We introduce a discretization scheme for continuous localized frames using quasi-Monte Carlo integration and discrepancy theory. By generalizing classical concepts, we define a discrepancy measure on the entire phase space $\mathbb{R}^2$…
In this paper, we develop the foundations of the theory of quasiregular mappings in general metric measure spaces. In particular, nine definitions of quasiregularity for a discrete open mapping with locally bounded multiplicity are proved…
We construct new examples of quasi-asymptotically conical (QAC) Calabi-Yau manifolds that are not quasi-asymptotically locally Euclidean (QALE). We do so by first providing a natural compactification of QAC-spaces by manifolds with fibred…
We study Calabi-Yau 3-folds M_0 with a conical singularity x modelled on a Calabi-Yau cone V. We construct desingularizations of M_0, obtaining a 1-parameter family of compact, nonsingular Calabi-Yau 3-folds which has M_0 as the limit. The…
In the last chapter of his book "The Algebraic Theory of Modular Systems " published in 1916, F. S. Macaulay developped specific techniques for dealing with " unmixed polynomial ideals " by introducing what he called " inverse systems ".…
We provide an alternative characterization of two-dimensional locality (necessary e.g. to define the Hall conductivity of a Fermi projection) using the spectral projections of the Laughlin flux operator. Using this abstract…
This note shows the equivalence of two projection operators which both can be used in cylindrical algebraic decomposition (CAD) . One is known as Brown's Projection (C. W. Brown (2001)); the other was proposed by Lu Yang in his earlier work…
We prove a monomialization theorem for mappings in general classes of infinitely differentiable functions that are called quasianalytic. Examples include Denjoy-Carleman classes, the class of $\cC^\infty$ functions definable in a…
Shape calculus concerns the calculation of directional derivatives of some quantity of interest, typically expressed as an integral. This article introduces a type of shape calculus based on localized dilation of boundary faces through…
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.…
In this paper, we present a characterization of metric projection in CAT(0) spaces by using the concept of quasilinearization. Furthermore, some basic properties of matric projection are investigated.
We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains…
We introduce and analyze an abstract algorithm that aims to find the projection onto a closed convex subset of a Hilbert space. When specialized to the fixed point set of a quasi nonexpansive mapping, the required sufficient condition…
Let $f:X\to Y$ be a surjective morphism of integral schemes. Then $X$ is said to be quasi-galois closed over $Y$ by $f$ if $X$ has a unique conjugate over $Y$ in an algebraically closed field. Such a notion has been applied to the…
Grothendieck proved in EGA IV that if any integral scheme of finite type over a locally noetherian scheme X admits a desingularization, then X is quasi-excellent, and conjectured that the converse is probably true. We prove this conjecture…
Recently, Greg\'orio and Oliveira developed a proximal point scalarization method (applied to multi-objective optimization problems) for an abstract strict scalar representation with a variant of the logarithmic-quadratic function of…