Skip to main content
fixed some spelling, added missing parenthesis
Source Link
Ramsey
  • 2.8k
  • 1
  • 24
  • 26

Let $C$ be a (quasi-projective) variety over an algebraically closed field $k$ and let $k(C)$ be its field of rational functions. Then for any birational map $\sigma: C \dashrightarrow C$ there is an automorphism of $k(C)$ that induces an automorphism of the Galois cohomology group $H^1(k(C),A)$ for any $Gal(k(C)^{alg}/k(C)$$Gal(k(C)^{alg}/k(C))$-module $A$.

I am looking for some clues on what techniques might help to undestandunderstand the action of the group of birational automorphisms of $C$ on the cohomology group.

In particular, I would like to know how to decide, given a class $h \in H^1(k(C),A)$ and an autmorphismautomorphism $\sigma: C \dashrightarrow C$, if $\sigma(h)=h$ or if $\sigma(h)=g$ where $g$ is some other cohomology class.

To make things concrete, suppose $C$ is a curve and let $A=\mu_n$, $n\neq \mathrm{char}\ k$. In this case we know by Kummer theory that $H^1(k(C),\mu_n)=k(C)^\times/(k(C)^\times)^n$. If I want to find out if $\sigma(h)=h$ for a cohomology class $h$, are there any options other than writing down the equations that define $C$ and $\sigma$ and trying to see explicitly if $\sigma(h)$ and $h$ belong to the same coset of $(k(C)^\times)^n$? Is there a more ``geometric'' way of looking at things?

Let $C$ be a (quasi-projective) variety over an algebraically closed field $k$ and let $k(C)$ be its field of rational functions. Then for any birational map $\sigma: C \dashrightarrow C$ there is an automorphism of $k(C)$ that induces an automorphism of the Galois cohomology group $H^1(k(C),A)$ for any $Gal(k(C)^{alg}/k(C)$-module $A$.

I am looking for some clues on what techniques might help to undestand the action of the group of birational automorphisms of $C$ on the cohomology group.

In particular, I would like to know how to decide, given a class $h \in H^1(k(C),A)$ and an autmorphism $\sigma: C \dashrightarrow C$, if $\sigma(h)=h$ or if $\sigma(h)=g$ where $g$ is some other cohomology class.

To make things concrete, suppose $C$ is a curve and let $A=\mu_n$, $n\neq \mathrm{char}\ k$. In this case we know by Kummer theory that $H^1(k(C),\mu_n)=k(C)^\times/(k(C)^\times)^n$. If I want to find out if $\sigma(h)=h$ for a cohomology class $h$, are there any options other than writing down the equations that define $C$ and $\sigma$ and trying to see explicitly if $\sigma(h)$ and $h$ belong to the same coset of $(k(C)^\times)^n$? Is there a more ``geometric'' way of looking at things?

Let $C$ be a (quasi-projective) variety over an algebraically closed field $k$ and let $k(C)$ be its field of rational functions. Then for any birational map $\sigma: C \dashrightarrow C$ there is an automorphism of $k(C)$ that induces an automorphism of the Galois cohomology group $H^1(k(C),A)$ for any $Gal(k(C)^{alg}/k(C))$-module $A$.

I am looking for some clues on what techniques might help to understand the action of the group of birational automorphisms of $C$ on the cohomology group.

In particular, I would like to know how to decide, given a class $h \in H^1(k(C),A)$ and an automorphism $\sigma: C \dashrightarrow C$, if $\sigma(h)=h$ or if $\sigma(h)=g$ where $g$ is some other cohomology class.

To make things concrete, suppose $C$ is a curve and let $A=\mu_n$, $n\neq \mathrm{char}\ k$. In this case we know by Kummer theory that $H^1(k(C),\mu_n)=k(C)^\times/(k(C)^\times)^n$. If I want to find out if $\sigma(h)=h$ for a cohomology class $h$, are there any options other than writing down the equations that define $C$ and $\sigma$ and trying to see explicitly if $\sigma(h)$ and $h$ belong to the same coset of $(k(C)^\times)^n$? Is there a more ``geometric'' way of looking at things?

Source Link
Dima Sustretov
  • 4.1k
  • 20
  • 35

action of automorphisms on the Galois cohomology of the function field of a variety

Let $C$ be a (quasi-projective) variety over an algebraically closed field $k$ and let $k(C)$ be its field of rational functions. Then for any birational map $\sigma: C \dashrightarrow C$ there is an automorphism of $k(C)$ that induces an automorphism of the Galois cohomology group $H^1(k(C),A)$ for any $Gal(k(C)^{alg}/k(C)$-module $A$.

I am looking for some clues on what techniques might help to undestand the action of the group of birational automorphisms of $C$ on the cohomology group.

In particular, I would like to know how to decide, given a class $h \in H^1(k(C),A)$ and an autmorphism $\sigma: C \dashrightarrow C$, if $\sigma(h)=h$ or if $\sigma(h)=g$ where $g$ is some other cohomology class.

To make things concrete, suppose $C$ is a curve and let $A=\mu_n$, $n\neq \mathrm{char}\ k$. In this case we know by Kummer theory that $H^1(k(C),\mu_n)=k(C)^\times/(k(C)^\times)^n$. If I want to find out if $\sigma(h)=h$ for a cohomology class $h$, are there any options other than writing down the equations that define $C$ and $\sigma$ and trying to see explicitly if $\sigma(h)$ and $h$ belong to the same coset of $(k(C)^\times)^n$? Is there a more ``geometric'' way of looking at things?