Questions tagged [singularity-theory]
Singularities in algebraic/complex/differential geometry and analysis of ODEs/PDEs. Singular spaces, vector fields, etc.
554 questions
0
votes
0
answers
83
views
How to determine the singlarity type (up to local analytic isomorphism) of a hypersurface surface singularity
Given a polynomial f(x,y,z), it defines a hypersurface in $\mathbb C^3$. I guess there is a classification of hypersurface singularity like Arnold normal form. I wonder given an explicite example of f,...
- 623
2
votes
0
answers
71
views
Apparent singularities and non Fuchsian regular points
I am considering the following function of $z$ on the Riemann sphere:
$$
J(z) = \int_\Delta (L_0+z L_1)^a D^b d^nx
$$
where
$\Delta \in H_n\big(\Bbb{CP}^n\setminus\{L(x)=0\},S\big)$, $S$ being the ...
- 593
2
votes
0
answers
108
views
Deformation to normal cone of the exception divisor of a log-resolution
I am reading the paper Iterated vanishing cycles, convolution, and a motivic analogue of a conjecture of Steenbrink due to G. Guibert, F. Loeser, and M. Merle. The main tool, like a lot of papers in ...
- 893
0
votes
1
answer
257
views
Definition of canonical pair
Let $(X,D)$ be a pair and $f:Y\rightarrow X$ a log resolution. Write
$$
K_Y + \widetilde{D} = f^{*}(K_X) + \sum_{i}a_iE_i
$$
where $\widetilde{D}$ is the strict transform of $D$. I found the following ...
- 8,998
1
vote
1
answer
209
views
Induced resolution of singularities
I am not a specialist in singularity theory but currently I have to touch resolution of singularities and I'd like to know whether I have understood Hironaka's theorem correctly.
Let $k$ be a field of ...
- 893
1
vote
0
answers
116
views
Converse of transfer theorem : does asymptotic behaviour of coefficients describe the singularity?
I'm interested in Singularity Analysis after reading this Math.Stack post. In the "Analytic Combinatorics" book by P. Flajolet and R. Sedgewick, at p.390, the following transfer theorem (...
- 233
4
votes
1
answer
532
views
Two notions of singular support?
Arinkin-Gaitsgory have defined the notion of singular support for any quasismooth $Y$
$$\text{SS}(\mathcal{F})\ \subseteq\ \text{Sing}(Y)$$
and $\mathcal{F}$ any ind-coherent sheaf, where $\text{Sing}(...
- 5,711
1
vote
0
answers
99
views
Example of nontrivial families of isolated singularities with constant Milnor number
In Lê-Ramanujam's paper The invariance of Milnor’s number implies the invariance of the topological
type, they prove what the title says for families with isolated singularities and constant Milnor ...
- 508
0
votes
1
answer
172
views
Vorticity equation for incompressible 2D fluid dynamics [closed]
I want to ask what advantage of using vorticity equations in fluid dynamics.
Does it help to find large curls? Does it have singularities connected to presence of curls?
- 65
2
votes
0
answers
203
views
Trace formula for monodromy of Milnor fibrations
I am reading the paper A. Campo, Le nombre de Lefschetz d'une monodromie but I am stuck at several points, hope that someone can help me.
Let $P:\mathbb{C}^{n+1} \longrightarrow \mathbb{C}$ be a germ ...
- 893
0
votes
0
answers
105
views
Every locally free sheaf is Cohen-Macaulay on complex variety with at canonical singualities?
Suppose $X$ is a normal complex space with at most singularities, can we say any locally free sheaf on it is Cohen-Macauly?
Recall that a coherent sheaf $\mathcal{F}$ over $X$ is called (maximal) ...
- 295
5
votes
1
answer
410
views
Understand the proof that rational resolution is independent of the resolution
EDIT. Karl Schwede has given a different approach to solve this question, which is very clear. However, I still want to figure out how to deal with this problem along Ein's line, and waiting for the ...
- 295
2
votes
0
answers
137
views
Discrepancy of a divisor over a different model
I also asked this question on MathStackExchange but receive no answers.
I'm reading Koll'ar and Mori's book about singularity theory. They state the following lemma without proof:
Lemma 2.30. Let $f:...
- 361
3
votes
0
answers
124
views
Curvature explosion and metric landmark stability
$\newcommand{\prin}{\mathrm{prin}}$Context: Let $S$ be the unit sphere in some finite dimensional vector space $V$. Given a connected compact Lie group real representation $\rho:G\rightarrow O(V)$, ...
- 71
1
vote
0
answers
149
views
Intersection multiplicity via parametrization in general
My question is a generalization of Analytic and algebraic definitions of intersection multiplicity of two complex algebraic curves coincide.
Take two complex space germs $(A, 0)=V(I_A)$ of dimension $...
- 194
2
votes
1
answer
220
views
Bishop's compactness theorem and convergence of analytic subset
Let $V_i$ be a sequence of $k$ dimensional analytic subsets in $\mathbb C^N$. Suppose that the volume of $V_i$ is uniformly bounded, then Bishop's compactness theorem says that $V_i$ will convergence ...
- 623
3
votes
1
answer
267
views
Singularities of contractions of extremal faces
Let $(X, \Delta)$ be a (projective) klt pair (say over $\mathbb{C}$, but I am also interested in fields of positive characteristic) and $f: X \to Z$ the contraction associated to a $(K_X + \Delta)$-...
- 10.5k
0
votes
0
answers
74
views
When a strictly positive log pluriharmonic function $g$ is equal to the norm of holomorphic function?
Suppose $V$ is a local analytic variety (singular). Suppose $g$ a strictly positive log pluriharmonic function on $V$, i.e. $\log g$ is pluriharmonic. I wonder when $g=|f|^2$, where $f$ is a ...
- 623
1
vote
0
answers
105
views
Codimension of cusp singularities in the space of 2-jets
In trying to prove Cerf's theorem about homotopies between Morse-functions I ended up thinking about the following problem.
For $n>2$, $a= (a_{i,j})\in GL(n-2)$, we define the polynomial map $C_a:\...
- 2,533
2
votes
0
answers
81
views
Order of a germ along curves
There is a very basic invariant of $\mathcal{C}^{\infty}$-germs $f: (\mathbb{R}^n, 0) \to (\mathbb{R}^k, 0) $ ($n \leq k$), which I call ''maximal order along curves''. I would like to interested ...
- 194
4
votes
1
answer
202
views
Is this quotient of $\mathbb{C}^{m+1}$ by $U(1)$ only "nice" for $m=1$?
Let $V^{m+1} = \mathbb{C}^{m+1}$ and let $U(1)$ act on it by its diagonal representation, so that really, it is just like scalar multiplication by a unit modulus complex number.
I am interested in the ...
- 5,215
2
votes
0
answers
165
views
Does anyone know an example of a non-singular, globally $ F $-regular variety $ X $ for which generic smoothness does not hold?
Let us denote the Frobenius endomorphism of a variety $ X $ by $ F $. A variety $ X $ over a field $ k $ of positive characteristic is globally $ F $-regular if for every effective Weil divisor $ D $,...
- 912
2
votes
0
answers
170
views
Singular Del Pezzo of degree 2
Throughout, singular Del Pezzo means a surface with only isolated singularities and ample anti-canonical divisor.
Suppose $X$ is a singular Del Pezzo of degree 2 over a field $k$ where $\text{char}(k)\...
- 481
3
votes
0
answers
170
views
Blowing-up a non reduced fiber
Let $X\rightarrow \mathbb{P}^2$ be a smooth conic bundle with a non reduced fiber $F$, and $\widetilde{X}$ the blow-up of $X$ along $F$ with exceptional divisor $F\times\mathbb{P}^1$.
I expect $\...
- 8,998
2
votes
0
answers
134
views
Jacobian ideal as primary idea;
Let $R = \mathbb{C}\{x_1, \dots,x_n\}$ be the ring of germs of analytic functions and let $f \in R$ be a homogeneus polynomial of degree $p$ such that $\sqrt{Jac(f)}=\langle x_1, \dots, x_{n-1}\rangle ...
1
vote
1
answer
149
views
Cohen-Macaulyness of Milnor algebra
Denote by $R = \mathbb{C}\{x_1, \dots, x_n\}$ the ring of germs of analytics maps at the origin in $n$ variables and let $f \in R$ such that $Sing(V(f))=V(x_1, \dots, x_{n-1})$ as sets. In addition, ...
1
vote
1
answer
241
views
Surfaces with rational double points
Let $S\rightarrow \mathbb{P}^1$ a surface fibered in conics over a field. Assume that $S$ has a single non reduced fiber $F$ with two points of type $A_1$ on it.
Blowing-up the two points and ...
- 8,998
3
votes
1
answer
175
views
Singularities of surfaces fibered in rational curves
Let $S$ be a projective surface with a morphism $S\rightarrow\mathbb{P}^1$ whose fibers are either smooth $\mathbb{P}^1$'s or the union of two smooth $\mathbb{P}^1$'s intersecting in a point.
...
- 8,998
2
votes
0
answers
104
views
Is a function looking like a cubic cusp globally equivalent to the cubic cusp?
Let's consider a family of smooth odd functions $\phi_v(u)\colon \mathbb{R}^2\to\mathbb{R}$, which ,looks like' a family of functions $f_y(x)=x^3-yx$ in the vicinity of $(0,0)$: $\phi_v(u)$ has no ...
1
vote
0
answers
156
views
Homogeneous deformation of isolated singularities
Let $f\in \mathbb{C}[x_1, \dots,x_n]$ be a homogeneous polynomial of degree $p$ and let $F \in \mathbb{C}[x_1, \dots,x_n,t]$ be a polynomial such that $F(x_1, \dots, x_n,0)=f$, for every $t_0$ we have ...
2
votes
1
answer
205
views
Deformation of isolated singularities and non zero divisors
Consider $f \in \mathbb{C}\{x_1,\dots,x_n\}$ such that $(V(f),0)$ has an isolated singularity.
Let $F \in \mathbb{C}\{x_1,\dots,x_n,t\}$ be a deformation of $f$ such that there exists some integer $m$...
2
votes
0
answers
85
views
Maximal number of certain types of isolated singularities on $3$-folds
Let $X$ be an algebraic surface with only canonical singularities and such that $K_X$ is nef. Then Miyaoka's "The Maximal Number of Quotient Singularities on Surfaces with Given Numerical ...
-1
votes
1
answer
104
views
Singularities of Painlevé II
It is known that Painlevé II has only simple poles $t_n$ as singularities and these poles have non-movable property, i.e., they depend only on the equation rather than initial conditions. One can try ...
- 593
2
votes
0
answers
221
views
Confusion with terminology: Crepant resolution of terminal singularities
In Theorem 1.1 of this article, Bridgeland proves derived equivalence between Crepant resolution of threefold terminal singularities. I am a little confused with this terminology. In particular, a $\...
- 2,032
4
votes
0
answers
329
views
Vanishing cycles and injectivity of the specialisation map
Consider a proper algebraic map between complex varieties $f : X \to D$ ($D$ is the unit disk), which is a submersion over $D^*$. I would like to know if they are any condition on $f$ such that the ...
4
votes
1
answer
387
views
Do there exist linear relations between exceptional divisors
Let $X$ be an isolated, Gorenstein singularity of dimension at least $2$ and $\pi: \widetilde{X} \to X$ be a resolution of singularities. Let $E$ be the exceptional divisor and $E_1,...,E_r$ be the ...
- 2,032
1
vote
0
answers
70
views
Prove or disprove the positivity of the ess inf of a singular function
Consider a measurable radial function $u:\Bbb R^d\to(0,\infty)$ such that
$$\int_{B_\delta(0)} u(x) d x=\infty\quad\forall\,\, \delta>0.$$
I would like to prove or to disprove that there exists $r&...
- 1,101
3
votes
0
answers
92
views
Solutions of the vector field $D=A\frac{\partial}{\partial X}+B\frac{\partial}{\partial Y}$ with $A,B\in k[[X,Y]]$
I am trying to understand the article Reduction of Singularities of the Differential Equation $Ady=Bdx$ by Arno van den Essen.
Let $A,B\in k[[X,Y]]$ be formal power series and $D$ the vector field $A\...
- 31
3
votes
1
answer
144
views
du Val singularities in Magma
Is there any way to decide whether a singularity of a surface embedded in $\mathbb{P}^5(\mathbb{Q})$ is a du Val/rational double point in Magma?
Any help is much appreciated.
- 31
8
votes
0
answers
235
views
Stability of nodal hypersurfaces
We denote by $\Pi_{n,d}$ the space of homogeneous polynomials of degree $d$ in $n+1$ variables $x_0,\ldots,x_n$, i.e. $\Pi_{n,d}=\Gamma(\mathbb{P}^n(\mathbb{C}),\mathcal{O}(d))$. The group $G=SL(n+1)$ ...
4
votes
2
answers
500
views
Smoothness of fibers over finite fields
Let $f:X\rightarrow Y$ be a morphism of smooth projective varieties over a finite field of characteristic different from $2$. Is there any result on the existence of a point $y\in Y$ such that $X_y = ...
user58018
2
votes
1
answer
238
views
Preimage by birational maps
I am looking for an example (I guess that in complex projective space $\mathbb{P}^{n}$ is good) such that satisfy the following condition (in non trivial case, for this assume $X \neq \tilde{X}$):
Let ...
- 151
1
vote
1
answer
178
views
Local discriminant variety
I'm looking for good (as simple as it is possible) reference for the local discriminant variety.
I need it in the following situation:
I have an unfolding $F: (\mathbb{K}^n \times \mathbb{K}^p, 0) \to ...
- 194
2
votes
0
answers
220
views
plumbing description of resolution of ADE singularities
Let $G$ be a finite subgroup of $SU(2)$ and consider the quotient of the unit ball $B\subset \mathbb{C}^{2}$ by $G$. The result, denoted by $V$, has a boundary $S^{3}/G$ and has an ADE singularity at $...
- 1,069
6
votes
2
answers
753
views
Smooth complete intersections
Let $X_{2,3}\subset\mathbb{P}^n$, with $n\geq 5$, be a complete intersection of a quadric $X_2$ and a cubic $X_3$ containing a $2$-plane $H$. Assume $X_2$ and $X_3$ to be general among the ...
- 8,998
2
votes
1
answer
212
views
When is the singularity of a semi-normal variety a double point singularity
Let $X$ be a semi-normal projective variety and $p: \widetilde{X} \to X$ be the normalization. Suppose that $\widetilde{X}$ is smooth and there exists two smooth divisors $D_1, D_2 \subset \widetilde{...
- 1,593
8
votes
1
answer
426
views
Orbifolds are Thom-Mather stratified spaces
Where can I find a proof of (or if it is even true) that an (effective) orbifold is a Thom-Mather stratified space?
edit: after some search, I found the proof should be contained in either
GIBSON, C....
- 803
0
votes
0
answers
253
views
Singularity of inverse exponential integral function
The exponential integral function is defined by
$$ Ei(z) = \int_{-\infty}^z dw \frac{e^w}{w} \,.$$
Away from the negative real axis the exponential integral function has a Taylor series about $z=0$:
$$...
- 81
4
votes
0
answers
79
views
Possible number of zeros of a stable perturbation of a germ $(\mathbb{R}^n, 0) \to (\mathbb{R}^n, 0)$
Let $f:(\mathbb{R}^n, 0) \to (\mathbb{R}^n, 0)$ be an analytic germ. Assume that it has isolated zero at 0, that is, $f^{-1}(0)=\{0\}$, what is more, assume that the dimension of the local algebra* $Q(...
- 73
1
vote
1
answer
164
views
Discrepancies and multiplicity of rational singularity
Let $(X,x)$ be a rational normal surface singularity having multiplicity $m$ (for example $(-Z)^{2}$, where $Z$ is the fundamental cycle). Suppose its discrepancies are all $\ge -1+\frac{1}{k}$ for a $...
- 11