Questions tagged [resolution-of-singularities]
The resolution-of-singularities tag has no usage guidance.
245 questions
3
votes
1
answer
470
views
Automorphisms of singular hypersurfaces
Let $X\subset\mathbb{P}^{n+1}$ be an irreducible and reduced hypersurface of degree $d$.
A theorem by Matsumura and Monski asserts that if $n\geq 2$, $d\geq 3$, $(n,d)\neq (2,4)$ and $X$ is smooth ...
user125056
3
votes
0
answers
783
views
Intuition behind RDP (Rational Double Points)
Let $S$ be a surface (so a $2$-dimensional proper $k$-scheme) and $s$ a singular point which is a rational double point.
One common characterisation of a RDP is that under sufficient conditions there ...
- 5,966
1
vote
0
answers
178
views
Birational model of a log smooth pair
Given a log smooth pair $(X,B)$ with a reduced boundary divisor $B$, consider a birational model $\pi:X' \to X$ and a boundary divisor $B'$ which is given by $K_{X'}+B'=\pi^*(K_X+B)$. Here is my ...
- 393
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
2
votes
0
answers
224
views
Log canonical centers of toric (and toroidal) varieties
Q1: Let $(X,B)$ be a toric variety. There exists a toric resolution of singularities $f:(Y,E) \to (X,B)$. Here is my question:
Is any lc center of $(X,B)$ an irreducible component of an intersection ...
- 393
4
votes
0
answers
320
views
Toric Fan for the Du Val's singularities D_n and E_n
Let us consider the Du Val's singularities.
i.e. https://en.wikipedia.org/wiki/Du_Val_singularity.
It is well known that they are classified by ADE, because the exceptional divisors arising in the ...
- 489
4
votes
0
answers
125
views
Embedded normalization
Let $S$ be an irreducible surface in a 3-dimensional variety $X$ (everything taking place over $\mathbb{C}$, say). By Hironaka's therorem, we know for sure that there is an embedded resolution of $S$, ...
- 61
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
4
votes
0
answers
119
views
Are there any explicit (prime-to-l) alterations for interesting varieties (or schemes)?
I have read that it is easier to find regular alterations of varieties than their resolutions of singularities (moreover, I believed in this sentence when I read it). My question is: do there exist ...
- 16.9k
1
vote
1
answer
247
views
Infinitesimal deformation of strict transform
Let $X$ be an affine, complex surface with isolated singularities and $\pi:\widetilde{X} \to X$ be a resolution of singularities (not necessarily minimal) i.e., $\widetilde{X}$ is non-singular and $\...
- 2,126
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
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
1
vote
1
answer
160
views
Generators of a graded algebra defining bundle over elliptic curve
I have a question about a statement from P. Wagreich's paper "Elliptic Singularities of Surfaces" (page 425):
We consider an elliptic curve $X$ and a line bundle (=invertible sheaf) $L$ on $X$.
Then,...
- 5,966
1
vote
1
answer
383
views
Construction of log canonical singularity
I know there's classification about normal log canonical surface singularity in the sense of configuration of exceptional curves.
There is one type of log canonical singularity(not klt) whose ...
- 623
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 ...
2
votes
2
answers
523
views
Crepant resolution of $Y=k[x,y,z]/(xz-y^3)$
Consider the action of $\mathbb{Z}_3\subset SL_2(k)$ on $\mathbb{A}^2$, we have the quotient $Y$ as in the title. According to the classification of Du Val singularity, we know that the crepant ...
- 815
2
votes
0
answers
85
views
Is toroidalization local?
Let $f:X \to Y$ be a surjective morphism of smooth projective varieties, $D$ be a simple normal crossings divisor on $X$ and $U_Y \subset Y$ be an open subset over which $(X,D)$ is log smooth (in the ...
- 393
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
3
votes
1
answer
190
views
Igusa zeta functions of univariate polynomials: $\mathbb{Z}_p$ or $\mathbb{Q}_p$ in this statement
Let $f\in\mathbb{Z}_p[X]$ and let $Z_{f,p}(T)\in\mathbb{Z}_{(p)}(T)$ be the $p$-adic Igusa zeta polynomial (i.e. $Z_{f,p}(p^{-s})$ is the $p$-adic Igusa zeta function in the complex variable $s$, with ...
2
votes
0
answers
163
views
Terminal and log canonical singularities
Let $D$ be a divisor with at most terminal singularities in a smooth projective variety $X$. Is the pair $(X,D)$ log canonical?
user61586
3
votes
0
answers
451
views
Singularities of rational quartic surfaces
Let $X\subset \mathbb{P}^3$ be an irreducible quartic surface, defined over an algebraically closed field $k$. Suppose that $X$ is rational (i.e. birational to $\mathbb{P}^2$). Is is true that $X$ has ...
- 7,722
1
vote
0
answers
125
views
Resolution of rational surfaces
Let $S$ be a rational singular complete algebraic surface over $\mathbb{C}$. Let $\phi:\tilde{S}\to S$ be a resolution of singularities with minimal possible Picard rank (i.e. minimal $\mathrm{dim}(...
- 4,189
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
3
votes
1
answer
351
views
Comparisons of log canonical thresholds
Premise
Let $K$ be a field of characteristic zero and $f\in K[X_1,\dots,X_m]$. By Hironaka's theorem, there exists a log resolution (over $K$) of the ideal $(f)$. Let $\{(N_i,\nu_i)\}_i$ be the ...
1
vote
2
answers
508
views
Base change of a finite morphism
Let $X$, $Y$, $Z$ be integral schemes of finite type over a field $K$ (i.e., locally affine opens are finitely-generated algebras over $K$). Suppose we have the following condition$\colon$
$f \colon ...
- 563
3
votes
2
answers
369
views
Quotient of affine space by finite subgroup of SL(V) is Gorenstein
I am looking for a proof of the following fact:
If $G$ is a finite subgroup of $SL_n(\mathbb{C})$ acting on $\mathbb{A}_{\mathbb{C}}^n$, then the resulting quotient scheme is Gorenstein.
Thanks.
- 815
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
4
votes
1
answer
330
views
example of quintics with 5 ordinary triple point
I know we can bound the triple point on quintics in cp^3 by 5. But how to write down quintics with 5 ordinary triple point (here are simple elliptic singularity)explicitly?
- 623
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.2k
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
2
votes
0
answers
164
views
Cubic 3-fold singular along a curve
Does there exists a cubic or quartic $3$-fold $X\subset\mathbb{P}^4$ such that $Sing(X)$ is a smooth curve $C$ of genus $g(C)\geq 2$ and $X$ has $A_1$-singularities along $C$?
user56259
3
votes
1
answer
684
views
Canonical sheaf of affine variety
Let $A=\mathbb{C}[u,x,y,w]/(uy-x^2,xw-y^2,uw-xy)$, $X=Spec A$. $A$ is a Veronese subring and from the answer of Is there a simple method to test a local ring to be Cohen Macaulay?, we can see that $X$ ...
- 815
2
votes
1
answer
399
views
resolution for the du Val's $(A_3)$-singularity
For the $A_m$-singularity, it can be viewed as the singular part of $\mathbb{C}^2/\mathbb{Z}_m$. The action of $\mathbb{Z}_m$ on $\mathbb{C}^2$ is defined as following
$$
\bar{1} \cdot (z,w) = (z e^{\...
- 167
2
votes
0
answers
61
views
Test rational singularities after forming invariants
Let $R$ be a normal local domain of dimension $2$ and odd residue characteristic endowed with the action of the finite group $G \cong \mathbb{Z}/2\mathbb{Z}$. Suppose that the ring of invariants $R^G$ ...
- 407
4
votes
0
answers
116
views
Bertini-type theorem for strict transform
Let $(X,o)$ be an isolated, normal singularity of dimension at least $3$. Let $\pi: \widetilde{X} \to X$ be a resolution of singularity of $X$. Is it true that for a general hypersurface $H \subset X$ ...
- 2,323
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
3
votes
0
answers
167
views
Examples of explicit computations of log-resolutions
I have been working with log-resolutions lately and learning more about them. I am aware that in general producing explicit log-resolutions is difficult, but I was wondering if this has been done in ...
4
votes
0
answers
168
views
Can nonflat deformations of singularities always produce Cohen-Macaulay rings?
To make the question in the title precise, let me phrase it like this. Consider a complete local ring
$$ A := \mathbb{C}[[x_1, \dotsc, x_n]]/(f_1, \dotsc, f_m) $$
and, for definiteness, assume that $...
- 2,663
2
votes
1
answer
99
views
Uniformity of the set of poles of Igusa local zeta functions
Let $Ω_p$ denote the set of the real parts of the poles of the Igusa zeta function of a polynomial $f∈\mathbb{Z}[X_1,…,X_m]$ (assume $f(0)=0$ so that $\Omega_p\ne \emptyset$) at the prime p. From ...
1
vote
0
answers
93
views
Blow up of 9 points in 3-fold and intersection of strict transforms
Suppose we have blown up a variety $X$ at some points $P_j$ so that we introduce exceptional divisors $E_j$ in $\widetilde X$; what is the general strategy to determine the intersections of these ...
- 375
0
votes
0
answers
82
views
Bijective restriction of the normalization morphism
Let $X$ be an integral separated scheme of finite type over $\mathbb{C}$. Consider the normalization morphism $f:X'\rightarrow X$. Can we always find an affine open $U\subset X'$ such that $f|_U:U\...
2
votes
0
answers
281
views
example of torsion of higher direct image sheaf
I'm reading kollar's paper about higher direct image of dualizing sheaf.
Suppose f: X-Y is morphism, X smooth,Y normal. He mentioned usually the higher direct image of structure sheaf is "bad," and ...
- 623
4
votes
0
answers
315
views
Skyscraper sheaf on a stack associated to a singular surface
Suppose $X$ is a normal projective surface with a du Val singularity. In this case, we know a crepant resolution $Y$ exists, and results of Kawamata (https://arxiv.org/abs/0804.3150, Corollary 3.5) ...
- 153
4
votes
1
answer
327
views
Singularities of fibrations
Let $f:X\rightarrow \mathbb{P}^2$ be a fibration, here $X$ is a projective variety of dimension three.
Assume that there exixts a smooth curve $C\subset\mathbb{P}^2$ such that for any $p\in\mathbb{P}...
- 8,998
1
vote
0
answers
328
views
Cohomology of a structure sheaf of a normal affine variety
I can't find the reference for the following fact:
Let $X$ be an affine variety and let $Y$ be its smooth resolution. $H^0(X,\mathcal{O}_x)=H^0(Y,\mathcal{O}_Y)$ if and only if $X$ is normal.
- 371
2
votes
1
answer
167
views
Singularities of $3$-folds
Let $X,Y,Z$ be projective $3$-folds. Assume that $Y$ is smooth and $Z$ is smooth and Fano. Moreover, assume that there is a generically finite morphism $f:Y\rightarrow Z$ admitting a factorization $f=...
user97096
4
votes
2
answers
1k
views
Crepant resolution of isolated fourfold singularity
I stumbled upon this isolated singularity of a Calabi-Yau fourfold:
\begin{equation}
x_1x_2+x_3x_4+x_5^2=0
\end{equation}
as a hypersurface in $\mathbb{C}^5$.
Clearly, I can resolve this by a simple ...
- 73
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
2
votes
0
answers
292
views
Local weak factorization
This is a follow-up to question Locally toric resolutions of compactifications, answered by Jason Starr.
In a series of papers (see https://arxiv.org/abs/math/9904076), Jaroslaw Wlodarczyk proves ...
- 7,972
3
votes
1
answer
2k
views
Blowing-up a point in the singular locus
Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow \...
user58018