Questions tagged [singularity-theory]
Singularities in algebraic/complex/differential geometry and analysis of ODEs/PDEs. Singular spaces, vector fields, etc.
554 questions
2
votes
1
answer
470
views
Resolution of "nice" and zero-dimensional singularities on a surface
Assume I have a singular algebraic surface $X$ over an algebraically closed field (characteristic zero if you want) which is singular in a finite set of points. I am looking for a condition as to the ...
- 4,902
9
votes
3
answers
1k
views
hyperplane sections of isolated hypersurface singularities.
Given an isolated singularity $p$ in a hypersurface $Y$ of dimension $n$ (let say a surface in $\mathbb{P}^3$). I can intersect $Y$ with a hyperplane $H$ passing through $p$ such that it induces a ...
- 943
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
250
views
On regularity of flat families over a DVR
Let $k$ be an algebraically closed field of characteristic zero and $R$ a discrete valuation ring over $k$. Let $\pi:X \to \mathrm{Spec}(R)$ be a flat, projective morphism such that the generic fiber ...
- 1,981
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
2
votes
1
answer
512
views
Grothendieck duality for resolution of singularities
I would like to know a reference for Grothendieck duality in a resolution of singularities. More precisely, let $Y$ be a normal, Gorenstein variety with finite quotient singularities, and suppose that ...
- 577
4
votes
1
answer
401
views
Bernstein's theorem
In the book "An introduction to the theory of local zeta functions" prof. Igusa presents Bernstein's theorem as follows:
Let $K_0$ be a field, and write $K=K_0(s)$. Let $f\in K_0[x_1,\dots,x_n]\...
- 2,788
11
votes
1
answer
865
views
Valuation of an ideal in a two-dimensional regular local ring
Let $f,g$ be two coprime elements in the ring $K[[x,y]]$, with $K$ a field.
What is the smallest integer $n$ such that the inclusion of ideals $$(x^n)\subset (f,g)$$ holds in $K[[x,y]]$? Can we ...
- 111
7
votes
1
answer
428
views
A geometric characterization of smooth points of a complex algebraic variety
Let $X^m\subset \mathbb{C}^n$ be an irreducible $m$-dimensional complex algebraic subvariety. Let $\mathbb{C}^n$ be equipped with the standard Hermitian metric.
Fix an arbitrary point $p\in X$. Let $...
- 21.8k
0
votes
0
answers
123
views
Generalized Sard's lemma
Let $f: X \to \mathbb{R}$ be a $C^{1,1}$ (that is $C^1$ with Lipschitz differential) function on a manifold $X$. Suppose that $f$ is smooth at all points of a subset $C \subset \text{Crit}f$ of ...
- 1,227
7
votes
1
answer
762
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
2
votes
0
answers
76
views
Equations needed to define a normal complex surface singularity
This questions is highly related with this other question of mine: Irreducible surface singularity that is not a local set-theoretical complete intersection I just thought that a different look at the ...
- 1,409
2
votes
1
answer
183
views
How can I compute the mixed hodge structure for three copies of $\mathbb{P}^1$ intersecting at one point?
I know there is a spectral sequence for a variety with normal crossing singularities $X$ which gives a tool for making the computation of the mixed hodge structure computable. How can I compute the ...
- 1,716
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
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
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
5
votes
0
answers
727
views
Ehresmann's without properness in the algebraic category?
Ehresmann's theorem for manifolds states: If $f : X \to Y$ is a proper submersion, then $X$ is a locally trivial fibration on $Y$.
Some sources I am reading (Lazarsfeld Positivity in Algebraic ...
- 1,462
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
4
votes
2
answers
474
views
When is the intersection of an isolated normal singularity with a generic linear subspace through that singularity normal?
Suppose I have an affine subvariety $A \subset {\mathbb C}^N$ of dimension $n \geq 3$ which has an isolated singularity at $0$ (lets say for the sake of simplicity that it is non-singular everywhere ...
- 43
2
votes
2
answers
936
views
Applications of Slope Stability
Ross and Thomas developed slope-stability of $(X,L)$ where $X$ is an $L$-polarised variety and $L$ is an ample line bundle, as an obstruction to K-stability of $(X,L)$.
DISCLAIMER: (Forgive me if I ...
- 2,215
15
votes
1
answer
1k
views
Higher Cerf Theory
Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that $$f(x_1,\dots,x_n)=-x_1^2-x_2^2-\dots-...
- 865
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
2
votes
0
answers
300
views
How to make a product of polynomials irreducible?
Let $p(x,y),q(x,y)\in \mathbb{Q}[x,y]$. Assume that $p(0,0)=q(0,0)$. Is it generally possible to find a polynomial $r(x,y)\in\mathbb{Q}[x,y]$ irreducible in $\mathbb{Q}[x,y]$ such that $\mathbb{R}[x,y]...
- 29
3
votes
0
answers
146
views
Frobenius structure for A_n singularities
I need to compute monodromy matrices $M(v)$, associated to a Frobenius structure for $A_n$ singularity with flat coordinates $v_1,\dots,v_n$, that is, $f(x)=x^{n+1}$. (due to Saito, Dubrovin etc.) ...
- 31
1
vote
1
answer
828
views
General Reference for surface singularities
Is there any "standard" reference for (rational) singularities on algebraic surfaces? I'm aware of Artin's papers and the one of Brieskorn (Rationale Singularitäten komplexer Flächen), but they seem ...
- 155
11
votes
3
answers
1k
views
Singular fibers of generic smooth maps of negative codimension
This is in some sense a follow-up to my question on submersions.
Let $f\colon\thinspace M\to N$ be a generic smooth map between closed manifolds of dimensions $m$ and $n$. Assume that the codimension $...
- 35.9k
3
votes
1
answer
190
views
snc singularity is an open condition?
If $π : X → S$ is a family of complex projective
varieties, such that $X_0 := π^{−1}(0)$ has simple normal singularities in $X$, then all the general fibers $X_t$ have snc singularities at worst?
- 135
1
vote
1
answer
417
views
Central fibre singularities
Let $f:X\to Y $ be a proper surjective holomorphic fibre space where $X,Y $ are projective varieties.
If the central fibre $X_0$ has at worst log terminal singularities,
then can we say that all ...
user21574
4
votes
1
answer
481
views
(Etale) fundamental group of quotient singularity $\mathbb{C}^n/G$
I don't know much about (algebraic/etale) fundamental groups, so sorry if this question sounds stupid. I am interested in quotient singularities (quotients $X$ of $\mathbb{C}^n$ by a finite subgroup $...
- 161
8
votes
1
answer
754
views
Why can you deform singularities in two dimensions but not in higher dimensions?
I've been trying to read this paper to understand deformations of surface quotient singularities. I'm particularly interested in when one can deform certain cyclic quotient singularities into other ...
- 3,290
3
votes
1
answer
571
views
Reference request: English translation of Brieskorn 1970 paper
Is there any english (or french) translation of the following paper by Brieskorn (1970)?
Brieskorn, E., "Die Monodromie der Isolierten Singularitäten von Hyperflächen", Manuscripta Mathematica 2 (...
- 211
4
votes
0
answers
218
views
Example of a non-algebraic singularity II
In an answer of this MO question, Frank Loray constructed an example of analytic singularity which is not algebraic. On the other hand, as I learned from one of Joël's comments in that question, ...
- 1,829
2
votes
0
answers
296
views
An approach for Singular Hermitian-Einstein metric
Motivation: If we extend Hitchin-Kobayashi correspondence along holomorphic fibre space such that each vector bundle $E_s$ of fibers $X_s$ be stable then for finding canonical twisted Hermitian-...
user21574
3
votes
2
answers
513
views
Which isolated surface singularity comes from a -5 curve?
Define the surface $X$ to be the total space of $\mathcal{O}_{\mathbb{P}^1}(-5)$.
By contracting the exceptional curve in $X$, we get a surface with an isolated singularity. I am looking for the ...
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
4
votes
2
answers
1k
views
How can one determine if a singularity is simple?
Let $f(z_1,z_2,\dots ,z_n)$ be an analytic function in $\mathbb{C}[[z_1,z_2,\dots ,z_n]]$ whose leading term defines an isolated singularity at the origin.
If we have the following types of ...
- 73
12
votes
3
answers
3k
views
Singularities of pairs
In the next days I have to give a talk in which I need to explain some of the usual singularities of pairs that one meets when dealing with the minimal model program: KLT, DLT and LC pairs.
In ...
- 1,150
3
votes
3
answers
392
views
Contractibility of curves and embedding into projective space
Let $f:X \to Y$ be a proper surjective morphism of projective surfaces such that there exists a curve $C \subset X$ for which $f|_{X\backslash C}$ is an isomorphism and $f(C)$ is a set of points. ...
- 1,981
2
votes
0
answers
266
views
Blow-up along singularity of the degeneracy locus
Let $X$ be a smooth, projective variety, $E$ a rank $r$ locally free sheaf on $X$. Fix a closed embedding $i:X \hookrightarrow \mathbb{P}^N$ and denote by $\mathcal{O}_X(m)=i^*\mathcal{O}_{\mathbb{P}^...
- 1,981
4
votes
0
answers
182
views
Kuranishi family and smoothing of Calabi-Yau n-fold
Consider $X$ be a Calabi-Yau n-fold with at
most one ordinary double point singularity. Suppose $X$ is smoothable. Then it is known that the Kuranishi family of $X$ is a smoothing of $X$.
Now, ...
- 81
4
votes
0
answers
247
views
H-principle for smoothing
I'm trying to find algebraic embedding of singular curves into projective varieties that can be smoothed symplectically but not algebraically.
It's not hard (e.g. using the methods in Hartshorne-...
- 1,981
2
votes
0
answers
78
views
Singularities of quotient of a vector bundle by a lattice
Let $V$ be a complex vector bundle of rank $g$ over an open unit disc $\Delta$ and $H$ be a integral local system of rank $2g$ over $\Delta$ i.e., for every $t \in \Delta$, $H_t \cong \mathbb{Z}^{2g}$....
- 1,593
13
votes
1
answer
637
views
Can a PDE constrain the degree of a $C^\infty$ map germ?
Let $\pi:E\to M$ be a smooth vector bundle over a smooth manifold, with $\text{rank}(E)=\text{dim}(M)$. For a section $\sigma$ of $E$ with a zero at $p\in M$, define the degree of the zero at $p$ to ...
- 3,212
7
votes
4
answers
973
views
I was wondering if the set of singular loops is a (somewhere) submanifold of loop space?
The set of all smooth maps $S^1\to M^n$ ($M$ is a smooth manifold) is a generalized manifold(see http://ncatlab.org/nlab/show/smooth+loop+space).
I was wondering if the set of singular loops (maps ...
- 5,063
3
votes
1
answer
609
views
Normal form for a holomorphic Morse function
Similarly to Morse lemma, a holomorphic Morse function can be written, near a critical point, as $W_1^2+W_2^2+...+W_n^2+C$ , for well chosen coordinates $W_1,W_2,...,W_n$. I want to cite this result ...
- 31
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
4
votes
2
answers
1k
views
Varieties with big anti-canonical divisor
I recently heard about the following problem:
Let $X$ be a projective variety with klt singularities and such that $-K_X$ is big. Is $X$ a Mori Dream Space ?
Now, $-K_X$ big if and only if $-K_X -\...
user47036
7
votes
0
answers
229
views
Higher homotopy of diffeomorphism groups from singularities
In the case of a genus $g$ surface $\Sigma$, it is well known that $MCG(\Sigma) = \pi_0 \operatorname{Diff}^+(\Sigma)$ is generated by Dehn twists, which come from a Kahler degeneration with smooth ...
- 1,981
3
votes
1
answer
729
views
smooth quotient out of a singular variety?
If $X$ is a smooth quasi-projective variety over $\mathbb{C}$ and $G$ is a finite group acting faithfully on $X$, then the Shepard-Todd theorem gives us some criterion for $X/G$ to be smooth.
My ...
- 7,320