Skip to main content
Last fix, promise
Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If(I hope: I keep needing to fix it.) If $G$ is a finite $p$-group$p$-group, then the "Borel construction" defines an injectiona bijection between of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional representations of $G$ into the set $\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$.

(The fact about the injectionbijection $\mathrm{Rep}(G)$ into $\mathrm{Bun}(G)$ is non-trivial; it follows from understanding that the mapa theorem of Dwyer and Zabrodsky $RG\to K(BG)$ is injective("Maps between classifying spaces", whichLNM 1298). I don't know a more elementary proof, but a condition such as "$G$ is true fora $p$-groups as shown by Atiyah, "Characters and Cohomology of Finite Groups", but isn't actually true for all finite groupsgroup" is probably necessary.)

End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If $G$ is a finite $p$-group, then the "Borel construction" defines an injection of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional representations of $G$ into the set $\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$.

(The fact about the injection $\mathrm{Rep}(G)$ into $\mathrm{Bun}(G)$ follows from understanding that the map $RG\to K(BG)$ is injective, which is true for $p$-groups as shown by Atiyah, "Characters and Cohomology of Finite Groups", but isn't actually true for all finite groups.)

End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. (I hope: I keep needing to fix it.) If $G$ is a finite $p$-group, then the "Borel construction" defines a bijection between of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional representations of $G$ into the set $\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$.

(The fact about the bijection $\mathrm{Rep}(G)$ into $\mathrm{Bun}(G)$ is non-trivial; it follows from a theorem of Dwyer and Zabrodsky ("Maps between classifying spaces", LNM 1298). I don't know a more elementary proof, but a condition such as "$G$ is a $p$-group" is probably necessary.)

End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

Fixed claim one more time
Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If $G$ is a finite group$p$-group, then the "Borel construction" defines an injection of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional representations of $G$ into the set $\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$.

(The fact about the injection $\mathrm{Rep}(G)$ into $\mathrm{Bun}(G)$ follows from understanding that the map $RG\to K(BG)$ is injective, which is true for $p$-groups as shown by Atiyah, "Characters and Cohomology of Finite Groups", but isn't actually true for all finite groups.)

End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If $G$ is a finite group, then the "Borel construction" defines an injection of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional representations of $G$ into the set $\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$. End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If $G$ is a finite $p$-group, then the "Borel construction" defines an injection of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional representations of $G$ into the set $\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$.

(The fact about the injection $\mathrm{Rep}(G)$ into $\mathrm{Bun}(G)$ follows from understanding that the map $RG\to K(BG)$ is injective, which is true for $p$-groups as shown by Atiyah, "Characters and Cohomology of Finite Groups", but isn't actually true for all finite groups.)

End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

Softened claim about bundles over BG
Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If $G$ is a finite group, then the "Borel construction" defines an injection of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles overrepresentations of $G$ into the classifying spaceset $BG$ are in bijective correspondence with$\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional real representations ofvector bundles over the classifying space $G$$BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$. End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If $G$ is a finite group, then isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$ are in bijective correspondence with isomorphism classes of $n$-dimensional real representations of $G$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$. End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

The answer is no. Let $G$ be a cyclic group of order $n$ not divisible by $2$, let $V$ be an irreducible $2$-dimensional representation of $G$, and consider the associated vector bundle $EG\times_G V\to BG$ (which I'll call $V$ again). Then $V$ has trivial Stiefel-Whitney classes since $H^q(BG;\mathbb{Z}/2)=0$ if $q>0$, but $V$ can have non-vanishing Pontryagin class (we have $H^*(BG;\mathbb{Z})=\mathbb{Z}[[x]]/(nx)$ where $x\in H^2$, and $p(V)=1-a^2x^2$ with $a\in \mathbb{Z}/n$ depending on the original representation.) Since the Pontryagin class satisfies Whitney sum up to $2$-torsion, this gives a counterexample: the virtual bundle $-V$ is does not come from a vector bundle, since $p(-V)=(1-a^2x^2)^{-1}$.

Now you ask, what if we also require that the Pontryagin classes are (finitely) invertible? There's probably a counterexample here too, though I don't have one at hand.

Added later. Here's one. If $G$ is a finite group, then the "Borel construction" defines an injection of: the set $\mathrm{Rep}_n(G)$ of isomorphism classes of real $n$-dimensional representations of $G$ into the set $\mathrm{Bun}_n(G)$ of isomorphism classes of real $n$-dimensional vector bundles over the classifying space $BG$. In representation theory, there are no additive inverses, so non-trivial bundles over $BG$ which come from representations cannot have inverses. So it's enough to find a non-trivial representation $V$ whose characteristic classes all vanish.

Let $G$ be a cyclic group of order $p^2$, where $p$ is an odd prime, generated by an element $\sigma$. Let $L$ be the $1$-dimensional complex representation given by $\sigma|L=e^{2\pi i/p}$, and write $V$ for the real $2$-dimensional vector bundle underlying the complex line bundle $EG\times_G L\to BG$. It appears that the Pontryagin classes vanish: up to signs, the total Pontryagin class is the total Chern class of $V\otimes \mathbb{C}\approx L\oplus \overline{L}$, and we compute $c(V)=c(L)c(\overline{L}) = (1+px)(1-px) = 1-p^2x^2 = 0$. End addition.

There are obstructions in $K$-theory to "inverting" bundles. There are exterior power operators $\lambda^k:KO(X)\to KO(X)$, such that if $[V]$ is the $K$-class of an actual bundle $V$, we have $\lambda^k([V])=[\Lambda^k V]$, the class of the exterior power bundle. The formal sum $\Lambda_t(x)\in KO(X)[[t]]$ given by $$ \Lambda_t(x)= 1+\lambda^1(x)t+\lambda^2(x)t^2+\dots $$ has a Whitney formula ($\Lambda_t(x+y)=\Lambda_t(x)\Lambda_t(y)$), coming from the usual decomposition $\Lambda^nV=\sum \Lambda^iV\otimes \Lambda^{n-i}V$. Furthermore, if $x=[V]$ is the class of an honest $n$-dimensional bundle, we must have $\lambda^i([V])=[\Lambda^iV]=0$ for $i>n$, so that $\Lambda_t(x)$ is polynomial.

In this case, trivial bundles don't have trivial $\Lambda$-class; instead, writing "$n$" for the trivial $n$-plane bundle, we have $\Lambda_t(n)=(1+t)^n$. Thus, an isomorphism $V\oplus W= n$ implies an identity $\Lambda_t([V])\Lambda_t([W])=(1+t)^n$.

So an even stronger form of your question is: if $V$ is a vector bundle (over a nice space) such that $\Lambda_t([V])/(1+t)^n \in KO(X)[[t]]$ is a polynomial, must it follow that there exists a bundle $W$ such that $V\oplus W\approx n$? Again, I don't have a counterexample here.

Added pontryagin example, and fixed errors
Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163
Loading
Source Link
Charles Rezk
  • 27.2k
  • 3
  • 99
  • 163
Loading