Skip to main content
added 1516 characters in body
Source Link
BrianT
  • 1.2k
  • 8
  • 12

Let $\mathbb{K}_0 \subset \mathbb{K}$ be two tori (subtori of $(S^1)^n$), and. We suppose that $\mathbb{K}_0$ is obtained from $\mathbb{K}$ by the following procedure: consider, on the lie algebra $\text{Lie}(\mathbb{K})$ of $\mathbb{K}$, a linear function $p : \text{Lie}(\mathbb{K}) \to \mathbb{R}$. If $p$ is "rational", in the sense that $\ker p \subset \text{Lie}(\mathbb{K})$ closes into a torus via the exponential map, then we can define $\mathbb{K}_0$ as the codimension $1$ insubtorus of $\mathbb{K}$ with Lie algebra $\ker p$. 

We denote $EG \to BG$ the universal principal bundle associated with a Lie group $G$, and will consider cohomology with coefficients in $\mathbb{C}$.

I I am trying to understand the classifying map of the circle bundle $$ B\mathbb{K}_0 \overset{\mathbb{K} / \mathbb{K}_0}{\longrightarrow} B\mathbb{K}, $$$$ \pi: B\mathbb{K}_0 \overset{\mathbb{K} / \mathbb{K}_0}{\longrightarrow} B\mathbb{K}, $$ or more precisely its induced map in cohomology. Below are a few arguments in this direction.

 

Let $eu$ denote the Euler classFirst of this bundle. Thenall, the cohomology $H^*(B(\mathbb{K} / \mathbb{K}_0), \mathbb{C}) = \mathbb{C}[eu]$. Thus$H^*(B(\mathbb{K} / \mathbb{K}_0), \mathbb{C})$ can be identified with $$ \mathbb{C}[(\text{Lie}(\mathbb{K}) / \text{Lie}(\mathbb{K}_0))^*] \simeq \mathbb{C}[p]. $$ Thus, the classifying map in cohomology is of the form $$ f : \mathbb{C}[eu] \to H^*(B \mathbb{K}, \mathbb{C}). $$$$ f : \mathbb{C}[p] \to H^*(B \mathbb{K}, \mathbb{C}). $$

My questionLet now $I$ denote the vanishing ideal of $\text{Lie}(\mathbb{K}) \otimes \mathbb{C}$, that is, the following: whatideal generated by the polynomials on $\mathbb{R}^n \otimes \mathbb{C}$ which vanish on $\text{Lie}(\mathbb{K})$, and denote $I_0$ that of $\text{Lie}(\mathbb{K}_0) \otimes \mathbb{C}$. If $(u_1,...,u_n)$ is a basis for $\mathbb{R}^{n*}$, then we have $$ H^*(B \mathbb{K}) \simeq \mathbb{C}[u_1,...,u_n] / I, \quad H^*(B \mathbb{K}_0) \simeq \mathbb{C}[u_1,...,u_n] / I_0. $$

Now, the elementtwo above cohomology groups are related by the Gysin sequence $$ ... \longrightarrow H^*(B \mathbb{K}) \overset{\cup f(p)}{\longrightarrow} H^{*+2}(B \mathbb{K}) \overset{\pi^*}{\longrightarrow} H^{*+2}(B \mathbb{K}_0) \overset{\pi_*}{\longrightarrow} H^{*+1}(B \mathbb{K}) \longrightarrow ... \ . $$ In particular, the image of the cup-product by $f(eu)$$f(p)$ is the kernel of the projection $$ \mathbb{C}[u_1,...,u_n] / I \to \mathbb{C}[u_1,...,u_n] / I_0. $$

Claim: ?$\cup f(p)$ is the multiplication by $p$ !

ThanksCould someone help me ? Thanks to all for your help!

Let $\mathbb{K}_0 \subset \mathbb{K}$ be two tori (subtori of $(S^1)^n$), and suppose that $\mathbb{K}_0$ is of codimension $1$ in $\mathbb{K}$. We denote $EG \to BG$ the universal principal bundle associated with a Lie group $G$, and will consider cohomology with coefficients in $\mathbb{C}$.

I am trying to understand the classifying map of the circle bundle $$ B\mathbb{K}_0 \overset{\mathbb{K} / \mathbb{K}_0}{\longrightarrow} B\mathbb{K}, $$ or more precisely its induced map in cohomology.

Let $eu$ denote the Euler class of this bundle. Then $H^*(B(\mathbb{K} / \mathbb{K}_0), \mathbb{C}) = \mathbb{C}[eu]$. Thus, the classifying map in cohomology is of the form $$ f : \mathbb{C}[eu] \to H^*(B \mathbb{K}, \mathbb{C}). $$

My question is the following: what is the element $f(eu)$ ?

Thanks to all for your help!

Let $\mathbb{K}_0 \subset \mathbb{K}$ be two tori (subtori of $(S^1)^n$). We suppose that $\mathbb{K}_0$ is obtained from $\mathbb{K}$ by the following procedure: consider, on the lie algebra $\text{Lie}(\mathbb{K})$ of $\mathbb{K}$, a linear function $p : \text{Lie}(\mathbb{K}) \to \mathbb{R}$. If $p$ is "rational", in the sense that $\ker p \subset \text{Lie}(\mathbb{K})$ closes into a torus via the exponential map, then we can define $\mathbb{K}_0$ as the codimension $1$ subtorus of $\mathbb{K}$ with Lie algebra $\ker p$. 

We denote $EG \to BG$ the universal principal bundle associated with a Lie group $G$, and will consider cohomology with coefficients in $\mathbb{C}$. I am trying to understand the classifying map of the circle bundle $$ \pi: B\mathbb{K}_0 \overset{\mathbb{K} / \mathbb{K}_0}{\longrightarrow} B\mathbb{K}, $$ or more precisely its induced map in cohomology. Below are a few arguments in this direction.

 

First of all, the cohomology $H^*(B(\mathbb{K} / \mathbb{K}_0), \mathbb{C})$ can be identified with $$ \mathbb{C}[(\text{Lie}(\mathbb{K}) / \text{Lie}(\mathbb{K}_0))^*] \simeq \mathbb{C}[p]. $$ Thus, the classifying map in cohomology is of the form $$ f : \mathbb{C}[p] \to H^*(B \mathbb{K}, \mathbb{C}). $$

Let now $I$ denote the vanishing ideal of $\text{Lie}(\mathbb{K}) \otimes \mathbb{C}$, that is, the ideal generated by the polynomials on $\mathbb{R}^n \otimes \mathbb{C}$ which vanish on $\text{Lie}(\mathbb{K})$, and denote $I_0$ that of $\text{Lie}(\mathbb{K}_0) \otimes \mathbb{C}$. If $(u_1,...,u_n)$ is a basis for $\mathbb{R}^{n*}$, then we have $$ H^*(B \mathbb{K}) \simeq \mathbb{C}[u_1,...,u_n] / I, \quad H^*(B \mathbb{K}_0) \simeq \mathbb{C}[u_1,...,u_n] / I_0. $$

Now, the two above cohomology groups are related by the Gysin sequence $$ ... \longrightarrow H^*(B \mathbb{K}) \overset{\cup f(p)}{\longrightarrow} H^{*+2}(B \mathbb{K}) \overset{\pi^*}{\longrightarrow} H^{*+2}(B \mathbb{K}_0) \overset{\pi_*}{\longrightarrow} H^{*+1}(B \mathbb{K}) \longrightarrow ... \ . $$ In particular, the image of the cup-product by $f(p)$ is the kernel of the projection $$ \mathbb{C}[u_1,...,u_n] / I \to \mathbb{C}[u_1,...,u_n] / I_0. $$

Claim: $\cup f(p)$ is the multiplication by $p$ !

Could someone help me ? Thanks to all for your help!

Source Link
BrianT
  • 1.2k
  • 8
  • 12

Classifying map of a simple circle bundle

Let $\mathbb{K}_0 \subset \mathbb{K}$ be two tori (subtori of $(S^1)^n$), and suppose that $\mathbb{K}_0$ is of codimension $1$ in $\mathbb{K}$. We denote $EG \to BG$ the universal principal bundle associated with a Lie group $G$, and will consider cohomology with coefficients in $\mathbb{C}$.

I am trying to understand the classifying map of the circle bundle $$ B\mathbb{K}_0 \overset{\mathbb{K} / \mathbb{K}_0}{\longrightarrow} B\mathbb{K}, $$ or more precisely its induced map in cohomology.

Let $eu$ denote the Euler class of this bundle. Then $H^*(B(\mathbb{K} / \mathbb{K}_0), \mathbb{C}) = \mathbb{C}[eu]$. Thus, the classifying map in cohomology is of the form $$ f : \mathbb{C}[eu] \to H^*(B \mathbb{K}, \mathbb{C}). $$

My question is the following: what is the element $f(eu)$ ?

Thanks to all for your help!