Questions tagged [resolution-of-singularities]
The resolution-of-singularities tag has no usage guidance.
245 questions
93
votes
0
answers
17k
views
Hironaka's proof of resolution of singularities in positive characteristics
Recent publication of Hironaka seems to provoke extended discussions, like Atiyah's proof of almost complex structure of $S^6$ earlier...
Unlike Atiyah's paper, Hironaka's paper does not have a ...
- 8,071
19
votes
1
answer
2k
views
Perfectoid approach to resolution of singularities in char $p$
Since perfectoid techniques have built a bridge between char $0$ and char $p$ worlds, it is conceivable that they can be applied to resolution of singularities in char $p$ using their successful ...
- 199
15
votes
1
answer
1k
views
Resolution of singularities in étale cohomology
The lack of a suitable resolution of singularities comes up often in work on étale cohomology from the 1960s and 70s, And I think even the latest version of Milne's lecture notes says "It is likely ...
- 11.1k
14
votes
0
answers
884
views
On mixed $p$-adic Hodge theory
Does mixed $p$-adic Hodge theory exist? Can we extend the scope of comparison theorems using simplicial resolutions a la Deligne? Do we get 3 opposite filtrations as in classical mixed Hodge theory, ...
- 141
14
votes
0
answers
857
views
Is a flop on Calabi-Yau threefolds always Atiyah flop?
Is it true that any flop on a Calabi-Yau threefold is given by the Atiyah flop? That is, there always exists a rigid rational curve $\mathbb{P}^1$ with normal bundle $\mathcal{O}_{\mathbb{P}^1}(-1)^{\...
- 427
14
votes
0
answers
547
views
When are the fibers of a resolution of singularities reduced?
I apologize if this is too much of a fishing expedition, but I've had bad luck searching for any literature on this subject, and I was hoping someone could tell me if it's too easy to be worth ...
- 44.7k
12
votes
2
answers
2k
views
Hitchin fibration and Springer resolution
Let C be a curve and let us assume $G=GL_N$ and $\mathfrak{g}=\mathfrak{gl}_N$ for simplicity. The moduli space $\mathcal{M}_H(C,G)$ of $G$-Higgs bundles admits the Hitchin fibration $\pi: \mathcal{M}...
- 2,273
12
votes
1
answer
8k
views
Simple normal crossing divisors
I found the following definition.
A Weil divisor $D = \sum_{i}D_i \subset X$ on a smooth variety $X$ is simple
normal crossing if for every point $p \in X$ a local equation of $D$
is $x_1\cdot...\...
user47036
10
votes
2
answers
1k
views
Resolution of singularities for flat families.
Is there a resolution of singularities for flat families?
More precisely, if $X \rightarrow \mathbb{A} ^n$ is a flat map, does there exist a map $Y \rightarrow X$ such that, for every $p \in \mathbb{...
- 2,649
10
votes
1
answer
2k
views
Equivariant resolution of singularities
I am looking for some references on equivariant resolution of singularities. In most references quoted on mathoverflow (for instance : Reference on an equivariant resolution of singularities), they ...
- 7,320
10
votes
0
answers
539
views
Why is resolution of singularities useful/important?
Why is it important/useful to resolve singularities generally, and in particular in algebraic geometry? I understand that one gets a nicer geometry, but how does it help one understand the geometry of ...
- 281
9
votes
1
answer
1k
views
Do the cohomology groups of the structure sheaf of a smooth resolution depend on the resolution?
Let $X$ be an affine variety. Let $Y$ be smooth and let the map $f\colon Y\rightarrow X$ be proper birational. We will call $Y$ a smooth resolution of $X$.
Do the cohomology groups $H^i(Y,\mathcal{O}...
- 371
9
votes
2
answers
870
views
Finite generation and Henselization
Now I understand the answers.
I am trying to understand Henselian Weierstrass Theorem in Hironaka's Idealistic exponents of singularity, page 76 - 77. A glance at the paper.
At some point there is ...
- 807
9
votes
2
answers
622
views
Can we foliate the punctured space by tori?
Is it possible to have a 2 dimensional foliation of $\mathbb{R}^{3}-\{0\}$ such that each leaf is homeomorphic to the torus? what algebraic topological obstruction exist?
Another question: is there ...
- 366
9
votes
0
answers
361
views
Would full resolution of singularities have cohomological implications beyond the alteration theory?
De Jong's result on alterations allows one to show the potential semistability of certain Galois representations arising from cohomology of varieties (among other things). If we knew the existence of ...
user158636
8
votes
1
answer
496
views
Is canonical model always with canonical singularity
Let X be a smooth variety, take the proj of canonical ring of X and denote it by Y. Is Y always a canonical variety? I know it's true for general type variety. Thank in advance.
- 623
8
votes
2
answers
741
views
Resolution of unpleasant singularity
I've been working on some varieties defined by taking some quotients of group actions, and the resolutions have been straightforward... until now.
E.g., consider $\mathbb{C}^2$ with the action $(x,y)\...
- 83
8
votes
1
answer
773
views
Schubert varieties which admit small resolutions of singularities
I am looking for an (incomplete) list of partial flag varieties for
which all Schubert cells admit small resolutions of singularities.
This is interesting, for many reasons. My motivation is, that a ...
- 13.2k
8
votes
1
answer
273
views
Is there a "minimal" Whitney stratification of a complex hypersurface?
Let $X\subset \mathbb C^n$ be a complex hypersurface (given by $F=0$ where $F$ is a polynomial). It is known then that $X$ admits a Whitney stratification. This is a decomposition of $X$ into smooth ...
- 14.3k
8
votes
3
answers
918
views
Contracting a rational curve in a Calabi-Yau threefold
Let $X$ be a Calabi-Yau threefold and $C \subset X$ be a rational curve with $N_{C/X}\cong \mathcal{O}\oplus \mathcal{O}(-2)$. Can one contract the curve $C$? Assuming the answer is yes, what kind of ...
- 81
8
votes
1
answer
1k
views
Resolution of an isolated cyclic quotient singularity
I am looking for a reference to the following fact which seems to be true and which is probably well-known (at least to experts in resolution of singularities):
Consider an isolated cyclic quotient ...
- 165
8
votes
1
answer
978
views
When do blow-up and quotient commute?
Let a finite group $G\subset SL(n,\mathbb{C})$ act on $\mathbb{C}^{n}$ in a natural way. Assume there is a crepant resolution of $f:X\rightarrow \mathbb{C}^{n}/G$. When is it possible to write $X$ as $...
- 81
7
votes
4
answers
1k
views
How singular can the Stein factorization of a proper map between smooth varieties be?
A little bit of motivation (the question starts below the line): I am studying a proper, generically finite map of varieties $X \to Y$, with $X$ and $Y$ smooth. Since the map is proper, we can use the ...
- 5,504
7
votes
2
answers
1k
views
Cohomology of resolution of singularity
If $X,Y$ are smooth projective schemes, then if we have a surjection $f:X\to Y$, we have an injective map on étale cohomology, or more generally on any Weil cohomology (see https://mathoverflow.net/q/...
- 4,418
7
votes
1
answer
760
views
Bertini's Theorem
Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...
user47036
7
votes
1
answer
770
views
Cohomology of tangent sheaf of a singular hypersurface
Let $X\subset\mathbb{P}^n$ be a hypersurface singular at finitely many points $p_i\in X$. We may assume that $X$ has ordinary singularities at the $p_i$'s.
Does there exists a formula, perhaps in ...
user91659
7
votes
1
answer
2k
views
Crepant resolutions of cDV singularities?
Compound Du Val 3-fold singularities form a good class of singularities in 3-fold singularity theory. I would like to know which singularities admit crepant resolutions. If I remember correctly, $cA_{...
- 71
7
votes
1
answer
231
views
Singularities of PL embedding of surface in a contractible 4-manifold
I am trying to understand the article "A solution to a conjecture of Zeeman" by Akbulut, but I am not an expert in PL-geometry.
As far as I understand, two statements should be true, but I ...
- 674
7
votes
2
answers
493
views
Symplectic resolutions amongst cotangent bundles
It is known that a generalized flag variety $X=T^*(G/P)$ is a (symplectic) resolution of singularities of its affinization $X^\text{aff}\mathrel{:=}\operatorname{Spec}(H^0(X,\mathcal{O}_X))$. In type ...
- 1,677
7
votes
1
answer
295
views
Do arithmetic schemes have non-singular alterations?
Let $X$ be an integral normal flat finite type scheme over $\mathbb{Z}$.
Does there exist a proper surjective generically finite morphism of schemes $Y\to X$ with $Y$ an integral regular ...
- 233
7
votes
1
answer
206
views
$2$-dimensional complete local normal domain with rational singularity that has exactly one exceptional curve
Let $(R, \mathfrak m)$ be a complete local normal domain of dimension $2$ with residue field $R/\mathfrak m$ algebraically closed and characteristic $0$. Assume Spec$(R)$ has rational singularity, let ...
- 413
7
votes
1
answer
231
views
Resolution graphs in the sense of Némethi
The following definitions are from lecture notes of Némethi. A surface singularity $(X,0)$ is defined by $$(X,0) = (\{ f_1 = \ldots = f_m=0 \}) \subset \mathbb (\mathbb{C}^n,0),$$ where $f_i : (\...
user150450
7
votes
1
answer
341
views
How can one show that orbit closures in representations of a linear quiver don't have small resolutions?
Let $1\to \cdots\to n$ be a linear quiver of length $n$. Let $\mathbf{d}=(d_1,\dots,d_n)$ be a dimension vector. It's well known (for example, by Gabriel's theorem, but also by basic linear algebra) ...
- 44.7k
7
votes
0
answers
680
views
Artin's "On isolated rational singularities of surfaces"
My question deals with Michael Artin's paper "On isolated rational singularities of surfaces"; more precisely the proof of Theorem 4 on page 133. Here the relevant excerpt:
The Setting: Let ...
- 5,966
7
votes
0
answers
177
views
How to compactify $\mathbb{Z}_p[x, y, z]/(xyz - p)$?
The affine scheme $U := \mathrm{Spec}(\mathbb{Z}_p[x_0, \ldots, x_d]/(x_0\cdots x_d - p))$ is regular and is a basic example of a semistable scheme over $\mathbb{Z}_p$. How does one build a proper ...
- 2,663
6
votes
1
answer
487
views
Variety without a compactification whose complement is smooth
Let $X$ be a smooth, separated complex algebraic variety. By Hironaka, there exists a compactification $j : X \to \bar{X}$ of $X$ so that $\bar{X} \setminus X$ is a simple normal crossings divisor.
Is ...
- 813
6
votes
1
answer
1k
views
Normalization of complete intersection
Let $A$ be an integral complete local ring over a field which is complete intersection.
Let $B$ be a normalization of $A$.
Q. Is $B$ Gorenstein?
I guess that even the normalization of Gorenstein ...
- 781
6
votes
1
answer
1k
views
Some naive questions on crepant resolutions of singularities
I have some clarifying questions about crepant resolutions of singularities. The definition that I am aware of is that if $f:\tilde X \to X$ is a resolution of singularities, then the resolution is ...
- 471
6
votes
1
answer
640
views
Resolution of Gorenstein rational singularities on a surface
I am reading Artin's notes "Lipman's Proof of Resolution of Singularities for Surfaces" from the book "Arithmetic Geometry". I am very confused by the proof of Lemma $6.5.$ (I am formulating it below ...
- 2,923
6
votes
2
answers
917
views
Do fixed point sets in equivariant crepant resolutions have the same cohomology? How about for the specific case of Nakajima quiver varieties?
A crepant resolution $f:Y\to X$ is a resolution of singularities with $f^*(K_X)=K_Y$. Crepant resolutions do not always exist, and when they exist they may not be unique. However, different crepant ...
- 2,372
6
votes
0
answers
234
views
Resolution graph of higher dimensional ADE singularities
I am looking for different configurations of the exceptional divisors arising from blowing up a higher dimensional ADE singularity (see p. 240 of this article of Bruns for a description of such ...
- 1,981
6
votes
0
answers
388
views
Globalization of Brieskorn-Grothendieck resolution
Brieskorn (1970) showed that for semiuniversal deformation of rational double points surface singularities $X\to S$, there is a finite base change $S'\to S$, such that the new family $f:X\times_{S}S'\...
- 1,803
6
votes
1
answer
267
views
Are codimension one foliations of $\mathbb{R}^{n}-\{0\}$ with compact leaves, stable at origin?
Assume that we have a codimension one foliation of $\mathbb{R}^{n}-\{0\}$ with compact leaves.
Is it true to say that the foliation is stable at origin:That is: for every neighborhood $V$ of $0$,...
- 366
5
votes
2
answers
3k
views
Embedded resolution of singularities
I'd like to check with my colleagues whether I have correctly understood "embedded resolution of singularities".
Let $X$ be a nonsingular projective variety over $\mathbf C$ and let $D$ be a "nice" ...
- 53
5
votes
1
answer
355
views
Computing the invariants of ball quotient surfaces
The two-dimensional complex unit ball $B$ has group of biholomorphic automorphisms $PU(2,1)$.
If $Γ$ is an arithmetic subgroup of $PU(2,1)$, the quotient $Γ\text{\\}B$ is an orbifold.
Taking its ...
- 9,501
5
votes
1
answer
172
views
Resolving $\mathbb Z_n$ action on $\mathbb C^2$
Consider a diagonal action of $\mathbb Z_n$ on $\mathbb C^2$ generated by $(z_1,z_2)\to (\mu^pz_1,\mu^qz_2)$, with $\mu^n=1$.
Question. Is it always possible to find a smooth blow up $X\to \mathbb ...
- 14.3k
5
votes
2
answers
694
views
Crepant resolutions of ODP's on a 3-fold
It seems to be a well-known fact that if we have a 3-fold $X$ with only ODP singularities (ordinary double point) and a smooth Weil divisor $E$ passing through them, then by blowing-up $X$ along $E$ ...
- 2,108
5
votes
2
answers
426
views
Affinization of $T^*\mathbb{C}P^n$
Is there an elementary description of the affinization of the algebraic cotangent bundle of $\mathbb CP^n$? I know that it can be described as some sort coadjoint orbits, but I am interested in a ...
5
votes
1
answer
704
views
Simultaneous resolution of singularities in special cases of flat families of projective varieties
Let $\pi:\mathcal{X} \to B$ be a flat family of projective varieties. Assume that $B$ is irreducible. Suppose that $\mathcal{X}$ is smooth except for a closed subscheme, say $Y$ which is isomorphic to ...
- 1,981
5
votes
1
answer
410
views
Understand the proof that rational resolution is independent of the resolution
EDIT. Karl Schwede has given a different approach to solve this question, which is very clear. However, I still want to figure out how to deal with this problem along Ein's line, and waiting for the ...
- 295