0
$\begingroup$

Everyone: I am trying to make sense of these statements (doubts are ones contained within asterisks **); both $M$,$N$ are surfaces.:

Setup: $N$ is a surface trivially-embedded in $X^4$, a 4-manifold. $M$ is a compact surface embedded in $X^4$ , with $\partial M$ contained in $N$, and ** $M$ is normal to $N$ along its boundary *, (1)and, * Interior of $M$ is transverse to $N$ ** (2)

This is what I (think) I understand:

(1) *$M$ is normal to $N$ alongs its bdry *: I guess this means that the curve $\partial M$ is in a position such that at each point $p$ where $\partial M\cap N$ is not empty, $T_p(\partial M)$ is perpendicular to $T_pN$. Is it? I know the normal line is (a) perpendicular to the tangent so I am extrapolating that if two manifolds intersect each other normally, that their respective tangent spaces at points (as local linearizations) of intersection are perpendicular to each other, i.e., the tangent space to one of the manifolds is normal to the tangent space of the other manifold.

(2)*"The interior of $M$ is transverse to $N$ *" Here, by interior of $M$, we mean $M-\partial M$. Since both $M$,$N$ are embedded in $X^4$, and are transverse to each other, they intersect at points (since codim(M)+codim(N)=4), and do not intersect in some other way.

Is this correct? Is there something else I should consider?

  • 0
    Sorry, Aaron, I have been way too lazy and inconsiderate about this. I will change next time , if more than one-or-two tags are necessary. Sorry to all who have read my posts.2011-04-04

1 Answers 1

0

Two things: For (1), the phrase "$M$ is normal to $N$ along its boundary" is slightly ambiguous about whose boundary we're talking about, except that $M$ is explicitly defined as having a boundary so I think you're right about that. But for (2), note that it's stronger to say that two submanifolds of complementary codimension intersect transversely than to say that they intersect in points. Remember that a transverse intersection is one where the local model is what you'd expect; a standard counterexample is the pair of curves $y=0$ and $y=x\cdot \sin(1/x)$ in $\mathbb{R}^2$.

  • 0
    Sorry for the delay, Aaron, I had some confusion registering, and could not vote.2011-07-07