3
$\begingroup$

All:

I have been trying to understand the meaning of the expression "regular neighborhood" in the context described below, but I'm stuck:

We have a collection of curves $c_i$; i=1,2,..,n. embedded in $Sg$, the orientable genus-g surface, with 2 boundary components , satisfying these properties:

i) $c_i$ intersects $c_{i+1}$ transversely in a single point, and the algebraic intersection $c_i \cap c_{i+1}$ is +1

ii)$c_i \cap c_j$ is empty for |i-j|>1, and

iii) The homology classes of the $c_i$ are linearly-independent.

The claim is then made that if n is even, the regular 'hood (neighborhood) has genus

$\frac{n-1}{2}$ ,and two boundary components, while if n is odd, the 'hood has $\frac {n}{2}$ and one boundary component if n is even.

My understanding of regular neighborhoods is limited; I have had trouble finding a precise definition for them; there is one for simplicial complexes, and I have also seen , I think, descriptions of regular neighborhoods which see to come down to being tubular 'hoods, but neither of these seems to apply. The case of the algebraic intersection has to see with a choice of orientation for the (tangent spaces at intersection points of the )$c_i$'s , so that I do not see how this would help.

I think the author (D.Johnson) is choosing the c_i's in a way that consecutive ones are "perpendicular", in that planes containing them would be perpendicular. I think also the c_j's are supposed to be some variant of a symplectic basis (def. as being a basis {x_i,y_i} for $H_1(S_g)$ so that $x_i$ intersects $y_j$ exactly once when i=j, and the $x_i$ do not intersect the $y_j$ otherwise.

Thanks in Advance.

  • 0
    MO copy of the question: http://mathoverflow.net/questions/70377/meaning-of-regular-neighborhood-for-homology-basis-curves-in-s-g-22016-06-02

1 Answers 1

4

If $X$ is a subset of a manifold $M$ a regular neighbourhood of $X$ in $M$ usually means a neighbourhood of $X$ in $M$ which is a mapping cylinder $f : Y \to X$, such that the embedding $C_f \to M$ embeds $Y$ as a smooth (or whatever category you like to work in) submanifold of $M$. The image of the embedding $C_f \to M$ is the regular neighbourhood of $X$ in $M$.

So if you have a collection of transverse curves in a surface, $M$ would be your surface and $X$ would be the union of the curves.

I'm not sure if there is a strong convention for "spine of a surface" in the literature but when people say such phrases I interpret this to mean either the 1-skeleton of a CW-decomposition of the surface, or some regular neighbourhood of such a 1-skeleton, or some combinatorial way of encoding such a 1-skeleton. Usually people mean one of these three things.

FYI, I'm going to vote to close your duplicate question on mathoverflow. Your question is more appropriate for this forum.

  • 0
    Just in case, the Y is the one in the first paragraph of your answer.2011-07-18