The weil-conjectures tag has no usage guidance.

**29**

votes

**5**answers

2k views

### Elementary examples of the Weil conjectures

I'm looking for examples of the Weil conjectures---specifically rationality of the zeta function---that can be appreciated with minimal background in algebraic geometry. Are there varieties for which ...

**24**

votes

**1**answer

2k views

### Is there a cheap proof of power savings for exponential sums over finite fields?

Let $p$ be a large prime, and let $f(x) = P(x)/Q(x)$ be a non-constant rational function over ${\Bbb F}_p$ of bounded degree. From the Weil conjectures for curves, we have a bound of the form
$$ |\...

**21**

votes

**0**answers

1k views

### Is there a Grothendieck-Riemann-Roch type of theorem generalizing Grothendieck's Lefschetz trace formula

Grothendieck deduced that the L-function of a (constructible) $\ell$-adic sheaf on a variety over $\mathbf{F}_p$ is rational from the generalized trace formula.
My first question is based on the ...

**19**

votes

**1**answer

943 views

### When is “independence of l” known?

My question is for which varieties over local fields is "independence of l" known for
etale cohomology. Say $X/{\mathbb Q}_p$ is a complete non-singular variety and $W_l$ is the (complex) Weil-...

**16**

votes

**1**answer

776 views

### On the Hasse-Weil L-function of $P^n$

So let us start with the "simplest" scheme over $Spec(\mathbf{Z})$ namely $X_0=Spec(\mathbf{Z})$. Then the (reciprocal) Weil zeta function of $X_0$ at a prime $p$ is given by $Z_p(T)=1-T$ (a ...

**15**

votes

**1**answer

2k views

### How many proofs of the Weil conjectures are there?

I hope this this is not seen as too much as jumping on the band-wagon, but here goes.
Deligne's proof of the last of the Weil conjectures is well-known and just part of a huge body of work that has ...

**13**

votes

**2**answers

962 views

### Can one find the hodge number by counting points over finite fields?

Given a proper smooth variety $X$ of dimension $n$ over $\mathbb{C}$, assume it has a model over a DVR of mixed characteristic $(0,p)$ with residue field $\mathbb{F}_q$, and assume the closed fiber $...

**13**

votes

**1**answer

736 views

### Gabber's original proof of his purity theorem

Gabber's purity theorem is the statement that if $\mathscr{F}$ is a pure perverse sheaf on an open subvariety $j : U \hookrightarrow X$ then so is $j_{!*} \mathscr{F}$.
It is remarkable because it ...

**11**

votes

**0**answers

174 views

### Weil conjectures for higher dimensional cycles?

Let $X$ be a smooth projective variety over $\mathbb{F}_{q}$. For each pair of positive integers $n$ and $d$, let $\text{Chow}_{n,d}(X)$ denote the (coarse) moduli space of $n$-cycles of degree $d$ on ...

**10**

votes

**1**answer

669 views

### Relation between Weil Conjecture and Langlands Program

Recently I read Gelbart's An Elementary Introduction To The Langlands Program, which explained the origin of the program, and this question came to me. For an elliptic curve over finite field, the ...

**9**

votes

**3**answers

2k views

### Are there “motivic” proofs of Weil conjectures in special cases?

This is a question meant as a first step to get into reading more on Weil conjectures and standard conjectures. It is known that the standard conjectures on vanishing of cycles would imply the Weil ...

**9**

votes

**2**answers

1k views

### How would a motivic proof of the Riemann hypothesis over finite fields go?

It is well known that Grothendieck had a different idea than Deligne about how one should go about proving the Riemann hypothesis for finite fields. However, since Grothendieck's desired proof never ...

**9**

votes

**0**answers

991 views

### Do the Standard Conjectures imply parts of the “Weil II” Riemann Hypothesis?

It is known that Grothendieck's Standard Conjectures on algebraic cycles imply the Riemann Hypothesis of the original Weil Conjectures. However, do they also say something about the version of the ...

**7**

votes

**3**answers

2k views

### Why is the zeta function of a variety over a finite field not a polynomial? (question about motives)

I've been doing some light(?) reading on motives and the standard conjectures in an attempt to put various things that I tangentially know in perspective.
The question is this: the Weil conjectures ...

**7**

votes

**0**answers

204 views

### Does Stepanov's method extend to complete intersections?

Stepanov (circa 1970) created the polynomial method to limit the rational points of an algebraic curve over $\mathbb{F}_q$, leading to one of several alternative proofs of Weil's Riemann hypothesis ...

**6**

votes

**1**answer

654 views

### Motivic proof of Weil-conjectures?

Assuming the standard conjectures (and whatever is needed in addition),
is there a nice proof of the Weil-conjectures written completely in the language of motives?

**6**

votes

**1**answer

388 views

### What is the current state of the crystalline analogue of the Weil conjectures?

In "F-isocrystals on open varieties results and conjectures" Faltings says:
"Finally, we extend the theory of weights and show as much as possible of the crystalline analogue of the Weil ...

**5**

votes

**1**answer

697 views

### Serre's Analogue of the Weil Conjectures for Non-Compact Kahler Manifolds

The classical Riemann Hypothesis concerns the locations of zeroes of the Riemann zeta-function, or more generally the Dedekind zeta-functions of number fields. Its analogue for varieties defined over ...

**5**

votes

**2**answers

1k views

### Direct proof of special case of Hasse's theorem for elliptic curves

Consider the elliptic curve $y^2 = x^3 + x$ over $\mathbb{F}_p$, where $p \equiv 1 \pmod 4$.
If memory serves correctly, the number of points (excluding the point at infinity) is $p - a$ where $a$ is ...

**4**

votes

**4**answers

720 views

### Hodge numbers of reduction mod $p$

Let $X$ be a projective variety defined over a number field $K$, and $p \in \textrm{Spec }\mathcal{O}_K$ a maximal ideal, so that reduction mod $p$ makes sense, and the resulting scheme (mod $p$) $\...

**4**

votes

**1**answer

468 views

### weight monodromy conjecture for curves?

Hi,
Is there a simple proof of the weight monodromy conjecture in the case of a curve over a mixed characteristic local field?
Thanks!

**4**

votes

**1**answer

132 views

### “Inverse problem” for the zeta function [duplicate]

Let $C$ be a smooth, projective, geometrically irreducible curve, of genus $g$, over a finite field $\mathbb{F}_q$. By the Weil conjectures, the zeta function has the shape
$$
Z_C(t)=\frac{P(t)}{(1-t)(...

**3**

votes

**3**answers

253 views

### Reference for counting points over finite fields

The following fact is extremely well known:
Fact. Let $Y$ be a geometrically irreducible variety (not necessarily smooth or proper) over a finite field $k$.
Then there is a constant $B$, ...

**3**

votes

**3**answers

259 views

### Curve with given Frobenius polynomial

Does there exist a prime $p$ and a smooth genus 2 curve $C / \mathbf{F}_p$ such that the characteristic polynomial of Frobenius on the Tate module of $J(C)$ is given by $(T^2 - p)^2$?
More generally, ...

**3**

votes

**1**answer

883 views

### In what way do the Weil Conjectures pertain to Langlands?

For a relative variety $X$ over a ring of integers $O_K$, we can define a zeta function. This zeta function is defined as the product of the zeta functions of the variety specialized to $O_K/\mathfrak{...

**2**

votes

**2**answers

625 views

### Is the integrality of the zeta function easy?

I'm trying to get the gist of the proof of the Weil conjectures. Let $X$ be a variety over $\mathbb{F}_{p^n}$. A priori $Z(X,t)\in \mathbb{Q}[[t]]$. Due to the Grothendieck-Lefschetz fixed point ...

**2**

votes

**1**answer

208 views

### Weil Conjectures Analog for Multivariate Zeta Functions

We know that the Riemann zeta function can be generalized to multivariate zeta functions.
Is there a multivariate analog of the Weil conjectures?

**1**

vote

**0**answers

95 views

### Is semistability of smooth Weil sheaf preserved under tensor product?

Let $X_0$ be a smooth, geometrically connected scheme over $\mathbb{F}_q$. As usual, let $\tau : \bar{\mathbb{Q}}_{\ell} \simeq \mathbb{C}$ be a fixed isomorphism. Let $\mathcal{C}$ be the category of ...

**0**

votes

**1**answer

254 views

### About Weil's proof of “Weil conjectures for curves and abelian varieties”

I know that the Weil's proof of the Weil conjectures for curves and abelian varieties is made under the lenguage of his "Foundation of algebraic geometry", however in "Polarizations and Grothendieck's ...