Skip to main content

All Questions

3 votes
1 answer
235 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}}(\...
kindasorta's user avatar
  • 2,113
2 votes
0 answers
66 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 ...
kindasorta's user avatar
  • 2,113
2 votes
0 answers
152 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 ...
Hugo Zock's user avatar
1 vote
0 answers
121 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)$. ...
Richard's user avatar
  • 613
1 vote
1 answer
309 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$, ...
user avatar
1 vote
1 answer
227 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$ ...
user avatar
2 votes
0 answers
200 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{...
curious math guy's user avatar
4 votes
1 answer
253 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^{...
curious math guy's user avatar
2 votes
0 answers
237 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}...
user avatar
3 votes
0 answers
229 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 ...
user avatar
1 vote
0 answers
264 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). ...
curious math guy's user avatar
4 votes
1 answer
645 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)...
curious math guy's user avatar
3 votes
0 answers
389 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{\...
curious math guy's user avatar
4 votes
0 answers
208 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 ...
Leo D's user avatar
  • 451
3 votes
0 answers
129 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 ...
Mikhail Bondarko's user avatar

15 30 50 per page