scholarly journals Strong resolution of singularities in characteristic zero

2002 ◽  
Vol 77 (4) ◽  
pp. 821-845 ◽  
Author(s):  
S. Encinas ◽  
H. Hauser
Keyword(s):  
Characteristic Zero ◽  
Resolution Of Singularities

A STRENGTHENING OF RESOLUTION OF SINGULARITIES IN CHARACTERISTIC ZERO

2003 ◽  
Vol 86 (2) ◽  
pp. 327-357 ◽  
Author(s):  
A. BRAVO ◽  
O. VILLAMAYOR U.
Keyword(s):  
Characteristic Zero ◽  
Resolution Of Singularities ◽  
Closed Subscheme ◽  
Subject Classification ◽  
Invertible Sheaf ◽  
Simple Manner ◽  
Birational Morphism ◽  
Exceptional Locus

Let $X$ be a closed subscheme embedded in a scheme $W$, smooth over a field ${\bf k}$ of characteristic zero, and let ${\mathcal I} (X)$ be the sheaf of ideals defining $X$. Assume that the set of regular points of $X$ is dense in $X$. We prove that there exists a proper, birational morphism, $\pi : W_r \longrightarrow W$, obtained as a composition of monoidal transformations, so that if $X_r \subset W_r$ denotes the strict transform of $X \subset W$ then:(1) the morphism $\pi : W_r \longrightarrow W$ is an embedded desingularization of $X$ (as in Hironaka's Theorem);(2) the total transform of ${\mathcal I} (X)$ in ${\mathcal O}_{W_r}$ factors as a product of an invertible sheaf of ideals ${\mathcal L}$ supported on the exceptional locus, and the sheaf of ideals defining the strict transform of $X$ (that is, ${\mathcal I}(X){\mathcal O}_{W_r} = {\mathcal L} \cdot {\mathcal I}(X_r)$).Thus (2) asserts that we can obtain, in a simple manner, the equations defining the desingularization of $X$.2000 Mathematical Subject Classification: 14E15.

scholarly journals Tensor Structure on Smooth Motives

2011 ◽  
Vol 9 (1) ◽  
pp. 57-101 ◽  
Author(s):  
Anandam Banerjee
Keyword(s):  
Characteristic Zero ◽  
Full Subcategory ◽  
Resolution Of Singularities ◽  
Homotopy Category ◽  
Tensor Structure ◽  
Perfect Field ◽  
Base Scheme

AbstractRecently, Bondarko constructed a DG category of motives, whose homotopy category is equivalent to Voevodsky's category of effective geometric motives, assuming resolution of singularities. Soon after, Levine extended this idea to construct a DG category whose homotopy category is equivalent to the full subcategory of motives over a base-scheme S generated by the motives of smooth projective S-schemes, assuming that S is itself smooth over a perfect field. In both constructions, the tensor structure requires ℚ-coefficients. In this article, it is shown how to provide a tensor structure on the homotopy category mentioned above, when S is semi-local and essentially smooth over a field of characteristic zero. This is done by defining a pseudo-tensor structure on the DG category of motives constructed by Levine, which induces a tensor structure on its homotopy category.

Exceptional divisors that are not uniruled belong to the image of the Nash map

2011 ◽  
Vol 11 (2) ◽  
pp. 273-287 ◽  
Author(s):  
Monique Lejeune-Jalabert ◽  
Ana J. Reguera
Keyword(s):  
Irreducible Component ◽  
Characteristic Zero ◽  
Exceptional Divisor ◽  
Resolution Of Singularities ◽  
Closed Field ◽  
Algebraically Closed Field

AbstractWe prove that, ifXis a variety over an uncountable algebraically closed fieldkof characteristic zero, then any irreducible exceptional divisorEon a resolution of singularities ofXwhich is not uniruled, belongs to the image of the Nash map, i.e. corresponds to an irreducible component of the space of arcs$X_\infty^{\mathrm{Sing}}$onXcentred in SingX. This reduces the Nash problem of arcs to understanding which uniruled essential divisors are in the image of the Nash map, more generally, how to determine the uniruled essential divisors from the space of arcs.

scholarly journals On the Functoriality of the Slice Filtration

2013 ◽  
Vol 11 (1) ◽  
pp. 55-71 ◽  
Author(s):  
Pablo Pelaez
Keyword(s):  
Finite Type ◽  
Characteristic Zero ◽  
Resolution Of Singularities ◽  
Homotopy Category ◽  
Stable Homotopy ◽  
Canonical Structure ◽  
Motivic Cohomology ◽  
Ring Spectrum ◽  
Stable Homotopy Category ◽  
Slice Filtration

AbstractLet k be a field with resolution of singularities, and X a separated k-scheme of finite type with structure map g. We show that the slice filtration in the motivic stable homotopy category commutes with pullback along g. Restricting the field further to the case of characteristic zero, we are able to compute the slices of Weibel's homotopy invariant K-theory [24] extending the result of Levine [10], and also the zero slice of the sphere spectrum extending the result of Levine [10] and Voevodsky [23]. We also show that the zero slice of the sphere spectrum is a strict cofibrant ring spectrum HZXsf which is stable under pullback and that all the slices have a canonical structure of strict modules over HZXsf. If we consider rational coefficients and assume that X is geometrically unibranch then relying on the work of Cisinski and Déglise [4], we deduce that the zero slice of the sphere spectrum is given by Voevodsky's rational motivic cohomology spectrum HZX ⊗ ℚ and that the slices have transfers. This proves several conjectures of Voevodsky [22, conjectures 1, 7, 10, 11] in characteristic zero.

scholarly journals Monoidal transforms and invariants of singularities in positive characteristic

2013 ◽  
Vol 149 (8) ◽  
pp. 1267-1311 ◽  
Author(s):  
Angélica Benito ◽  
Orlando E. Villamayor U.
Keyword(s):  
Open Problem ◽  
Characteristic Zero ◽  
Positive Characteristic ◽  
Resolution Of Singularities ◽  
Second Step

AbstractThe problem of resolution of singularities in positive characteristic can be reformulated as follows: fix a hypersurface $X$, embedded in a smooth scheme, with points of multiplicity at most $n$. Let an $n$-sequence of transformations of $X$ be a finite composition of monoidal transformations with centers included in the $n$-fold points of $X$, and of its successive strict transforms. The open problem (in positive characteristic) is to prove that there is an $n$-sequence such that the final strict transform of $X$ has no points of multiplicity $n$ (no $n$-fold points). In characteristic zero, such an $n$-sequence is defined in two steps. The first consists of the transformation of $X$ to a hypersurface with $n$-fold points in the so-called monomial case. The second step consists of the elimination of these $n$-fold points (in the monomial case), which is achieved by a simple combinatorial procedure for choices of centers. The invariants treated in this work allow us to present a notion of strong monomial case which parallels that of monomial case in characteristic zero: if a hypersurface is within the strong monomial case we prove that a resolution can be achieved in a combinatorial manner.

scholarly journals On the Voevodsky motive of the moduli space of Higgs bundles on a curve

2021 ◽  
Vol 27 (1) ◽  
Author(s):  
Victoria Hoskins ◽  
Simon Pepin Lehalleur
Keyword(s):  
Moduli Space ◽  
Moduli Spaces ◽  
Characteristic Zero ◽  
Rational Point ◽  
Triangulated Category ◽  
Higgs Bundles ◽  
Projective Curve ◽  
Smooth Projective Curve ◽  
De Rham

AbstractWe study the motive of the moduli space of semistable Higgs bundles of coprime rank and degree on a smooth projective curve C over a field k under the assumption that C has a rational point. We show this motive is contained in the thick tensor subcategory of Voevodsky’s triangulated category of motives with rational coefficients generated by the motive of C. Moreover, over a field of characteristic zero, we prove a motivic non-abelian Hodge correspondence: the integral motives of the Higgs and de Rham moduli spaces are isomorphic.

scholarly journals Conjectures on Stably Newton Degenerate Singularities

2021 ◽  
Author(s):  
Jan Stevens
Keyword(s):  
Characteristic Zero ◽  
Arbitrary Number ◽  
Milnor Number ◽  
Plane Curves ◽  
Newton Diagram ◽  
Finite Characteristic ◽  
Vanishing Cycles

AbstractWe discuss a problem of Arnold, whether every function is stably equivalent to one which is non-degenerate for its Newton diagram. We argue that the answer is negative. We describe a method to make functions non-degenerate after stabilisation and give examples of singularities where this method does not work. We conjecture that they are in fact stably degenerate, that is not stably equivalent to non-degenerate functions.We review the various non-degeneracy concepts in the literature. For finite characteristic, we conjecture that there are no wild vanishing cycles for non-degenerate singularities. This implies that the simplest example of singularities with finite Milnor number, $$x^p+x^q$$ x p + x q in characteristic p, is not stably equivalent to a non-degenerate function. We argue that irreducible plane curves with an arbitrary number of Puiseux pairs (in characteristic zero) are stably non-degenerate. As the stabilisation involves many variables, it becomes very difficult to determine the Newton diagram in general, but the form of the equations indicates that the defining functions are non-degenerate.

Sign in / Sign up

Export Citation Format

Share Document