All Questions
1,114 questions
2
votes
2
answers
416
views
Birational morphism and first cohomology group
Let $f:X\rightarrow Y$ be a proper birational morphism of smooth projective varieties over $k=\bar k$ ($char(k)>0$). Is it true that $H^1(Y,\mathbb Z_l)\stackrel{f^*}\simeq H^1(X,\mathbb Z_l)$ ($l\...
- 61
3
votes
1
answer
248
views
Bounding the number of top dimensional irreducible components of a variety defined over a finite field
Let $V\subset \mathbb{A}^n_{\mathbb{F}_q}$ be a closed subvariety defined by simultaneously vanishing of $r$ polynomials $f_1,\cdots,f_r\in \mathbb{F}_q[x_1,\cdots,x_n]$, each of degree at most $d$. ...
- 31
8
votes
0
answers
157
views
defining Selmer groups using étale cohomology
Concerning http://swc.math.arizona.edu/aws/1999/99RubinES.pdf, especially section I.5:
Can one define the Selmer groups and the unramified cohomology groups as étale
cohomology groups of certain ...
user19475
14
votes
2
answers
1k
views
Can a reductive group act non-linearly on a vector group?
Let $k$ be a field; I'm going to discuss linear algebraic groups over $k$. The question I'll pose is only interesting when the characteristic is $p>0$.
1. Some motivation
A vector group is an ...
- 3,246
2
votes
0
answers
476
views
Does the numerical equivalence relation coincide with the homological one for 1-cycles (in positive characteristic)?
Is the Grothendieck's Standard Conjecture D (stating that the numerical equivalence relation for algebraic cycles with rational coefficients coincides with the homological one) known to be true for ...
- 16.9k
8
votes
1
answer
1k
views
Should the etale cohomology of a smooth projective variety (over rationals) be semi-simple; why?
$\DeclareMathOperator{\char}{char}\DeclareMathOperator{\gal}{Gal}$
Let $P$ be a smooth projective variety over a field $K$ (one may certainly assume that $K$ is perfect; the case $K=\mathbb{Q}$ ...
- 16.9k
6
votes
0
answers
489
views
A problem on universally locally acyclic
Let $k$ be an algebraically closed field of characteristic $p>0$. Let $X$ and $S$ be two smooth varieties over $k$ and $\mathcal F$ a constructible \'etale sheaf of $\mathbb F_\ell$-modules on $X$ (...
- 135
2
votes
1
answer
225
views
Is an $\ell$-adic local system on $\mathbb A^2$ that restricts to a trivial local system on every vertical line a pullback via the first projection?
This question is a reformulation of a special case of the question
An $\ell$-adic local system which is trivial on every fiber of a morphism
(this special case did not receive an answer on ...
- 2,974
7
votes
1
answer
5k
views
Chevalley's Theorem on Constructible Sets
I'm having a hard time understanding the theorem in the title, more specifically the proof of the related fact that the image of a dominant morphism contains a dense open set of it's closure. (My ...
- 75
19
votes
1
answer
1k
views
Is there a connected $k$-group scheme $G$ such that $G_{red}$ is not a subgroup?
I've been trying a learn a little more about group schemes by working through a set of exercises on Brian Conrad's website. Exercise 8.3 of http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf ...
- 3,625
9
votes
1
answer
1k
views
étale cohomology with G_m coefficients
Most calculations of étale cohomology in Milne's book deal with constructible or torsion sheaves. Are there references where the cohomology of varieties with $\mathbf{G}_m$ coefficients are calculated?...
user19475
2
votes
0
answers
100
views
Higher push forwards and etale cohomology
On the page 335 of Lei Fu's book on Etale cohomology theory (2nd edition)(in the proof of Lemma 7.3.5),
he insists the following:
Let $f: X' \rightarrow X$ be a surjective morphism. Then,
$$
H^q_{et}(...
- 367
13
votes
1
answer
690
views
Obstructions to formally integrating vector fields in characteristic p?
Let $M$ be a smooth scheme over some field $k$ of characteristic $p$, and $\vec X$ a vector field on it. Equivalently, $\vec X$ gives a map $Spec\ k[\epsilon]/\langle \epsilon^2 \rangle \times M \to M$...
- 27.9k
13
votes
1
answer
651
views
Help wanted with Chebotarev condition in characteristic 2
Having promised a longtime collaborator that I would clear my plate to finish up some joint work of ours, I am swallowing my pride and tossing up the following technical point of function field ...
- 65.4k
7
votes
1
answer
2k
views
Can proper-smooth base change be used to show that varieties cannot be lifted to characteristic zero?
Recall the following corollary to the proper and smooth base change theorems:
Let $\pi: X \to S$ be a proper, smooth morphism. Then the direct images $R^i \pi_* \mathcal{F}$ are locally constant ...
- 25.6k
14
votes
1
answer
2k
views
Why does the naive definition of compactly supported étale cohomology give the wrong answer?
Illusie's article about étale cohomology available here (in French) mentions that the standard definition of compactly supported cohomology (and higher direct images with compact support) does not ...
- 5,540
13
votes
2
answers
843
views
When can cohomology be calculated on the coarse moduli space?
Suppose $\cal{X}$ is a DM-stack, and X its coarse moduli space. Let F be a sheaf on $\cal{X}$, and $\pi : \mathcal{X} \to X$ the projection. In all examples I have seen, it has been true that
$H^i(\...
- 40.3k
3
votes
1
answer
816
views
When does the filtration in the limit of the Leray spectral sequence split?
Let $\ell$ be a prime, and $k$ a field of characteristic $\ne \ell$. Let $f \colon X \to Y$ be a proper map of smooth projective $k$-varieties. The Leray spectral sequence says
$$
E_{2}^{pq} = H^{p}(\...
- 5,504
8
votes
1
answer
716
views
DG enhancements of $\ell$-adic derived categories
This question is similar in flavor to Existence of dg realization for 6 functors
Let $X$ be a complex variety and $D(X)$ the bounded derived category of constructible sheaves (the Euclidean topology ...
- 1,595
3
votes
0
answers
292
views
What is the integral cohomology of an Enriques surface over a finite field?
Probably this is well-known, but I could not find it. I would like to understand the integral $2$-adic etale cohomology of an Enriques surface over $\mathbb{F}_q$ in dimension 2: $H_{et}^2(X, \mathbb{...
- 2,809
6
votes
1
answer
512
views
infinite grassmannian in algebraic geometry
Geometric realization of $B{\mathbb G}_{\mathfrak m}({\mathbb C})$ is ${\mathbb C}{\mathbb P}^\infty=\varinjlim_n~ {\mathbb C}{\mathbb P}^n_k$; what if one considers a separable field $k\neq {\...
- 193
3
votes
2
answers
651
views
Galois cohomology of the field of Laurent series
Let $k$ a separably closed field. Do we have that $k((t))$ is of cohomological dimension one?
- 3,472
21
votes
2
answers
1k
views
When do two elliptic curves have equivalent small etale toposes?
Let $X$ and $Y$ be elliptic curves over an algebraically closed field $K$. If the characteristic of $K$ is nonzero, assume both curves are ordinary or both are supersingular. Does it follow that $X$ ...
- 9,418
1
vote
0
answers
149
views
Smoothability of stable curves in mixed characteristic
Let $R$ be a complete DVR with residue field $k$ algebraically closed of characteristic $p$ and fraction field $K$ of characteristic zero. Let $C$ be a stable curve (in the sense of Mumford-Deligne) ...
- 2,323
10
votes
1
answer
570
views
Commutativity of the Chow ring in positive characteristic
I was looking in Ravi Vakil's notes on Intersection Theory, Class 20, where he introduces the bivariant intersection theory, in particular the Chow ring $A^\ast (X)$.
On p. 2, he writes the following ...
- 40.3k
5
votes
0
answers
257
views
Symplectic leaves in positive characteristic
I am currently considering a family of filtered algebras over an algebraically closed field of positive characteristic with the property that the associated graded algebra is a finitely generated ...
- 599
2
votes
2
answers
480
views
Lifting to char 0, references and questions
Suppose that I have a surface $S$, smooth proper over an algebraically closed (perfect?)field $k$ that lifts algebraically to some $S_W$ defined over a field of char 0. I am interested in properties ...
- 645
12
votes
1
answer
2k
views
Replacement for derivations in characteristic p?
Let $k$ be a field.
If $f \in k[x]$ is a polynomial, and $d/dx\ f = 0$, then either
$f$ is constant, or
$char\ k = p$ and $f \in k[x^p]$.
So "annihilated by all derivations" is perhaps not the right ...
- 27.9k
7
votes
4
answers
736
views
Simply connected quasi-projective varieties in positive characteristic
I am looking for examples of non-projective (quasi-projective) varieties $X$ defined over a field of positive characteristic, which have trivial étale fundamental group.
It is well known that the ...
- 4,450
16
votes
1
answer
1k
views
Motivation for the étale topology over other possibilities
In the search for a Weil cohomology theory $H$ over a field $K$ (with $\text{char}(K)=0$) for varieties in characteristic $p$, a classical argument by Serre shows that the coefficient field cannot be ...
- 5,540
4
votes
1
answer
342
views
etale cohomology of ${\mathbb P}^n_k$
Suppose $k$ is a number field. I want to compute $H^\ast({\mathbb P}^n_k,\mu_l^{\otimes r})$ where $l,r\in {\mathbb N}$. I know that Milne has some computations, but he assumes throughout that his ...
- 43
11
votes
1
answer
2k
views
Are automorphism groups of hypersurfaces reduced ?
In the following article : "H. Matsumura, P. Monsky, On the automorphisms of hypersurfaces, J. Math. Kyoto Univ. 3 (1964) 347-361", it is shown that in finite characteristic, automorphism groups of ...
- 6,543
15
votes
1
answer
4k
views
Frobenius Descent
Let $S$ be a scheme of positive characteristic $p$ and $X$ a smooth $S$-scheme. Let $F:X\rightarrow X^{(p)}$ denote the relative Frobenius. A result by Cartier (often called Cartier descent or ...
- 4,450
3
votes
0
answers
510
views
Is there a Hochschild-Serre spectral sequence for unramified cohomology?
Similar to the Hochschild-Serre spectral sequence for etale cohomology ($H^p(G, H^q_{et}(X_L, \mathcal F|_{X_L})) \Rightarrow H^{p+q}_{et}(X, \mathcal F)$ for a Galois field extension $L/k$ with ...
- 31
6
votes
1
answer
211
views
Recursions for some binary theta series in characteristic 3
Define $A(0), A(1), A(2) \dots$ in ${\bf Z}/3[[x]]$ as follows. For $n$ in $\bf N$ let $s=3^{2n+1}$. Then $A(n) = \sum a_kx^k$ where $a_k$ is the mod 3 reduction of the number of representations of $k$...
- 5,422
2
votes
0
answers
148
views
Purely inseparable $k$-rational dominant maps between an absolutely irreducible $k$-surface and $\mathbb{P}^2$
Let $X$ be an absolutely irreducible surface over an algebraically closed or finite field $k$ of characteristic $p$. Is it true that the following conditions are equivalent?
There is a purely ...
- 1,833
4
votes
0
answers
237
views
Varieties with only top $\ell$-adic cohomology not vanish?
Let $X$ be a $d$-dimensional connected smooth variety over $\overline{\mathbb{F}}_q$.
It is well known that if $X$ is isomorphic to an affine space, then all the $\ell$-adic compactly supported ...
- 1,666
3
votes
0
answers
218
views
Reference: Relative cohomology of a morphism
Let $f\colon Y \to X$ be a morphism of schemes, the inverse image in $K$-theory always fit into a long exact sequence
$$
\cdots \to K_i(f)\to K_i(X) \xrightarrow {f^*} K_i(Y)\to \cdots
$$
where the ...
- 2,871
4
votes
2
answers
394
views
Colon property of Gorenstein rings
Let $(R, \mathfrak{m})$ be a Gorenstein local ring of characteistic $p>0$. Let $x_1,...,x_d$ be a system of parameters of $R$. Let $I$ be an $\mathfrak{m}$-primary ideal containg $(x_1,...,x_d)$. ...
- 2,773
6
votes
1
answer
693
views
Nagata's conjecture in positive characteristic
For a $\mathbb C P^2$ is known a result: if through the generic points $p_1,p_2,\dots p_n$ with multiplicities $m_1,m_2\dots, m_n$ correspondingly a degree $d$ irreducible reduced curve passes then $d^...
- 5,063
15
votes
0
answers
2k
views
Why was it so difficult to define the relative de Rham-Witt complex?
In Illusie's original article, the de Rham-Witt complex is defined for a smooth scheme over a perfect characteristic $p$ base $S$, without reference to $S$. Some 25 years later, Langer and Zink ...
- 16.2k
4
votes
1
answer
998
views
Dimension of irreducible representations in characteristic p
Hi, I know that over $\mathbb{C}$ the dimension of an irreducible representation of a finite group $G$ must divide the order of the group. I've read somewhere that if $p$ does not divide the order of ...
- 407
3
votes
1
answer
391
views
Embedded resolution of curves on smooth varieties
As far as I understand, embedded resolution of singularities means the following: given a variety $X$ over an algebraically closed field, and a closed subvariety $Y$, there exists a birational map $f:...
- 16.2k
7
votes
1
answer
263
views
'Cohomologically approximating' a $\mathbb{Q}[[t]]$-scheme by a one over the henselization of $\mathbb{Q}[t]$?
For certain matters the henselization $R$ of $\mathbb{Q}[t]$ at $0$ is a 'reasonable approximation' for $\mathbb{Q}[[t]]$ (Artin's approximation theorem and so on). Now, I would like to study certain ...
- 16.9k
9
votes
4
answers
1k
views
cohomology of moduli spaces
Does anyone know if there's any reference on the $\ell$-adic cohomology of some simple moduli spaces/Shimura varieties, like Siegel moduli varieties $A_{g,N}$ of genus $g$ and level $N,$ for small $g$ ...
- 4,265
5
votes
0
answers
434
views
Is it possible to assume that an étale neighborhood is connected?
I am new to étale topology (though I've seen Grothendieck's sites before).
Let $S:=\mathcal{O}^\textrm{sh}_{X,x}$ be the strict local ring of a point $x$ of a scheme $X=\operatorname{Spec}R$ (over a ...
- 51
1
vote
1
answer
284
views
Etale cohomology and restricted direct product
[migrated from math.stackexchange: http://math.stackexchange.com/questions/727896/etale-cohomology-and-restricted-direct-product]
$\newcommand{\h}{\operatorname{H}}$
Let $k$ be a global field, $A$ an ...
- 5,759
4
votes
1
answer
370
views
Analogy between connections and $\ell$-adic sheaves: what happens with the residue?
There are many analogies between $\ell$-adic sheaves on varieties over finite fields and vector bundles with connections on varieties over fields of characteristic zero. I would like to know what is ...
- 41
16
votes
1
answer
1k
views
Motivic cohomology with finite coefficients for singular varieties
Let $X$ be a smooth variety over a field $K$ whose characteristic does not divide a positive integer $m$. Then the motivic cohomology of $X$ with coefficients in $\mathbb Z/m(j)$ can be computed in ...
- 15.6k
4
votes
0
answers
285
views
Application of Frobenius splitting in characteristic $0$
In general, Frobenius splitting only defines on field of characteristic $p$ (algebraically closed) field.
I am reading Brion and Kumar's book and I can see that there are geometric results can be ...
- 849