All Questions
1,114 questions
6
votes
1
answer
959
views
Homology of the étale homotopy type
$\DeclareMathOperator\Et{Et}$Let $X$ be a scheme and denote by $\Et(X)$ the associated étale homotopy type. Then by the work of Artin–Mazur, we know that for an abelian group $A$, we have
$$H^n(\Et(X),...
- 4,428
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
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
2
votes
0
answers
218
views
Borel-Weil-Bott theorem for wonderful compactification in characteristic p
Are there any known results for a Borel-Weil-Bott theorem for the wonderful compactifications over characteristic $p$ (i.e., theorems that classify the cohomologies of all line bundles on a wonderful ...
- 41
4
votes
1
answer
198
views
Simple restricted but not restricted simple Lie algebras
Let $F$ be a field which has a positive characteristic $p \ge 2$ and $(\mathfrak{g},[p])$ be a restricted Lie algebras over a field $F$ where $[p]$ is a $p$-th power map on $\mathfrak{g}$. $(\mathfrak{...
- 145
14
votes
2
answers
2k
views
Is there a version of algebraic de Rham cohomology that can be used to calculate torsion classes?
Much work has gone into the construction of cohomology theories which are defined on algebraic varieties (étale, crystalline, etc.) and comparison isomorphisms between them.
Say $X$ is an algebraic ...
- 1,347
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
2
votes
0
answers
147
views
Automorphism groups of "reductive" Lie algebras in positive characteristic
I put "reductive" in quotes because, of course, in positive characteristic one should speak of Lie algebras of reductive groups, not of reductive Lie algebras.
Let $G$ be a reductive group ...
- 12.9k
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
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
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
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
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
3
votes
0
answers
317
views
About the inverse function theorem in the étale topology
It's clear that the étale topology is closed related to some form of inverse function theorem. Let me give some reasons. (Also, see the comments here.)
(1) A morphism $f:X\to S$ between smooth ...
- 773
6
votes
0
answers
470
views
Étale cohomology of the field with one element
In the function field - number field analogy, some expect progress on RH to come from reproducing various aspects of the Grothendieck program in a way where $\mathbb{Z}$ could be treated as a function ...
user30211
8
votes
1
answer
943
views
Automorphisms over finite field that do not lift to an automorphism in characteristic zero
My main question is the following: is there an automorphism of the affine space $\mathbb{A}^n$ (automorphism of an algebraic variety) defined over a finite field which does not lift to an automorphism ...
- 7,722
4
votes
0
answers
215
views
Reference request: Radicial morphisms & Jacobson-Bourbaki correspondence
My name is Chemy (Przemysław). I am a PhD student at UvA (Amsterdam), and I work on projects related to foliations in algebraic geometry in positive characteristic. Therefore I am avidely reading two ...
- 485
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 $ \...
- 863
17
votes
4
answers
2k
views
What are supersingular varieties?
For varieties over a field of characteristic $p$, I saw people talking about supersingular varieties.
I wanted to ask "why are supersingular varieties interesting". However, as I don't want to ask an ...
- 2,040
4
votes
1
answer
428
views
p-torsion in the Picard group of a regular projective curve
Let $K$ be a field of characteristic $p>0$ and $C$ a regular projective geometrically integral curve over $K$.
If $C$ is smooth, then the connected component ${\rm Pic}^0_C$ of the Picard scheme of ...
- 2,051
2
votes
0
answers
156
views
When is map of $E_{\infty}$-ring spectra etale iff certain condition is fullfilled
When is it true that a map of $E_{\infty}$-ring spectra $R \to S$ is etale (in Lurie's sense) if and only if, $\operatorname{TAQ}^R(S) = 0$ and $ \pi_*(R)\otimes_{\pi_0(R)} \pi_0(S) = \pi_*(S)$?
- 448
0
votes
0
answers
196
views
Question regarding étale sheaf under finite étale surjective morphism
Let $X$ and $Y$ be smooth projective varieties over $\mathbb{C}$, and suppose we have a surjective finite étale morphism $f:X\rightarrow Y$ (actually $Y=X/G$ for a free action of a finite group $G$), ...
- 737
4
votes
1
answer
580
views
Etale cohomology and Kummer theory
If $K$ is a field and $n \geq 1$ is such that $n \in K^{\times}$, then $H^1_{et}(\mathrm{Spec}(K),\mu_n)=K^{\times} / (K^{\times})^n$. This is easy to prove, see for instance Tamme, Etale Cohomology, ...
- 63.1k
2
votes
0
answers
97
views
Non-noetherian Cartier Isomorphism
A result in positive characteristic is that if $R/\mathbb{F}_p$ is a smooth ring, then we have a Cartier isomorphism
$$\Omega_{R}^\bullet\cong H^\bullet(\Omega_R^\bullet)$$
which is essentially ...
- 4,428
2
votes
0
answers
114
views
Two natural morphisms of sheaves with the same source and target; do they agree?
Suppose we have a diagram
$\require{AMScd}$
\begin{CD}
A @>a>> B\\
@V b V V @VV c V\\
C @>>d> D @>e>> E \\
@VfVV @VVgV @VVhV \\
F @>>i> G @>>j> H
\end{CD}...
- 125
2
votes
1
answer
185
views
Finite, normal subgroups of reductive groups in positive characteristic
Consider the following statement about a connected, reductive group $G$ over a field $k$:
Every finite, normal subgroup $N$ of $G$ is central.
In characteristic $0$, this is true, and the proof is ...
- 12.9k
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
37
votes
4
answers
12k
views
Finite extension of fields with no primitive element
What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...
- 24.1k
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
2
votes
0
answers
206
views
Stratified sites/topoi and constructible sheaves
Is it possible to define (possibly derived) categories of constructible sheaves over sites more general than those of open subsets of topological spaces while still retaining essential features, like ...
- 1,516
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
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
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 ...
- 6,006
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
3
votes
1
answer
129
views
Schur multiplier of finite-dimensional simple Lie algebras in positive characteristic
The Schur multipliers of finite simple groups are known and easily accessible:
https://en.wikipedia.org/wiki/List_of_finite_simple_groups
Moreover, as a consequence of the second Whitehead's Lemma, if ...
- 630
1
vote
0
answers
126
views
Strict henselianization of complete intersections
As far as I understand (and tbh for my purposes), one of the main points of strict henselisation of a local ring is that it computes the stalk at a point of a scheme in the étale topology. In the ...
- 4,428
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
42
votes
2
answers
10k
views
Intuition behind the Eichler-Shimura relation?
The modular curve $X_0(N)$ has good reduction at all primes $p$ not dividing $N$. At such a prime, the Eichler-Shimura relation expresses the Hecke operator $T_p$ (as an element of the ring of ...
- 118k
9
votes
1
answer
819
views
Giraud's proper base change for Gerbes - Elimination of Noetherian hypotheses
I was looking through Giraud's book Cohomologie Non-abelienne, and there is a very nice theorem that Giraud proves in the Noetherian case (Cohomologie Non-Abelienne VII.2.2):
Let $f:X\to Y$ be a ...
- 19.6k
2
votes
0
answers
216
views
$G$-torsor over $\mathbb{A}^1_S$ where characteristic of $S$ does not divide $|G|$
I am reading the paper $\mathbb{A}^1$-homotopy theory of schemes by Morel and Voevodsky from 1999. There is a proposition saying that
Let $G$ be a finite étale group scheme over $S$ of order prime to ...
- 1,168
4
votes
1
answer
280
views
Semisimplicity of the étale cohomology mod $p$
Let $X$ be a smooth projective variety over a field $k$. Then if $\ell\neq \text{char} k$, $k$ is finite, and $X$ is an abelian variety it was shown by Weil that the $\ell$-adic cohomology of $X_{k^{...
- 4,428
2
votes
0
answers
171
views
Monogenic function fields
Recall that a number field $K$ is said to be monogenic if its ring of integers is of the form $\mathbb{Z}[\alpha]$, or equivalently, if it has a power integral basis. There are many references one can ...
- 103
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
3
votes
0
answers
149
views
What direction does the derivation of an inseparable algebraic variable point in?
I've been thinking about the geometry of inseparable field extensions lately, since I'm studying smoothness in commutative rings in an advanced topics course this semester. I've generally come to the ...
- 1,969
2
votes
1
answer
617
views
Fpqc-locally constant if and only if étale-locally constant?
Also in SE.
Let $\mathcal{F}$ be sheave over $S_\mathrm{fpqc}$. We say $\mathcal{F}$ is a fpqc-locally constant sheaf (of finitely generated abelian groups) if there exists a fpqc covering $(S_i\to S)...
- 452
2
votes
1
answer
608
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
4
votes
2
answers
918
views
Katz's proof of Cartier's (descent) theorem
I am trying to understand the proof of Cartier’s theorem on pages 370-371 (pages 17-18 of the PDF file) of Katz’s “Nilpotent connections and the monodromy theorem: applications of a result of ...
- 121
2
votes
0
answers
47
views
Characters of simple $\mathfrak{sl}_n$-modules in positive characteristic with subregular nilpotent central character
Consider representations of $\mathfrak{sl}_n$ in positive characteristic with a subregular nilpotent central character $\chi$ (i.e. $\chi$ is a nilpotent matrix whose Jordan normal form has two blocks ...
16
votes
1
answer
984
views
Reconstruct a variety from its crystalline topos
Let $k$ be a perfect field of positive characteristic. Let $X$ be a smooth projective geometrically connected $k$-scheme with a $k$-point.
Can we reconstruct $X$ from its small crystalline topos $((X/...
user158636