Questions tagged [singularity-theory]
Singularities in algebraic/complex/differential geometry and analysis of ODEs/PDEs. Singular spaces, vector fields, etc.
554 questions
1
vote
0
answers
66
views
Deformation sublevel sets of functions which preserve boundary
I'm interested in proving the following fact, which seems to naturally arise from gradient flow deformations, but appears to be a bit tricky.
Consider a smooth family
$$f_s : M \to \mathbb{R}, \quad ...
- 1,227
6
votes
0
answers
203
views
A topological property of flat morphisms
Let $f\colon X\to Y$ be a faithfully flat morphism of smooth projective varieties over $\mathbb{C}$. Assume that the generic fiber of $f$ is smooth. Then there exists a non-empty Zariski open subset $...
- 21.8k
0
votes
1
answer
3k
views
Discriminant of a polynomial in two variables
I want to compute the discriminant of the following polynomial
$$
F(X,Y)=X^mY^n+\sum_{i=0}^{m-1}\sum_{j=0}^{n-1}c_{ij}X^iY^j.
$$
Here the discriminate means the equation $D(c_{i,j})$ in the variables ...
- 41
5
votes
2
answers
2k
views
Are orbifold singularities canonical?
This is a direct consequence of my previous question: Extending group actions on varieties
In his answer, inkspot said that group actions can be extended if the variety has ample canonical class and ...
- 16k
7
votes
2
answers
593
views
Whitney stratification and affine grassmanian
Let $G$ a simply connected group over $\mathbb{C}$ and $Gr:=G(\mathbb{C}((t)))/G(\mathbb{C}[[t]])$ the affine grassmannian. By Cartan decomposition we have a partition of stratas indexed by $\lambda\...
- 3,472
10
votes
1
answer
857
views
Picard group generated by effective divisors: counterexample?
Let $X$ be an integral variety defined over an algebraically closed field $k$ of characteristic 0 with finitely generated Picard group $Pic(X)$ and such that $k[X]^\times=k^\times$ (i.e. the only ...
- 101
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
4
votes
1
answer
983
views
Do there exist double points on an algebraic surface in $\mathbb{P}_{\mathbb{C}}^3$ that are not rational?
The title explains it all.
I'm familiar with the du val singularities on surfaces, also known as rational double points. In http://homepages.warwick.ac.uk/~masda/surf/more/DuVal.pdf, 2.1, they are ...
- 479
5
votes
2
answers
913
views
How/where are semi-log resolutions used?
In the paper, by János Kollár there is problem 19 (page 8).
It is one more strict resolution. A resolution that leaves untouched the semi-simple-normal-crossings singularities of pairs.
My question ...
- 807
6
votes
2
answers
2k
views
Q-factorial and rational singularities on surfaces
Let $X$ be a normal surface. Is any rational singularity $\mathbf{Q}$-factorial? I've seen this somewhere for surfaces over fields, but what about the general case of an integral 2-dimensional ...
- 1,213
4
votes
2
answers
996
views
The exceptional locus of a minimal resolution of singularities
Let X be a surface. (A surface is an excellent integral normal separated 2-dimensional scheme.)
Let $\psi:Y\longrightarrow X$ be a minimal resolution of singularities and let $E$ be an irreducible ...
- 41
1
vote
1
answer
355
views
Analytic vector fields on surfaces which have infinite number of singularities
Let $X$ be an analytic vector field on a compact oriantable surface $S$ with volume form $\omega$. We denote the set of its singularities by $Z(X)$.
A local question
Is there an analytic vector ...
- 366
6
votes
2
answers
2k
views
Resolution of singularities
What is the relation between crepant resolutions and minimal resolutions? Are they the same thing?
- 61
8
votes
1
answer
283
views
Do level sets always correspond to even graphs?
Suppose I have a level set of some function $f\colon\mathbb{R}^n\rightarrow\mathbb{R}^m$, say $L:=\{x:f(x)=c\}$. Let $S$ denote the points in $L$ at which $L$ is locally diffeomorphic to an open ...
- 7,633
1
vote
1
answer
203
views
Does a moving family of lines through a fixed point produce a singularity?
This is just a feeling that I had and I am curious if it is totally wrong or true to some extent.
Let $X\subseteq \mathbb{P}^r$ be an integral hypersurface of degree $r-1$, which is not a cone. In ...
- 325
9
votes
2
answers
2k
views
Places to learn about Landau-Ginzburg models
Here is what I know about Landau-Ginzburg models:
It is an important player in the story of mirror symmetry.
It involves "potentials" which are functions of complex varibles, which have isolated ...
- 243
8
votes
1
answer
998
views
Relation between Milnor ring and middle dimensional homology of hypersurface
I have suspected that the following is well-known:
If $P$ is a homogeneous polynomial of degree $d$ in $n$ variables (for example, Fermat quintic $x_1^5 + \cdots + x_5^5$). The Milnor ring is ${\...
- 803
2
votes
2
answers
443
views
Cohen-Macaulayness of the direct image of the canonical sheaf
Let $Y$ be a normal projective variety and let $f:X\to Y$ be a desingularization. Define $\mathcal K_X=f_*\omega_X$, the Grauert--Riemenschneider canonical sheaf of $X$. It is independent of the ...
- 235
2
votes
1
answer
675
views
Number of singular fibers in families of hypersurfaces
Consider the projection map
$$\pi: X = V(t_0 f + t_1 gh) \to \mathbf P^1,$$
where $[t_0: t_1]$ are the homogeneous coordinates on $\mathbf P^1$, $f=f(x_0, \dots, x_n)$ is a homogeneous polynomial of ...
- 2,040
2
votes
0
answers
34
views
Smoothings over a real interval
I am asking if somebody knows if the following kind of objects are studied somewhere or if there is some kind of obvious obstruction for them to appear.
Let $(X,0) \subset \mathbb{C}^n$ be a germ of ...
- 83
5
votes
1
answer
409
views
Castelnuovo's rationality criterion on singular surfaces?
Let $S$ be a projective surface over an algebraically closed field. Suppose that $q(S)=h^1(\mathcal O_S)=0$ and $P_2(S)=h^0(\mathcal O_S(2K_S))=0$. If $S$ is smooth, Castelnuovo's rationality ...
- 2,215
6
votes
3
answers
1k
views
Is there an obvious way for showing singularities are quotient?
I'm stuck on a technicality concerning singularities.
Basically, I have to show that the singularities of a $\mathbf{certain}$ normal projective variety over $\mathbf{C}$ are rational. (I won't ...
- 9,497
3
votes
0
answers
762
views
reference for weighted blow-up
Let $(0\in X)$ be a germ of a normal 3-fold with a singular point $0$
(over $\mathbb{C}$).
We think of $X$ as a small neighborhood of $0$ (for studying singularity).
If we can think $X$ as a ...
- 31
10
votes
1
answer
524
views
Linearization instability and singular points of algebraic varieties
In a well known 1973 paper, Fischer and Marsden pointed out (with similar, contemporary remarks made in the physics literature by Brill and Deser) that the space of solutions of some non-linear ...
- 21.6k
8
votes
0
answers
566
views
Gysin exact sequence for a singular subvariety
Let $k$ be an algebraically closed field (I'm interested in a characteristic $p>0$ specific example) and let $X$ be a (smooth if needed) algebraic variety.
Let $Y \subset X$ be a (possibly) ...
- 2,521
3
votes
1
answer
880
views
Topological degree and polynomial degree
Let $F:\mathbb{C}^n\to \mathbb{C}^n$ be a homeomorphism homogeneous of degree 1 (i.e., $F(tx)=tF(x)$, $t>0$) and $g:\mathbb{C}^n\to \mathbb{C}$ a homogeneous polynomial of degree $k$. Let $L$ ($0\...
- 81
2
votes
0
answers
97
views
classification of simple singularities for the henselian of the plane Zariski local ring at the origin
Let $A=\mathbb{C}[x, y]_{(0, 0)}=\{\frac{f(x, y)}{g(x, y})\in \mathbb{C}(x, y)\ |\ g(0, 0)\neq 0\}$ be the Zariski local ring at the origin. Then the henselisation $A^h$ of $A$ is the ring of formal ...
- 57
8
votes
1
answer
453
views
Singularity structure of integrals of rational functions
Suppose I have a convergent integral of the form $\int_0^1dx_1\dots\int_0^1 dx_n \frac{P(x_i)}{Q(x_i)}$, where $P$ and $Q$ are polynomial functions of $n$ nonnegative real variables $x_i$. Let the ...
- 373
7
votes
1
answer
212
views
Properties of singularities that are preserved by categorical quotients
Let $G$ be a reductive group acting on an affine singular
variety $X$, and let $X/G$ be the categorical quotient. I know that if
$X$ has rational singularities, then so does $X/G$ (http://link....
- 2,649
3
votes
0
answers
99
views
Normal form of volume functional about a minimal surface
Let $S$ be a closed manifold and $(M,g)$ be a Riemannian manifold. Minimal submanifolds are by definition the critical points of the volume functional
$$F: \mathcal{Imm}(S,M) \to \mathbb{R} \qquad \...
- 5,824
2
votes
0
answers
511
views
Weil Petersson metric on moduli space of Calabi Yau manifolds
Let $f:(X,D)\to Y$ be a holomorphic fibre space where $D$ is divisor with conic singularities and let fibres $(X_s,D_s)$ are log Calabi-Yau pair .i.e $K_X+D$ is nummerically trivial, then we have ...
user21574
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
8
votes
3
answers
650
views
Applications for knowing the singularities parametrized by the boundary of a moduli space
Given a moduli space $M$ of some smooth algebraic geometric object such as curves, surfaces, etc. Let $\overline{M}$ be a compactification of $M$. Then, $\overline{M}\setminus M$ introduces ...
- 943
3
votes
0
answers
132
views
Classification of faithfully flat morphisms between formal power series
Let $\mathbb{C}[[z_1,\dots,z_n]]$ denote the algebra of formal power series.
I am interested in faithfully flat morphisms
$$Spec(\mathbb{C}[[z_1,\dots,z_m]])\to Spec(\mathbb{C}[[z_1,\dots,z_n]]),\, m\...
- 21.8k
7
votes
1
answer
574
views
Iterated Milnor fibrations and Thom's a_f condition
Ok so there's a lot of litterature about nearby cycles functor since it was introduced by Grothendieck and Deligne but I couldn't find any clear answer to the following natural question:
Problem: Let ...
- 7,527
4
votes
2
answers
558
views
Factoriality of one-nodal Calabi-Yau threefolds
Let $X$ be a projective Calabi-Yau threefold with a single ordinary double point at $x \in X$, and smooth elsewhere. Is $X$ necessarily factorial?
I suspect that the answer is "yes", for the ...
- 884
5
votes
2
answers
2k
views
regular singularities and logarithmic singularities
What is the difference between regular singularities and logarithmic singularities? Could someone give me a reference where the distinction is clearly explained? I apologize in advance if this ...
- 53
2
votes
0
answers
50
views
Typical singularities of a map from $\mathbb{T}^{m}$ to $\mathbb{R}^{n}$
My question is as follows. Is there known general results on typical singularities (critical points) for smooth maps from $m$-dimensional torus $\mathbb{T}^{m}=\mathbb{R}^{m}/\mathbb{Z}^{m}$ to $\...
- 798
4
votes
1
answer
377
views
Is Gorenstein singularity a locally analytic property
Let $X$ be a variety over $\mathbb{C}$, and $X^{an}$ be the analytic space associated to $X$. $X$ has Gorenstein singularity at $x \in X$ iff the local ring $\mathcal{O}_{X,x}$ is a Gorenstein ring. ...
- 3,472
4
votes
1
answer
1k
views
the blowing up of a plane curve playing me tricks.
Sorry for the easy question but this is driving me crazy. Consider the blowing up of the curve $(y^2-x^3)^2+y^5$ at the origin.
On the first blowing up, on the chart that intersects the exceptional ...
- 943
4
votes
0
answers
235
views
Some examples where the plurigenera are nonconstant, when the fibres have worse singularities than canonical
Let start with a definition
Invariance of plurigenera: Choose $m$ large enough so that $mK_F$ has a non-zero global section for some fibre $F$. For any fibre $F$, we have $K_F = K_{X/D}~_{|F}$. So ...
user21574
3
votes
1
answer
1k
views
Is P^2 important in Kontsevich's recursion formula?
There is a famous recursion formula by Kontsevich to find the number of
genus zero degree $d$ curves in $\mathbb{CP}^2$ through $3d-1$ points.
My question is the following: Let $S$ be a complex ...
- 3,245
3
votes
1
answer
361
views
Jaffe's exact sequence
Let $X$ be a normal projective rational surface over $\mathbb{C}$ with finitely generated divisor class group $\text{Cl}(X)$. Consider the exact sequence $$0 \rightarrow \text{Pic}(X) \rightarrow \...
- 155
4
votes
1
answer
433
views
Infinitesimal deformations of a singular projective surface
Let $X$ be a normal projective surface with just two singular points $x_1,x_2\in X$, where $X$ has rational quotient singularities.
Assume that both the singularities in $x_1$ and in $x_2$ admit a ...
user68440
3
votes
1
answer
268
views
Rationality of higher dimensional du Val singularities
I am interested in the isolated singularity defined over $\mathbb{C}$ by
$$
x_1^2+\cdots + x_n^2+x_{n+1}^k=0,
$$
where $n>2$ and $k>2$.
I would like to know whether this singularity is rational,...
- 2,384
0
votes
2
answers
296
views
Hochster-Roberts Theorem reciprocal
Given a Cohen-Macaulay ring $R$ over a field of characteristic zero and $G$
a reductive algebraic group acting on $R$, then the ring of ivanriants $R^G$
is also Cohen-Macaulay. This is known as ...
- 1,595
4
votes
0
answers
202
views
Singular symplectic reduction in infinite dimension
In 1991, Sjamaar and Lerman [1] introduced the notion of stratified symplectic spaces. Namely, if $M$ is a symplectic manifold and $G$ a Lie group acting properly (but not necessarily freely) on $M$ ...
- 779
7
votes
1
answer
404
views
When two singularities $\mathbb C^n/G$ and $\mathbb C^n/G'$ are the same?
Let us consider two singularities $\mathbb C^n/G$ and $\mathbb C^n/G'$, where $G$ and $G'$ are finite subgroups of $\mathrm{GL}(n,\mathbb{C})$ acting linearly.
It is easy too see, that a different ...
- 600
4
votes
1
answer
165
views
The volume around a singular isolated root when equalities are loosened
Suppose I have a system of polynomial equations in $n$ real variables $f_i(x_1,\ldots,x_n)=0$, $i=1,\ldots,m$, such that $0$ is an isolated solution. Now I replace each of the equations with a double-...
- 5,971
10
votes
1
answer
981
views
Factoriality vs $\mathbf{Q}$-factoriality for threefolds hypersurfaces with isolated singularities
Let $X \subset \mathbf{P}^4$ be a complex threefold hypersurface with isolated singularities.
We denote as usual by $\textrm{Cl}(X)$ the group of Weil divisors modulo linear equivalence and by $\...
- 66.3k