Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
1 answer
437 views

Sheaf cohomology in number theory

I have read the first three chapters of Hartshorne and was wondering what are the applications of the notions presented in number theory or arithmetic geometry. I already know that the notion of ...
Tuvasbien's user avatar
  • 186
2 votes
1 answer
189 views

On the upper-bound for a type of quintuple Kloosterman sums

Sorry to disturb, dear experts here. I have a question involving the quintuple Kloosterman sum, and expect some hints to show the upper-bound. My question is, for any $x,y,z,w,\delta \in \mathbb{Z}$ ...
hofnumber's user avatar
  • 563
3 votes
1 answer
338 views

Estimates for certain double-Kloosterman sums

Sorry to disturb. I encounter a double-Kloosterman sum, which needs some help from the experts here. For any $q\in \mathbb{N}^+$, how can we estimate the type of sum $$ \sideset{_{}^{}}{^{\ast}_{}}\...
hofnumber's user avatar
  • 563
1 vote
1 answer
237 views

A question involving the three-dimensional Kloosterman sum

Sorry to disturb. I have a question involving the three-dimensional Kloosterman sum, which needs some help from the experts here. For any $\alpha, \beta, \gamma \in \mathbb{Z}$ and $q\in \mathbb{N}^+$,...
hofnumber's user avatar
  • 563
3 votes
0 answers
175 views

Deligne's integrality theorem in the setting of $ \mathbb{F}_{\ell}((t)) $-adic cohomology

Let $ \mathbb{F}_{q} $ be a finite field of characteristic $ p $ and $ \overline{\mathbb{F}_{q}} $ be an algebraic closure of $ \mathbb{F}_{q} $. Let $ X $ be a smooth projective variety over $ \...
Nobody's user avatar
  • 863
1 vote
0 answers
236 views

Canonicity of Čech cohomology

For a topological space $X$, consider the Leray covering $U_\lambda$ (i.e. $\cap U_\lambda$ is sufficiently fine, e.g. affine for Zariski topology) of $X$. For a sheaf $F$ on $X,$ the cohomology $H^...
Pierre MATSUMI's user avatar
13 votes
1 answer
1k views

Etale homology via étale cosheaves

Can one develop a theory of étale homology via étale cosheaves? The hope is that this would, for example, return the Tate module (and not its dual) for an elliptic curve, and it would return group ...
David Corwin's user avatar
  • 15.4k