Source author record

Jonathan Wahl

Jonathan Wahl appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AG math.GT alg-geom

Catalog footprint

What is connected

11works

3topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Rational homology disk smoothings of surface singularities; the exceptional cases

It is known (Stipsicz-Szabó-Wahl) that there are exactly three triply-infinite and seven singly-infinite families of weighted homogeneous normal surface singularities admitting a rational homology disk ($\mathbb{Q}$HD) smoothing, i.e., having a Milnor fibre with Milnor number zero. Some examples are found by an explicit "quotient construction", while others require the "Pinkham method". The fundamental group of the Milnor fibre has been known for all except the three exceptional families $\mathcal B_2^3(p), \mathcal C^3_2(p),$ and $\mathcal C^3_3(p)$. In this paper, we settle these cases. We present a new explicit construction for the $\mathcal B_2^3(p)$ family, showing the fundamental group is non-abelian (as occurred previously only for the $\mathcal A^4(p), \mathcal B^4(p)$ and $\mathcal C^4(p)$ cases). We show that the fundamental groups for $ \mathcal C^3_2(p)$ and $\mathcal C^3_3(p)$ are abelian, hence easily computed; using the Pinkham method here requires precise calculations for the fundamental group of the complement of a plane curve.

preprint2022arXiv

Splice diagrams and splice-quotient surface singularities

The current work will appear in a Celebratio Mathematica volume in honor of Walter Neumann. We summarize results and methods from our long-time collaboration with Neumann, especially the motivation for the introduction of splice diagrams to define singularities of splice type and splice-quotient singularities. The Casson Invariant Conjecture and Milnor Fiber Conjectures are discussed, as well as some open questions about hypersurface and complete intersection singularities with integral homology sphere link.

preprint2020arXiv

Complex surface singularities with rational homology disk smoothings

A cyclic quotient singularity of type $p^2/pq-1$ ($0<q<p, (p,q)=1$) has a smoothing whose Milnor fibre is a $\mathbb Q$HD, or rational homology disk (i.e., the Milnor number is $0$) ([9], 5.9.1). In the 1980's, we discovered additional examples of such singularities: three triply-infinite and six singly-infinite families, all weighted homogeneous. Later work of Stipsicz, Szabó, Bhupal, and the author ([7], [1]) proved that these were the only weighted homogeneous examples. In his UNC PhD thesis (unpublished but available at [2]), our student Jacob Fowler completed the analytic classification of these singularities, and counted the number of smoothings in each case, except for types $\mathcal W$, $\mathcal N$, and $\mathcal M$. In this paper, we describe his results, and settle these remaining cases; there is a unique $\mathbb Q$HD smoothing component except in the cases of an obvious symmetry of the resolution dual graph. The method involves study of configurations of rational curves on projective rational surfaces.

preprint2016arXiv

Milnor and Tjurina numbers for smoothings of surface singularities

For an isolated hypersurface singularity $f=0$, the Milnor number $μ$ is greater than or equal to the Tjurina number $τ$ (the dimension of the base of the semi-universal deformation), with equality if $f$ is quasi-homogeneous. K. Saito proved the converse. The same result is true for complete intersections, but is much harder. For a Gorenstein surface singularity $(V,0)$, the difference $μ- τ$ can be defined whether or not $V$ is smoothable; it was proved in [23] that it is non-negative, and equal to 0 iff $(V,0)$ is quasi-homogeneous. We conjecture a similar result for non-Gorenstein surface singularities. Here, $μ- τ$ must be modified so that it is independent of any smoothing. This expression, involving cohomology of exterior powers of the bundle of logarithmic derivations on the minimal good resolution, is conjecturally non-negative, and equal to 0 iff one has quasi-homogeneity. We prove the "if" part; identify special cases where the conjecture is particularly interesting; verify it in some non-trivial cases; and prove it for a $\Q$Gorenstein smoothing when the index one cover is a hypersurface. This conjecture is of interest regarding the classification of surface singularities with rational homology disk smoothings, as in [1], [18], [24].

preprint2016arXiv

The number of equisingular moduli of a rational surface singularity

We consider a conjectured topological inequality for the number of equisingular moduli of a rational surface singularity, and prove it in some natural special cases. When the resolution dual graph is "sufficiently negative" (in a precise sense), we verify the inequality via an easy cohomological vanishing theorem, which implies that this number is computed simply from the graph (Theorem 3.10). To consider an important and less restrictive meaning of "sufficiently negative" requires a much more difficult "hard vanishing theorem" (Theorem 4.5), which is false in characteristic p. Theorem 7.9 verifies the conjectured inequality in this more general situation. As a corollary, we classify in characteristic p all taut singularities with reduced fundamental cycle (Theorem 9.2).

preprint2013arXiv

Log-terminal smoothings of graded normal surface singularities

Recent work ([18], [1]) has produced a complete list of weighted homogeneous surface singularities admitting smoothings whose Milnor fibre has only trivial rational homology (a "rational homology disk"). Though these special singularities form an unfamiliar class and are rarely even log-canonical, we prove the Theorem. A rational homology disk smoothing of a weighted homogeneous surface singularity can always be chosen so that the total space is log-terminal. In particular, this smoothing is $\Q$-Gorenstein. The key idea is to define a finite "graded discrepancy" of a normal graded domain with $\Q$-Cartier canonical divisor, and to study its behavior for a smoothing.

preprint2011arXiv

On rational homology disk smoothings of valency 4 surface singularities

Thanks to the recent work of Bhupal, Stipsicz, Szabo, and the author, one has a complete list of resolution graphs of weighted homogeneous complex surface singularities admitting a rational homology disk ("QHD") smoothing, i.e., one with Milnor number 0. They fall into several classes, the most interesting of which are the three classes whose resolution dual graph has central vertex with valency 4. We give a uniform "quotient construction" of the QHD smoothings for these classes; it is an explicit Q-Gorenstein smoothing, yielding a precise description of the Milnor fibre and its non-abelian fundamental group. This had already been done for two of these classes in a previous paper; what is new here is the construction of the third class, which is far more difficult. In addition, we explain the existence of two different QHD smoothings for the first class. We also prove a general formula for the dimension of a QHD smoothing component for a rational surface singularity. A corollary is that for the valency 4 cases, such a component has dimension 1 and is smooth. Another corollary is that "most" H-shaped resolution graphs cannot be the graph of a singularity with a QHD smoothing. This result, plus recent work of Bhupal-Stipsicz, is evidence for a general Conjecture: The only complex surface singularities with a QHD smoothing are the (known) weighted homogeneous examples.

preprint2008arXiv

The End Curve Theorem for normal complex surface singularities

We prove the "End Curve Theorem," which states that a normal surface singularity $(X,o)$ with rational homology sphere link $Σ$ is a splice-quotient singularity if and only if it has an end curve function for each leaf of a good resolution tree. An "end-curve function" is an analytic function $(X,o)\to (\C,0)$ whose zero set intersects $Σ$ in the knot given by a meridian curve of the exceptional curve corresponding to the given leaf. A "splice-quotient singularity" $(X,o)$ is described by giving an explicit set of equations describing its universal abelian cover as a complete intersection in $\C^t$, where $t$ is the number of leaves in the resolution graph for $(X,o)$, together with an explicit description of the covering transformation group. Among the immediate consequences of the End Curve Theorem are the previously known results: $(X,o)$ is a splice quotient if it is weighted homogeneous (Neumann 1981), or rational or minimally elliptic (Okuma 2005).

preprint2005arXiv

Complete intersection singularities of splice type as universal abelian covers

It has long been known that every quasi-homogeneous normal complex surface singularity with Q-homology sphere link has universal abelian cover a Brieskorn complete intersection singularity. We describe a broad generalization: First, one has a class of complete intersection normal complex surface singularities called "splice type singularities", which generalize Brieskorn complete intersections. Second, these arise as universal abelian covers of a class of normal surface singularities with Q-homology sphere links, called "splice-quotient singularities". According to the Main Theorem, splice-quotients realize a large portion of the possible topologies of singularities with Q-homology sphere links. As quotients of complete intersections, they are necessarily Q-Gorenstein, and many Q-Gorenstein singularities with Q-homology sphere links are of this type. We conjecture that rational singularities and minimally elliptic singularities with Q-homology sphere links are splice-quotients. A recent preprint of T Okuma presents confirmation of this conjecture.

preprint2005arXiv

Complex surface singularities with integral homology sphere links

While the topological types of {normal} surface singularities with homology sphere link have been classified, forming a rich class, until recently little was known about the possible analytic structures. We proved in [Geom. Topol. 9(2005) 699-755] that many of them can be realized as complete intersection singularities of "splice type", generalizing Brieskorn type. We show that a normal singularity with homology sphere link is of splice type if and only if some naturally occurring knots in the singularity link are themselves links of hypersurface sections of the singular point. The Casson Invariant Conjecture (CIC) asserts that for a complete intersection surface singularity whose link is an integral homology sphere, the Casson invariant of that link is one-eighth the signature of the Milnor fiber. In this paper we prove CIC for a large class of splice type singularities. The CIC suggests (and is motivated by the idea) that the Milnor fiber of a complete intersection singularity with homology sphere link Sigma should be a 4-manifold canonically associated to Sigma. We propose, and verify in a non-trivial case, a stronger conjecture than the CIC for splice type complete intersections: a precise topological description of the Milnor fiber. We also point out recent counterexamples to some overly optimistic earlier conjectures in [Trends in Singularities, Birkhauser (2002) 181--190 and Math. Ann. 326(2003) 75--93].

preprint1996arXiv

On Cohomology of the Square of an Ideal Sheaf

For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a given $X$, and for a Veronese embedding of $\Bbb P^n$. For $C\subset\Bbb P^{g-1}$, the canonical embedding of a non-hyperelliptic curve, this condition guarantees the vanishing of some obstruction groups to deformations of the cone. Recall that the tangents to deformations are dual to the cokernel of the Gaussian-Wahl map. \proclaim{Theorem} Suppose the Gaussian-Wahl map of $C$ is not surjective and the vanishing condition is fulfilled. Then $C$ is {\bf extendable}: it is a hyperplane section of a surface in $\Bbb P^g$ not the cone over $C$.\endproclaim Such a surface is a K3 if smooth, but it could have serious singularities. \proclaim{Theorem} For a general curve of genus $\ge3$, this vanishing holds. \endproclaim \proclaim{Conjecture} If the Clifford index is $\ge3$, this vanishing holds. \endproclaim

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint