Questions tagged [resolution-of-singularities]
The resolution-of-singularities tag has no usage guidance.
245 questions
1
vote
0
answers
76
views
Smooth affine variety as a symplectic resolutions
Given a smooth affine variety $X$ over $\mathbb C$ with an algebraic symplectic form $\omega$ and a finite group $G$ acting on $X$ by symplectomorphisms, then
Is it true that $X$ is trivially a ...
- 609
4
votes
1
answer
387
views
Do there exist linear relations between exceptional divisors
Let $X$ be an isolated, Gorenstein singularity of dimension at least $2$ and $\pi: \widetilde{X} \to X$ be a resolution of singularities. Let $E$ be the exceptional divisor and $E_1,...,E_r$ be the ...
- 2,032
1
vote
0
answers
152
views
Blow up singularities on curves
Let $p$ be a prime number and let $\bar{\mathbb F}_p$ be an algebraic closure of $\mathbb F_p$. Let $C$ be an irreducible singular projective curve over $\bar{\mathbb F}_p$.
Let $P$ be a singularity ...
- 83
2
votes
1
answer
238
views
Preimage by birational maps
I am looking for an example (I guess that in complex projective space $\mathbb{P}^{n}$ is good) such that satisfy the following condition (in non trivial case, for this assume $X \neq \tilde{X}$):
Let ...
- 151
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
3
votes
0
answers
254
views
Birationally equivalent elliptic curves and singularities
I got the following cubic elliptic curve from some physical problem $$E_c(\mathbb{C}): w^2=4 z^3-zG_2-G_3,$$ where $G_2=3
\alpha ^2+\gamma$ and $G_3=\alpha ^3-\alpha \gamma
-\beta ^2$ for known ...
- 231
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
1
vote
0
answers
64
views
dimension of fibre of a generic point in an intersection of two sets
Let $M_m := (f_1, \cdots, f_m )$ be an algebraic map from $\mathbb{R}^n$ to $\mathbb{R}^m$ and $f_1^2,...,f_m^2$ are homogeneous polynomials of the same degree in $Q[x_1,...,x_n]$ . Similarly define $...
- 263
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
2
votes
0
answers
220
views
plumbing description of resolution of ADE singularities
Let $G$ be a finite subgroup of $SU(2)$ and consider the quotient of the unit ball $B\subset \mathbb{C}^{2}$ by $G$. The result, denoted by $V$, has a boundary $S^{3}/G$ and has an ADE singularity at $...
- 1,069
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
4
votes
1
answer
509
views
Resolution of 3-fold quotient singularities
This is exercise 1.10 from Reid's Young person's guide to canonical singularites.
Let $X=\mathbb{C}^3/ \mu_3$ where $\epsilon \in \mu_3$ acts by
$$ (x,y,z) \to (\epsilon x, \epsilon y, \epsilon^2 z).$$...
- 231
2
votes
1
answer
491
views
Strict transform under resolution of singularity along a singular $\mathbb{Q}$-Cartier divisor
$\DeclareMathOperator\Bl{Bl}$Let $f: Y=\Bl_0^\omega(\mathbb{C}^3)\to \mathbb{C}^3$ be a weighted blow up of $\mathbb{C}^3$ with weights $w(x,y,z)=(1,1,2)$. Then $Y$ and the exceptional divisor $E\cong ...
- 41
3
votes
0
answers
170
views
Does existance of crepant resolution of tangent space imply existance of crepant resolution globally in the algebraic setting?
Suppose $X$ is smooth proper algebraic $\mathbb C$-variety with algebraic action of a finite abelian group $G$. Suppose I know that
$X/G$ (good geometric quotient) exists and it is normal Gorenstein ...
- 1,307
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
3
votes
4
answers
3k
views
Cone over the Veronese surface
Let $V\subset\mathbb{P}^5$ be the Veronese surface and let $X\subset\mathbb{P}^6$ be the cone over it. Since $X$ is $\mathbb{Q}$-factorial there are two integers $a,b$ such that $aK_X = \mathcal{O}_X(...
user56259
3
votes
0
answers
992
views
Definition of Q gorenstein variety
I have a question about the definition of Q-Gorenstein variety.
I saw a definition of Q-Gorenstein variety：for a normal variety $X$, it's Q-Gorenstein if the canonical divisor is Q Cartier. I wonder ...
- 623
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
1
vote
0
answers
139
views
Simultaneous Log resolutions for both varieties and divisors
Let $X$ be a normal variety and $D \subset X$ be a prime divisor which is also normal. It is well-known that we can take a resolution $f: W \to X$ of $X$ such that
$$\DeclareMathOperator{\Supp}{\...
- 3,472
3
votes
0
answers
216
views
When do crepant resolutions of quotients of Calabi-Yau varieties exist?
Suppose I have a Gorenstein variety $X$ over $\mathbb{C}$ with trivial canonical bundle, and the action of a finite group $G$ on $X$, which acts trivially on the canonical bundle.
Question. When does ...
- 31
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 ...
- 6,006
1
vote
0
answers
242
views
Smooth normalization and blow-up of the exceptional locus
Let $n:\widetilde X\rightarrow X$ be the normalization of a complex (quasi-projective) variety $X$. Assume $\widetilde X$ is smooth, that $n$ is an isomorphism outside a smooth connected subvariety $Y\...
- 1,463
0
votes
0
answers
195
views
Nice small resolution and normality of blow-up
Let $X$ be a complex variety whose singular locus is a smooth variety $Z$.
Let $f:Y\rightarrow X$ be a small resolution of $X$ such that $f^{-1}(z)$ is smooth for any $z\in Z$ and $\dim(f^{-1}(z))$ is ...
- 1,463
0
votes
0
answers
218
views
Normality of a blow up
Let $X$ be a quasi-projective normal $\mathbb C$-variety and $Y\subset X$ a smooth subvariety such that $X$ is normally flat along $Y$ (i.e. the normal cone of $X$ along $Y$ is flat over $Y$).
Is the ...
- 1,463
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
1
vote
0
answers
219
views
Desingularization of the zero section of $TM$ as the manifold of singularities of the geodesic flow
However the method of "Blowing up of singularities" is initially introduced for an isolated singularity, but this method have been generalized to blowing up of a "Manifold of singularities"...
- 366
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
1
vote
0
answers
192
views
Factorization of birational maps in char $p$
So I was reading about the factorization result that any birational map between smooth varieties is composition of blow-ups and blow-downs with smooth centers. It is apparently true only in ...
- 5,901
1
vote
1
answer
125
views
Realizing a set as the image of a smooth map
Consider the following subset of $\mathbb{R}^2$:
$S = \{ (x, y) \in \mathbb{R}^2 : |y| \leq |x|^{3/2} \}$
(See here for a plot on Wolfram Alpha.)
The origin $(0, 0)$ is a kind of singular point of $S$....
- 440
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
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
1
vote
0
answers
200
views
Second chern class of a rank 2 bundle
Here is another question from the paper "Second Chern class and Riemann-Roch for vector bundles on resolutions of surfaces singularities" by J. Wahl. This is at the beginning of the section $...
- 231
2
votes
0
answers
220
views
Divisorial contraction to a non-normal variety
Consider a divisorial contraction $f:X\rightarrow Y$, between projective varieties, contracting an irreducible divisor $D\subset X$ to a subvariety $Z\subset Y$ of codimension at least two, and which ...
user114666
1
vote
0
answers
93
views
Partial crepant resolution in codimension 2
Let $\xi_5$ be a 5-root of the unity. We consider $\mathbb{C}^4/G$, where $G=\left\langle \sigma,\tau\right\rangle$, with $\sigma$ and $\tau$ the automorphisms given, respectively, by the following ...
- 91
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
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
1
vote
0
answers
411
views
Separable morphism of curves
A proof from Janos Kollar's Lectures on Resolution of Singularities Kollar (p 37) works as follows:
Theorem 1.58 (M. Noether, 1871). Let $k$ be an algebraically closed
field and $C \subset \...
- 6,006
1
vote
0
answers
927
views
canonical divisor on singular curves with nodal point
What's the definition of canonical divisor(or whatever related concept) on singular curve with nodal point. More generally, what the definition of canonical divisor on a singular variety X, which is ...
- 623
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
1
vote
0
answers
90
views
Blowing-up the exceptional locus of a (small) resolution
Let $f:\widetilde X\rightarrow Y$ be a proper morphism between smooth complex varieties which is birational unto its image $X=f(X)$. Assume the singular locus $W\subset X$ of $X$ is smooth and that $...
- 1,463
3
votes
1
answer
776
views
On the coherence of a Néron-ring
Let $A:= \underset{\lambda \in \Lambda}{\varinjlim} \,A_{\lambda}$ be an inductive limit of geometric regular local ring $(A_{\lambda}, {\frak m}_{\lambda})$, whose transition map $\phi_{\mu\lambda} \...
- 563
2
votes
0
answers
170
views
Resolution of pairs in characteristic p
Let $R$ be a complete DVR of characteristic $p$, say $R=\mathbb{F}_p[[t]]$, and $X$ be a reduced scheme of finite type over $R$. Let also $X_s$ denote the special fiber of $X$. If I understand ...
- 282
2
votes
1
answer
317
views
Singular locus of a linear system of hyperplane sections
Let $X\subset\mathbb{P}^N$ be a rational smooth projective irreducible non degenerated variety of dimension $n=\dim(X)$ and let $$\mathcal{H}=|\mathcal{O}_X(1) \otimes\mathcal{I}_{{p_1}^2,\dots,{p_l}^...
- 1,343
1
vote
1
answer
216
views
Pushforward of locally free sheaves and resolution of singularities
Let $X$ be an noetherian, affine, isolated of dimension at least $2$ and $\pi:\widetilde{X} \to X$ a resolution of singularities. Let $\mathcal{E}$ be a locally-free sheaf on $\widetilde{X}$ such that ...
- 2,126
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
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
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
1
vote
1
answer
1k
views
Hironaka's theorem and smooth completion
Hironaka's theorem states that for any algebraic variety (analytic space) $X$ there exists a smooth variety (complex manifold) $X'$ and a morphism $f : X' \rightarrow X$ such that $f$ restricted to $X ...
- 1,325
4
votes
1
answer
120
views
Image of a quiver variety under natural morphism
We know that the natural morphism $\pi:\mathfrak{M}_{\theta}(Q,\mathbf{v},\mathbf{w})\rightarrow \mathfrak{M}_0(Q,\mathbf{v},\mathbf{w})$ between a smooth and affine quiver variety is not necessarily ...
- 1,687