## Hypersurface singularities and virtually overtwisted contact structures

## Edoardo Fossati

It is known that the lens space L (2 n, 1) supports a virtually overtwisted contact structure arising as the boundary of the Milnor fiber of a complex hypersurface singularity. In this article we study the problem of realizing other ( L p, q ( ) , ξ ) in such a way, obtaining a series of necessary conditions for this to happen.

## 1 Introduction

Following [NS12], we review some terminology of singularity theory. Let f : ( C 3 , 0) → ( C , 0) be the germ of a complex analytic function and let

$$K = f ^ { - 1 } ( 0 ) \cap S _ { \varepsilon }$$

be the link of the singularity , where S ε is the sphere of radius ε centered at the origin. Milnor proved in [Mil16] that there exists ε 0 &gt; 0 such that ∀ 0 &lt; ε &lt; ε 0 the map

$$f / | f | \colon S _ { \varepsilon } \smallsetminus K \rightarrow S ^ { 1 } = \{ z \in \mathbb { C } \, \colon \, | z | = 1 \}$$

is a smooth fibration. For any such ε there exists δ ε so that ∀ 0 &lt; δ &lt; δ ε the restriction

$$f \colon B _ { \varepsilon } \cap f ^ { - 1 } ( \partial D _ { \delta } ) \to \partial D _ { \delta }$$

is a smooth fibration, whose diffeomorphism type does not depend on ε and δ . This is what we refer to as the Milnor fibration of f . The fiber

$$F = F _ { \varepsilon, \delta } = B _ { \varepsilon } \cap f ^ { - 1 } ( \delta )$$

is the Milnor fiber of f (we omit ε and δ from the notation of F ). If f is the germ of an isolated singularity, then we have a diffeomorphism ∂F glyph[similarequal] K , but in the case of non-isolated singularity K is not smooth (while F and ∂F are always smooth manifolds). The boundary of the Milnor fiber comes with an extra structure, as explained below. Recall that:

Definition. A contact structure on a 3-manifold M is a nowhere integrable planes distribution ξ . If there exists an embedded disk D ↪ → M such that ξ agrees with TD along the boundary ∂D , then the contact structure ξ is said to be overtwisted , otherwise it is called tight . A tight structure ξ is called universally tight if its pullback to the universal cover ˜ M is tight. The tight structure ξ is called virtually overtwisted if its pullback to some finite cover is overtwisted.

Remark. A consequence of the geometrization conjecture is that the fundamental group of any 3-manifold is residually finite (i.e. any non trivial element is in the complement of a normal subgroup of finite index), and this implies that any tight contact structure is either universally tight or virtually overtwisted (see [Hon00]).

Contact topology shows up in singularity theory in the following way: the Milnor fiber F of a singularity comes with a Stein structure J which makes it a Stein filling of its boundary ∂F equipped with the contact structure

$$\xi = T \partial F \cap J T \partial F,$$

which is always tight (see [Eli90]). Therefore, from a complex germ f : ( C 3 , 0) → ( C , 0) we obtain a contact 3-manifold ( ∂F,ξ ) with a Stein filling ( F, J ) of it. We have a dichotomy:

- · the singularity is isolated. In this case the structure ξ is universally tight (see [LO10]). Another work on this topic is [AHKNS16], where the authors show that the link of the hypersurface singularity

$$z ^ { p } + 2 x y = 0$$

is L p, p ( -1) with its unique tight contact structure (universally tight). We will prove (see corollary 9) that this is the only lens space arising as the link of an isolated hypersurface singularity.

- · The singularity is not isolated. By contrast with previous point, this is the only case where a virtually overtwisted contact structure can arise. A good source of examples is given by the Hirzebruch singularity

$$z ^ { 2 } + x y ^ { n } = 0$$

with n &gt; 1 , for which the boundary of the associated Milnor fiber is L (2 n, 1) . This type of singularity is studied in [MPW09, section 6].

Given a pair of coprime integers p &gt; q &gt; 1 , we consider the continued fraction expansion

$$\frac { p } { q } = [ a _ { 1 }, a _ { 2 }, \dots, a _ { n } ] = a _ { 1 } - \frac { 1 } { a _ { 2 } - \cfrac { 1 } { \ddots - \frac { 1 } { a _ { n } } } }$$

with a i ≥ 2 for every i . As a smooth oriented 3-manifold, the lens space L p, q ( ) is the integral surgery on a chain of unknots with framings -a , 1 -a , . . . , 2 -a n (figure 1).

The goal of this article is to study those lens spaces L p, q ( ) with a tight contact structure ξ arising as the boundary of the Milnor fiber of a hypersurface singularity f : ( C 3 , 0) → ( C , 0) . Theorem 1 gives a partial answer to a question raised by [NS12, open problems 24.4.2].

Theorem 1 . Let ξ vo be a virtually overtwisted structure on L p, q ( ) . If we are in one of the cases below, then ( L p, q ( ) , ξ vo ) is not the boundary of the Milnor fiber of any complex hypersurface singularity:

- a) p/q = [ a , a 1 2 , . . . , a n ] and a i is odd for some i ;
- b) p/q = [2 x , 1 2 x 2 ] ;

c)

p/q

= [2

x ,

1

2

x , . . . ,

2

2

x

n

]

,

with

x

i

i)

q

2

glyph[negationslash]

≡

1

mod

p

;

- ii) q 2 ≡ 1 mod p and n is even.

The first step in proving this theorem is to characterize those contact structures ξ which can appear in the context of hypersurface singularity: the fact that c 1 ( ξ ) vanishes imposes certain conditions on the coefficients in the continued fraction expansion of p/q , which allow us to prove part ( a ) of theorem 1. Section 2 deals with these numerical restrictions, adapted

&gt;

1

for every

i

(

n

≥

3

) and either:

L p q

1

L p q

(

a

2

-

= [

a

,

a

, …,

a

n

],

a

i

≥ 2

/uni22F1

-

1

1

1

2

a n

-

-

a

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00782v1-figure-f7f80275-8659-418f-bd4b-b3fe210500e8.jpg)

a

-

a

-

a

-

a

(

,

p

q

=

) =

a

1

S

-

3

!

Edoardo Fossati - SNS (Pisa) 2 Figure 1: Surgery link producing L p, q ( ) .

to the language of contact geometry. To prove parts ( b ) and ( c ) we need to look closely at the topology of the Milnor fibration and analyze its monodromy. In order to derive our statements we study the integral orthogonal group of the intersection form of the Milnor fiber, imposing a further restriction coming from a theorem of [A'C73]. This is explained in section 3. The article ends with an open question which focuses on the limits of theorem 1: where are these techniques failing?

Acknowledgments The author wishes to thank András Némethi for raising this problem and for the help in trying to tackle it. Thanks are due also to András Stipsicz for the hospitality at the Renyi Institute of Mathematics in Budapest, where this work originated. Lastly, a lot of support and key insights came from Paolo Lisca, who pointed out the results from [Ger95] and [OSS05]. This article will be part of the PhD thesis of the author.

## 2 Vanishing of the rotation numbers

The goal of this section is to prove theorem 2, which is a special case of [OSS05, corollary 1.5] (this result applies since, by [Sch07], every contact structure on L p, q ( ) is planar). We prove it using elementary techniques that do not involve the Heegaard-Floer contact invariant. Theorem 2 will be the starting point in the proof of theorem 1.

Theorem 2 . Let L be a Legendrian linear chain of unknots in the standard contact S 3 and let ( L p, q ( ) , ξ ) be the contact 3-manifold obtained by Legendrian surgery on L . If c 1 ( ξ ) = 0 , then rot( L i ) = 0 for every component L i of the link L .

To specify a tight contact structure on L p, q ( ) we put the link of figure 1 into Legendrian position with respect to the standard tight contact structure of S 3 , in order to form a linear chain of Legendrian unknots, see for example figure 2. We do this in such a way that the Thurston-Bennequin number of the i th component is a i -1 . When such a Legendrian representative has been chosen, we get a tight structure ξ on L p, q ( ) by performing ( -1) -contact surgery on it.

The rotation number of an oriented Legendrian knot in ( S , ξ 3 st ) can be computed in the front projection by the formula

$$\text{rot} ( K ) = \frac { 1 } { 2 } ( c _ { D } - c _ { U } ),$$

where c D and c U are respectively the number of down and up cusps. Since, as theorem 2 suggests, we are interested only in those Legendrian realizations with rotation number zero, we can avoid specifying an orientation.

To prove theorem 2 we need some notation that makes the computation easier, and a few results more. Let Q be the linking matrix of the link of figure 1, which represents the intersection form of the plumbed 4-manifold associated to the linear graph

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00782v1-figure-03a0768b-80a1-4469-9cba-7742960afda1.jpg)

,

)

Figure 2: Examples of Legendrian links.

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00782v1-figure-a963e2c8-c4e4-44b3-8a13-1cd2bec5704f.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00782v1-figure-bb9eded6-7254-4ed7-a798-7f83036a250b.jpg)

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00782v1-figure-8e14fa9c-ab37-4e4f-99b2-ecdc7454f725.jpg)

written in the ordered basis given by the meridian of each curve. We know that

$$H ^ { 2 } ( L ( p, q ) ) \ni c _ { 1 } ( \xi ) = 0 \Leftrightarrow \text{PD} ( c _ { 1 } ( \xi ) ) = 0 \in H _ { 1 } ( L ( p, q ) ).$$

By looking at the linear plumbing graph we can express

$$\text{PD} ( c _ { 1 } ( \xi ) ) = \sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i },$$

where r i and µ i are respectively the rotation number rot( L i ) and the meridian of the i th component (compare with [OS13]). The µ i 's are related by a set of equations coming from Q :

$$[ \mathcal { U } _ { 1 0 } ] ]. \text{ in } \mu _ { i } s \text{ are reissue by a see} \\ \begin{cases} - a _ { 1 } \mu _ { 1 } + \mu _ { 2 } = 0 \\ \mu _ { 1 } - a _ { 2 } \mu _ { 2 } + \mu _ { 3 } = 0 \\ \vdots \\ \mu _ { j } - a _ { j + 1 } \mu _ { j + 1 } + \mu _ { j + 2 } = 0 \\ \vdots \\ \mu _ { n - 1 } - a _ { n } \mu _ { n } = 0. \end{cases} \\ \wedge \sim \sim \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \wedge \end{cases}$$

By choosing µ 1 ∈ H 1 ( L p, q ( )) as a generator we can consider it to be 1 ∈ Z /p Z glyph[similarequal] H 1 ( L p, q ( )) and therefore identify all the other µ i 's with numbers (which are well-defined modulo p ). We derive relations which hold over Z , but this will be enough to us thanks to lemma 3. Therefore we get recursive expressions of the form

$$\begin{cases} \mu _ { 1 } = 1 \\ \mu _ { 2 } = a _ { 1 } \\ \mu _ { i } = a _ { i - 1 } \mu _ { i - 1 } - \mu _ { i - 2 }. \end{cases}$$

Then c 1 ( ξ ) is 0 exactly when

$$\sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i } \equiv 0 \text{ modulo } \det ( Q ).$$

Define and note that

- · det( Q ) = ∆[ n ] ;
- · sign(∆[ ]) = ( i -1) i , hence ∆[ ] = ( i -1) i | ∆[ ] i | ;
- · µ i &gt; µ i -1 ;
- · | r i | ≤ a i -2 and r i ≡ a i mod 2 ;
- · ∆[ ] = ( i -1) i µ i +1 (proved by induction), therefore | ∆[ ] i | &gt; | ∆[ i -1] | .

Lemma 3 . Equation 1 is satisfied in Z / det( Q ) Z if and only if it is satisfied in Z .

Proof. We prove by induction on n that

$$| \det ( Q ) | > \left | \sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i } \right |.$$

This will tell that equation 1 can only be satisfied with the zero-multiple of det( Q ) , since clearly for any non-zero m ∈ Z we have

$$| m \cdot \det ( Q ) | > | \det ( Q ) |.$$

If n = 1 then the two sides of the inequality 2 are respectively | -a 1 | and | r 1 | , so it is true. The first interesting case is then n = 2 :

$$a _ { 2 } a _ { 1 } - 1 > r _ { 1 } + r _ { 2 } a _ { 1 }?$$

We have:

$$\begin{cases} \Delta [ - 1 ] = 0 ; \\ \Delta [ 0 ] = 1 ; \\ \Delta [ i ] = - a _ { i } \Delta [ i - 1 ] - \Delta [ i - 2 ] \end{cases}$$

$$r _ { 1 } + r _ { 2 } a _ { 2 } & < ( a _ { 1 } - 2 ) + ( a _ { 2 } - 2 ) a _ { 1 } \\ = & a _ { 1 } a _ { 2 } - a _ { 1 } - 2 \\ < & a _ { 1 } a _ { 2 } - 1. \quad \vee$$

The general case now:

$$I \text{ the general case now} \colon \\ \left | \sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i } \right | = & \left | \sum _ { i = 1 } ^ { n } r _ { i } \Delta [ i - 1 ] \right | \\ < & \left ( \left | \sum _ { i = 1 } ^ { n - 1 } r _ { i } \Delta [ i - 1 ] \right | \right ) + | r _ { n } \Delta [ n - 1 ] | \quad \text{(induction)} \\ < & | \Delta [ n - 1 ] | + | r _ { n } \Delta [ n - 1 ] | \\ \leq & | \Delta [ n - 1 ] | + | ( a _ { n } - 2 ) \Delta [ n - 1 ] |. \\ \text{The area two possibilities for the right hand side} \text{                                                                                                                                                                                                        
                                                                                                                                                                                                        }                                                                                                                                                                                                        \text{$$

There are two possibilities for the right-hand side, according to the parity of n .

1) n is even (hence ∆[ n &gt; ] 0 ):

$$| \Delta [ n - 1 ] + | ( a _ { n } - 2 ) \Delta [ n - 1 ] | & = - \Delta [ n - 1 ] - a _ { n } \Delta [ n - 1 ] + 2 \Delta [ n - 1 ] \\ & = - a _ { n } \Delta [ n - 1 ] + \Delta [ n - 1 ] \\ & < - a _ { n } \Delta [ n - 1 ] - \Delta [ n - 2 ] \ ( \text{because} \ | \Delta [ i ] | > | \Delta [ i - 1 ] | \text{ and } n \text{ is even} ) \\ & = \Delta [ n ] \\ & = | \det ( Q ) |.$$

2) n is odd (hence ∆[ n &lt; ] 0 ):

$$| \Delta [ n - 1 ] + | ( a _ { n } - 2 ) \Delta [ n - 1 ] | = & a _ { n } \Delta [ n - 1 ] - \Delta [ n - 1 ] \\ & < a _ { n } \Delta [ n - 1 ] + \Delta [ n - 2 ] \ ( \text{because} \ | \Delta [ i ] | > | \Delta [ i - 1 ] | \text{ and } n \text{ is odd} ) \\ & = - \Delta [ n ] \\ & = | \det ( Q ) |.$$

✸

Lemma 4 .

$$a _ { n } \mu _ { n } - a _ { n - 1 } \mu _ { n - 1 } > 0.$$

Proof. We prove it by induction on n . If n = 2 then the formula is just

$$a _ { 2 } \mu _ { 2 } - a _ { 1 } \mu _ { 1 } = a _ { 2 } a _ { 1 } - a _ { 1 } > 0. \quad \sqrt { }$$

In general, assuming the result true for n -1 , we have

$$a _ { n } \mu _ { n } - a _ { n - 1 } \mu _ { n - 1 } = & a _ { n } ( a _ { n - 1 } \mu _ { n - 1 } - \mu _ { n - 2 } ) - a _ { n - 1 } \mu _ { n - 1 } \\ = & a _ { n - 1 } \mu _ { n - 1 } ( a _ { n } - 1 ) - a _ { n } \mu _ { n - 2 } \quad \text{(induction)} \\ > & a _ { n - 2 } \mu _ { n - 2 } ( a _ { n } - 1 ) - a _ { n } \mu _ { n - 2 } \\ = & ( a _ { n - 2 } a _ { n } - a _ { n - 2 } - a _ { n } ) \mu _ { n - 2 } \\ > & 0.$$

glyph[negationslash]

Lemma 5 . If r n = 0 , then we have

$$| r _ { n } \mu _ { n } | - | r _ { n - 1 } \mu _ { n - 1 } | > 0.$$

Proof.

$$| r _ { n } \mu _ { n } | - | r _ { n - 1 } \mu _ { n - 1 } | & > | \mu _ { n } | - ( a _ { n - 1 } - 2 ) \mu _ { n - 1 } \\ = & a _ { n - 1 } \mu _ { n - 1 } - \mu _ { n - 2 } - a _ { n - 1 } \mu _ { n - 1 } + 2 \mu _ { n - 1 } \\ = & 2 \mu _ { n - 1 } - \mu _ { n - 2 } \\ & > 0.$$

glyph[negationslash]

Lemma 6 . If r n = 0 , then we have

$$| r _ { n } \mu _ { n } | - \left | \sum _ { i = 1 } ^ { n - 1 } r _ { i } \mu _ { i } \right | > 0.$$

✸

✸

Proof. We prove it by induction on n . If n = 2 the formula is just

$$| r _ { 2 } \mu _ { 2 } | - | r _ { 1 } \mu _ { 1 } | = | r _ { 2 } a _ { 1 } | - | r _ { 1 } | > a _ { 1 } - ( a _ { 1 } - 2 ) = 2 > 0. \quad \sqrt { }$$

glyph[negationslash]

Now we do the general case. Assume the inequality holds for n -1 and let j ≤ n -2 be the biggest integer such that r j = 0 (note that if r i = 0 , ∀ i ≤ n -2 , then by lemma 5 we would be done after the second line in the following computation). We have

$$\text{goges umege suu u a r } j \sim v \, \underset { i = 1 } { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & \nu \, \underset { i = 1 } { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & \nu \, \underset { i = 1 } { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & \nu \, \underset { i = 1 } { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & \nu \, \underset { i = 1 } { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & \nu \, \underset { i = 1 } { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \underset { i = 1 } { \omega } \, \sum \, & \nu \, \\ & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, & \quad \, \\ \quad | r _ { n } \mu _ { n } | - \left | \sum _ { i } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & > | \mu _ { n } | - \left | \sum _ { i = 1 } ^ { j - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { j - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { j - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { j - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { j - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { j - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left| \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { N - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } = \frac { j - 1 } { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { \omega } \, \sum _ { i = 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _{ i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right | \, & - \left | \sum _ { n - 1 } ^ { n - 1 } \, & r _ { i } i \mu _ { i } \right \| \, & - \left | \sum _ { n - 1 } ^ { n$$

✸

Lemma 7 .

Proof.

$$\sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i } = 0 \Longrightarrow r _ { n } \mu _ { n } = - \sum _ { i = 1 } ^ { n - 1 } r _ { i } \mu _ { i } \Longrightarrow | r _ { n } \mu _ { n } | = \left | \sum _ { i = 1 } ^ { n - 1 } r _ { i } \mu _ { i } \right |.$$

glyph[negationslash]

But if r n = 0 , then we should have a strict inequality by lemma 6, hence r n = 0 . By applying this repeatedly we get to

$$r _ { n } = r _ { n - 1 } = \dots = r _ { 1 } = 0.$$

✸

✸

$$\sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i } = 0 \Longrightarrow r _ { i } = 0, \, \forall i.$$

We can finally give the following:

Proof (of theorem 2). By combining lemmas 3 and 7, we have that

$$c _ { 1 } ( \xi ) = 0 \Longleftrightarrow \sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i } \equiv 0 \mod p \Longleftrightarrow \sum _ { i = 1 } ^ { n } r _ { i } \mu _ { i } = 0 \Longleftrightarrow r _ { i } = 0 \, \forall i,$$

where r i = rot( L i ) .

## 3 Proof of main theorem

Are the virtually overtwisted structures on lens spaces realizable as the boundary of the Milnor fiber of some complex hypersurface singularity?

In the universally tight case we know (see [NPP10] and [BO13]) that all the fillings come from algebraic geometry, and the article [CP19] shows that complex surface singularities produce all the fillings of small Seifert 3-manifold equipped with the canonical contact structure.

Key fact: suppose there is a polynomial function f : ( C 3 , 0) → ( C , 0) such that

$$\partial ( F, J ) = ( L ( p, q ), \xi ),$$

where ( F, J ) is the Milnor fiber of f and ξ is the contact structure on the boundary induced by complex tangencies, as explained in section 1. The links of figure 2 represent more than contact 3-manifolds: the components L i of any of those links can be thought as the attaching circles of the 2-handles of the Stein 4-manifold ( F, J ) . The first Chern class c 1 ( F, J ) ∈ H 2 ( F ; Z ) evaluates on each 2-handle as the correspondent rotation number, and c 1 ( ξ ) is the restriction of c 1 ( F, J ) . But the tangent bundle of F is stably trivial, hence c 1 ( F, J ) = 0 , and also c 1 ( ξ ) = 0 on the boundary L p, q ( ) .

Proof (of theorem 1a). If ( L p, q ( ) , ξ vo ) is the boundary of the Milnor fiber of a complex hypersurface singularity, then c 1 ( ξ vo ) = 0 and, by theorem 2, all rot( L i ) are zero. Let p/q = [ a , a 1 2 , . . . , a n ] and remember that

$$a _ { i } \equiv \text{rot} ( L _ { i } ) \mod 2.$$

Since all the rotation numbers are zero, the conclusion follows.

✸

Theorem 2 implies also the following corollary, which will be used later.

Corollary 8 . If ( L p, q ( ) , ξ ) is the boundary of the Milnor fiber of a hypersurface singularity, then it has a unique Stein filling, which is the Milnor fiber itself.

glyph[negationslash]

Proof. The fact that rot( L i ) = 0 for every i implies, by [Men18, theorem 1.3], that from the chain of Legendrian unknots producing ( L p, q ( ) , ξ ) we can forget about those components with tb( L i ) = -1 and look for Stein fillings of the 3-manifold Y which is left. Then, all the Stein fillings of ( L p, q ( ) , ξ ) will be uniquely obtained by attaching the 2-handles (corresponding to the forgotten components) to the Stein fillings of Y . From the link diagram of ( L p, q ( ) , ξ ) we see that Y is a connected sum of ( L n , n ( j j -1) , ξ st ) , where each of the prime factor corresponds to a string of -2 in the expansion of p/q . By [CE12, theorem 16.9], Y admits a unique Stein filling, because each factor ( L n , n ( j j -1) , ξ st ) does. This concludes the proof. ✸

Another consequence of theorem 2 is:

Corollary 9 . Let ( L p, q ( ) , ξ ) be a lens space with a contact structure arising as the link of an isolated hypersurface singularity. Then q = p -1 .

Proof. From theorem 2 we have that all the rotation numbers are zero and [LO10, theorem 2.1] says that ξ is universally tight. By the work of [Hon00] we know that a universally tight structure on a lens space is the result of contact ( -1) -surgery on a link where all the stabilizations appear on the same side, i.e. when the (absolute values of the) rotation numbers are maximal. Therefore every Legendrian knot must have Thurston-Bennequin number equal to -1 :

$$- \frac { p } { q } = [ - 2, - 2, \dots, - 2 ] \quad \Rightarrow \quad q = p - 1.$$

✸

## Proof of Theorem 1b

Corollary 8 says that if ( L p, q ( ) , ξ vo ) arises as ∂ F, J ( ) , then the Stein filling F is uniquely determined: topologically it is given by the plumbing of spheres according to the expansion of p/q . The monodromy ϕ of the Milnor fibration induces, in cohomology, a homomorphism

$$\varphi ^ { * } \colon H ^ { * } ( F ; \mathbb { Z } ) \rightarrow H ^ { * } ( F ; \mathbb { Z } )$$

such that the alternating sum of the traces is zero, by [A'C73, theorem 1]:

$$\ t r ( \varphi ^ { 0 } ) - \ t r ( \varphi ^ { 1 } ) + \ t r ( \varphi ^ { 2 } ) - \ t r ( \varphi ^ { 3 } ) + \ t r ( \varphi ^ { 4 } ) = 0.$$

In our case, the Stein fillings of those lens spaces with c 1 ( ξ ) = 0 are simply connected, hence ϕ 1 = ϕ 3 = 0 . Moreover, ϕ 0 : Z → Z is the identity and ϕ 4 = 0 . Therefore previous equation simply reads as:

$$1 + \text{tr} ( \varphi ^ { 2 } ) = 0.$$

The intersection form of F must be preserved by the homomorphism ϕ 2 and we are therefore led to study its isometry group. If in this group there is no element whose trace is -1 , then formula 3 cannot be satisfied, and we conclude that the polynomial function f : ( C 3 , 0) → ( C , 0) with ( ∂F,ξ ) = ( L p, q ( ) , ξ vo ) does not exist.

Proof (of theorem 1b). Our goal is to prove that there is no f : ( C 3 , 0) → ( C , 0) , with non-isolated singularity, whose Milnor fiber has boundary L p, q ( ) . Note that

$$x _ { 1 } x _ { 2 } > 1,$$

otherwise the induced contact structure is universally tight.

Assume by contradiction that such f exists. Then, by corollary 8, we know that the Milnor fiber F has negative-definite intersection form

$$- M = \begin{bmatrix} - 2 x _ { 1 } & 1 \\ 1 & - 2 x _ { 2 } \end{bmatrix}.$$

By equality 3, we must have tr( ϕ 2 ) = -1 . The morphism ϕ 2 : H 2 ( F ; Z ) → H 2 ( F ; Z ) is induced by a diffeomorphism which preserves the intersection form and therefore it is represented by an integral matrix A with

$$\begin{cases} | \det ( A ) | = 1 \\ \text{tr} ( A ) = - 1 \end{cases}$$

and such that

$$A ( - M ) A ^ { T } = - M.$$

We show now that such matrix cannot exist. We change sign to work with a positive definite matrix:

$$\ a l x. \quad A M A ^ { T } = M \Longrightarrow \begin{bmatrix} a _ { 1 } & a _ { 2 } \\ a _ { 3 } & a _ { 4 } \end{bmatrix} \begin{bmatrix} 2 x _ { 1 } & - 1 \\ - 1 & 2 x _ { 2 } \end{bmatrix} \begin{bmatrix} a _ { 1 } & a _ { 3 } \\ a _ { 2 } & a _ { 4 } \end{bmatrix} = \begin{bmatrix} 2 x _ { 1 } & - 1 \\ - 1 & 2 x _ { 2 } \end{bmatrix}.$$

We get equations:

$$\begin{cases} 2 x _ { 1 } a _ { 1 } ^ { 2 } - 2 a _ { 1 } a _ { 2 } + 2 x _ { 2 } a _ { 2 } ^ { 2 } = 2 x _ { 1 } \\ 2 x _ { 1 } a _ { 3 } ^ { 2 } - 2 a _ { 3 } a _ { 4 } + 2 x _ { 2 } a _ { 4 } ^ { 2 } = 2 x _ { 2 } \end{cases}$$

that can be rewritten as

$$\int ( 2 x _ { 1 } - 1 ) a _ { 1 } ^ { 2 } + ( a _ { 1 } - a _ { 2 } ) ^ { 2 } + ( 2 x _ { 2 } - 1 ) a _ { 2 } ^ { 2 } = 2 x _ { 1 } & & ( 4 \text{a} )$$

$$\Big \| ( 2 x _ { 1 } - 1 ) a _ { 3 } ^ { 2 } + ( a _ { 3 } - a _ { 4 } ) ^ { 2 } + ( 2 x _ { 2 } - 1 ) a _ { 4 } ^ { 2 } = 2 x _ { 2 }.$$

From equations 4a and 4b it follows that a 2 1 ≤ 1 and a 2 4 ≤ 1 . But since tr( A ) = a 1 + a 4 = -1 , we have that either

$$\begin{cases} a _ { 1 } = 0 \\ a _ { 4 } = - 1 \end{cases} \quad \text{ or } \quad \begin{cases} a _ { 1 } = - 1 \\ a _ { 4 } = 0. \end{cases}$$

We do the first case ( a 1 = 0 , a 4 = -1) , the other one is the same. From AMA T = M we also get

$$\left [ 0 \ a _ { 2 } \right ] \begin{bmatrix} 2 x _ { 1 } & - 1 \\ - 1 & 2 x _ { 2 } \end{bmatrix} \begin{bmatrix} a _ { 3 } \\ - 1 \end{bmatrix} = - 1,$$

which gives the equation a 2 ( a 3 + 2 x 2 ) = 1 . Hence a 2 = a 3 + 2 x 2 = 1 (or both -1 , but the conclusion is the same). From 4a we have x a 2 2 2 = x 1 , which gives x 2 = x 1 . Then

$$\pm 1 = \det ( A ) = \det \begin{bmatrix} 0 & \pm 1 \\ a _ { 3 } & - 1 \end{bmatrix} \Longrightarrow a _ { 3 } = \pm 1.$$

We are in the case where a 3 +2 x 2 = 1 , so either x 1 = x 2 = 0 or x 1 = x 2 = 1 , which are both contradicting the condition x x 1 2 &gt; 1 . ✸

## Proof of Theorem 1c

Remember that in order to have c 1 ( ξ ) = 0 we need all the rotation numbers to be zero and in particular all the coefficients in the expansion to be even. Let -M be the negative definite intersection lattice associated to the linear plumbing of spheres

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00782v1-figure-114e1ae8-da32-4ffa-a2b3-7e278be5d770.jpg)

We are looking for a matrix A representing the monodromy of a Milnor fibration on the second cohomology group, that respect the intersection form of the Milnor fiber (i.e. A ( -M A ) T = M ) and whose trace is -1 .

What we need to understand is the integral orthogonal group O Z ( -M ) of the negative definite lattice ( Z n , -M ) , which is isomorphic to O Z ( M ) . The latter is studied in the article [Ger95], where the following theorem is proved:

Theorem ([Ger95]). Let M be the integer matrix

$$\begin{bmatrix} & & \lambda \\ - 1 & \ddots & \ddots & & \\ & \ddots & \ddots & \ddots & \\ & & \ddots & \ddots & - 1 \\ & & & - 1 & 2 x _ { n } \end{bmatrix}$$

with n ≥ 2 and 2 x i ≥ 3 ∀ i .

glyph[negationslash]

- i) If x i = x n +1 -i for some i , then O Z ( M ) = {± id } .
- ii) If x i = x n +1 -i for every i = 1 , . . . , n , then O Z ( M ) = {± id , ± } ρ , where ρ is the isometry that inverts the order of a basis.

Therefore we can derive:

glyph[negationslash]

Proof (of theorem 1c). The condition q 2 ≡ 1 mod p can be rephrased in terms of the coefficients of the expansion by saying that x i ≡ x n +1 -i for some i (see [OW77, appendix]). On the other hand, x i = x n +1 -i for all i if and only if q 2 = 1 mod p .

In the first case, previous theorem tells that if there is an integer matrix A with AMA T = M , then A = ± id . Since this does not have trace -1 , there cannot be a hypersurface singularity whose Milnor fiber has boundary ( L p, q ( ) , ξ vo ) , otherwise we would have a contradiction with A'Campo's formula 3.

In the second case, again A'Campo's formula cannot be satisfied because a hypersurface singularity would produce a Milnor fibration with monodromy A ∈ {± id , ± } ρ :

$$\rho = \begin{bmatrix} & & & 1 \\ & & 1 & \\ &.. & & \\ 1 & & & \end{bmatrix}$$

glyph[negationslash]

and, if n is even, then tr( ρ ) = 0 = -1 .

✸

Question. There are cases which are not covered by theorem 1: every time that in the continued fraction expansion of -p/q appears a -2 , the orthogonal group O Z ( M ) is harder to understand. Nevertheless, in the easier case when q 2 ≡ 1 mod p we have a complete description of O Z ( M ) , but inside this group there is a matrix with trace -1 if the length of the expansion is odd. A simple case is for example

$$- \frac { p } { q } = - \frac { 1 2 } { 7 } = [ - 2, - 4, - 2 ].$$

Our techniques indeed do not exclude that the isometry

$$- \rho = \begin{bmatrix} 0 & 0 & - 1 \\ 0 & - 1 & 0 \\ - 1 & 0 & 0 \end{bmatrix}$$

is the morphism induced by the monodromy of the Milnor fibration of a certain non-isolated hypersurface singularity producing L (12 7) , . How can we deal with cases like this and exclude the existence of such a monodromy? Further works will hopefully clarify this problem and either find the polynomial function or rule out this possibility as well.

## References

[A'C73] Norbert A'Campo. Le nombre de lefschetz d'une monodromie. In Indagationes Mathematicae (Proceedings) , volume 76, pages 113-118. Elsevier, 1973.

[AHKNS16] Leonardo Abbrescia, Irit Huq-Kuruvilla, Jo Nelson, and Nawaz Sultani. Reeb dynamics of the link of the an singularity. Involve, a Journal of Mathematics , 10(3):417-442, 2016.

[BO13]

Mohan Bhupal and Burak Ozbagci. Symplectic fillings of lens spaces as lefschetz fibrations. arXiv preprint arXiv:1307.6935 , 2013.

[CE12] Kai Cieliebak and Yakov Eliashberg. From Stein to Weinstein and back: symplectic geometry of affine complex manifolds , volume 59. American Mathematical Soc., 2012.

[CP19] Hakho Choi and Jongil Park. On symplectic fillings of small seifert 3 -manifolds. arXiv preprint arXiv:1904.04955 , 2019.

| [Eli90]   | Yakov Eliashberg. Filling by holomorphic discs and its applications. Geometry of Low-Dimensional Manifolds: Volume 2: Symplectic Manifolds and Jones-Witten Theory , 2:45, 1990.               |
|-----------|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
| [Ger95]   | Larry J Gerstein. Nearly unimodular quadratic forms. Annals of Mathematics , pages 597-610, 1995.                                                                                              |
| [Hon00]   | Ko Honda. On the classification of tight contact structures i. Geom. Topol , 4:309-368, 2000.                                                                                                  |
| [LO10]    | Yanki Lekili and Burak Ozbagci. Milnor fillable contact structures are universally tight. arXiv preprint arXiv:1005.2385 , 2010.                                                               |
| [Men18]   | Michael Menke. A JSJ-type decomposition theorem for symplectic fillings. arXiv preprint arXiv:1807.03420 , 2018.                                                                               |
| [Mil16]   | John Milnor. Singular Points of Complex Hypersurfaces.(AM-61) , volume 61. Princeton University Press, 2016.                                                                                   |
| [MPW09]   | Françoise Michel, Anne Pichon, and Claude Weber. The boundary of the milnor fiber for some non-isolated singularities of complex surfaces. Osaka Journal of Mathematics , 46(1):291-316, 2009. |
| [NPP10]   | András Némethi and Patrick Popescu-Pampu. On the milnor fibres of cyclic quo- tient singularities. Proceedings of the London Mathematical Society , 101(2):554- 588, 2010.                     |
| [NS12]    | András Némethi and Ágnes Szilárd. Milnor fiber boundary of a non-isolated surface singularity , volume 2037. Springer Science & Business Media, 2012.                                          |
| [OS13]    | Burak Ozbagci and András Stipsicz. Surgery on contact 3-manifolds and Stein surfaces , volume 13. Springer Science & Business Media, 2013.                                                     |
| [OSS05]   | Peter Ozsváth, András Stipsicz, and Zoltán Szabó. Planar open books and floer homology. International Mathematics Research Notices , 2005(54):3385-3401, 2005.                                 |
| [OW77]    | Peter Orlik and Philip Wagreich. Algebraic surfaces with k*-action. Acta Math- ematica , 138(1):43-81, 1977.                                                                                   |
| [Sch07]   | Stephan Schönenberger. Determining symplectic fillings from planar open books. Journal of Symplectic Geometry , 5(1):19-41, 2007.                                                              |

Scuola Normale Superiore, Piazza dei Cavalieri 7, Pisa.

E. Fossati, E-mail address: edoardo.fossati@sns.it
Edoardo Fossati
Hypersurface singularities and virtually overtwisted contact structures
It is known that the lens space $L(2n,1)$ supports a virtually overtwisted
contact structure arising as the boundary of the Milnor fiber of a complex
hypersurface singularity. In this article we study the problem of realizing
other $(L(p,q),\xi)$ in such a way, obtaining a series of necessary conditions
for this to happen.