Skip to main content
added 31 characters in body
Source Link
John Klein
  • 18.8k
  • 53
  • 109

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^2(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^2(X;\Bbb Z) \to H^2(X-Y;\Bbb Z)$ is injective by the Hurewicz theorem and the long exact sequence of a pair (since $X-Y\to X$ is $2$-connected, we have $H^2(X,X-Y;\Bbb Z)=0$). By hypothesis the class of $L$ in $H^2(X;\Bbb Z)$ pushes forward to a trivial class in $H^2(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^2(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^2(X;\Bbb Z) \to H^2(X-Y;\Bbb Z)$ is injective by the Hurewicz theorem and the long exact sequence of a pair (since $X-Y\to X$ is $2$-connected). By hypothesis the class of $L$ in $H^2(X;\Bbb Z)$ pushes forward to a trivial class in $H^2(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^2(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^2(X;\Bbb Z) \to H^2(X-Y;\Bbb Z)$ is injective by the Hurewicz theorem and the long exact sequence of a pair (since $X-Y\to X$ is $2$-connected, we have $H^2(X,X-Y;\Bbb Z)=0$). By hypothesis the class of $L$ in $H^2(X;\Bbb Z)$ pushes forward to a trivial class in $H^2(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

edited body
Source Link
John Klein
  • 18.8k
  • 53
  • 109

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^1(X;\Bbb Z)$$H^2(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^1(X;\Bbb Z) \to H^1(X-Y;\Bbb Z)$$H^2(X;\Bbb Z) \to H^2(X-Y;\Bbb Z)$ is an isomorphisminjective by the Hurewicz theorem and the long exact sequence of a pair (since $X-Y\to X$ is $2$-connected). By hypothesis the class of $L$ in $H^1(X;\Bbb Z)$$H^2(X;\Bbb Z)$ pushes forward to a trivial class in $H^1(X-Y;\Bbb Z)$$H^2(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^1(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^1(X;\Bbb Z) \to H^1(X-Y;\Bbb Z)$ is an isomorphism by the Hurewicz theorem (since $X-Y\to X$ is $2$-connected). By hypothesis the class of $L$ in $H^1(X;\Bbb Z)$ pushes forward to a trivial class in $H^1(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^2(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^2(X;\Bbb Z) \to H^2(X-Y;\Bbb Z)$ is injective by the Hurewicz theorem and the long exact sequence of a pair (since $X-Y\to X$ is $2$-connected). By hypothesis the class of $L$ in $H^2(X;\Bbb Z)$ pushes forward to a trivial class in $H^2(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

added 113 characters in body
Source Link
John Klein
  • 18.8k
  • 53
  • 109

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^1(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^1(X;\Bbb Z) \to H^1(X-Y;\Bbb Z)$ is an isomorphism by the Hurewicz theorem (since $X-Y\to X$ is $2$-connected). By hypothesis the class of $L$ in $H^1(X;\Bbb Z)$ pushes forward to a trivial class in $H^1(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^1(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^1(X;\Bbb Z) \to H^1(X-Y;\Bbb Z)$ is an isomorphism by the Hurewicz theorem (since $X-Y\to X$ is $2$-connected). By hypothesis the class of $L$ in $H^1(X;\Bbb Z)$ pushes forward to a trivial class in $H^1(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

Here is a (slightly) alternative approach in the smooth case. Assume the embedding $Y \to X$ has codimension at least three, where $Y$ is a closed smooth manifold.

What we need to know is that the inclusion $ X-Y \to X$ is at least $2$-connected. This exercise is an easy consequence of transversality, using the codimension $\ge 3$ hypothesis.

Isomorphism classes of line bundles over $X$ are classified by homotopy classes of maps $X \to \Bbb CP^\infty$. I.e., they're in bijection with $H^1(X;\Bbb Z)$, where the trivial class corresponds to the trivial bundle.

But the map $H^1(X;\Bbb Z) \to H^1(X-Y;\Bbb Z)$ is an isomorphism by the Hurewicz theorem (since $X-Y\to X$ is $2$-connected). By hypothesis the class of $L$ in $H^1(X;\Bbb Z)$ pushes forward to a trivial class in $H^1(X-Y;\Bbb Z)$, so it follows that $L$ is trivializable.

(More generally, for a subcomplex $Y \to X$, your conclusion will hold whenever $Y-X\to X$ is $2$-connected.)

Source Link
John Klein
  • 18.8k
  • 53
  • 109
Loading