All Questions
Tagged with galois-representations etale-cohomology
47 questions
4
votes
1
answer
152
views
Semistability of the $\ell$-adic representation of variety with semistable reduction
The question is in the title, but here's some quick background.
It's easy to show (assuming smooth-proper base change) that the $\ell$-adic cohomology of a variety over the fraction field of a DVR ...
- 141
1
vote
0
answers
136
views
Crystalline at $\ell=p$ implies unramified at $\ell\neq p$
Let $X$ be a smooth, projective variety defined over some $p$-adic field $K$. Is it true that if the etale cohomology $H^i_{et}(X_{\overline{K}},\mathbb{Q}_\ell)$ is crystalline at $\ell=p$, then $H^...
- 141
3
votes
1
answer
249
views
Action of complex conjugation on etale cohomology
Let $X$ be a genus $g$ smooth projective curve, defined over $\mathbb{Q}$, and let $\overline{X}$ denote the base change of $X$ to $\overline{\mathbb{Q}}$.
It is well known that $H^1_{\text{ét}}(\...
- 2,907
2
votes
0
answers
70
views
Finite dimensionality of Galois cohomology
Let $K_S$ denote the maximal extension of $\mathbb{Q}$, unramified outside a finite set of primes $S$, and let $G_S$ denote the Galois group of $K_S/\mathbb{Q}$.
It is known that for any finitely ...
- 2,907
2
votes
0
answers
184
views
Unramified lisse $\overline{\mathbb{Q}}_{\ell}$-sheaves
Let $X$ be a connected noetherian scheme and $\ell$ a prime invertible on $X$. Let $D \subset X$ be a regular effective Cartier divisor (or more generally a normal crossings divisor, I suppose). Write ...
- 53
1
vote
0
answers
125
views
Is the Frobenius semisimple on the de-Rham cohomology?
Suppose $K$ is a unramified finite extension of $\mathbb Q_p$, and $X$ is a projective smooth curve defined over $K$. By $p$-adic Hodge theory we know $D_{cris}(H_{et}^i(X,\mathbb Q_p))=H_{dR}^i(X)$. ...
- 775
1
vote
1
answer
315
views
About simple motives
I'm reading through Jannsen's paper Motives, numerical equivalence, and semi-simplicity and I'd like to pose two questions.
Suppose all motives are $F$-linear, for some characteristic zero field $F$, ...
user497064
1
vote
1
answer
229
views
Purity for proper varieties
Let $X$ be a proper, geometrically connected, geometrically integral variety over $\mathbf{F}_q$. There exists a finite field extension $k/\mathbf{F}_q$ of degree $d$ and an alteration $X'\to X_k$ ...
user480741
2
votes
0
answers
208
views
Galois-action on spectral sequence
Let $X_\bullet\to S$ be a proper surjective hypercover of a $k$-scheme by smooth proper $k$-schemes. This gives a proper surjective hypercover $X'_\bullet\to S_{\bar{k}}$ where $X'_n:=X_n\times_k \bar{...
- 4,398
4
votes
1
answer
279
views
Semisimplicity of the étale cohomology mod $p$
Let $X$ be a smooth projective variety over a field $k$. Then if $\ell\neq \text{char} k$, $k$ is finite, and $X$ is an abelian variety it was shown by Weil that the $\ell$-adic cohomology of $X_{k^{...
- 4,398
2
votes
0
answers
245
views
What unramified Galois representations come from geometry?
I think we don't know what crystalline representations come from geometry. What about the unramified ones? Specifically let $\phi:\mathrm{Gal}(\overline{\mathbb{Q}_p}/\mathbb{Q}_p)\to GL_n(\mathbb{Q}...
user158636
3
votes
0
answers
232
views
$l$-adic Galois representations factor through a common finite quotient
Let $X$ be a smooth projective geometrically connected variety over $\mathbb{Q}$. Assume that for some $m>0$ we have $h^{i, 2m-i}(X)=0$ unless $i=m$.
Does there exist a number field $E$ such that ...
user158636
1
vote
0
answers
272
views
$p$-adic Galois representation and Étale homology
Let $X$ be a smooth proper scheme over some $p$-adic field $K$. The "usual" way to get a Galois representation out of this is to consider the étale cohomology (either $p$ or $\ell$-adic). ...
- 4,398
4
votes
1
answer
708
views
"Universal coefficent theorem" for pro-étale cohomology
In algebraic topology, for any space with finite homology type, the universal coefficient theorem states that for any abelian group $G$, we have
$$H^n(X,G)\cong \left( H^n(X,\mathbb{Z})\otimes G\right)...
- 4,398
3
votes
0
answers
396
views
Galois representations and pro-étale Site
On a scheme, we can define the pro-étale site. This is an improvement over the étale site in that we can define the $\ell$-adic cohomology as the sheaf cohomology of the constant sheaf $\underline{\...
- 4,398
4
votes
0
answers
221
views
Galois action of Weil restriction
Let $K/\mathbb{Q}$ be a quadratic field. Let $E$ be an elliptic curve defined over $K$ but not over $\mathbb{Q}$, and let $\bar{E}$ be the Galois conjugate of $E$. Then by the descent theory (for ...
- 461
3
votes
0
answers
131
views
Where general mixed Galois representations are defined?
I am interested in etale cohomology of varieties, and respectively, in mixed $\mathbb Q_{\ell}$-adic Galois representations over finitely generated fields. What is the canonical reference for this ...
- 16.9k
4
votes
0
answers
306
views
Restrictions on the Galois representations coming from singular varieties
Fix a prime number $p$. Choose an algebraic closure $\mathbb{Q}_p\to \overline{\mathbb{Q}_p}$. Given a proper geometrically irreducible scheme $X$ over $\mathbb{Q}_p$ and a non-negative integer $i$, ...
user145520
4
votes
1
answer
890
views
Isomorphism of the $\ell$-adic Tate module of an elliptic curve with CM
Let $E$ be an elliptic curve over $K$ (totally real number field) with complex multiplication by the field $L$. Let $\psi$ be the Grössencharacter associated to $E$, assume that $\psi$ of type $(-r,0)$...
- 43
5
votes
1
answer
460
views
Nearby cycles and extension by zero
Let $f: X\to \text{Spec}(R)$ be a proper and smooth morphism, with $R$ a strictly henselian dvr. Call $s = \overline{s}$ the closed point and $\eta$ the geometric point of $\text{Spec}(R)$.
Call $i_s ...
- 181
2
votes
0
answers
232
views
Berthelot’s comparison theorem and functoriality
Let $A$ be a noetherian $p$-adically complete ring with an ideal $I$ equipped with a PD structure and such that $p$ is nilpotent on $A/I$.
Let $S = \text{Spec}(A)$, $S_0 = \text{Spec}(A/I)$, $Y\to S$ ...
- 181
16
votes
1
answer
1k
views
Some basic questions on crystalline cohomology
Let $X_0$ be a smooth projective variety over $\mathbf{F}_q$ and ${X}$ its base change to an algebraic closure $k$ of $\mathbf{F}_q$.
Crystalline cohomology $H^*_{\rm cris}(X) := H^*((X/W(k))_{\rm ...
user134756
6
votes
1
answer
521
views
How to compute Galois representations from etale cohomology groups of a generalized flag variety?
Let $G$ be a connected reductive group over a number field $K$, $P$ be a parabolic subgroup of $G$ defined over $K$, $X=G/P$ be the generalized flag variety which is a smooth projective variety over $...
- 6,612
6
votes
1
answer
525
views
Functoriality for $\ell$-adic cohomology - a question
This should a be basic enough question, but I’m a little confused.
In proving that $H^*(X,\mathbf{Q}_{\ell})$ is functorial (in the sense of Weil cohomology theories: see axiom D2 here) as $X$ ranges ...
user134132
6
votes
1
answer
535
views
Quaternion algebra actions on $\ell$-adic cohomology
Let $E$ be a supersingular elliptic curve over $\mathbf{F}_p$, and $H$ its endomorphism algebra $\text{End}(E)\otimes_{\mathbf{Z}}\mathbf{Q}$, a quaternion algebra (non split at $p$ and $\infty$).
...
user132229
2
votes
1
answer
399
views
Classes of hyperplane sections in cohomology
Let $X$ be a smooth projective variety over the algebraic closure of a finite field with Galois group $G$.
Is it true that the vector space $H^{2k}(X,\mathbf{Q}_{\ell}(k))^G$ has always positive ...
user131191
5
votes
1
answer
514
views
Frobenius eigenvalues algebraic numbers
Let $X$ be a smooth projective variety over $\mathbf{F}_q$ and $\overline{X}$ its base change to $\overline{\mathbf{F}_q}$.
By Deligne’s Weil I, the eigenvalues of the geometric Frobenius acting on $...
user131191
2
votes
0
answers
141
views
Hodge-Tate weights of etale cohomology groups
Given a smooth algebraic variety $X$ over a number field $F$, its $p$-adic cohomology groups $H^i(X \times_F \bar F, \mathbb Q_p)$ carries an action of $\mathrm{Gal}(\bar F/F)$, which gives a ...
- 453
2
votes
0
answers
293
views
Specialization map on geometric points
Let $\mathcal{X}$ be a proper and smooth scheme over $\text{Spec}(\mathbf{Z}_p)$, and let’s call $X$ the geometric generic fiber of $\mathcal{X}$, and $X_0$ the geometric special fiber of $\mathcal{X}$...
user125985
1
vote
1
answer
189
views
Approximation of constructible abelian étale sheaves
Let $F$ be a constructible abelian étale sheaf of modules over a finite ring $\Lambda$ on a scheme $X$ over a field $k$, with the size of $\Lambda$ invertible on $X$.
Suppose $X = \varprojlim X_j$, ...
user124171
3
votes
1
answer
276
views
Semi-simple Galois actions on étale cohomology
Assume that semi-simplicity of the Galois action on $\ell$-adic cohomology of all smooth projective varieties over finite fields, were known.
Can one deduce that the Galois action on $\ell$-adic ...
user113393
5
votes
0
answers
1k
views
Formal GAGA and étale cohomology
Let $\mathfrak{X}$ be a $p$-adic flat formal scheme over $\mathbf{Z}_p$, whose special fiber has an ample line bundle. Then $\mathfrak{X}$ is algebraizable, that is there exists an algebraic $\mathbf{...
user92332
0
votes
0
answers
235
views
Galois representations on étale cohomology
Let $X$ be a smooth projective variety over $\mathbf{Q}$.
Does there exist a prime $\ell$ such that the action of $\text{Gal}(\overline{\mathbf{Q}}/\mathbf{Q})$ on $H^j(X_{\overline{\mathbf{Q}}},\...
user119470
3
votes
0
answers
220
views
Artin $\ell$-adic comparison and Galois action
Let $X_0$ be a smooth projective variety defined over a number field $k$.
Let $\sigma : k\to\mathbf{C}$ be one of the finitely many field embeddings of $k$ into the complex numbers, and call $X := (...
user97068
0
votes
0
answers
350
views
Galois actions and smooth-proper base change
Let $X$ be a smooth projective variety over a field $k$ of finite type over a finite field.
The Galois group $\text{Gal}(k^{\rm sep}/k)$ acts on $H^j_{\rm ét}(X_{k^{\rm sep}},\mathbf{Z}_{\ell}(n))$ ...
user97068
9
votes
3
answers
2k
views
Finiteness of Galois cohomology
Let $k$ be a field, $X$ a smooth projective variety over $k$, $\overline{X} := X\times_k {k}^{\rm sep}$ for a separable closure ${k}^{\rm sep}$ of $k$, $\ell$ a prime with $\ell\in k^{\times}$.
Are ...
user92332
15
votes
2
answers
2k
views
Are there known cases of the Mumford–Tate conjecture that do not use Abelian varieties?
(For a formulation of the Mumford–Tate conjecture, see below.)
The question
As far as I know, all non-trivial known cases of the Mumford–Tate conjecture more or less depend on the Mumford–Tate ...
- 5,494
5
votes
0
answers
278
views
Tate's conjecture and symmetry of Hodge-Tate weights
I'm reading Bellaiche's notes on the Block-Kato conjecture (Hawaii summer school). Here is the link http://people.brandeis.edu/~jbellaic/BKHawaii5.pdf
At page 10 he claims that an indirect ...
- 231
9
votes
1
answer
717
views
Example of a variety over a number field with non-semisimple Galois representation on $\ell$-adic cohomology
This question is inspired by the question: Example of non-projective variety with non-semisimple Frobenius action on etale cohomology?
Let $K$ be a number field (or finitely generated field of ...
- 5,494
3
votes
1
answer
815
views
When does the filtration in the limit of the Leray spectral sequence split?
Let $\ell$ be a prime, and $k$ a field of characteristic $\ne \ell$. Let $f \colon X \to Y$ be a proper map of smooth projective $k$-varieties. The Leray spectral sequence says
$$
E_{2}^{pq} = H^{p}(\...
- 5,494
5
votes
0
answers
1k
views
Grothendieck monodromy theorem for l-adic sheaves
Hi,
Suppose that $F$ is a local field, $G_F$ its Galois group, $I$ the inertia subgroup, $k$ its residue field.
Let $X$ be a finite type scheme over $k$. Let $C$ be a constructible $l$-adic sheaf on $...
- 2,842
8
votes
1
answer
1k
views
Should the etale cohomology of a smooth projective variety (over rationals) be semi-simple; why?
$\DeclareMathOperator{\char}{char}\DeclareMathOperator{\gal}{Gal}$
Let $P$ be a smooth projective variety over a field $K$ (one may certainly assume that $K$ is perfect; the case $K=\mathbb{Q}$ ...
- 16.9k
5
votes
2
answers
2k
views
Hodge-Tate weights of etale cohomology
Let $K/\mathbb Q_p$ be a local field, $X/K$ a proper scheme with semi-stable reduction.
Question: What is the possible range of Hodge-Tate weights of the etale cohomology $H^i(X_{\overline K}, \...
- 1,503
9
votes
2
answers
583
views
Can one ignore primes lying over $l$ in the Fontaine-Mazur conjecture? Counterexamples?
The Fontaine-Mazur conjecture predicts that an $l$-adic Galois representation of a number field is 'geometric' if it is unramified outside a finite set of primes and is De Rham for primes lying over $...
- 16.9k
4
votes
3
answers
793
views
Quotients of Tate modules
Let $p$ be a prime number, let $K$ denote a finite extension $\mathbb{Q}_{p}$ and let
$\overline{K}$ be an algebraic closure of $K$. Let $A$ be an ellitpic curve over
$K$ and denote by $T_{p}A$ its ...
- 41
7
votes
1
answer
2k
views
Is there an integral version of Faltings' isomorphism in p-adic Hodge theory between etale and Hodge cohomologies
Let $K$ be a $p$-adic field, that is a complete discrete valuation ring of characteristic $0$ with a perfect residue field $k$ of characteristic $p > 0$ (to simplify one could also take $K$ to be a ...
- 5,009
20
votes
1
answer
1k
views
Status of conjectures in Serre's 1969 expose on Galois representations on l-adic cohomology
In
[S]: Serre, Jean-Pierre. Facteurs locaux des fonctions zeta des varietes algebriques (definitions et conjectures), Seminaire Delange-Pisot-Poitou, 1969-70
Serre presents nine conjectures *C*$_1$...
- 5,009