Questions tagged [galois-descent]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
0 answers
178 views

Can we check smoothness of a morphism after base change to the algebraic closure?

I know that smoothness is fppf local on the base, but this is not enough because taking algebraic closures is not finitely presented. The reason I'm asking this is because I want an easy/quick ...
TCiur's user avatar
  • 469
4 votes
0 answers
144 views

Uniqueness of Galois descent

Let $Y,Z$ be $\mathbb{F}_p$-schemes, they are both models of scheme $X$ over $\overline{\mathbb{F}_p}$ . Let $F$ be the absolute Frobenius of $\overline{\mathbb{F}_p}$, If $1_Y\times F$ and $1_Z\times ...
fool rabbit's user avatar
1 vote
0 answers
163 views

Question regarding Galois descent of sections of a vector bundle

Let $\pi: Y\rightarrow X$ be a finite 'etale Galois morphism between two smooth projective varieties with Galois group $G$. Let $\mathcal{E}$ be a vector bundle on $X$. Then $\pi^*\mathcal{E}$ is a $G$...
Hajime_Saito's user avatar
2 votes
0 answers
133 views

Homotopy fixed points vs coalgebras

Referring to the last part of this answer https://mathoverflow.net/a/225403/170683, I would like to understand how in the case of a Galois cover $f\colon X\to Y=X/G$ with Galois group $G$ (I guess ...
Nikio's user avatar
  • 351
3 votes
0 answers
201 views

How the Galois group acts on a Néron–Severi group of a variety?

Let $K/k$ be a Galois extension with Galois group $\Gamma$ and let $X$ be a variety over $k$. Assume that either $X(k)\neq\varnothing$ or $\mathrm{Br}(k)=0$, the Brauer group of $k$. By the Hochschild-...
Mobius's user avatar
  • 165
3 votes
0 answers
171 views

Galois descent of a Hopf algebra

In a question here on why the classification of commutative Hopf algebras requires the field to be algebraically closed, a brilliant answer is given discussing the notion of Galois descent. As I ...
JamalS's user avatar
  • 201
2 votes
1 answer
169 views

A conceptual explanation for a simple fact about twists of objects with abelian automorphism group

Suppose $X,X'$ are two objects (say, genus 1 curves) over a field $k$ such that over the algebraic closure $X_{\overline k} \cong X'_{\overline k}$ and moreover, $Aut_{\overline k}(X)$ is abelian. ...
Asvin's user avatar
  • 7,608
1 vote
1 answer
579 views

Fpqc-locally constant if and only if étale-locally constant?

Also in SE. Let $\mathcal{F}$ be sheave over $S_\mathrm{fpqc}$. We say $\mathcal{F}$ is a fpqc-locally constant sheaf (of finitely generated abelian groups) if there exists a fpqc covering $(S_i\to S)...
Z Wu's user avatar
  • 340
6 votes
1 answer
1k views

Are the Galois actions on automorphisms of twists isomorphic?

This might be a trivial question and I might be overlooking something: Suppose $k$ is a field with algebraic closure $\overline k$ and absolute Galois group $\Gamma$. Let $X,Y$ be two distinct ...
Asvin's user avatar
  • 7,608
2 votes
0 answers
282 views

Characterization of effective descent morphism

A faithfully flat morphism of commutative rings $A \rightarrow B$ is an effective descent morphism. So is a regular monomorphism (right?). What is a characterization of effective descent morphisms? ...
Ronald J. Zallman's user avatar
2 votes
1 answer
361 views

Galois action on morphism between $\overline{k}$ schemes

I have a question on a certain property of morphisms between schemes endowed with Galois action. The motivation arises from a comment by Phil Tosteson on this question. Phil wrote: "If the map ...
user267839's user avatar
  • 5,938
1 vote
0 answers
260 views

Application of Galois descent

I not understand an assumption done at the beginning of the proof of Rigidity lemma in Moonens and van der Geers book about Abelian variaties (page 12). Here is it: Question: Why the assumption $k= \...
user267839's user avatar
  • 5,938
7 votes
0 answers
315 views

Non-linear Galois descent

This question is about Galois theory. So let $K / k$ be a Galois extension of fields. Let us assume that $K / k$ is finite dimensional, though everything can be made to work in the profinite case by ...
Jakob Werner's user avatar
  • 1,093
4 votes
1 answer
141 views

The reductive $p$-adic group $^{2}\!A_3''$ via Galois decent

I am running into some confusion when trying to explicitly describe the group $^{2}\!A_3''$ (using the naming convention that Tits gives in his Corvallis notes). If anyone can give me any advice, I ...
Stella Sue Gastineau's user avatar
5 votes
1 answer
408 views

Number Rings and (Galois) Descent

In algebraic number theory, one chooses for each finite étale $\mathbb{Q}$-algebra $K$ a finite $\mathbb{Z}$-algebra $\mathcal{O}_K$. Usually one simply speaks of the finite $\mathbb{Q}$-algebras ...
Ronald J. Zallman's user avatar
7 votes
3 answers
643 views

Infinite Galois descent for finitely generated commutative algebras over a field

Let $k_0$ be a field of characteristic 0, and let $k$ is a fixed algebraic closure of $k_0$. Write $G={\rm Gal}(k/k_0)$. Let $A_0$ be a finitely generated commutative $k_0$-algebra with a unit. Then ...
Mikhail Borovoi's user avatar
6 votes
2 answers
518 views

Galois descent in motivic cohomology

Let $X_N$ denote the Fermat curve defined over $\mathbb{Q}$ by the equation $x^N+y^N-z^N=0$ and let $X_{N,\mathbb{Q}(\mu_N)}$ be the base change. Let $G$ be the Galois group of $\mathbb{Q}(\mu_N)/\...
Nicola Nesa's user avatar
4 votes
0 answers
176 views

Weil Pairing and Galois descent

One way the Weil pairing for an Abelian Variety $A/k$ is phrased is the following (for simplicity, let me only deal with the multiplication by $m$ map ($[m]: A\to A$) instead of arbitrary isogenies): ...
Asvin's user avatar
  • 7,608
2 votes
0 answers
174 views

Base change, descent theory and coherent sheaves

Let $k$ be a field of characteristic zero and $X$ a smooth, projective $k$-variety. Let $E_{\overline{k}}$ be a coherent sheaf on $X_{\overline{k}}$ ($\overline{k}$ denotes the algebraic closure of $k$...
Ron's user avatar
  • 2,116
8 votes
0 answers
1k views

Galois descent for schemes over fields

Let $K\subset L$ be a finite galois extension of fields (the case I have in mind is $K=\mathbb{R},L=\mathbb{C}$). Given a scheme $X$ over $K$ by pulling back to $L$ we get a scheme $Y=X\times _K L$ ...
Anonymous Coward's user avatar
2 votes
1 answer
760 views

Galois descent for absolute Galois group

Let $K$ be a field of characteristic zero, $\bar{K}$ its algebraic closure and $X$ a smooth, projective $K$-scheme. We know the Galois descent theory for quasi-coherent sheaves defined on $X_L$ for a ...
user45397's user avatar
  • 2,195
7 votes
0 answers
467 views

Galois descent for etale motivic cohomology

I am interested in the map from etale motivic cohomology of a smooth and projective variety over a field $K$ to the Galois invariants of etale motivic cohomology over the algebraic closure $\bar K$: $...
Thomas Geisser's user avatar
2 votes
0 answers
481 views

Neat applications of Galois descent?

I'm enjoying reading about Janelidze's categorical Galois theory, which gives as a special case the usual theorems of Galois descent (along torsors). The approach I took was just with covering space ...
Arrow's user avatar
  • 10.3k
6 votes
2 answers
799 views

Galois descent for dimension of vector spaces

Let $L/K$ be a Galois extension (I am interested in $\overline{\mathbb{Q}}/\mathbb{Q}$ so I do not assume it to be finite). Let $V\subset L^n$ be a $L$-subvector space, of dimension $d$, such that $g(...
Jérémy Blanc's user avatar
6 votes
1 answer
991 views

Geometric intuition for the condition of Galois descent

Continuing in my attempts to understand bits and pieces of Borceux and Janelidze's Galois Theories, I've just realized that I don't have any geometric intuition for the most convenient ...
Arrow's user avatar
  • 10.3k
10 votes
1 answer
744 views

Descent of sheaves under galois covering

Let $\pi: Y\rightarrow X$ be a finite Galois covering between normal projective varieties with Galois group $G$. Let $E$ be a coherent sheaf on $Y$ with a $G$-linearisation, i.e., there are ...
Diego Maradona's user avatar
29 votes
2 answers
3k views

Why are monadicity and descent related?

This question is probably too vague for experts, but I really don't know how to avoid it. I've read in several places that under mild conditions, a morphism is an effective descent morphism iff the ...
Arrow's user avatar
  • 10.3k
10 votes
1 answer
1k views

Reinterpreting Galois descent over finite fields

This question is indirectly related to my previous question Is an elliptic curve that is isomorphic to its Frobenius conjugate defined over $\mathbb{F}_p$? Let $\mathbb{F}_{q^n}/\mathbb{F}_q$ be an ...
Lisa S.'s user avatar
  • 2,623
7 votes
1 answer
472 views

Is an elliptic curve that is isomorphic to its Frobenius conjugate defined over $\mathbb{F}_p$?

Let $p$ be prime and $q = p^n$. Let $E$ be an elliptic curve over $\mathbb{F}_q$, and let $E^{(p)}$ be the pullback of $E$ by the $p$-power Frobenius of $\mathbb{F}_q$. If $E$ is isomorphic (over $\...
Lisa S.'s user avatar
  • 2,623
3 votes
2 answers
248 views

Obstruction to get a galois invariant cycle

Let $X$ be a smooth projective variety over a finite field $k$, $G=Gal(\bar{k}/k)$ and $\Gamma\in CH^i(\bar{X})$ such that: $cl(\Gamma) \in H_{et}^{2i}(\bar{X},\mathbb{Z}_l(i))^G$ and $\exists$ $...
user052715's user avatar
1 vote
1 answer
558 views

Descend of etale morphism

I am not sure whether the title is appropriate for this question or not. I am sorry if there is anyone who is confused with the title and the contents. What I want to ask is the following: let $k$ be ...
Kevin.lijh's user avatar
7 votes
1 answer
495 views

Which morphisms of ring spectra are of effective descent for modules?

There is a well understood bifibration of $\infty$-categories over the $\infty$-category of commutative ring spectra whose fiber over a ring $R$ is the category of $R$-module spectra. This is in ...
Jonathan Beardsley's user avatar
13 votes
0 answers
867 views

Stack of Tannakian categories? Galois descent?

I'm having trouble finding a reference for something that I'm guessing the experts worked out long ago. Let's take a local or global field $F$ for this post, and fix a separable algebraic closure $\...
Marty's user avatar
  • 13.1k
1 vote
0 answers
226 views

Descent for group actions

Suppose I have a finite Galois extension of fields $K/k$, as well as a finite group $G$ with a surjection $f: G \rightarrow \mathrm{Gal}(K/k)$. Finally, suppose I have an action $\sigma$ of $G$ on a ...
anon's user avatar
  • 11
1 vote
1 answer
430 views

Galois descent for semilinear endomorphisms

Let $K \subset L$ be a finite Galois extension, $\sigma$ an automorphism of $L$ (not necessarily fixing $K$) and let $E$ be a finite-dimensional vector space over $L$ together with an $\sigma$-linear ...
user26756's user avatar
  • 271
6 votes
3 answers
1k views

Applications of Descent?

The technique of faithfully flat descent, and, in the case of vector spaces, Galois descent has been used quite a bit in Algebraic Geometry. However, the question of whether, say, a given $k$-vector ...
Grant Rotskoff's user avatar
4 votes
1 answer
307 views

Reference wanted - etale sheaves on $X$ versus on $\overline{X}$

Hello, Let $X$ be a scheme of finite type over a field $k$. Let $l$ be an Galois extension of $k$ with Galois group $\Gamma$, and $\overline{X}$ be the base change of $X$ from $k$ to $l$. Then If I ...
Sasha's user avatar
  • 5,492
7 votes
1 answer
1k views

What kind of structures allow Galois descent?

EDIT: Question solved. Let me explain what I mean. The classical formulation of Galois descent, e. g. in Crawley-Boevey's "Cohomology and central simple algebras", uses the following notion: ...
darij grinberg's user avatar
4 votes
4 answers
784 views

Galois descent, explicit inverse map

Let $L/K$ be a finite Galois extension with Galois group $G$ and $V$ a $L$-vector space, on which $G$ acts by $K$-automorphisms satisfying $g(\lambda v)=g(\lambda) g(v)$. It is known that the ...
Martin Brandenburg's user avatar