Skip to main content
added 359 characters in body
Source Link
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

The linear isometries operad is anthe $E_\infty$ operad that most naturally acts on $U(\infty):=colim_n U(n)$$O(\infty):=colim_n O(n)$.

The $n$-ary operations in that operad is the space of linear isometric maps (not necessarily surjective) from $\underbrace{\mathbb R^\infty\oplus\ldots \oplus\mathbb R^\infty}_{n}$ to $\mathbb R^\infty$.

To get an action of that same operad on the unitary group $U(\infty)$, you need to first complexify a map $\mathbb R^\infty\oplus\ldots \oplus\mathbb R^\infty \to \mathbb R^\infty$ to $\mathbb C^\infty\oplus\ldots \oplus\mathbb C^\infty \to \mathbb C^\infty$ in order to construct the induced map $U( \infty)\times\dots\times U(\infty)\to U(\infty)$.

The linear isometries operad is an $E_\infty$ operad that acts on $U(\infty):=colim_n U(n)$.

The $n$-ary operations in that operad is the space of linear isometric maps (not necessarily surjective) from $\underbrace{\mathbb R^\infty\oplus\ldots \oplus\mathbb R^\infty}_{n}$ to $\mathbb R^\infty$.

The linear isometries operad is the $E_\infty$ operad that most naturally acts on $O(\infty):=colim_n O(n)$.

The $n$-ary operations in that operad is the space of linear isometric maps (not necessarily surjective) from $\underbrace{\mathbb R^\infty\oplus\ldots \oplus\mathbb R^\infty}_{n}$ to $\mathbb R^\infty$.

To get an action of that same operad on the unitary group $U(\infty)$, you need to first complexify a map $\mathbb R^\infty\oplus\ldots \oplus\mathbb R^\infty \to \mathbb R^\infty$ to $\mathbb C^\infty\oplus\ldots \oplus\mathbb C^\infty \to \mathbb C^\infty$ in order to construct the induced map $U( \infty)\times\dots\times U(\infty)\to U(\infty)$.

Source Link
André Henriques
  • 43.2k
  • 5
  • 130
  • 264

The linear isometries operad is an $E_\infty$ operad that acts on $U(\infty):=colim_n U(n)$.

The $n$-ary operations in that operad is the space of linear isometric maps (not necessarily surjective) from $\underbrace{\mathbb R^\infty\oplus\ldots \oplus\mathbb R^\infty}_{n}$ to $\mathbb R^\infty$.