Questions tagged [singularity-theory]
Singularities in algebraic/complex/differential geometry and analysis of ODEs/PDEs. Singular spaces, vector fields, etc.
536
questions
1
vote
1
answer
173
views
Is the space of degree $d$ curves with marked smooth points dense inside the space of curves with marked points?
Let $\mathcal{D} \approx \mathbb{P}^{\delta_d} $ be the space of nonzero
homogeneous degree $d$ polynomials in three variables upto scaling, where
$\delta_d = \frac{d(d+3)}{2} $
(basically degree $...
4
votes
2
answers
541
views
Is there an analogous concept for the degree of a map, when the spaces are singular?
Let $M$ and $N$ be two smooth compact, oriented manifolds and
$X\subset M$ an oriented submanifold of $M$ of dimension $k$
(not necessarily closed). Suppose in addition that $\bar{X}-X$ is contained ...
5
votes
1
answer
242
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$, ...
4
votes
2
answers
460
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 ...
1
vote
1
answer
103
views
On solution of a recursion with rectangular matrices
Greetings to members here.
The question is how to calculate the solution $S(k)$ of the following recursive equation
$$J(k)S(k+1)J^{T}(k)=A(k)S(k)A^{T}(k)+R(k)$$
where $J$ and $A$ are rectangular not ...
1
vote
0
answers
154
views
How do I check whether an orbifold admits deformations?
(Cross-post from math.stackexchange, where it has received no attention.)
Orbifolds $\mathbb{C}^2/\mathbb{Z}_n$, given by the action $(x, y) \mapsto (\zeta x, \zeta^{-1} y)$ with $\zeta$ a primitive $...
18
votes
2
answers
4k
views
Whitney stratifications
Many results on characteristic classes of singular varieties (as well as other singularity-theoretic constructions) make use of a so-called "Whitney stratification" of the variety under ...
10
votes
0
answers
385
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 ...
2
votes
2
answers
570
views
Bounds for the milnor number of a hypersurface singularity
I am having a hard time in finding an upper bound in terms of the degree and the dimension for the Milnor number of an isolated hypersurface singularity. I am mostly interested in surfaces on the ...
2
votes
2
answers
413
views
Producing $(-2)$ curves on a smooth surface
We know that blowing up a point on a surface produces a $(-1)$ curve. Is there any such standard techniques to produce $(-2)$ curves in a smooth surface?
13
votes
1
answer
2k
views
Factoriality: local or global?
Let $X$ be an algebraic variety. I have read the following definitions:
$X$ is factorial if every Weil divisor on $X$ is Cartier.
$X$ is locally factorial if all its local rings are unique ...
1
vote
0
answers
173
views
Smoothing of a hyperquotient singularity
Let $f$ be a polynomial in $k$ complex variables, and suppose the affine variety $V$ given by $f = 0$ has an isolated singularity at the origin, but is otherwise smooth. Now assume that some cyclic ...
3
votes
0
answers
390
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 ...
10
votes
1
answer
505
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 ...
13
votes
2
answers
4k
views
"Arithmetic genus" of a plane curve singularity.
I believe that the following questions are very basic, but I don't know how to get a reference.
Consider a curve in the plane $C\in \mathbb C^2$ with a singularity at $0$ and suppose it is
...
9
votes
0
answers
2k
views
Jacobian ideals reference
Suppose that $f : X \to V$ is a flat equidimensional (of dimension $h$) morphism of schemes of finite type and $V$ is excellent (or a variety) For this one can formulate something called the Jacobian ...
10
votes
1
answer
931
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 $\...
3
votes
1
answer
229
views
Counting nodal singularities on a surface
How many lines in $\mathbf{P}^5$ passing through a fixed point $p$ meet in at least two points a fixed smooth surface $S$ given by the intersection of three quadrics?
Or equivalently, calling $T$ the ...
0
votes
1
answer
488
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
...
0
votes
1
answer
87
views
Question regarding closure of sets defined by the vanishing of holomorphic functions
Consider the following subsets of $\mathbb{C}^n$ given by
$$ X := \{x \in \mathbb{C}^n: f(x) =0, ~~g(x) \neq 0 \} $$
$$ Y := \{ x \in \mathbb{C}^n: f(x) =0, ~~g(x) =0, ~~h(x) \neq 0 \} $$
where $f, g$...
7
votes
0
answers
998
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$$...
4
votes
1
answer
455
views
local fundamental group of elliptic singularities
Is the local fundamental group of an elliptic singularity virtually solvable ? Here (the terminology is sometimes divergent) an elliptic singularity is a (germ of) normal surface $(X,x)$ such that $X$ ...
1
vote
1
answer
698
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 ...
2
votes
2
answers
893
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 ...
4
votes
2
answers
2k
views
KLT singularities are quotient in codimension 2
I have read that if a variety $X$ has KLT singularities, then it has quotient singularities in codimension 2.
Do you know a proof (or where can I find a proof) of this?
2
votes
1
answer
516
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 $...
5
votes
1
answer
258
views
Measuring contact between algebraic varieties
I have two regular surfaces in three space, both of which are given by an equation. I would like to measure the contact between the two surfaces using only their equations. Usually, one would find a ...
2
votes
1
answer
353
views
T^i functors are isomorphic for analytically isomorphic isolated singular points
I've been having trouble proving the following:
Let $B$ and $B'$ be local rings, essentially of finite type over $k$, having isolated singularities at the closed points. Suppose that they are ...
1
vote
1
answer
193
views
Adding singular equations to a smoothing of a hypersurface singularity
Let $f \in \mathbb{C}[x,y,z]$ be a polynomial which defines an isolated singularity $0 \in D:= (f=0) \subset \mathbb{C}^3$.
Assume that $\mathcal{D}:= (f+tx =0) \subset \mathbb{C}^3 \times \mathbb{C}$...
2
votes
1
answer
700
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
votes
0
answers
183
views
Equivalence of Level Sets
Consider the zero level set of $f : \mathbb{R}^3 \to \mathbb{R}$, where $0$ is a regular value. Consider also the space of planes passing through the origin, i.e. $\mathbb{RP}^2$. For a fixed plane $P ...
2
votes
2
answers
362
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 ...
1
vote
0
answers
478
views
Explicit Computations of Dynkin Diagrams of Isolated Singularities
Let $f$ be a complex polynomial with an isolated singularity at the origin. Take a Morse deformation $\tilde{f}$, and consider the braid group action on the set of distinguished bases of vanishing ...
3
votes
0
answers
265
views
Good covers on complex algebraic varieties with normal crossings singularities
Let $X$ be a topological space. A good cover on $X$ is an open cover such that all finite non-empty intersections are contractible. It is a theorem of Hironaka that (complex) algebraic sets admit ...
1
vote
1
answer
885
views
triple point singularity
Assume a complex surface $X$ admits a fibration structure over $\mathbb{CP}^1$ with some singular fiberes. Are there explicit examples of such surfaces with triple point singularity?
3
votes
1
answer
340
views
$A_{\infty}$ singularity
What kind of singularity is commonly meant by $A_{\infty}$?
75
votes
4
answers
6k
views
When is a singular point of a variety ($\mathcal{C}^\infty$-) smooth?
If $X$ is a nonsingular algebraic (or analytic) variety over $\mathbb C$ or $\mathbb R$ then it is certainly $C^\infty$ over the reals.
The converse is false for a silly reason : in the real or ...
4
votes
0
answers
434
views
What is known about "singularity types" in the Murphy's Law sense?
In his "Murphy's Law" paper, Vakil gives a definition equivalent to the following:
The singularity type of a pointed scheme $(X,p)$ its equivalence class, under the following equivalence relation: $...
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 $...
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 ...
5
votes
0
answers
337
views
Fixed point sets that carry topology
Let $M$ be a closed smooth manifold. A generic diffeomorphism $\phi: M\rightarrow M$ has non-degenerate fixed points, i.e. the intersections of its graph with the diagonal in $M\times M$ are all ...
2
votes
1
answer
345
views
Controlling singularities on log mmp
Suppose all my varieties are complex threefolds $X\rightarrow Y$ over some smooth base curve germ $Y$. We can assume the fibres are Del Pezzo surfaces with generic smooth fibre.
If I do (relative) ...
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 ...
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 ...
2
votes
0
answers
174
views
Are there ways to make low degree checks for enumerative formulas except for curves in CP^2?
This is a concrete question in Enumerative geometry. Let $S$ be a compact
complex surface and $L\rightarrow S$ a holomorphic line bundle. Let
$$ \delta_d = \text{dim}~ \mathbb{P}(H^0(S,L^d)) $$
...
13
votes
1
answer
617
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 ...
7
votes
2
answers
1k
views
Can one prove vanishing of higher direct images fiber-wise?
Let $\pi:X\to Y$ be a proper map of algebraic varieties (over $\mathbb C$) which is a bi-rational equivalence.
are the following statements equivalent?
The derived direct image of $O_X$ is $O_Y$.
...
1
vote
1
answer
234
views
How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smooth in high codimension?
Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of ...
7
votes
0
answers
529
views
Physicists Euler number conjecture
Physicist's Euler number conjecture says:
If $G \subset SL(n,\mathbb{C})$ is a finite group, $X=\mathbb{C}^n/G$ is the quotient space and $f:Y \rightarrow X$ a crepant resolution (always exists for $...
16
votes
2
answers
2k
views
Giant Rat of Sumatra singularity
I would be grateful for explanations of the issues raised in any
of these three questions, or pointers to the relevant literature
(now updated with answers):
How did a particular singularity come to ...