Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 13647

Diophantine equations, rational points, abelian varieties, Arakelov theory, Iwasawa theory.

11 votes
1 answer
671 views

Pro-algebraic versus continuous Galois cohomology, and schematic homotopy types

I've been thinking about Bertrand Toen's approach to studying the homotopy theory of schemes, and I've come across an inconsistency in my understanding of the subject that I was hoping somebody might …
ChrisLazda's user avatar
  • 1,838
10 votes
Accepted

When is "independence of l" known?

So maybe everything I'm about to say you already know, so apologies if I'm teaching my grandmother to suck eggs. This is discussed a bit at the end of a paper of Fontaine "Representations $\ell$-adiq …
ChrisLazda's user avatar
  • 1,838
7 votes
Accepted

A question about the Tannakian etale fundamental group of a curve

Al ulrich says, this is not true in general. If $X$ is non-compact (i.e. affine), then the Lie algebra of U is isomorphic to the free Lie algebra on $H^1_\mathrm{et}(X,\mathbb{Q}_p)^\vee$. Hence in th …
ChrisLazda's user avatar
  • 1,838
7 votes
1 answer
791 views

Overconvergent/infinitesimal site, base change and six operations

This question is about 6 operations formalism for 'crystalline' cohomology theories - more specifically the infinitesimal cohomology of smooth $\mathbb{C}$-varieties, and the overconvergent cohomology …
ChrisLazda's user avatar
  • 1,838
7 votes
1 answer
1k views

"Weight-monodromy" for open varieties

Suppose that $X/\mathbb{Q}_p$ is a smooth, projective variety, and choose a prime $\ell\neq p$. Then the weight-monodromy conjecture says that the graded pieces $\mathrm{Gr}_k^M$ of the monodromy filt …
ChrisLazda's user avatar
  • 1,838
6 votes
0 answers
195 views

Non-embeddable varieties

Suppose that $k$ is a perfect field of characteristic $p>0$, $\mathcal{V}$ is a complete discrete valuation ring with residue field $k$ and quotient field $K$, of characteristic $0$. Then when one d …
ChrisLazda's user avatar
  • 1,838
5 votes

How to see the geometry and arithmetic of tannakian fundamental groups?

To answer your second question, for any nilpotent neutral Tannakian category $\mathcal{C}$, (i.e. one in which every object is an iterated extension of the unit object $\underline{1}$), with fibre fun …
ChrisLazda's user avatar
  • 1,838
4 votes
1 answer
384 views

Topological and algebraic covering spaces in Berkovich geometry

Let $k$ be a complete, non-archimedean field, and $X$ a Berkovich space over $k$ (as nice as you like, for arguments sake let's say strictly $k$-analytic, good, and geometrically connected). As discus …
ChrisLazda's user avatar
  • 1,838
4 votes
0 answers
187 views

Complexes of arithmetic $\mathcal{D}$-modules with Frobenius structure

This is a question about the category $F\text{-}D^b_\mathrm{coh}(\mathscr{D}^\dagger_{\mathscr{X},\mathbb{Q}})$ of complexes of arithmetic $\mathscr{D}$-modules with Frobenius structure on a smooth fo …
ChrisLazda's user avatar
  • 1,838
3 votes
0 answers
589 views

"Extended" Weil Cohomology Theories

According to Wikipedia, a Weil cohomology theory is a functor from the category of smooth projective varieties over a field $k$, to graded algebras over a field $K$ of characteristic zero, together wi …
ChrisLazda's user avatar
  • 1,838
2 votes
Accepted

Pro-algebraic versus continuous Galois cohomology, and schematic homotopy types

This answer is due to Jon Pridham. While we might not expect $H^i(G_k,V)=H^i(G_k^\mathrm{alg},V)$ for every finite dimensional, continuous $G_k$-representation $V$, there are certain results from the …
ChrisLazda's user avatar
  • 1,838