All Questions
1,114 questions
2
votes
1
answer
146
views
Should the identity labelled by red line be $\overline{f(Z)}=X$?
The above picture is from Milne's Etale Cohomology.
Suppose $A=\Bbb Z, \mathfrak q=(2T+3)$, consider $Z=\operatorname{Spec} \Bbb Z[T]/(2T+3)\to \operatorname{Spec} \Bbb Z[T]\to\operatorname{Spec} \Bbb ...
- 245
3
votes
0
answers
658
views
Most general form of Poincaré duality in étale cohomology
I am interested in Poincaré duality from the point of view of Grothendieck's 6-functor formalism. I am predominantly interested in the proof that Poincaré duality holds in étale cohomology from this ...
user30211
5
votes
0
answers
139
views
Liouville property in the Bost theorem on foliations
Let $X$ be a smooth algebraic variety over a number field $K$, and let $\mathcal{F}$ be an involutive coherent subsheaf of the tangent bundle. After a pullback to $\mathbb{C}$, $\mathcal{F}_\mathbb{C}$...
- 485
2
votes
1
answer
156
views
Extending the domain of the yoneda embedding map from étale schemes to the small étale topos so that it is still fully faithful
Let $X$ be a scheme. For $Y$ a scheme over $X$, the representable presheaf $h_Y : U\mapsto \mathrm{Hom}_X(U,Y)$ on the small étale site $X_{et}$ is actually a sheaf, and by the Yoneda lemma the ...
- 617
4
votes
0
answers
231
views
How big are small inverse powers of 2 mod powers of 3?
Let $a \bmod b$ take value as an integer in $[0, b)$. For any $T \ge 1$, for what $R \in [0, 3^n)$ is
$$\min \{2^{-t}\bmod 3^n: t =1, \dotsc, T\} := \min A_T > R?$$
When $T$ is fixed as $n$ ...
- 459
5
votes
1
answer
323
views
On realizing a topos of sheaves as a topos of equivariant sheaves
This question is motivated by the following example : let $X$ be a variety over a field $k$, with algebraic closure $\bar{k}$. The Galois group $G_k:=\mathrm{Gal}(\bar{k}/k)$ acts on $X_{\bar{k}}:=X\...
- 617
6
votes
0
answers
173
views
Orlik-Solomon algebra and hyperplane complements in positive characteristic
Let $k$ be an algebraically closed field of characteristic $p\geq 0$, $\underline H:=\{H_1,\dots, H_m\}$ a set of hyperplanes in $\mathbb A_k^n$ and $X:=\mathbb A^n-(\bigcup H_i)$.
Given a ring $R$ ...
- 728
3
votes
0
answers
274
views
Ind-etale vs weakly etale
In this article Bhatt and Scholze consider ind-etale and weakly etale maps of affine schemes. We have two (easy) statements, proven in Prop.2.3.3(1) and (5):
-- any ind-etale map is weakly etale,
-- ...
- 755
6
votes
0
answers
113
views
$S_n$-invariant polynomials on the dual of reflection representation
Let $W=S_n$ (the symmetric group) acting on $V=k^n$ via permutation of the indices, where $k$ is an algebraically closed field. Closely related to this are the reflection (sub-)representation $V_0=\{ (...
- 1,336
5
votes
1
answer
533
views
$\mathbf{A}^1$-invariance of Brauer groups and $H^2_{\mathrm{et}}(-;\mathbb{G}_m)$
The $\mathbf{A}^1$-invariance of vector bundles have been discussed in, for example, this paper by Asok, Hoyois and Wendt. This of course implies storng $\mathbf{A}^1$-invariance results for the first ...
- 935
2
votes
0
answers
167
views
Explicit construction of a presentation of a constructible sheaf of $\mathbb{Z}$-modules
This question was prompted by the two following:
Constructible étale sheaves on X are étale algebraic spaces over X
Naive question about constructing constructible sheaves
If I have a ...
- 617
1
vote
0
answers
128
views
understanding higher direct images of $\mathbb{G}_m$ for a finite Galois map
Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$, and let $\mu_r$ denote the group of $r$-th roots of unity, and moreover suppose $\mu_r$ (algebraically) acts on $X$ freely. Then $Y:= X/\...
- 737
1
vote
1
answer
220
views
Lowest weight of compactly supported cohomology with coefficients
Let $X_0/\mathbb F_q$ be a variety, and let $\mathcal F$ be a Weil sheaf on $X := (X_0)_{\overline{\mathbb{F}_q}}$ that is pure of weight $n$. If $j < n$, does the weight $j$ piece of $H^i_c(X,\...
- 193
3
votes
0
answers
174
views
When the Leray spectral sequences for nice compactifications give the Deligne's weight ones?
Assume that $X$ is a proper smooth variety over an algebraically closed field $k$, $U=X\setminus (\cup D_i))$ where $D_i$ are closed subvarieties such that the set-theoretic intersections of all sets ...
- 16.9k
1
vote
0
answers
241
views
Higher direct images of $\mathbb{G}_m$ under a projective bundle
Let $X$ be a smooth projective rational variety over $\mathbb{C}$, and let $\pi:Y\rightarrow X$ be a principal projective bundle with fibers isomorphic to $SL(n,\mathbb{C})/P$, where $P$ is a ...
- 737
1
vote
1
answer
180
views
Exactness of functor $ Et(B) \to \operatorname{(Ab)}, \ C \mapsto \mathcal{F}(C) $ (Etale Cohomology and the Weil Conjecture by Freitag, Kiehl )
I have question about a statement from Etale Cohomology and the Weil Conjecture by Freitag, Kiehl
at the top of page 16. It seemingly uses the same notations as introduced at the bottom of page 15
and ...
- 5,986
2
votes
0
answers
124
views
The cohomology groups corresponding to a modified global sections functor
Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...
- 5,901
2
votes
1
answer
384
views
Some facts about sheafification functor on étale site
I'm studying the book Etale cohomology and the Weil conjecture by Freitag, Kiehl and I have some questions on the subchapter introducing the machinery associating to an étale presheaf
a sheaf (that is ...
- 5,986
5
votes
1
answer
534
views
Ordinary abelian varieties and Frobenius eigenvalues
Say $A_0$ is an ordinary abelian variety over ${\mathbf{F}}_q$. Call $\mathcal{A}$ the canonical lift of $A_0$ over $R := W({\mathbf{F}}_q)$. It carries a lift of the $q$-th power map on $A_0$. We ...
user322153
0
votes
0
answers
308
views
Faithfully flat etale morphism from strictly Henselian ring (from Etale Cohomology and the Weil Conjecture by Freitag/Kiehl)
I have question about a statement found in Etale Cohomology and the Weil Conjecture by Freitag, Kiehl at the end of page 15.
It starts with the Remark 1.18 : Let $A$ be a strictly Henselian ring (i.e. ...
- 5,986
4
votes
0
answers
189
views
If the Frobenius endomorphism of a characteristic $p$ ring is epimorphic, is it surjective?
MO question 19282 is about integral epimorphisms of commutative rings, and a counterexample is given to surjectivity. What about the case of the Frobenius endomorphism of a commutative, characteristic ...
- 4,492
1
vote
1
answer
680
views
Cohomology with coefficients in $\mu_\infty$
I'm encountering a lot of problems when dealing with the root of unity sheaf $\mu_\infty := \mathrm{colim}_n\mu_n$.
Let $X$ be a smooth geometrically integral variety over a number field $k$. Although ...
- 895
3
votes
0
answers
152
views
Obtaining an exact sequence of Galois modules via derived functors
This question has two parts, the first part will be to obtain the desired exact sequence while the second will be to study it in the corresponding derived category and try to obtain it from there.
Let ...
- 895
3
votes
1
answer
552
views
Subrings of Chow rings
Let $X$ be a smooth projective variety over $\mathbf{F}_p$, call $\overline{X}$ the base change to $\overline{\mathbf{F}}_p$, and denote by $F$ the base change to $\overline{X}$ of the absolute ...
user178246
5
votes
1
answer
408
views
On universally closed morphisms of reduced schemes
In this question I'd like to examine some properties of universally closed morphisms.
The question is self-contained. It can also be seen as a follow-up to this question.
Let $R$ be a discrete ...
user315884
8
votes
1
answer
441
views
Minimal vs characteristic polynomial of geometric Frobenius
Assume $X$ is a smooth projective variety over $\overline{\mathbf{F}}_p$ and fix a prime $\ell\neq p$.
Let $F_i$ be the geometric Frobenius on $\ell$-adic cohomology
$$H^i_{\rm ét}(X,\overline{\mathbf{...
user178246
1
vote
0
answers
223
views
Cohomological dimension of continuous étale cohomology of finitely generated fields
Given a finitely generated field $F$ with prime field $k$, we assume $k$ is finite, of characteristic $p$. Fix a prime $\ell$ invertible in $k$.
In the discussion right after [K, Lemma 2.3], the ...
- 5,901
3
votes
1
answer
245
views
Can non-geometrically reduced reduced subschemes happen for reductive groups?
The title is meant to be punchy, but also a tongue-in-cheek acknowledgement of the prevalence of ‘reduce’-derived words in this area. (Unfortunately, I overlooked the fact that the question in the ...
- 12.9k
5
votes
0
answers
524
views
Generalization of Weil Conjectures
is there a reference in English, besides Deligne's original publication: "La conjecture de Weil: II", not synthetic but complete that deals with the original argument of the generalization ...
- 51
4
votes
0
answers
262
views
de Rham Bloch-Ogus theory in positive characteristic
In their famous paper Gersten's conjecture and the homology of schemes, one of the results that Bloch and Ogus prove is that the second page of the coniveau spectral sequence for $X$ smooth over a ...
- 2,054
1
vote
1
answer
303
views
A question about a truncated object
I was hoping someone could help me with the understanding of a particular truncated object. Here are some background:
For any object $A$ in an abelian category $\mathcal{A}$, we can view $A$ as an ...
- 895
8
votes
1
answer
2k
views
Cohomology of Grothendieck topology
My naïve cartoon picture of the construction of étale cohomology is this:
start with a scheme, associate to it a Grothendieck topology (making a site).
A functor from the Grothendieck topology to ...
- 2,050
3
votes
1
answer
188
views
Maximal closed subscheme stable under the action of a finite connected group scheme
Let $k$ be a field of characteristic $p>0$, $X$ a smooth projective $k$-variety and $Y\subseteq X$ a closed irreducible subvariety. Let $G$ be a connected finite $k$-group scheme acting on $X$.
...
- 728
4
votes
0
answers
583
views
Etale cohomology of a nodal (cuspidal) curve
Let $k$ be a separably closed field, and $X/k$ be a curve (not necessarily complete) with a single singularity, a simple node $x$. Suppose $\ell$ is a prime number invertible in $k$, how do we compute ...
- 547
5
votes
1
answer
419
views
Lifting $\mathfrak{sl}_2$-triples
Let
$k$ be an algebraically closed field,
$G$ a (smooth, connected) reductive algebraic group over $k$,
$H$ a (smooth, connected) reductive group of semisimple rank 1, and
$T$ a maximal torus in $H$.
...
- 12.9k
2
votes
1
answer
606
views
Do we have Hodge symmetry for char $p$?
Let $X$ be a smooth projective variety over a field $k$. Let $h^{p,q}=dim_k H^q(X,\Omega_{X/k}^p)$ be the Hodge numbers.
If $k$ is of char $0$, by Lefschetz principle, we always have Hodge symmetry, i....
- 547
3
votes
0
answers
187
views
Simplification of links between idele class group and étale cohomology
I posted this question over on stack exchange and was told it would work better here.
For interest I have been looking at links between class field theory and étale cohomology. Let $k$ be a global ...
6
votes
1
answer
505
views
Irreducible components of an algebraic stack
Let $\mathcal{X}$ be an algebraic stack of finite type over a (separably closed) field $ k$. Let's say that $\mathcal{X}$ has finite dimension $d \in \mathbb{Z}$. Is it still true that the number of ...
- 1,061
2
votes
0
answers
208
views
Galois-action on spectral sequence
Let $X_\bullet\to S$ be a proper surjective hypercover of a $k$-scheme by smooth proper $k$-schemes. This gives a proper surjective hypercover $X'_\bullet\to S_{\bar{k}}$ where $X'_n:=X_n\times_k \bar{...
- 4,428
7
votes
1
answer
400
views
Does perfect fraction field imply perfect residue field?
Let $A$ be a local integral domain of characteristic $p$. Let $K$ be the fraction field and let $k$ be the residue field of $A$. If $K$ is perfect, is $k$ necessarily perfect?
Thoughts:
If $A$ is ...
- 428
3
votes
0
answers
641
views
fppf/ etale Cohomology calculate with Cech cohomology
Let $R$ be a commutative ring with one and $S$ commutative faithfully flat $R$-algebra (that is there is a faithfully flat ring map
let $\phi: R \to S$). Then the so called Amitsur complex
$R \to S^{\...
- 5,986
16
votes
1
answer
2k
views
Proof of main theorems in étale cohomology theory
(In this question, $p$ can be $0$.)
I'm curious if theorems on étale cohomology can be proved by easier way.
For example, proper base change theorem. This theorem can be stated as the following way.
...
user196717
3
votes
2
answers
394
views
Is it true that $ H^{2r} ( X , \, \mathbb{Q}_{ \ell } (r) ) \simeq H^{2r} ( \overline{X} , \, \mathbb{Q}_{ \ell } (r) )^G $?
Let $ k $ be a field and let $ X $ be a smooth projective variety over $ k $ of dimension $ d $.
We denote by $ \overline{X} = X \times_k \overline{k} \ $ the base change of $ X $ to the algebraic ...
- 595
4
votes
1
answer
638
views
perfect fields in positive characteristic
Let $k$ be an infinite perfect field in positive characteristic $p$, i.e. every element of $k$ is a $p$th power. I am interested in properties of finite fields that can be extended to $k$. For example:...
- 168
8
votes
2
answers
2k
views
The Mumford-Tate conjecture
The Mumford-Tate conjecture asserts that, via the Betti-étale comparison isomorphism, and for any smooth projective variety $ X $, over a number field $ K $, the $ \mathbb{Q}_{ \ell } $-linear ...
- 595
1
vote
0
answers
111
views
Divisible elements in the cohomology of Milnor $K$-theory
As a consequence of the strong Tate conjecture over finite fields one can deduce (see here proposition 8.20) for every smooth variety $X$ over a finite field:
$$H_{cont}^i(X,\mathbb{Q}_l(n))=H_{Zar}^{...
- 5,901
9
votes
1
answer
356
views
Reference request for indecomposable representations of $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$
Is there a good reference on the classification of indecomposable representations of the Lie algebra $\mathfrak{sl}(2)$ over an algebraically closed field of characteristic $p > 0$ (of course, in ...
- 239
19
votes
1
answer
2k
views
Perfectoid approach to resolution of singularities in char $p$
Since perfectoid techniques have built a bridge between char $0$ and char $p$ worlds, it is conceivable that they can be applied to resolution of singularities in char $p$ using their successful ...
- 199
8
votes
0
answers
300
views
Which algebra is $\mathbb{F}_p \otimes_{HH^{\cdot} (\mathbb{F}_p)} \mathbb{F}_p$?
Let $HH^{\cdot}(\mathbb{F}_p)$ be the Hochschild cohomology of $\mathbb{F}_p$ over $\mathbb{Z}$, which as a $E_1$ ring is simply $\mathbb{F}_p[x]$ with $x$ in cohomological degree $2$. Then it's clear ...
- 2,356
3
votes
0
answers
376
views
Cohomological dimension for stacks
If $X$ is a scheme (maybe with conditions), I'm pretty sure that the ($\ell$-adic/de Rham) rational cohomology $H^*(X,\mathcal{F}$) of an $\ell$-adic sheaf/holonomic $D$-module $\mathcal{F}$ vanishes ...
- 5,711