Skip to main content
edited body
Source Link

[Question forwarded from SE for lack of interaction]

Given an arithmeticgeometric genus $1$ curve with $1$ node $C$ (hence with geometricarithmetic genus $2$), its normalization is given by the elliptic curve $\tilde{C}$, which is isomorphic as algebraic groups to its Jacobian, also denoted by $\tilde{C}$

I am trying to use the Leray-Serre spectral sequence associated to the following exact sequence of algebraic groups

\begin{equation} 1\to \mathbb{C}^*\to J_C \to \tilde{C}\to 0 \end{equation}

to compute the equivariant cohomology of the total space $J_C$.

Here by equivariant I mean the following: inversion of the two points of the node induces a multiplication by $(-1)$ on the fibre $\mathbb{C}^* $, which in turn, makes the cohomology group $H^1_c(\mathbb{C}^*,\mathbb{Q})\cong \mathbb{Q}s_{1^2}$ the sign representation of the permutation group $S_2$.

What I would like to know is a natural way to interpret such an action on $\tilde{C}$, i.e. how to compute $ H_c^*(\tilde{C},\mathbb{Q}s_{1^2}) $, which via the spectral sequence mentioned above would give the rational cohomology with compact support of $J_C$.

My naive attempt involved using group cohomology, since the $\tilde{C}$ is the classifying space of $\mathbb{Z}\oplus\mathbb{Z}$. The problem I am encountering is that I don't see how is $\mathbb{Q}s_{1^2}$ is a $\mathbb{Z}\oplus\mathbb{Z}$-module.

Any reccomendation on how to approach the problem, even with other methods is greatly appreciated.

[Question forwarded from SE for lack of interaction]

Given an arithmetic genus $1$ curve with $1$ node $C$ (hence with geometric genus $2$), its normalization is given by the elliptic curve $\tilde{C}$, which is isomorphic as algebraic groups to its Jacobian, also denoted by $\tilde{C}$

I am trying to use the Leray-Serre spectral sequence associated to the following exact sequence of algebraic groups

\begin{equation} 1\to \mathbb{C}^*\to J_C \to \tilde{C}\to 0 \end{equation}

to compute the equivariant cohomology of the total space $J_C$.

Here by equivariant I mean the following: inversion of the two points of the node induces a multiplication by $(-1)$ on the fibre $\mathbb{C}^* $, which in turn, makes the cohomology group $H^1_c(\mathbb{C}^*,\mathbb{Q})\cong \mathbb{Q}s_{1^2}$ the sign representation of the permutation group $S_2$.

What I would like to know is a natural way to interpret such an action on $\tilde{C}$, i.e. how to compute $ H_c^*(\tilde{C},\mathbb{Q}s_{1^2}) $, which via the spectral sequence mentioned above would give the rational cohomology with compact support of $J_C$.

My naive attempt involved using group cohomology, since the $\tilde{C}$ is the classifying space of $\mathbb{Z}\oplus\mathbb{Z}$. The problem I am encountering is that I don't see how is $\mathbb{Q}s_{1^2}$ is a $\mathbb{Z}\oplus\mathbb{Z}$-module.

Any reccomendation on how to approach the problem, even with other methods is greatly appreciated.

[Question forwarded from SE for lack of interaction]

Given an geometric genus $1$ curve with $1$ node $C$ (hence with arithmetic genus $2$), its normalization is given by the elliptic curve $\tilde{C}$, which is isomorphic as algebraic groups to its Jacobian, also denoted by $\tilde{C}$

I am trying to use the Leray-Serre spectral sequence associated to the following exact sequence of algebraic groups

\begin{equation} 1\to \mathbb{C}^*\to J_C \to \tilde{C}\to 0 \end{equation}

to compute the equivariant cohomology of the total space $J_C$.

Here by equivariant I mean the following: inversion of the two points of the node induces a multiplication by $(-1)$ on the fibre $\mathbb{C}^* $, which in turn, makes the cohomology group $H^1_c(\mathbb{C}^*,\mathbb{Q})\cong \mathbb{Q}s_{1^2}$ the sign representation of the permutation group $S_2$.

What I would like to know is a natural way to interpret such an action on $\tilde{C}$, i.e. how to compute $ H_c^*(\tilde{C},\mathbb{Q}s_{1^2}) $, which via the spectral sequence mentioned above would give the rational cohomology with compact support of $J_C$.

My naive attempt involved using group cohomology, since the $\tilde{C}$ is the classifying space of $\mathbb{Z}\oplus\mathbb{Z}$. The problem I am encountering is that I don't see how is $\mathbb{Q}s_{1^2}$ is a $\mathbb{Z}\oplus\mathbb{Z}$-module.

Any reccomendation on how to approach the problem, even with other methods is greatly appreciated.

added 45 characters in body
Source Link

[Question forwarded from SE for lack of interaction]

Given aan arithmetic genus $1$ curve with $1$ node $C$ (hence with geometric genus $2$), its normalization is given by the elliptic curve $\tilde{C}$, which is isomorphic as algebraic groups to its Jacobian, also denoted by $\tilde{C}$

I am trying to use the Leray-Serre spectral sequence associated to the following exact sequence of algebraic groups

\begin{equation} 1\to \mathbb{C}^*\to J_C \to \tilde{C}\to 0 \end{equation}

to compute the equivariant cohomology of the total space $J_C$.

Here by equivariant I mean the following: inversion of the two points of the node induces a multiplication by $(-1)$ on the fibre $\mathbb{C}^* $, which in turn, makes the cohomology group $H^1_c(\mathbb{C}^*,\mathbb{Q})\cong \mathbb{Q}s_{1^2}$ the sign representation of the permutation group $S_2$.

What I would like to know is a natural way to interpret such an action on $\tilde{C}$, i.e. how to compute $ H_c^*(\tilde{C},\mathbb{Q}s_{1^2}) $, which via the spectral sequence mentioned above would give the rational cohomology with compact support of $J_C$.

My naive attempt involved using group cohomology, since the $\tilde{C}$ is the classifying space of $\mathbb{Z}\oplus\mathbb{Z}$. The problem I am encountering is that I don't see how is $\mathbb{Q}s_{1^2}$ is a $\mathbb{Z}\oplus\mathbb{Z}$-module.

Any reccomendation on how to approach the problem, even with other methods is greatly appreciated.

[Question forwarded from SE for lack of interaction]

Given a genus $1$ curve with $1$ node $C$, its normalization is given by the elliptic curve $\tilde{C}$, which is isomorphic as algebraic groups to its Jacobian, also denoted by $\tilde{C}$

I am trying to use the Leray-Serre spectral sequence associated to the following exact sequence of algebraic groups

\begin{equation} 1\to \mathbb{C}^*\to J_C \to \tilde{C}\to 0 \end{equation}

to compute the equivariant cohomology of the total space $J_C$.

Here by equivariant I mean the following: inversion of the two points of the node induces a multiplication by $(-1)$ on the fibre $\mathbb{C}^* $, which in turn, makes the cohomology group $H^1_c(\mathbb{C}^*,\mathbb{Q})\cong \mathbb{Q}s_{1^2}$ the sign representation of the permutation group $S_2$.

What I would like to know is a natural way to interpret such an action on $\tilde{C}$, i.e. how to compute $ H_c^*(\tilde{C},\mathbb{Q}s_{1^2}) $, which via the spectral sequence mentioned above would give the rational cohomology with compact support of $J_C$.

My naive attempt involved using group cohomology, since the $\tilde{C}$ is the classifying space of $\mathbb{Z}\oplus\mathbb{Z}$. The problem I am encountering is that I don't see how is $\mathbb{Q}s_{1^2}$ is a $\mathbb{Z}\oplus\mathbb{Z}$-module.

Any reccomendation on how to approach the problem, even with other methods is greatly appreciated.

[Question forwarded from SE for lack of interaction]

Given an arithmetic genus $1$ curve with $1$ node $C$ (hence with geometric genus $2$), its normalization is given by the elliptic curve $\tilde{C}$, which is isomorphic as algebraic groups to its Jacobian, also denoted by $\tilde{C}$

I am trying to use the Leray-Serre spectral sequence associated to the following exact sequence of algebraic groups

\begin{equation} 1\to \mathbb{C}^*\to J_C \to \tilde{C}\to 0 \end{equation}

to compute the equivariant cohomology of the total space $J_C$.

Here by equivariant I mean the following: inversion of the two points of the node induces a multiplication by $(-1)$ on the fibre $\mathbb{C}^* $, which in turn, makes the cohomology group $H^1_c(\mathbb{C}^*,\mathbb{Q})\cong \mathbb{Q}s_{1^2}$ the sign representation of the permutation group $S_2$.

What I would like to know is a natural way to interpret such an action on $\tilde{C}$, i.e. how to compute $ H_c^*(\tilde{C},\mathbb{Q}s_{1^2}) $, which via the spectral sequence mentioned above would give the rational cohomology with compact support of $J_C$.

My naive attempt involved using group cohomology, since the $\tilde{C}$ is the classifying space of $\mathbb{Z}\oplus\mathbb{Z}$. The problem I am encountering is that I don't see how is $\mathbb{Q}s_{1^2}$ is a $\mathbb{Z}\oplus\mathbb{Z}$-module.

Any reccomendation on how to approach the problem, even with other methods is greatly appreciated.

Source Link

Equivariant cohomology with compact support of the generalized Jacobian of a nodal elliptic curve

[Question forwarded from SE for lack of interaction]

Given a genus $1$ curve with $1$ node $C$, its normalization is given by the elliptic curve $\tilde{C}$, which is isomorphic as algebraic groups to its Jacobian, also denoted by $\tilde{C}$

I am trying to use the Leray-Serre spectral sequence associated to the following exact sequence of algebraic groups

\begin{equation} 1\to \mathbb{C}^*\to J_C \to \tilde{C}\to 0 \end{equation}

to compute the equivariant cohomology of the total space $J_C$.

Here by equivariant I mean the following: inversion of the two points of the node induces a multiplication by $(-1)$ on the fibre $\mathbb{C}^* $, which in turn, makes the cohomology group $H^1_c(\mathbb{C}^*,\mathbb{Q})\cong \mathbb{Q}s_{1^2}$ the sign representation of the permutation group $S_2$.

What I would like to know is a natural way to interpret such an action on $\tilde{C}$, i.e. how to compute $ H_c^*(\tilde{C},\mathbb{Q}s_{1^2}) $, which via the spectral sequence mentioned above would give the rational cohomology with compact support of $J_C$.

My naive attempt involved using group cohomology, since the $\tilde{C}$ is the classifying space of $\mathbb{Z}\oplus\mathbb{Z}$. The problem I am encountering is that I don't see how is $\mathbb{Q}s_{1^2}$ is a $\mathbb{Z}\oplus\mathbb{Z}$-module.

Any reccomendation on how to approach the problem, even with other methods is greatly appreciated.