Questions tagged [resolution-of-singularities]
The resolution-of-singularities tag has no usage guidance.
245 questions
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
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,677
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
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
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
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
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
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
40
views
On Remmerts reduction
Let $(X,0)$ be a normal surface singularity. An let $\pi: \tilde{X} \to X$ be the minimal resolution. Now, we can apply a result of Oliveira (exploiting previous work by Laufer) and obtain a 1-...
- 1,409
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 ...
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
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
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
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 ...
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
3
votes
1
answer
350
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
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
2
votes
0
answers
149
views
Reference for certain resolution of singularities formulation
I want to use the following resolution of singularity statment as found in Soule et al, Lectures on Arakelov Geometry, p. 40:
$Y$ is a separated algebraic variety of finite type over $\mathbb{C}$, $Z$...
- 195
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
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
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
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
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
2
votes
1
answer
180
views
Locally toric resolutions of compactifications
Suppose $U$ is a smooth, open $n$-dimensional variety over $\mathbb{C}.$ Say $X, X'$ are two proper normal-crossings compactifications of $U$. Call a map $m: X'\to X$ a modification if it is an ...
- 7,972
2
votes
1
answer
489
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
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
1
vote
0
answers
72
views
Minimal non-klt center of asymptotic linear system
Let $(X,\Delta)$ be a klt pair and $D $ a $Q $-Cartier divisor on $X $ such that the ring of sections of $D $ is finitely generated. Let $c$ be the log canonical threshold of the asymptotic linear ...
- 11
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
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
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
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
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
4
votes
1
answer
107
views
When does a discrepant toric resolution induce a crepant resolution of a subvariety?
Let $Y$ be a complete intersection in a complete simplicial toric variety $X_\Sigma$ such that $\DeclareMathOperator{Sing}{Sing}\Sing(Y)\subset\Sing(X_\Sigma)$. Suppose that $\phi:X_{\widehat{\Sigma}}\...
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
3
votes
0
answers
269
views
surjectivity of double dual map for weil divisors on normal varieties
If $X$ is a normal complex variety, and $D$ is an effective $\mathbb{Q}$-Cartier Weil divisor, then there is a natural map $\mathcal{O}(D) \otimes \mathcal{O}(-D) \rightarrow \mathcal{O}_X$. My ...
- 83
3
votes
0
answers
352
views
smoothing of isolated surface singularity
I want to know when an isolated surface singularity can be smoothed, especially for log canonical isolated surface singularity. Is there any good reference. Thanks in advance.
- 623
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
3
votes
0
answers
447
views
simple elliptic surface singularity
Suppose X is a one dimension torus and L is a line bundle over X, I think one class of log canonical surface singularity comes from the contraction of one elliptic curve from the total space L. My ...
- 623
2
votes
0
answers
214
views
log canonical surface singularity
For a log cannonical surface singularity, I guess there is classification about the configuration of the exceptional divisor of its minimal resolution. I wonder if there is some specific example or ...
- 623
3
votes
0
answers
82
views
Singularities of fibrations 2
This question is related to my previous question:
Singularities of fibrations
Assume that $X$ is a complete intersection irreducible $3$-fold in a product of projective spaces. So that $X$ is ...
- 8,998
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
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
5
votes
0
answers
319
views
Resolving analytic normal crossings singularities
Let $X$ be a non-singular (complex) variety and $Y \subset X$ be a (reduced) irreducible subvariety with only normal crossings singularity (locally, in the analytic topology, the singularity is ...
- 1,981
3
votes
0
answers
157
views
Resolving complete intersections of quadrics with singularities
Suppose that $X$ is a complete intersection of quadrics in $\mathbb P^n_{\mathbb C}$. Is there some straightforward procedure to resolve the singularities of $X$?
For example, can one stratify ...
- 14.3k
2
votes
0
answers
196
views
Total space of canonical bundle on toric del pezzo surface
Let $X$ be a toric del pezzo surface with a full cyclic strong exceptional collection of line bundles, say $\mathbb{E}:=(E_1,\ldots,E_n)$, consider the total space of anti-canonical bundle $\omega_X^*$...
1
vote
0
answers
74
views
Simple question about surface singularities
Given $\epsilon \in (0,1)$, is it possible to find two finite familes $\mathcal{F}$ and $\mathcal{P}$ of weighted graphs, such that the weighted graph of the minimum resolution of any $\epsilon$-klt ...
- 1,595
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
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
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