Skip to main content
improved formatting
Source Link
Ben McKay
  • 26.3k
  • 7
  • 67
  • 102

Let $X$ be an algebraic variety (say, projective, irreducible and smooth), defined over a field $K$, and let $L$ be a Galois extension. I am interested in algebraic varieties $Y$, defined over $K$, such that there exists an isomorphism $\psi\colon X_L\toY_L$$\psi\colon X_L\to Y_L$ defined over $L$ (but not over $K$ in general).

The map $\psi$ induces a 1-co cycle from $Gal(L/K)$ to the group $Aut(X_L) $ of $L$-automorphisms, and it is easy to check that the image in $H^1 (Gal, Aut(X_L))$ only depends on the class of $Y$, up to $K$-isomorphisms. My question is the following: is every element of $H^1$ obtained? In other words, we have a map from the set of $L$-forms of $X$ to $H^1 (..)$, the map is injective but is it surjective?

If no, could it be true in some natural cases, if yes I would be happy to see a reference.

Let $X$ be an algebraic variety (say, projective, irreducible and smooth), defined over a field $K$, and let $L$ be a Galois extension. I am interested in algebraic varieties $Y$, defined over $K$, such that there exists an isomorphism $\psi\colon X_L\toY_L$ defined over $L$ (but not over $K$ in general).

The map $\psi$ induces a 1-co cycle from $Gal(L/K)$ to the group $Aut(X_L) $ of $L$-automorphisms, and it is easy to check that the image in $H^1 (Gal, Aut(X_L))$ only depends on the class of $Y$, up to $K$-isomorphisms. My question is the following: is every element of $H^1$ obtained? In other words, we have a map from the set of $L$-forms of $X$ to $H^1 (..)$, the map is injective but is it surjective?

If no, could it be true in some natural cases, if yes I would be happy to see a reference.

Let $X$ be an algebraic variety (say, projective, irreducible and smooth), defined over a field $K$, and let $L$ be a Galois extension. I am interested in algebraic varieties $Y$, defined over $K$, such that there exists an isomorphism $\psi\colon X_L\to Y_L$ defined over $L$ (but not over $K$ in general).

The map $\psi$ induces a 1-co cycle from $Gal(L/K)$ to the group $Aut(X_L) $ of $L$-automorphisms, and it is easy to check that the image in $H^1 (Gal, Aut(X_L))$ only depends on the class of $Y$, up to $K$-isomorphisms. My question is the following: is every element of $H^1$ obtained? In other words, we have a map from the set of $L$-forms of $X$ to $H^1 (..)$, the map is injective but is it surjective?

If no, could it be true in some natural cases, if yes I would be happy to see a reference.

Source Link
Jérémy Blanc
  • 7.7k
  • 1
  • 28
  • 54

Forms of algebraic varieties

Let $X$ be an algebraic variety (say, projective, irreducible and smooth), defined over a field $K$, and let $L$ be a Galois extension. I am interested in algebraic varieties $Y$, defined over $K$, such that there exists an isomorphism $\psi\colon X_L\toY_L$ defined over $L$ (but not over $K$ in general).

The map $\psi$ induces a 1-co cycle from $Gal(L/K)$ to the group $Aut(X_L) $ of $L$-automorphisms, and it is easy to check that the image in $H^1 (Gal, Aut(X_L))$ only depends on the class of $Y$, up to $K$-isomorphisms. My question is the following: is every element of $H^1$ obtained? In other words, we have a map from the set of $L$-forms of $X$ to $H^1 (..)$, the map is injective but is it surjective?

If no, could it be true in some natural cases, if yes I would be happy to see a reference.