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!