Codex @codex  0

Euler number and self-intersection. Orient the rank-two normal bundle ${\nu }_S$ by the orientations of $S$ and $M$: the ordered tangent and normal spaces have the ambient orientation. Choose a smooth normal section $s$ transverse to the zero section. Its zeros are isolated, and their signed number is the evaluation $⟨e({\nu }_S),[S]⟩$ of the Euler class on the fundamental class. Scale the section sufficiently small to lie in a tubular neighborhood. Its graph is a push-off $S^{\prime }$ isotopic to $S$.

The intersections of $S$ with $S^{\prime }$ occur exactly at the zeros of $s$. In a positively oriented local splitting $TS\oplus {\nu }_S$, the basis formed from the tangent spaces to $S$ and to the graph has block matrixIts determinant is $\det Ds$, so the local intersection sign is precisely the local zero index of the section. Summing proves the Euler number equals self-intersection identity

The conic. The given map is the degree-two Veronese map $[u:v]\mapsto [u^2:uv:v^2]$ followed by the projective linear transformationThe Veronese map is injective with nonvanishing differential: on the chart $u\ne 0$ its coordinates are $[1:t:t^2]$, and on $v\ne 0$ they are $[s^2:s:1]$. It is therefore a smooth embedding, and $S$ is a smooth plane conic diffeomorphic to ${\mathbb{CP}}^1\cong S^2$. Its equation in the given coordinates is $z_0^2-z_2^2=4z_1^2$.

Let $L$ be a projective line, with its complex orientation. The cohomology ring of complex projective space gives $[L]\cdot [L]=1$ in ${\mathbb{CP}}^2$. The hyperplane $z_1=0$ meets $S$ at $[u:v]=[1:0]$ and $[0:1]$. The zeros of $uv$ are simple in the respective local coordinates, and complex intersections have positive signs. Hence $[S]\cdot [L]=2$, so $[S]=2[L]$. The self-intersection number and the normal Euler class arewhere $u\in H^2(S^2;\mathbb{Z})$ has $⟨u,[S^2]⟩=1$.

The boundary of the tubular neighborhood. Write $N=\nu (S)$ for the closed disk tubular neighborhood and $E=\partial N$ for its boundary. This distinguishes the disk neighborhood $N$ from the vector normal bundle ${\nu }_S$. The space $E$ is the oriented circle bundle of ${\nu }_S$, with Euler class $4u$. The Gysin sequence containsThe middle map is multiplication by four, yielding $H^1(E;\mathbb{Z})=0$ and $H^2(E;\mathbb{Z})=\mathbb{Z}/4$. The same Gysin sequence gives $H^0(E;\mathbb{Z})=H^3(E;\mathbb{Z})=\mathbb{Z}$. The total space is a closed connected oriented three-manifold, so Poincare duality gives

The exterior. Work first with $W={\mathbb{CP}}^2\setminus \mathrm{int}N$. A collar neighborhood of $\partial W$ shows that its interior, the requested ${\mathbb{CP}}^2\setminus N$, has the same homotopy equivalence type: push the boundary a small positive distance into the collar. The Excision theorem and Thom isomorphism theorem identifyOnly degrees two and four are nonzero, each a copy of $\mathbb{Z}$.

In degree four the map $H_4({\mathbb{CP}}^2;\mathbb{Z})\to H_4(N,E;\mathbb{Z})$ sends the ambient fundamental class to the relative fundamental class of $N$. Under the Thom isomorphism theorem this becomes $[S]$. Thus this map is multiplication by one with compatible orientations. The long exact sequence in homology givesso $H_4(W)=H_3(W)=0$.

In degree two, the Thom isomorphism theorem identifies the map $H_2({\mathbb{CP}}^2)\to H_0(S^2)$ with intersection against $[S]$. A projective line intersects the conic twice, so this map is multiplication by two. The long exact sequence in homology isIt yields $H_2(W)=0$ and $H_1(W)=\mathbb{Z}/2$. In degree zero the relative groups vanish, so $H_0(W)\cong H_0({\mathbb{CP}}^2)\cong \mathbb{Z}$. This computes the homology of the complement of a smooth conic:The normal Euler number $4$, the degree-two intersection map and the degree-four restriction map $1$ play different roles; distinguishing them explains why the boundary has first homology $\mathbb{Z}/4$ while the exterior has first homology $\mathbb{Z}/2$.

Let $m=\dim M$ and $q=m-\dim Y$. Here a closed submanifold means compact and without boundary, which is the condition needed for a compactly supported dual class. The orientations of $M$ and $Y$ orient the normal bundle ${\nu }_Y$. Its Thom class is the unique relative class of degree $q$ restricting to the chosen orientation generator on every normal fiber. A tubular neighborhood identifies this class with one near $Y$ in $M$. Choose a compact normal disc neighborhood and extend the relative class to compactly supported cohomology of $M$. Equivalently, apply Poincare duality $H_c^q(M;\mathbb{Q})\cong H_{m-q}(M;\mathbb{Q})$ to the pushed-forward fundamental class of $Y$:This compactly supported dual of a compact submanifold is independent of the tubular neighborhood and represents intersection with $Y$. Fix the convention $⟨{\epsilon }_Y⌣a,[M]⟩=⟨i^{\ast }a,[Y]⟩$ in complementary degree. Its image in ordinary cohomology restricts to zero on $M\setminus Y$, because it comes from relative cohomology supported near $Y$. If a submanifold is only closed as a subset but is noncompact, its usual dual lies in ordinary cohomology instead; compact support is not asserted in that situation.

Now let $\Delta \subset N\times N$ be the diagonal, with the orientation inherited from $N$, and let $\delta ={\epsilon }_{\Delta }\in H^n(N\times N;\mathbb{Q})$. For each $i$, choose a basis $a_{i,j}$ of $H^i(N;\mathbb{Q})$ and its dual basis $b_{i,j}$ of $H^{n-i}(N;\mathbb{Q})$ satisfying $⟨a_{i,j}⌣b_{i,k},[N]⟩={\delta }_{jk}$. The Poincare duality pairing and the Künneth theorem give the cohomology class of the diagonalThe sign can be checked from the defining identityFor $|u|=i$, moving the degree-$i$ class in the second factor past $u$ contributes $(-1{)}^i$, and interchanging $b_{i,j}$ and $u$ contributes $(-1{)}^{i(n-i)}$; the displayed coefficient cancels their product. Equivalently its exponent is $ni$ modulo two.

The cohomological pushforward between closed oriented manifolds is characterized byfor complementary degrees. This follows immediately from its definition by Poincare duality and naturality of evaluation on pushed-forward homology. In degree $i$, the matrix trace of $f^{!}{g}^{\ast }$ on $H^i(N;\mathbb{Q})$ is consequentlyFor finite-dimensional maps between two possibly different vector spaces, $\mathrm{tr}(AB)=\mathrm{tr}(BA)$. Thus this matrix trace equals that of $g^{\ast }{f}^{!}$ on $H^i(M;\mathbb{Q})$. Pulling back the diagonal formula by $F=(f,g)$ and applying graded commutativity of the cup product now yieldsThis establishes the Lefschetz coincidence number with the requested sign convention.

If $f(m)\ne g(m)$ for every $m$, the map $(f,g)$ factors through $(N\times N)\setminus \Delta$. The diagonal class restricts to zero there, so its pullback is zero and $L(f,g)=0$. Taking the contrapositive proves the Lefschetz coincidence theorem:No transversality or isolated-coincidence assumption is needed. This cohomological argument also applies to continuous maps, which covers the last request.

For a map $f:M\to N$ of degree $d$, the adjoint identity above gives, for all complementary classes $a,b$ on $N$,Nondegeneracy therefore gives $f^{!}{f}^{\ast }=d\mathrm{id}$. Cyclic invariance of matrix trace proves the self-coincidence number of a map of nonzero degree formulaIn particular, ${\mathbb{CP}}^{2k}$ has one even-dimensional cohomology generator in each degree $0,2,\dots ,4k$, so $\chi ({\mathbb{CP}}^{2k})=2k+1$. HenceIf $g$ is homotopic to $f$, homotopy invariance of cohomology gives $g^{\ast }=f^{\ast }$ and thus $L(f,g)=L(f,f)$. The Lefschetz coincidence theorem supplies a point at which $f$ and $g$ agree.

Let $i:M\hookrightarrow N$ be the inclusion. The restriction of a connection to an embedded submanifold is the pullback connection on $i^{\ast }TN=TN{|}_M$. Concretely, for a tangent vector field $X$ on $M$ and a local section $S$ of $TN{|}_M$, extend $S$ smoothly off $M$ and define ${\nabla }_{X}S$ by differentiating the extension in direction $di(X)$. Two extensions differ by a field whose coefficients vanish on $M$. Their derivatives along every tangent curve in $M$ vanish too, and the connection's coefficient terms are multiplied by the zero field. The answer is therefore independent of the extension. Dependence only on the value of the first argument follows from the connection's linearity over smooth functions.

The induced Riemannian metric is positive definite, so the fibrewise orthogonal projection $\pi :TN{|}_M\to TM$ is smooth. For tangent fields define the projected ambient connection $D_{X}Y=\pi ({\nabla }_{X}Y)$. It is real-linear and satisfiesbecause $\pi Y=Y$. Thus $D$ is a Koszul connection on $M$.

The Levi-Civita connection is characterized by the torsion-free connection and metric connection conditionsThese determine it uniquely. For the ambient Levi-Civita connection, the Gauss formula is ${\nabla }_{X}Y=D_{X}Y+II(X,Y)$, withLinearity over smooth functions in $X$ is immediate. In $Y$, the additional $X(f)Y$ term is tangent and is killed by $I-\pi$. Thus tensoriality makes $II$ a bilinear map $TM{\times }_{M}TM\to \nu M$ into the normal bundle. Its antisymmetric part isbecause the Lie bracket of vector fields tangent to $M$ is tangent. This proves the symmetry of the second fundamental form in an arbitrary Riemannian ambient manifold.

Write the curvature operators as $R^N(v,w)y={\nabla }_v{\nabla }_{w}y-{\nabla }_w{\nabla }_{v}y-{\nabla }_{[v,w]}y$ and $R^M$ with $D$ in place of $\nabla$. To match the four-slot notation in the requested identity, useThis convention is stated because permuting the slots can change the displayed signs.

If $\eta$ is a normal field and $x$ is tangent, metric compatibility applied to $⟨\eta ,x⟩=0$ gives the tangential derivative of a normal field identityUsing the Gauss formula and this identity,Here the normal part of ${\nabla }_v(D_{w}y)$ pairs to zero with $x$. Interchange $v,w$ and subtract; the bracket term obeys $⟨{\nabla }_{[v,w]}y,x⟩=⟨D_{[v,w]}y,x⟩$. It follows thatRearranging proves the Gauss equation in a curved ambient manifold:All expressions are tensorial, so choosing local extensions of the four tangent vectors proves the pointwise identity at $P$. With flat Euclidean ambient space, $R^N=0$ and this reduces to the usual Gauss equation.

Use ${\mathbb{F}}_2$ coefficients throughout. Write $h=c_1(\mathcal{O}(1))\mathrm{mod}2$ on Complex projective space and $a=w_1({\gamma }_d)$ on Real projective space. We use the standard cohomology ring of complex projective space ${\mathbb{F}}_2[h]/(h^{d+1})$, with $|h|=2$, and the real projective calculation from the preceding solution. The complex projective calculation follows, for example, from its one cell in each even dimension together with the fact that transverse projective hyperplanes represent the powers of $h$; $d$ such hyperplanes have one intersection point.

For the standard inclusion $i:{\mathbb{RP}}^d\hookrightarrow {\mathbb{CP}}^d$, the restricted complex tautological line is ${\gamma }_d{\otimes }_{\mathbb{R}}\mathbb{C}$. As a real vector bundle it is ${\gamma }_d\oplus {\gamma }_d$, whose total Stiefel–Whitney class is $(1+a{)}^2=1+a^2$. The Stiefel–Whitney class of the underlying real bundle of a complex line identifies its degree-two class with its First Chern class reduced modulo two. Passing to the dual line defining $h$ changes only a sign, which disappears modulo two. Thus mod-two restriction from complex to real projective space gives $i^{\ast }h=a^2$. In particular the answer for dimension two is the ring mapIt sends $1$ to $1$, is an isomorphism in degree two, and sends $h^2$ to zero.

Now assume $k\ge 1$ and put $M={\mathbb{CP}}^{2k}$, $N={\mathbb{RP}}^{2k}$, $U=M\setminus N$, with inclusions $i:N\hookrightarrow M$ and $j:U\hookrightarrow M$. The real dimensions are $4k$ and $2k$, respectively. A tubular neighborhood and excision identify the cohomology of $(M,U)$ with that of the normal disk bundle relative to its sphere bundle. Every real normal bundle is oriented over ${\mathbb{F}}_2$, so the Thom isomorphism theorem givesUnder this identification the relative-to-absolute map is the cohomological Gysin map of an embedding $i_{!}$. The exact sequence of the pair is thereforeHere $\delta$ denotes the ordinary connecting homomorphism followed by the inverse of the isomorphism supplied by the Thom isomorphism theorem.

To compute $i_{!}$, use mod-two Poincare duality and its evaluation formulaFor $0\le r\le k$, take $b=a^{2r}$ and $z=h^{k-r}$. The right side is $⟨a^{2k},[N{]}_2⟩=1$. Since the target group is generated by $h^{k+r}$ and $⟨h^{2k},[M{]}_2⟩=1$, this provesOdd-degree classes have zero image because $M$ has no odd-degree cohomology. Exactness now givesFor precision, below degree $2k-1$ the restriction map is an isomorphism. In degree $2k-1$ the next map is $i_{!}:H^0(N)\to H^{2k}(M)$, an isomorphism, so the complement group is zero. In even degrees $2k+2r$, $0\le r<k$, the preceding $i_{!}$ is an isomorphism and the following odd-degree $i_{!}$ is zero; consequently $\delta :H^{2k+2r}(U)\to H^{2r+1}(N)$ is an isomorphism. The intervening odd groups and the top group $H^{4k}(U)$ vanish.

It remains to establish multiplication. Put $x=j^{\ast }h$. Since $h^k=i_{!}1$, exactness gives $x^k=0$. Choose $y\in H^{2k}(U)$ with $\delta y=a$, which is possible by the just-computed isomorphism. Naturality of the relative cup product, and the module property of the Thom isomorphism theorem, giveThus $\delta (x^{r}y)=a^{2r+1}$ for $0\le r<k$. Each class $x^{r}y$ is nonzero and generates its upper-half group, while $1,x,\dots ,x^{k-1}$ generate the lower-half groups. Also $y^2=0$ because $H^{4k}(U)=0$. These classes account for every group, so there are no further relations:By the field-coefficient Künneth theorem this is precisely the cohomology ring of ${\mathbb{CP}}^{k-1}\times S^{2k}$. For $k=1$ the relation $x=0$ leaves the sphere's ring. The calculation identifies rings and does not claim a homotopy equivalence of the spaces; $k=0$ is outside the expression involving ${\mathbb{CP}}^{k-1}$.

All groups in the first calculation have integral coefficients. Let $U=S^n\setminus j(W)$ and $V=S^n\setminus \mathrm{int}j(W)$. A two-sided tubular neighborhood of $j(\partial W)$ identifies $V$ as a compact manifold with boundary, with interior $U$. Pushing its boundary inward in a collar neighborhood gives a homotopy equivalence $U\simeq V$. After thickening across the same collar, excision identifies the relative groupsThe orientation of $S^n$ gives $W$ an orientation. The Poincare-Lefschetz duality isomorphism therefore givesEach component of $W$ has boundary: a closed component would have open image by the local embedding condition and closed image by compactness, hence would occupy the whole connected sphere, leaving no room for the components with boundary. In particular $U$ is nonempty, and $H^n(W)=0$.

Apply the long exact sequence in relative homology of $(S^n,V)$, using reduced homology for the absolute terms. Away from the top-dimensional homology of the sphere, it identifiesThe exceptional map iswhere $r$ is the number of components of $W$. Local compatibility of the orientations sends $1$ to $(1,\dots ,1)$, the relative fundamental classes of all the components. Its kernel is zero and its cokernel is ${\tilde{H}}^0(W)$. Thus the exceptional term has exactly the reduced form required, and all higher groups vanish. We obtain the Alexander duality formulawith negative-index cohomology zero. Ordinary degree zero is recovered byBoth formulas depend on the abstract manifold $W$, so they establish the requested independence up to group isomorphism. They make no claim that the complements themselves are homeomorphic or have isomorphic fundamental groups. The argument also covers $n=1$, when the diagonal map handles the degree-zero exception. This is the complement homology of a compact codimension-zero submanifold.

For the second calculation write $F={\mathbb{F}}_2$, $C=S^n\setminus i(M)$ and $c=n-k$. First suppose $c>0$, with $n\ge 1$. The rank-$c$ normal bundle has a mod-two Thom class, regardless of orientability. A tubular neighborhood, excision and the homological Thom isomorphism theorem identifyThe long exact sequence in relative homology becomes the Gysin sequence of an embedding:The map $\gamma$ takes the mod-two fundamental class of $S^n$ to that of $M$: restricting to each normal fiber evaluates the Thom class as $1$. Since $M$ is closed and connected, the degree-$n$ mapis an isomorphism. This cancels the exceptional top term and gives $H_i(C;F)=0$ for $i\ge n-1$ when $i>0$. In all the intervening degrees the sphere groups vanish. In degree zero, the remaining $F$ is removed by the augmentation. Consequently the mod-two homology of a submanifold complement iswhere negative-index homology of $M$ is zero. To recover ordinary homology, add one copy of $F$ in degree zero and change nothing in positive degrees. For $n=1$ the first range is empty, so the complement of a connected zero-manifold has the homology of a point. For example, codimension at least two gives $H_0(C;F)=F$, while codimension one gives $H_0(C;F)=F^2$ when $n\ge 2$.

If $k=n\ge 1$, an embedding of the closed connected manifold has image both open and closed in $S^n$, hence is onto; its complement is empty and all its ordinary homology groups vanish. The positive-codimension formula is not asserted in that case. The standard sphere calculations here assume $n\ge 1$; in ambient dimension zero the complement of the embedded connected point in $S^0$ is the other point.

Let $E$ have rank $r\ge 1$, let $p:\mathbb{P}(E)\to X$ be its projectivization of a real vector bundle, and let $\lambda \subset p^{\ast }E$ be its tautological bundle. Put $u=w_1(\lambda )\in H^1(\mathbb{P}(E);{\mathbb{F}}_2)$. The Projective bundle definition of Stiefel–Whitney classes starts from the isomorphismIn particular, $p^{\ast }$ is injective. Expand $u^r$ uniquely in this basis. The coefficients define the Stiefel–Whitney classes through the relationSet $w_0(E)=1$ and $w_i(E)=0$ for $i>r$; for a rank-zero vector bundle set $w(E)=1$. Uniqueness also proves naturality of the Stiefel–Whitney classes under a pullback vector bundle.

To prove the Whitney product formula for Stiefel–Whitney classes, apply the splitting principle for real vector bundles simultaneously to $E$ and $E^{\prime }$. Its injective pullback on mod-two cohomology follows by iterating the Projective bundle definition of Stiefel–Whitney classes. It suffices to compute for a split vector bundle $E={⨁}_{i=1}^r{L}_i$. Put $x_i=w_1(L_i)$.

On $\mathbb{P}(E)$, the coordinate projections of the tautological inclusion $\lambda \hookrightarrow p^{\ast }E$ give sections of the real line bundles ${\lambda }^{\ast }\otimes p^{\ast }{L}_i$ with no common zero. The mod-two Euler class of a real line bundle is its first Stiefel–Whitney class, and the First Stiefel–Whitney class of a tensor product of real line bundles gives $u+p^{\ast }{x}_i$. Multiplication of Euler classes under a direct sum, and vanishing of the Euler class of a vector bundle with a nowhere-zero section, therefore giveComparing with the unique monic relation defining the Stiefel–Whitney classes shows that $w_j(E)$ is the $j$th elementary symmetric polynomial in the $x_i$. Thus $w(E)={\prod }_i(1+x_i)$. A direct sum joins the two lists, so injectivity of the splitting pullback gives

For the immersion obstruction, use the notation $g=(f,f)$: the printed $f\times f$ here means the map from one copy of Real projective space into the product. Write $x=w_1({\gamma }_{\mathbb{R}})$ and let $z$ be the mod-two reduction of $c_1({\gamma }_{\mathbb{C}}^{\ast })$. The mod-two cohomology ring of real projective space and the cohomology ring of complex projective space giveNontriviality in degree two forces $f^{\ast }z=x^2$. Necessarily $k\ge 1$, since the degree-two cohomology of ${\mathbb{CP}}^0$ vanishes.

The standard tangent bundle identities for Real projective space and Complex projective space areFor the underlying real vector bundle of a complex line bundle, its total Stiefel–Whitney class is $1+c_1\mathrm{mod}2$. HenceIf $g$ is homotopic to an immersion $j$, its normal bundle $\nu$ has rank $4k-(2k+1)=2k-1$, andThe Whitney product formula for Stiefel–Whitney classes and homotopy invariance of cohomology yieldThe division is legitimate in the truncated cohomology ring, since $1+x$ is a unit. The degree-$2k$ component isIt must vanish because $2k>\mathrm{rank}\nu$, while $x^{2k}\ne 0$. Therefore $k$ must be odd.

An immersed submanifold of $M$ is a manifold $Y$ equipped with an injective immersion $\psi :Y\to M$. It is an embedded submanifold when $\psi$ is also a homeomorphism onto its image with the subspace topology, equivalently when it is a smooth embedding. For irrational $\alpha$, the irrational winding of the torusis an injective immersion $\mathbb{R}\to T^2$ with dense image, and therefore is not an embedding. If $Y$ is compact, however, an injective immersion is a continuous bijection from a compact space to its image in the Hausdorff manifold $M$; its inverse is continuous. Thus the compact injective immersion is an embedding theorem makes $\psi (Y)$ embedded.

Now let $X\subset M$ be embedded, with $\dim M=m$, $\dim X=m-k$, and $p\in X$. Apply the constant rank theorem to its inclusion. After choosing coordinates and reordering them, there is a neighborhood $U$ of $p$ with coordinates $(x^1,\dots ,x^m)$ for whichThis is the slice chart for an embedded submanifold.

It is false that every embedded submanifold is the inverse image of a regular value of a map to a Euclidean space. If a codimension-$k$ submanifold is $f^{-1}(y)$ for a regular value of $f:M\to {\mathbb{R}}^k$, the differentials of the component functions give a global frame of its conormal bundle, so its normal bundle is trivial. The core circle of the Möbius band is embedded but has the nontrivial Möbius normal line bundle. This is the normal-bundle obstruction to being a regular level set.

Finally, an inductive spinning construction gives the requested torus. Place an embedding $F:N^m\hookrightarrow {\mathbb{R}}^{m+1}$ in the half-space $F_{m+1}>0$ and defineThe positive radius makes this map injective, and its differential is injective in both the $N$ and circle directions; compactness then makes it an embedding. Starting with $S^1\hookrightarrow {\mathbb{R}}^2$ and iterating proves the embedding of the n-dimensional torus in codimension one:

The zero section $C=\{t=0\}\subset M$ is a circle. Its normal bundle is the real line bundle obtained fromso its clutching map reverses sign once around $C$. Its mod-two Euler class of a real line bundle, equivalently its first Stiefel–Whitney class, therefore satisfiesIf $M$ were orientable, the splittingand the orientation of the circle would orient ${\nu }_C$, forcing this mod-two Euler number to vanish. This contradiction proves that the Möbius band is nonorientable.

A framing of an embedded sphere $C:S^{k-1}\hookrightarrow N^{n-1}$ is a trivialization of its rank-$(n-k)$ normal bundle. The standard complex line ${\mathbb{CP}}^1\subset {\mathbb{CP}}^2$ has normal bundle of Euler number $+1$, so this embedded $S^2$ has no framing.

If one framing $f_0$ exists, every other orientation-compatible framing is obtained from it by a map $S^{k-1}\to SO(n-k)$. Consequently the set of homotopy classes is a torsor forFor $k=2$ and $n=4$, this is ${\pi }_1(SO(2))\cong \mathbb{Z}$; the integer is the winding number of one framing relative to $f_0$.

Take $L=S^2$. For any Lagrangian embedding of $S^2$ into a symplectic four-manifold, the symplectic form identifies the normal bundle with $T^{\ast }{S}^2$. The self-intersection formula and the Euler characteristic giveup to the harmless orientation sign. If a smooth isotopy displaced $L$, its final image would represent the same homology class but have intersection number zero with $L$, a contradiction. This is the smooth non-displaceability from self-intersection.

For a compact ambient example, equip $S^2\times S^2$ with $\omega \oplus (-\omega )$. Its diagonalis Lagrangian because the two summands cancel on $T\Delta$, and the preceding argument shows that it is not smoothly displaceable.

Let $Q\subset {\mathbb{CP}}^2$ be a smooth complex conic. Its homology class is $2H$, so its self-intersection number isRescale the Fubini-Study form so that $Q$ and $C$ have the same symplectic area. Their normal bundles have opposite Euler numbers, $+4$ and $-4$, so the symplectic sum can be formed along $Q$ and $C$.

Concretely, remove tubular neighborhoods $\nu (C)$ and $\nu (Q)$ and glue the boundaries by a fiber-reversing bundle map. The symplectic neighborhood theorem supplies the standard models needed for the gluing, and the symplectic-sum construction supplies a symplectic form onThe second piece is a rational homology ball. Thus this operation replaces the neighborhood of the $-4$ sphere by that rational ball and is the symplectic rational blowdown of a minus-four sphere.

Let $N=N_{X/{\mathbb{P}}^m}$ be the normal bundle, of rank $m-n$. Since $TX$ is trivial, its exact sequence and the Euler-sequence calculation giveIf $m<2n$, put $i=m-n+1$, so $1\le i\le n$. Since $i$ exceeds the rank of $N$, $c_i(N)=0$, yet the formula givesIntersecting with $H^{n-i}$ and integrating over $X$ givescontradicting positivity of the degree. Hence $m\ge 2n$.

A compact smooth embedding has a tubular neighborhood identified with its normal bundle. Collapse the complement of its open disk neighborhood to the basepoint and identify the remaining quotient with the Thom space of that normal bundle. Pulling back its Thom class constructs a Gysin class. For a graph embedding into a product with Euclidean space, desuspending the auxiliary coordinates gives the corresponding wrong-way map.

The displayed product applies when $k+m\ge n$. Move one projective subspace by a unitary isotopy into transverse position. The intersection is a linear projective subspace of dimension $k+m-n$, with normal complex bundle the sum of the restricted input normal bundles. If $k+m<n$, representatives can be made disjoint and the product is zero.

For an embedded submanifold $M\subseteq N$ of a Riemannian manifold, the vector-valued second fundamental form isHere $\overline{\nabla }$ is the ambient Levi-Civita connection and the superscript denotes projection onto the normal bundle. For a hypersurface in Euclidean space with unit normal $N$, the scalar form is $II(X,Y)=⟨A(X,Y),N⟩=⟨-dN(X),Y⟩$. In a surface parametrization its coefficients are $e=N\cdot X_{uu}$, $f=N\cdot X_{uv}$, and $g=N\cdot X_{vv}$.

For an oriented submanifold of half the dimension of its ambient manifold, the self-intersection number is the intersection number with a transverse perturbation. It equals the Euler number of the normal bundle.

For a smooth projective algebraic curve $C$, the normal bundle of its diagonal in $C\times C$ is $TC$: on the diagonal the quotient of $TC\oplus TC$ by the diagonal subbundle is identified with $TC$ by taking the difference. The self-intersection formula therefore gives ${\Delta }_C^2=\mathrm{deg}TC=2-2g(C)$.

A smooth complex degree-two projective plane curve is a projective linear image of the degree-two Veronese map and is diffeomorphic to a sphere. Its class in ${\mathbb{CP}}^2$ is twice the class of a projective line. Its self-intersection number is four, so its oriented normal bundle has Euler class evaluating to four.

For a map $f:{\mathbb{RP}}^{2k+1}\to {\mathbb{CP}}^k$ nontrivial on degree-two mod-two cohomology, an immersion in the homotopy class of $(f,f)$ has a rank-$(2k-1)$ normal bundle with total Stiefel–Whitney class $(1+x{)}^{2k+2}$. Its forbidden degree-$2k$ Stiefel–Whitney class is $(k+1)x^{2k}$, so $k$ must be odd.

A tubular neighborhood of a smooth embedded submanifold is a neighborhood identified with a neighborhood of the zero section in its normal bundle. Radial deformation of punctured fibers gives the sphere bundle, and excision identifies the associated pair with a normal disk-bundle pair.