Skip to main content
Commonmark migration
Source Link

Ethan Akin's ["proof"][2]"proof" that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

[![Q defined as pullback of P against itself][1]][1]Q defined as pullback of P against itself

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

(Reference: Ethan Akin, [K-theory doesn’t exist][2]K-theory doesn’t exist, JPAA 12 (1978) pp.177–179.) [1]: https://i.sstatic.net/BVYRc.gif [2]: http://www.sciencedirect.com/science/article/pii/0022404978900324

Ethan Akin's ["proof"][2] that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

[![Q defined as pullback of P against itself][1]][1]

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

(Reference: Ethan Akin, [K-theory doesn’t exist][2], JPAA 12 (1978) pp.177–179.) [1]: https://i.sstatic.net/BVYRc.gif [2]: http://www.sciencedirect.com/science/article/pii/0022404978900324

Ethan Akin's "proof" that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

Q defined as pullback of P against itself

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

(Reference: Ethan Akin, K-theory doesn’t exist, JPAA 12 (1978) pp.177–179.)

Added name of linked paper, to protect against link rot
Source Link

Ethan Akin's "proof"["proof"][2] that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

enter image description here [![Q defined as pullback of P against itself][1]][1]

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

(Reference: Ethan Akin, [K-theory doesn’t exist][2], JPAA 12 (1978) pp.177–179.) [1]: https://i.sstatic.net/BVYRc.gif [2]: http://www.sciencedirect.com/science/article/pii/0022404978900324

Ethan Akin's "proof" that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

enter image description here

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

Ethan Akin's ["proof"][2] that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

[![Q defined as pullback of P against itself][1]][1]

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

(Reference: Ethan Akin, [K-theory doesn’t exist][2], JPAA 12 (1978) pp.177–179.) [1]: https://i.sstatic.net/BVYRc.gif [2]: http://www.sciencedirect.com/science/article/pii/0022404978900324

added 42 characters in body
Source Link
Steven Landsburg
  • 23k
  • 5
  • 95
  • 153

Ethan Akin's "proof" that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

http://www.landsburg.org/akin.gif

enter image description here

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

Ethan Akin's "proof" that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

http://www.landsburg.org/akin.gif

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

Ethan Akin's "proof" that all vector bundles are stably trivial, and hence the $K$-theory of any space must vanish:

Let $V$ be a vector bundle over the base space $B$. Let $T$ be a trivial bundle of the same rank as $V$. To show that $V$ is stably trivial, it suffices to prove that $$V\oplus V=V\oplus T$$.

Let $P$ be the principal bundle associated with $V$. Pull $P$ back over itself to get a bundle $Q$:

enter image description here

Then $Q$ (together with the map to $B$) is the principal bundle associated to $V\oplus V$. But the bundle $Q\rightarrow P$ clearly has a section, namely the diagonal map (viewing $Q$ as a subspace of $P\times P$). Thus $Q=P\times GL_n$, which (together with the same map to $B$) is the principal bundle associated to $V\oplus T$.

Post Made Community Wiki
Source Link
Steven Landsburg
  • 23k
  • 5
  • 95
  • 153
Loading