Questions tagged [singularity-theory]
Singularities in algebraic/complex/differential geometry and analysis of ODEs/PDEs. Singular spaces, vector fields, etc.
554 questions
12
votes
0
answers
443
views
What is the motivation for a Frobenius manifold?
A Frobenius manifold is a type of manifolds with extra structure.
The main examples are quantum cohomology (viewed as a space itself), GBV algebras, the ``Saito'' examples arising from singularities (...
- 5,711
8
votes
0
answers
349
views
Example of torsion differential forms
I am looking for an example of a normal affine variety $V$ over a perfect field $k$ such that the differentials $\Omega_{V/k}$ are not torsion free.
If normality is not required, an example is given ...
- 227
8
votes
1
answer
493
views
General conditions for normality of blow-up
Let $X$ be an integral, affine, normal complex surface. I am looking for conditions on zero-dimensional closed subschemes $Z$ in $X$ such that the reduced scheme associated to the blow-up of $X$ along ...
- 2,032
5
votes
0
answers
494
views
ramification locus for finite morphism and Abhyankar's Lemma
I want to ask given a finite morphism between projective varieties $f:X\rightarrow Y$.
What is exactly the ramification locus $\Delta(X/Y)$. If $X$, $Y$, $f$ are smooth, then I can more or less ...
- 623
12
votes
1
answer
421
views
Fixed point scheme of finite group Cohen-Macaulay?
Let $X$ be a quasi-projective scheme over a field $k$.
Let $G$ be a finite group acting on $X$ whose order is invertible in $k$.
If $X$ is Cohen-Macaulay, can we conclude that the subscheme of fixed ...
- 984
3
votes
0
answers
992
views
Definition of Q gorenstein variety
I have a question about the definition of Q-Gorenstein variety.
I saw a definition of Q-Gorenstein variety：for a normal variety $X$, it's Q-Gorenstein if the canonical divisor is Q Cartier. I wonder ...
- 623
2
votes
0
answers
288
views
Torsion freeness of direct image of structure sheaf?
I have the following question.
Let $f:X\rightarrow Y$ be a surjective projective morphism between smooth projective varieties.
I learned that if $\dim Y=1$, then $R^if_*\mathcal O_X$ is torsion free $\...
- 623
3
votes
1
answer
331
views
Smoothable $\mathbb{F}_p$-variety embeds in a regular scheme
Let $X$ be a proper geometrically integral $\mathbb{F}_p$-scheme.
Assume that $X$ is the special fiber of a proper flat $\mathbb{Z}_p$-scheme with a smooth generic fiber and that for each point $x\in ...
user158636
5
votes
1
answer
321
views
Is identification of double points of an immersion smooth?
Let $f:M^m\to N^n$ be a generic map between smooth manifolds $n>m$. Depending on the pair $(m,n)$ generic maps will have a singular set of double points $\Sigma_2\subset M$.
Let $\phi:\Sigma_2\to \...
- 2,533
1
vote
0
answers
245
views
Dual varieties and nodal sections
Let $X$ be a(n even dimensional) smooth complex projective variety in $\mathbb{P}^N$, and let $X^{\vee}$ be its dual variety; up to an higher degree Veronese embedding of $X$, I assume that $X^{\vee}$ ...
- 828
0
votes
0
answers
228
views
On Whitney's paper on real algebraic varieties
I had previously asked this question on math.stackexchange and did not receive an answer and so I decided to reword it and pose it here.
This question is based on Whitney's paper titled "...
- 821
4
votes
0
answers
72
views
Asymptotics of a certain integral in singularity theory
Let $f:\mathbb{C}^2\to \mathbb{C}$ be an isolated plane curve singularity. Consider the versal deformation space $\mathbb{C}^\mu$ parameterizing deformations $f_\lambda$ for $\lambda \in \mathbb C^\mu$...
- 2,830
2
votes
0
answers
111
views
About the regularity of Thom's first isotopy theorem
Consider an abstract stratified set $(V, \Sigma)$ in the sense of Thom-Mather
(see Mather's note page 491-492 https://www.ams.org/journals/bull/2012-49-04/S0273-0979-2012-01383-6/S0273-0979-2012-01383-...
- 83
1
vote
1
answer
122
views
Tangent space to subspace of orbit in jet spaces
I consider a map germ $f: (\mathbb{R}^n,0) \to \mathbb{R} $ which is $k$-determined for some $k \in \mathbb N$, i.e. for all map germs $g: (\mathbb{R}^n,0) \to \mathbb{R} $ having the same $k$-jet as $...
- 113
6
votes
0
answers
388
views
Globalization of Brieskorn-Grothendieck resolution
Brieskorn (1970) showed that for semiuniversal deformation of rational double points surface singularities $X\to S$, there is a finite base change $S'\to S$, such that the new family $f:X\times_{S}S'\...
- 1,803
1
vote
1
answer
125
views
Applying analytic coordinate changes to singular function germs [closed]
Suppose we are given a function germ
\begin{align}
f = \sum a_{ijk}x^iy^jz^k
\end{align}
such that $f\in \mathfrak{m}^2$, where $\mathfrak{m}$ is the ideal in $\mathbb{C}\{x,y,z\}$ of holomorphic ...
- 19
7
votes
1
answer
231
views
Resolution graphs in the sense of Némethi
The following definitions are from lecture notes of Némethi. A surface singularity $(X,0)$ is defined by $$(X,0) = (\{ f_1 = \ldots = f_m=0 \}) \subset \mathbb (\mathbb{C}^n,0),$$ where $f_i : (\...
user150450
2
votes
0
answers
228
views
Reference request: Singular curves
I'm interested in coherent sheaves on a singular curve.(For example, global dimension, Serre duality, Riemann-Roch's theorem for singular curves,etc....)
I find treatment of it only in Hartshorn's ...
- 405
6
votes
1
answer
293
views
Riemann-Hurwitz for real maps
Let $S$ be a (compact, connected) Riemann surface of genus $g$ and $f: S\to \mathbb CP^1$ be a degree $d$ meromorphic function. Then the Riemann-Hurwitz formula tells us that the number of ...
- 14.3k
2
votes
1
answer
317
views
Singular locus of a linear system of hyperplane sections
Let $X\subset\mathbb{P}^N$ be a rational smooth projective irreducible non degenerated variety of dimension $n=\dim(X)$ and let $$\mathcal{H}=|\mathcal{O}_X(1) \otimes\mathcal{I}_{{p_1}^2,\dots,{p_l}^...
- 1,343
2
votes
0
answers
55
views
Approximate a one-form with nowhere vanishing one-forms having bounded Laplacians
This is a follow-up question of this one.
Let $\mathbb{D}^2$ be the closed two-dimensional unit disk (endowed with some smooth Riemannian metric), and let $\sigma \in \Omega^1(\mathbb{D}^2)$ be a ...
- 6,741
4
votes
1
answer
92
views
Approximate a one-form on the disk with nowhere vanishing one-forms satisfying an asymptotic vanishing of some derivatives
Let $\mathbb{D}^2$ be the closed two-dimensional unit disk, and let $g:\mathbb{D}^2 \to \mathbb{R}$ be a non-constant harmonic function (smooth up to the boundary).
Does there exist a sequence of ...
- 6,741
1
vote
0
answers
927
views
canonical divisor on singular curves with nodal point
What's the definition of canonical divisor(or whatever related concept) on singular curve with nodal point. More generally, what the definition of canonical divisor on a singular variety X, which is ...
- 623
7
votes
1
answer
372
views
Non-example for Whitney (a) stratifications
Given a $C^1$ stratification $\mathscr{S}$ of a $C^1$ manifold $M$, we write $N^\ast \mathscr{S}$ for the union of conormals to the strata. The stratification is said to be Whitney (a) if $N^\ast \...
- 525
4
votes
2
answers
1k
views
When is the coarse moduli space of genus $g$ stable curves smooth?
Let $\overline{\mathcal{M}}_g$ be the moduli stack of genus $g$ stable (nodal) curves and let $\overline{M}_g$ denote its coarse moduli space. In 1969, in the paper "The irreducibility of the space of ...
- 1,159
6
votes
1
answer
182
views
Can we approximate a vector field on the plane with non-vanishing vector fields in $W^{1,2}$?
Let $V$ be a compactly-supported vector field on $\mathbb{R}^2$, whose zeros inside some open neighbourhood of the closed unit disk $\mathbb{D}^2$ are isolated.
Does there exist a sequence of ...
- 6,741
8
votes
1
answer
820
views
Derived Category of the derived critical locus, is it the category of Matrix Factorizations?
Let $W \in \mathbb{C}[x_1, \dots, x_n]=R$ be a polynomial with an isolated critical point at the origin. A Matrix Factorizations for $W$ consists a $\mathbb{Z}/2\mathbb{Z}$-graded finite free $R$-...
- 27.5k
2
votes
1
answer
259
views
Scheme-theoretic image and delta-invariants
Let $(X,o)$ be an affine, isolated, normal, Gorenstein singularity. Let $f$ and $g$ be two morphisms from $\mbox{Spec}(\mathbb{C}[[t]])$ to $X$ (also known as formal arcs) such that the closed point ...
- 1,593
5
votes
1
answer
183
views
Can harmonic maps with immersive boundary conditions have singular points?
Let $\mathbb D^2$ be the closed unit disk in $\mathbb R^2$. Let $f:\mathbb D^2 \to \mathbb{R}^2$ be a real-analytic orientation preserving immersion, and let $\omega:\mathbb D^2 \to \mathbb{R}^2$ be ...
- 6,741
9
votes
2
answers
875
views
Can we perturb a map $\mathbb{R}^n \to \mathbb{R}^n$ to have high rank?
Let $\mathbb{D}^n$ be the closed $n$-dimensional unit ball, and let $f:\mathbb{D}^n \to \mathbb{R}^n$ be smooth.
Suppose that $df$ is invertible outside a set of Hausdorff dimension $\le n-1$, and ...
- 6,741
8
votes
1
answer
600
views
Can we perturb a map $\mathbb{R}^n \to \mathbb{R}^n$ to have distinct singular values?
$\newcommand{\SO}[1]{\text{SO}(#1)}$
$\newcommand{\dist}{\operatorname{dist}}$
Let $\mathbb{D}^n$ be the closed $n$-dimensional unit ball, and let $f:\mathbb{D}^n \to \mathbb{R}^n$ be smooth.
Set
$$...
- 6,741
2
votes
0
answers
158
views
Normalization of affine curves in singular surfaces
Let $X$ be a normal, isolated surface singularity with $x_0 \in X$ the unique singularity. Let $C \subset X$ be a hyperplane section i.e., defined by a single equation. Denote by $n:\widetilde{C} \to ...
- 2,032
6
votes
1
answer
475
views
Whitney stratification of algebraic varieties
When do the orbits of an action on an algebraic variety make a Whitney stratification?
2
votes
0
answers
145
views
Local complete intersection on a smooth variety
Let $X$ be a smooth variety and let $x_{1},\ldots,x_{k}$ be general points. Let $T:=<T_{x_{1}}X,\ldots,T_{x_{k}}X>$ be the join of the tangent spaces at the points $x_{1},\ldots,x_{k}$. If we ...
- 1,343
2
votes
0
answers
78
views
Log Kodaira dimension of Briekorn varities
Is there any formula or estimate of the log-Kodaira dimension of the Brieskorn variety $V_{a_0,\ldots,a_n}:=\{x_0^{a_0}+\ldots + x_n^{a_n}=1\}$ for $2\le a_0\le \ldots \le a_n$.
In particular, I ...
- 707
2
votes
1
answer
1k
views
Essential singularity [closed]
In shaum's outline complex analysis,definition of essential point is:
An isolated singularity that is not pole or removable singularity is called essential singularity
Now in the same book there is an ...
16
votes
2
answers
539
views
Surprising appearances of Painlevé transcendents
What are some of your favorite examples of enumerative problems whose answer ended up being (related to) a solution to one of the Painlevé equations?
I have seen examples from enumeration of classes ...
2
votes
0
answers
177
views
vanishing of higher algebraic de Rham cohomology and sheaves of differentials for singular curves
I'm looking for some results or references about de Rham cohomology of curves in less-than-optimal cases. The two vanishing results I care about are:
$H^{k}_{\text{dR}}(X) = 0$ for $k>2$, since $H^...
- 1,142
5
votes
0
answers
146
views
Failure of devissage vs link topology in algebraic K-theory
This is somehow related to (or maybe a simplified version of) an earlier question (see here) regarding Gersten complexes for singular varieties. The Gersten complexes arise from the coniveau spectral ...
- 17.4k
4
votes
1
answer
312
views
Kähler-Einstein metrics on singular varieties
Let $X$ be a normal projective variety with klt singularities with numerically trivial canonical divisor $K_X$.
Does there always exist a Kähler-Einstein metric on $X$?
user58018
9
votes
3
answers
1k
views
Link of a singularity
I would like to understand the topological type of a link of a singularity in a simple example. Consider for instance the cone ${xy-z^2=0}\subset\mathbb{C}^3$.
If we set $x = x_1+ix_2, y = y_1+iy_2, z ...
user56259
1
vote
0
answers
74
views
Removability of the isolated singularity of real analytic mappings with nondegenerate Jacobian
Let $B^n=\{x\in \mathbf{R}^n: |x|<1\}$$(n>2)$. Consider real analytic mappings $f_1:B^n\setminus \{0\}\to B^n$, $f_2:B^n\setminus \{0\}\to \mathbf{R}^n$ and $f_3: B^n\setminus \{0\}\to S^n$ ...
- 89
4
votes
1
answer
250
views
How to measure how much a rational function/a singularity of variety is complicated?
There are some theorems about various zeta functions which states the rationality of those.
For example, when you consider Igusa's zeta function, roughly the generating series of solutions mod $p^n$ ...
- 485
4
votes
0
answers
112
views
On the milnor number of analytic germ map
If $f:(\mathbb{C}^n,0) \to (\mathbb{C},0)$ is an analytic germ with an isolated singularity, then the Milnor number of $f$, denoted by $\mu(f)$ can be defined as $\dim_{\mathbb{C}} \mathcal{O}_n/\text{...
- 558
5
votes
1
answer
273
views
Singularities of curves that are moving
Let $k$ be an algebraically closed field, let $d\ge 2$ be an integer and let $f,g\in k[x,y,z]$ be two homogeneous polynomials of degree $d$ without common factor.
We want to know what are the ...
- 7,722
2
votes
1
answer
1k
views
Bertini type theorem for very ample line bundle
Let $X$ be a normal, projective variety (can take $X$ to be a hypersurface in a projective space) of dimension at least $3$. Let $L$ be a very ample line bundle on $X$, hence base-point free. What can ...
- 2,032
3
votes
0
answers
77
views
How can I find the integral orthogonal group of a given symmetric positive definite form?
I wonder how one can study the integral orthogonal group of a given (symmetric, positive definite) bilinear form like the one described by the following matrix:
$$M=\begin{bmatrix}
x_1 &...
- 362
8
votes
0
answers
178
views
Padé Approximants of Power Series with Natural Boundaries
Consider a power series $\sum_{n=0}^{\infty}c_{n}z^{n}$ for which $c_{n}\in\left\{ 0,1\right\}$ for all $n$. One can write this as: $$\varsigma_{V}\left(z\right)\overset{\textrm{def}}{=}\sum_{v\in V}...
- 1,284
1
vote
0
answers
152
views
Is the normalized derivative of a holomorphic function Sobolev?
This question is a cross-post from MSE. it is also a special case of this question.
Let $B=\{z\in \mathbb C \,|\,|z|\le 1\}$, and let $f:B \to \mathbb{C}$ be holomorphic on the interior $B^o$, and ...
- 6,741
3
votes
0
answers
135
views
Milnor Number of real and imaginary parts of holomorphic germs?
By performing some computations using the Singular software, I've noticed the following pattern: if $\mu$ is the Milnor Number of a holomorphic germ $f\in \mathcal{O}_n$ at the origin, then the Milnor ...
- 73