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
710
views
General position argument
Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of homogeneous degree $d$
polynomials in three variables (up to scaling), where $\delta_d = \frac{d(d+3)}{2}$.
Define $\mathcal{A}$ to be ...
- 3,245
1
vote
1
answer
756
views
Doubt about normality and rational singularities
In M. Reid Canonical 3-folds I found this proposition:
If $\phi:Y\rightarrow X$ is a proper morphism with both $X$ an $Y$ normal and such that $f$ is étale in codimension 1 then
1) if $X$ has ...
- 669
1
vote
0
answers
542
views
Presence of singular points in the trajectory of a double pendulum
Watching the trajectory of a double pendulum, I caught myself wondering if it would be possible to prove that the path the second pendulum makes contains "cusps" or singular points. Upon investigating ...
- 109
2
votes
0
answers
136
views
quasi-ordinary singularities on a versal deformation?
Let $V$ be a variety over $\mathbb{C}$ and suppose $O$ is a singular point of $V$. Are there conditions on $(V,O)$ such that a versal deformation $W$ of $(V,O)$ has only quasi-ordinary singularities.
...
- 761
8
votes
1
answer
1k
views
Rational singularities for fibered surfaces
This question consists of two parts. I will try to be as short and clear as possible.
Let $S$ be a Dedekind scheme of characteristic zero. The main examples are $\mathbf{P}^1_k$, with $k$ a field of ...
- 9,497
6
votes
2
answers
989
views
Is the desingularization of a normal variety with only quotient singularities projective
The base field will be the field of complex numbers. I have a slightly technical problem concerning the resolution of singularities of a certain variety. Basically, I want to to know if it is ...
- 9,497
2
votes
2
answers
368
views
Does a generic curve inside the space of curves with a node at a specific point have only finitely many nodes?
Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of homogeneous degree $d$
polynomials in three variables (up to scaling), where $\delta_d = \frac{d(d+3)}{2}$.
Define $\mathcal{A}$ to be ...
- 3,245
5
votes
0
answers
178
views
Framed singular knots
I've recently run across what one might (and I suspect people probably do) call framed singular knots, or maybe singular ribbon knots. Regardless of the name, what I mean is the following: Let $D$ be ...
- 547
4
votes
0
answers
202
views
$\mathbb{Q}$-factoriality of singularities
I would like to understand if a certain variety is $\mathbb{Q}$-factorial (i.e., if every Weil divisor $D$ has a multiple $mD$ that is Cartier). This property can be deduced by a local picture around ...
1
vote
1
answer
341
views
Intrinsically proving a singularity is rational
In general, how to prove a variety has rational singularities intrinsically? i.e., don't use the Artin's criterion concerning the exceptional locus. And what kinds of varieties have only rational ...
- 11
7
votes
0
answers
1k
views
Isolated singularities and tangent cones
Assume that I have an affine hypersurface $X =V(f)\subset \mathbb{C}^4$ of degree $d$ with an isolated singularity of multiplicity $m$ at the origin $o=(0,0,0,0)$. Let $$f:=f_m + f_{m+1}+ \cdots +f_d$$...
- 66.3k
10
votes
1
answer
378
views
Analogue of singularity theory in other categories
Whitney, Thom, Mather, Arnold and others develoved the singularity theory of smooth maps.
Does there exist any analogue of this theory in the category of TOP or PL (or Lipschitz) maps?
I mean notions ...
- 2,339
3
votes
2
answers
279
views
on a characterisation of regular D-modules
Let $X$ be a smooth variety over a field of characteristic zero. Let $M$ be in the derived category of holonomic $\mathcal{D}_{X}$-modules, $D^{b}_{h}(\mathcal{D}_{X})$.
We know that if we assume ...
- 3,472
12
votes
0
answers
580
views
Cohomology and conifold transition for the quintic
Let $Y\subset \mathbb{C}P^4$ be the quintic threefold given by the equation $$X^5_0+X^5_1+X^5_2+X^5_3+X^5_4+5X_0X_1X_2X_3X_4=0$$
it has 125 singular points whose links are homeomorphic to $S^2\times S^...
- 9,870
2
votes
0
answers
263
views
Do deformations of isolated hypersurface singularity naturally induce deformations of their divisors?
Let $0 \in V =(f=0) \subset \mathbb{C}^{n+1}$ be an affine variety with an isolated hypersurface singularity at the origin for $n \ge 3$.
Let $0 \in D=(x=f=0) \subset V$ be a divisor with only ...
- 909
3
votes
0
answers
100
views
Is there a correspondence between counting curves in P^2 blown up at a point and counting curves in P^2?
Let $X$ be $\mathbb{P}^2$ blownup at one point
and $\beta := d L -2E \in H_2(X, \mathbb{Z})$, where $L$ and $E$
denote the class of a line and the exceptional divisor respectively.
Let $\mathcal{L}...
- 3,245
0
votes
0
answers
187
views
projective map from $\overline{\mathcal{M}}_{0,n}$
Suppose I have a morphism $f:\overline{\mathcal{M}}_{0,n} \to \mathbb{P}^N$ birational onto its image, and I know exactly what $F$-curves are contracted (or "dually", what divisors are contracted). ...
- 3,779
5
votes
1
answer
710
views
Log resolutions on surfaces and 3-folds in characteristic p
If $X$ is a normal projective variety and $D$ a divisor in it, we say that $\pi\colon (\widetilde X,\widetilde D)\rightarrow (X,D)$ is a log resolution if $\widetilde X$ is a resolution of $X$, the ...
- 2,215
3
votes
3
answers
522
views
Closure of singular points
Let $f(x,y)$ be a complex degree $d$ polynomial that has this particular
form.
$$ f = \frac{f_{02}}{2} y^2 + \frac{f_{21}}{2} x^2 y +
\frac{f_{12}}{2} x y^2 + \frac{f_{03}}{6} y^3 + \frac{f_{40}}{...
- 3,245
0
votes
1
answer
489
views
Does the closure of a smooth algebraic always define a homology class?
Let $X\subset \mathbb{C} \mathbb{P}^{N}$ be a smooth,
algebraic (locally closed) complex
submanifold of $\mathbb{C} \mathbb{P}^N$
of complex dimension $k$. More concretely, $X$ is of the
...
- 3,245
4
votes
1
answer
143
views
Singularities induced by the toric ambient spaces
Let $\Delta \subset \mathbb{R}^4$ be a (reflexive) polytope and $X$ be the hypersurfacedefined by a generic section of the any-canonical bundle of the toric variety $\mathbb{P}_{\Delta}$. Are there ...
- 41
4
votes
0
answers
213
views
$n$-Fold Framed Functions
Suppose that $M$ is a manifold. One can consider a suitably constructed space of generalized framed Morse functions on $M$, let's call it $\mathrm{Fun}^\mathrm{fr}(M)$. This space is known to be ...
- 875
5
votes
1
answer
243
views
Are there general position results in singular algebraic sets?
Let $X$ be a real algebraic set, and let $Y \subset X$ be its singular set. In this question I'll focus on the analytic topology, so we can just imagine that $X$ is the zero set, in $\mathbb{R}^n$, ...
- 8,803
8
votes
1
answer
822
views
Simplified treatment of resolutions of complex analytic varieties?
According to the article of Hauser:
The Hironaka theorem on resolution of singularities http://www.ams.org/journals/bull/2003-40-03/S0273-0979-03-00982-0/home.html
The existence of resolution of ...
- 28.9k
1
vote
0
answers
146
views
Is there any explicit result on the triangulated category of singularities of a curve?
This question is related to this MO question.
Let $X$ be a projective curve over a field $\mathbb{C}$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category ...
- 9,019
2
votes
1
answer
110
views
Determining the desingularization from the complete local ring
Suppose I have a curve $C$ over a field $k$ and that $p$ is a singular point of $C$. Let $f : X \to C$ be the desingularization of $C$ at $p$. Then for each $s \in f^{-1}(p)$ we have a map of local ...
- 2,224
7
votes
0
answers
154
views
When is a smooth function locally equivalent to a truncation of its Taylor series?
Let $U \subset \mathbb{R}^n$ be an open set and let $f:U \rightarrow \mathbb{R}$ be a smooth proper function. For $p \in \mathbb{R}^n$ let
$$T_p(x_1,\ldots,x_n) = \sum_{i_1,\ldots,i_n=0}^{\infty} c_{...
- 71
1
vote
0
answers
99
views
If there exists an immersion, then does a neighbourhood of a singular rational curve contain a genuine cuspidal point?
Let $X$ be a compact complex surface and $u_1, u_2: \mathbb{P}^1 \longrightarrow X$ be rational curves that are not multiply covered that represents a class $\beta \in H_2(X, \mathbb{Z})$. Suppose $...
- 3,245
10
votes
1
answer
1k
views
Du Val singularity of type G=A,D,E and "small" representations of G
We all know that a simple singularity $W_G(x_1,x_2,x_3)=0$ of type G=A,D,E has the following nice deformation involving the Cartan subalgebra $\mathfrak{h}$ of the Lie algebra $\mathfrak{g}$ of $G$. ...
- 6,133
5
votes
0
answers
189
views
Real structure in the mixed Hodge structure associated to an isolated singularity
We know that a mixed Hodge structure on a complex vector space $H$ with an integral lattice $H_{\mathbb Z}$ consists of the weight filtration and the Hodge filtration. For an isolated hypersurface ...
- 1,207
0
votes
0
answers
268
views
Birational contraction to a $\mathbb{Q}$-Gorenstein Variety
Given a birational contraction morphism $X\rightarrow Y$
of complex normal algebraic varieties.
If $Y$ is a smooth variety, what kind of singularities can appear
on $X$?
I would be grateful of any ...
- 1,595
0
votes
0
answers
183
views
When can one find holomorphic sections vanishing at a point to a certain order?
Let $X$ be a compact complex manifold (say of dimension $2$) and $L \rightarrow X $ a holomorphic line bundle. Consider the following statements:
Statement $A_0$: Given any point $p\in X$, there ...
- 3,245
4
votes
1
answer
363
views
Property of singularity
Let $X$ be an algebraic variety, $S \subset X$ its singular locus, and $x \in S$. Say that $x$ is good if for any neighborhood $U$ of $x$, any top differential form $\omega$ on $U \setminus S$ and ...
- 2,649
3
votes
4
answers
1k
views
Matrix factorization categories for ADE singularities
What is known about the matrix factorization categories of singularities of type ADE? Any references on this would be greatly appreciated.
Background: For ADE singularities, see for example this. For ...
- 21k
2
votes
2
answers
391
views
Can one obtain surfaces with interesting invariants as resolutions of singular surfaces?
(Perhaps a not very well defined question)
Let $(S_t)_t$ be a (flat) family of compact complex surfaces. Assume the generic member is smooth while $S_0$ has isolated singularities. As the simplest ...
- 2,232
2
votes
1
answer
529
views
Asymptotics on implicit function
We consider the asymptotics of the coefficients of generating function $y(x)$,
which is defined by the implicit function $y= F(x,y)$.
Let $F(x,y)$ be a rational function in $x$ and $y$, such that $...
- 459
3
votes
0
answers
342
views
Hypersurfaces with Gorenstein singular loci
Recall that a hypersurface $D$ in a complex manifold $X$ is called a free divisor if the Lie algebroid $\mathcal{T}_X(-\log D)$ of vector fields tangent to $D$ is locally free. This condition is ...
- 126
3
votes
0
answers
272
views
References for resolutions of ordinary singular points
Let $X$ be a $n$-dimensional complex projective algebraic variety, let us suppose that $X$ has only isolated singularities.
Edit: Let us say that an ordinary $m$-ple singular point is an isolated ...
- 9,870
7
votes
1
answer
884
views
Localization of vanishing cycles
Consider a regular holonomic D-module (or a perverse sheaf) $M$ on a smooth variety $X$. Let $f:X\to A^1$ be a polynomial (or holomorphic) function.
Question: Is it true that the $\lambda \in A^1$ ...
- 7,527
3
votes
0
answers
391
views
Blowing up a projective surface
Let $X$ be a smooth degree $d$ ($d>5$) surface in $\mathbb{P}^3$. We now blow up $X$ at a point, embed it in some projective space, and and consider a projection of it into $\mathbb{P}^3$. The ...
- 1,070
3
votes
1
answer
340
views
1
vote
1
answer
202
views
Obstruction map for local singularities via tangent (Andre-Quillen) cohomology
Let $R$ be a local singularity (for example $R=\mathbb{C}[[x_1, \ldots , x_n]]/I$) ring over $\mathbb{C}$. Let $\mathbb{L}_{R}$ be a cotangent complex of $R$, then one can define tangent (Andre-...
- 1,545
10
votes
0
answers
389
views
Can I compute the cohomology of the complement of a log canonical divisor as if it were normal crossings?
Let $X$ be a smooth projective variety and $D$ a log-canonical divisor and let $U = X \setminus D$. I have heard the slogan "log-canonical is just as good as normal crossings for Hodge theory". This ...
- 156k
5
votes
0
answers
344
views
Stratification of a smooth map
So, this is an exercise. But from math.stackexchange I have been suggested to post this question here.
To find the Thom-Boardman stratification of the smooth map
$f(x,y,a,b,c,d)=x^2y+y^3+a(x^2+y^2)+...
- 231
1
vote
1
answer
125
views
Complement of bifurcation variety
I am reading a seminal paper of Arnold "Normal forms of functions near degenerate critical points, the Weyl group of $A_k$, $D_k$, $E_k$ and lagrangian singularities".
Let $f\colon \mathbb{C}^n\to \...
- 111
4
votes
1
answer
620
views
Is it true that the only singularities upto codimension seven are the ADE singularities?
I have a very concrete question about degree $d$ curves in $\mathbb{P}^2$.
Let $$\mathcal{D} \approx \mathbb{P}^{\delta_d}$$
be the space of homogeneous degree $d$ polynomials in three variables upto ...
- 3,245
1
vote
0
answers
143
views
on reductive monoids which are gorenstein
Let $M$ a reductive monoid, i.e. a integral normal affine scheme, which is a monoid whose group of units is a connected reductive group.
By Rittatore http://www.cmat.edu.uy/cmat/docentes/alvaro/...
- 3,472
1
vote
0
answers
102
views
Global topological equivalence of Morse functions
Two Morse functions $f$ and $g$ are called topologicaly equivalent if there are diffeomorphism $h$ of the source and orientational-preserving diffeomorphism $k$ of the target such that $f=k\circ g\...
- 75
2
votes
1
answer
203
views
Understanding maps from M to R^n, for n>dim M
I am interested in "approximating" smooth maps from a compact smooth manifold $M$ of dim $m$ into $\mathbb R^n,$ for $n>m,$ by "nice" maps, with properties similar to those of Morse functions. Of ...
- 2,390
2
votes
0
answers
202
views
geometric irregularities in pde's
The following question is intended for a person more acquainted with the works of Yves Laurent.
see: http://archive.numdam.org/article/ASENS_1987_4_20_3_391_0.pdf (French)
http://link.springer.com/...
- 113