Questions tagged [weil-conjectures]
The weil-conjectures tag has no summary.
72 questions
2
votes
0
answers
153
views
The cycle-class map in Étale Cohomology
In Deligne’s SGA 4 1/2 (p.80), he defines the cycle-class map for a local complete intersection $i : Y\hookrightarrow X$ of codimension $c$ as follows:
He restricts to a complete intersection of ...
11
votes
2
answers
878
views
Linear algebraic lemma in Weil II
The following linear algebraic lemma is used in Weil II to prove properties of $\tau$-real sheaves:
Lemma Let $A$ be a complex matrix and let $\overline A$ be its complex conjugate. Then the ...
0
votes
0
answers
153
views
Roots of weight of a characteristic polynomial of Frobenius
We are expected to solve a conjecture of the title. Reference is Jean-Pierre Serre — Propriétés conjecturales des groupes de Galois motiviques et des représentations l-adiques.
Precisely;
Conjecture A:...
4
votes
1
answer
326
views
Pure varieties which are neither smooth nor projective
Recall that a variety $X$ over a finite field $k$ is said to be pure if the eigenvalues of the Frobenius on $i^{\mathrm{th}}$ etale cohomology of $\overline{X}:=X\otimes_k \overline{k}$ have ...
3
votes
0
answers
351
views
Is the weight-monodromy conjecture known for unramified representations?
Let $X$ be a smooth proper variety over a number field $K$, $v$ a place of $K$ lying over a prime number $p \neq \ell$, and $V := H^n(X_{\overline{K}};\mathbb{Q}_{\ell})$. Suppose $V$ is unramified at ...
3
votes
1
answer
429
views
Purity of Frobenius on cohomology of a projective variety over $\mathbb F_q$ with isolated singularities
Let $X_0$ be a projective variety of dimension $n>0$ over a finite field $\mathbb F_q$ of characteristic $p$. Let $X$ denote its base change to an algebraic closure. Let $\ell$ be a prime number ...
2
votes
0
answers
134
views
Deformation of complex manifolds that admit reduction modulo $p$
Let $(M,B,\omega)$ be a complex analytic family of compact (projective non singular) complex manifolds, where $B \subset \mathbb{C}^{m}$ is some domain. Lets consider a subclass of such manifolds $\{...
4
votes
0
answers
345
views
History of algebraic geometry over finite fields
My question is of historical nature: when did mathematicians start studying algebraic geometry over finite fields in a systematic way, and who were the main driving forces ?
Did it start with Weil (...
2
votes
0
answers
182
views
$L$-series and Riemann zeta function
I am currently reading SGA 4$\frac{1}{2}$, exposé 2: Rapport sur la formule des traces.
The $L$-series associated to a scheme $X$ of finite type over $\mathbb{F}_{p}$ is defined as
$$L(X,s):=\prod_{x\...
3
votes
0
answers
301
views
Do Weil cohomology theories for schemes over arbitrary rings exist, and do the standard theorems (Lefschetz fixed point, Tr. Formula etc.) still hold?
A Weil cohomology theory is a functor that assigns to a smooth projective variety $X$ of dimension $d$ over a field $k$ a graded ring of cohomology groups with values in a field $K$ of characteristic $...
6
votes
1
answer
459
views
Zeta function of $X = \mathbb{F}_p \mathbb{P}^1$
I'm trying to produce a toy version of the RH Weil conjecture. Solving this could help me to get a good start at understanding where the $1/2$'s come in here, ideally without having to prove the Hard ...
11
votes
2
answers
2k
views
Algebraic geometry over the complex numbers, and beyond
My question basically is very simple: when did mathematicians start to do algebraic geometry "outside the complex numbers" ?
In the old days, algebraic geometry was solely done over the ...
0
votes
0
answers
117
views
Are the zeroes of the finite characteristic zeta functions dense in $\left\{s\in\mathbb{C}\mid\mathfrak{Re}(s)=\frac{1}{2}\right\}$?
If $p$ is a prime, $n\in\mathbb{N}$ is a natural number and $C$ is a nonsingular curve over $\mathbb{F}_{p^{n}}$, the $\zeta$ function associated to $C\mid_{\mathbb{F}_{p^{n}}}$ is defined as
\begin{...
6
votes
2
answers
718
views
Could the Weil zeroes of curves be evenly distributed?
If $X$ is a smooth, geometrically connected, projective curve of genus $g$
over $\mathbb{F}_q$, then the zeta function of $X$ is of the form $P(s)/(1 - s)(1 - qs)$, where $P(s)$ is a polynomial of ...
2
votes
1
answer
497
views
Why geometric generic point (in abstract algebraic geometry) replace general points in the unit disk?
In section 4.1, chapter 4 of Pierre Deligne's paper La conjecture de Weil : I (french version, translation to English) he states:
On $\mathbb{C}$ Lefshietz local results are as follows. Let $X$ be a ...