The tag has no wiki summary.

learn more… | top users | synonyms

1
vote
0answers
81 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 ...
7
votes
2answers
456 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 consideration, ...
9
votes
0answers
218 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
2answers
244 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 ...
1
vote
2answers
254 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?
7
votes
1answer
338 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
0answers
73 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
0answers
273 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 ...
5
votes
1answer
189 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 ...
5
votes
2answers
581 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 ...
5
votes
0answers
318 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 ...
6
votes
1answer
339 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
1answer
140 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
1answer
438 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
1answer
83 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, ...
3
votes
0answers
326 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 ...
3
votes
1answer
130 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
1answer
309 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 ...
1
vote
1answer
322 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 ...
2
votes
2answers
271 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
1answer
355 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
1answer
237 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
1answer
289 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
1answer
166 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 ...
2
votes
1answer
470 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
0answers
116 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
2answers
264 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
0answers
219 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 ...
1
vote
1answer
313 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
1answer
298 views

$A_{\infty}$ singularity

What kind of singularity is commonly meant by $A_{\infty}$?
34
votes
2answers
2k views

When is a singular point of a variety 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 ...
5
votes
0answers
270 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: ...
7
votes
3answers
475 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 ...
1
vote
0answers
180 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 ...
4
votes
0answers
194 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
0answers
128 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
1answer
469 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 ...
4
votes
2answers
479 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
0answers
138 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)) $$ ...
11
votes
1answer
377 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 ...
4
votes
2answers
531 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
1answer
164 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
0answers
427 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 ...
7
votes
1answer
969 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 ...
6
votes
1answer
441 views

Blowing-up an ordinary double point, then contracting the exceptional locus to a curve

Let $X\subset\mathbb P^4$ a projective hypersurface with an ordinary double point at $o\in X$. Blow-up $\mathbb P^4$ at $o$ and let $E\simeq\mathbb P^3$ the exceptional divisor of this blow-up. ...
6
votes
2answers
346 views

Resolution of singularities for flat families.

Is there a resolution of singularities for flat families? More precisely, if $X \rightarrow \mathbb{A} ^n$ is a flat map, does there exist a map $Y \rightarrow X$ such that, for every $p \in ...
5
votes
2answers
1k views

construct the elliptic fibration of elliptic k3 surface

Hi all, As we know, every elliptic k3 surface admits an elliptic fibration over $P^1$, but generally how do we construct this fibration? For example, how to get such a fibration for Fermat quartic? ...
4
votes
1answer
285 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 ...
4
votes
2answers
547 views

Vanishing associated to a resolution of singularities

Let $\pi: V\to W$ be a resolution of singularities, let $E \subset V$ be the exceptional divisor, and let $F$ be a coherent sheaf such that $R^i\pi_*F=0$ for $i>0$. Can we conclude that ...
5
votes
2answers
762 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 ...