The tag has no wiki summary.

learn more… | top users | synonyms

26
votes
0answers
2k views

Microlocal geometry - A theorem of Verdier

(1) In "Geometrie Microlocale", Verdier states the following theorem. Theorem: Let $E$ be a vector space and $F$ a constructible complex on $E$. Then for $\ell$ a linear form on $E$, we have a ...
9
votes
0answers
230 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 ...
8
votes
0answers
265 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 ...
8
votes
0answers
288 views

Which presentations of (non)planar algebras give rise to knots?

Reidermeister's theorem states that the set of knots, modulo ambient isotopy, is isomorphic to the planar algebra generated by crossings, modulo Reidemeister moves. This planar algebra presentation is ...
7
votes
0answers
275 views

Singularities arising from the Minimal Model Program (an algebraic point of view)

I will start the story by the end: Is there some characterization of (some of) the singularities arising from the Minimal Model Program (canonical, terminal, log-...) in terms of commutative algebra ...
7
votes
0answers
439 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 ...
6
votes
0answers
446 views

An elementary question in singularities

The following problem came up in something I am working on. It has a really elementary statement but I couldn't crack it in a couple of hours of thinking about it. It isn't clear to me if I am being ...
6
votes
0answers
241 views

Singularity structure of integrals of rational functions

Suppose I have a convergent integral of the form $\int_0^1dx_1\dots\int_0^1 dx_n \frac{P(x_i)}{Q(x_i)}$, where $P$ and $Q$ are polynomial functions of $n$ nonnegative real variables $x_i$. Let the ...
5
votes
0answers
359 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 ...
5
votes
0answers
292 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: ...
4
votes
0answers
90 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 ...
4
votes
0answers
165 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 ...
4
votes
0answers
389 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 ...
4
votes
0answers
204 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 ...
3
votes
0answers
183 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 ...
3
votes
0answers
130 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 ...
3
votes
0answers
56 views

on Neron defect of smoothness for groups schemes

Let $G$ a semisimple simply connected group over $\mathbb{C}$. Let $\gamma\in G(\mathbb{C}[[t]])$ such that $\gamma$ is regular semisimple on $G(\mathbb{C}((t)))$. We consider $I_{\gamma}$ the group ...
3
votes
0answers
290 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 ...
3
votes
0answers
119 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 ...
3
votes
0answers
200 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 ...
3
votes
0answers
436 views

Sebastiani-Thom isomorphism for D-modules

Considering $f:X\to \mathbb{C}$, $g:X\to \mathbb{C}$ and $f\oplus g:(x,y)\mapsto f(x)+g(y)$. The Sebastiani-Thom isomorphism is an isomorphism $\Phi_{f\oplus g}(M\boxtimes N) = \Phi_{f}(M) \otimes ...
2
votes
0answers
108 views

generalization Abhyankar's lemma

This question is related to a question I already asked on MO (smooth quotient out of a singular variety?), but I realized later that the hypotheses where not precise enough in my former question. Let ...
2
votes
0answers
124 views

A strong form of implicit function theorem (what happens when the derivative is degenerate?)

(this can be considered as some ad) Consider the system of equations $F(x,y)=0$. (Here $x$, $y$ are multi-variables. The equations are over a local ring. e.g. polynomial/analytic/formal/$C^\infty$ ...
2
votes
0answers
121 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) ...
2
votes
0answers
76 views

Lagrangean equations for the generating function of quadrangulations

Let $M(z)$ be the generating function of edge-rooted connected quadrangulations, with $z$ marking the number of edges. I derived the following Lagrangean equations for $M(z)$: $$M(z) = ...
2
votes
0answers
67 views

semicontinuity of the conductor defined by Temkin

We say a principal pair $(X,\mathcal{I})$ where $X=Spec(A)$ is affine scheme and $\mathcal{I}=\tilde{I}$ where $I\subset A$ is a principal ideal generated by $\pi$ wich is a non zero divisor. For a ...
2
votes
0answers
169 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 ...
2
votes
0answers
141 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) ...
2
votes
0answers
144 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)) $$ ...
2
votes
0answers
117 views

Tangent cones to Severi strata

Let $\mathbb{C}[[x,y]]/f(x,y)$ be a reduced plane curve singularity. The base of a versal family can be taken to be (an open subset in) $\Lambda = \mathbb{C}[x,y]/(f,\partial_x f, \partial_y f)$; the ...
1
vote
0answers
50 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 ...
1
vote
0answers
52 views

Complexity of mappings (forms) in R. Thom's “Structural stability and morphogenesis”

In his "Structural stability and morphogenesis", R. Thom (especially in the chapter about dynamics of forms) among other things speculates about a notion of complexity of a "form" (mapping between ...
1
vote
0answers
304 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 ...
1
vote
0answers
64 views

Three- dimensional astroid and catastrophe maps

Is a three-dimensional astroid curve $(2\cos^3u,2\sin^3u,3\cos2u)$ a part of a bifurcation set of some catastrophe map?
1
vote
0answers
235 views

Blowdown and contraction

I am sorry, my question is very naive. 2nd Edit: Let us suppose that $V$ is a smooth complex projective variety, and $Y\subset V$ is a smooth divisor and has an ample conormal line bundle. We would ...
1
vote
0answers
80 views

cotangent complex for finite flat morphism and different ideal

Let a ring $A$, $F=A[X_{1},\dots X_{n}]$ and $B:= F/J$. We suppose that we have a finite flat lci morphism $f:Spec(B)\rightarrow Spec(A)$. To mesure the singularities of this map, Gabber-Ramero ...
1
vote
0answers
55 views

Is it obvious that the defining conditions to obtain a particular singularity are well defined on the quotient space?

Let $~f:\mathbb{C}^2 \rightarrow \mathbb{C}$ be a holomorphic function vanishing at the origin, with the following properties: $$ f_{00}, ~f_{10}, ~f_{01}, ~f_{20}, ~f_{11} =0,~~f_{20} \neq 0 ...
1
vote
0answers
83 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 ...
1
vote
0answers
78 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 ...
1
vote
0answers
263 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
0answers
191 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 ...
1
vote
0answers
173 views

When does the smoothing of projectivized tangent cone lift to a deformation of a space?

Let $(X,0)\subset(\mathbb{C}^N,0)$ be the (formal) germ of a singular space (isolated singularity). Let $\mathbb{P}T_{(X,0)}\subset\mathbb{P}^{N-1}$ be its projectivized tangent cone (considered as a ...
0
votes
0answers
102 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 ...
0
votes
0answers
40 views

Conifold singularities on the mirror quintic

It is well-known that conifold transitions go in the reversed direction under mirror symmetry. My question is, what is the mirror picture of a degeneration of the generic quintic CY3 to the one ...
0
votes
0answers
67 views

on lifting elements in a tangent space

Let X a normal integral scheme over a base field scheme, assumedd to be singular and an integer $n$ Let $\mathcal{O}=k[[t]]$, we consider the arc space $X(\mathcal{O})$ which is a $k$- pro-scheme and ...
0
votes
0answers
112 views

A question on a toric singularity

Recently I was told that the threefold singularity $$ x^2+y^2+z^2+w^{2n}=0 $$ in $\mathbb{C}^4$ is a toric variety. How can I see this? What are the generators of the toric fan? Moreover, is it true ...
0
votes
0answers
70 views

Depth of conormal sheaf of a quotient singularity in a smooth variety

Let $U= \mathbb{C}^n/ \mathbb{Z}_r$ be a cyclic quotient singularity by the finite cyclic group $\mathbb{Z}_r$ of order $r$. Assume that the group action is free outside a closed subset $Z \subset ...
0
votes
0answers
78 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 ...
0
votes
0answers
30 views

Discriminant set and Bifurcation set

the discriminant set of an n-dimensional versal unfolding of an $A_k$ singularity, and the bifurcation set of an n -dimensional versal unfolding of an $A_{k+1}$, (potential type) singularity are ...
0
votes
0answers
117 views

Action on C[[X,Y]]/f(X,Y) giving complete intersection quotients

Let $R \colon\!= {\Bbb C}[[X,Y]]/(f(X,Y))$ be a complete local ring of Krull-dimension $1$. Assume that we have an action of $\Bbb Z$ on $R$ such that fixed elements by $\Bbb Z$ in $R$ are only ...