# BU with tensor product H-space structure

Hi,

I came across the space $BU_\otimes$ when struggling with twisted K-theory. Segal proved that this is an H-space, right? I have read a dozen times by now that the group $[X, BU_\otimes]$ consists of the vector bundles of virtual dimension 1. I can clearly see the semi-group structure there, but what does the inverse of such a bundle look like?

Best regards, Ulrich Pennig

-

I'll write $U(X)=[X,BU_\otimes]$. So $U(X)\subset K(X)=[X,Z\times BU]$ is the multiplicatively closed subset corresponding to "virtual bundles of rank 1". Likewise, I'll write $I(X)=[X,BU]\subset K(X)$ for the ideal of "virtual bundles of rank 0". There's a bijection $a\mapsto 1+a$ from $I(X)$ to $U(X)$.
Here's the claim: if $X$ is compact (let's say it's a finite CW-complex of dimension $n$), then $I(X)$ is a nilpotent ideal (in fact, $I(X)^{n+1}=0$). This is a generic fact about multiplicative cohomology theories, and it can be proved in a number of ways; you can think about it in terms of the multiplicative properties of the Atiyah-Hirzebruch spectral sequence, for instance.
For such $X$, it is clear that elements of $1+a\in U(X)$ are invertible, given by the series $(1+a)^{-1}=1+a+a^2+\cdots$ which terminates since $a\in I(X)$ and $I(X)$ is nilpotent.
For infinite dimensional $X$, you need to argue a little harder. If $X=\lim_{\to} X_i$ where the $X_i$ are finite CW-complexes, then there is a surjection $K(X)\to \lim_{\leftarrow} K(X_i)$, which restricts to surjections for $I(X)$ and $U(X)$. The kernel is a $\lim^1$-term. If the $\lim^1$-term vanishes, then it's clear that elements of $U(X)$ are invertible, since their images in the $U(X_i)$ are invertible. It's enough to check that $\lim^1$-vanishes in the case that $X=BU_\otimes$, which is a standard calculation.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.973067045211792, "perplexity": 173.76868223404506}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2014-35/segments/1408500829661.96/warc/CC-MAIN-20140820021349-00251-ip-10-180-136-8.ec2.internal.warc.gz"}