All Questions
1,114 questions
4
votes
1
answer
248
views
Relation between positive roots of $E_8$ and $\mathbb{F}_2^8 \setminus \{0\}$
There exists an explicit bijection (due to Cayley, that has built up a very nice table to describe this) between the positive roots of the lattice $E_7$ and $\mathbb{F}_2^6 \setminus \{0\}$ (where $\...
- 3,779
1
vote
1
answer
229
views
Purity for proper varieties
Let $X$ be a proper, geometrically connected, geometrically integral variety over $\mathbf{F}_q$. There exists a finite field extension $k/\mathbf{F}_q$ of degree $d$ and an alteration $X'\to X_k$ ...
user480741
1
vote
1
answer
156
views
$p$-adic étale cohomology groups are not $\mathbb{C}_p$-admissible
It is stated in Caruso - An introduction to $p$-adic period rings (the remarks following equation (2)) that the $p$-adic étale cohomology groups of an algebraic variety $X$ over a finite extension $K$ ...
- 186
3
votes
1
answer
283
views
Is the theta characteristic attached to an etale double cover of a plane quintic arising from a cubic threefold even in characteristic two?
We work over an algebraically closed field $k$ of characteristic $2$. Let $X$ be a cubic threefold realized as a conic bundle via $f: X \to \mathbb{P}^2$ (after blowing up some line). Let $C \to \...
- 679
4
votes
0
answers
284
views
modularity of elliptic curves over function fields in positive characteristic
Let $F$ be a global function field over a finite field, and $E$ be an elliptic curve over $F$. Much like the number field case, it is natural to study the Galois representation on the Tate module of $...
- 685
7
votes
1
answer
513
views
Is there any theory of "étale cohomology" with algebraic coefficients?
For simplicity, I will restrict attention to untwisted coefficients.
Let $k$ be a finite field of characteristic $p$, and $\ell\ne p$ prime. Can one define a cohomology theory with $\mathbb{Q}_\ell^{\...
- 371
0
votes
0
answers
633
views
"Cohomology with compact support isomorphic to homology" theorems
I am collecting theorems throughout different fields which say roughly something of the form "Cohomology with compact support isomorphic to homology".
I'm studying this situation (and its ...
user30211
4
votes
0
answers
342
views
Voevodsky's motives and Deligne's systems of realizations
$\newcommand{\gm}{\mathrm{gm}}$Let $\mathbf{DM}_{\gm}(\mathbb{Q},\mathbb{Z})$ be Voevodsky's category of geometric motives over $\mathbb{Q}$ with coefficients in $\mathbb{Z}$ (e.g. as on p.124 of ...
- 15.4k
0
votes
0
answers
208
views
Cohomology map induced by inclusion of curves
Let $C$ be a smooth affine geometrically integral curve of genus $\geq 1$ over an algebraically closed field $k$, and let $\iota: C \rightarrow C'$ denote the inclusion into its smooth ...
- 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
3
votes
0
answers
168
views
Symmetrical monoidal $2$-category of cohomological correspondences
My question is whether a symmetric monoidal $2$-category of ``cohomological correspondences'' has been been rigorously constructed anywhere in the literature.
Let me be more precise about what I mean.
...
- 2,923
4
votes
0
answers
295
views
de Rham Witt complex vs. de Rham complex of the Witt ring
I am reading the paper "Revisiting the de Rham-Witt complex" by Bhatt-Lurie-Mathew and I am a bit confused about the difference between $W\Omega_R^*$ and $\hat{\Omega}^*_{W(R)}$.
Let $\...
- 218
4
votes
0
answers
204
views
Explicit description of wonderful compactification for PGL_3
Let $k$ be an algebraically closed field of positive characteristics. Let $X$ be the wonderful compactification of $PGL_3$ (see for example section 6 of "Frobenius Splitting Methods in Geometry ...
- 163
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
2
votes
1
answer
473
views
Torsors over elliptic curves
Let $G$ be a finite abelian etale group scheme over a number field $k$. Let $E$ be an elliptic curve over $k$ and $C := E\backslash \{O\}$ its affine model of the same equation.
Recall that for a ...
- 895
4
votes
1
answer
647
views
A comparison theorem between crystalline cohomology and étale cohomology
Suppose $X/\mathbb F_q$ is a smooth projective variety. Katz-Messing (eudml) shows that the characteristic polynomial of the Frobenius on $H^i_{et}(\overline{X},\mathbb Q_\ell)$ and $H^i_{crys}(X)$ ...
- 7,746
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
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
0
answers
190
views
Does the Gross-Hopkins period map have a natural interpretation coming from derived algebraic geometry?
The Gross-Hopkins period map is a map on the $W(k)$-points of $LT_n \to P^{n-1}$, where $k = F_{p^n}$. It sends a lift $G$ of the Honda formal group to the 1-$d$ subspace $\omega_G$ of the Dieudonn'e ...
- 448
2
votes
1
answer
361
views
Lie algebroid in algebraic geometry
When I did net-surfing at home, I met some geometric backgrounds of Lie algebras and encountered the concept of Lie algebroids. In differential geometry, a Lie algebroid seems to be defined as ...
- 145
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
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
1
vote
1
answer
293
views
Every rank 1 local system $L$ satisfying $m^*L=L\boxtimes L$ comes from the Lang torsor? The same holds for D-modules?
Let $G$ be a commutative connected algebraic group over a field $k$, with group operation $m:G\times G\to G$. If $k=\mathbb{F}_q$, we may use a character $\varphi:G(k)\to\overline{\mathbb{Q}}_\ell^\...
- 773
2
votes
1
answer
545
views
Computation of cohomology of Eilenberg-Maclane spaces
$\DeclareMathOperator\Aut{Aut}\DeclareMathOperator\Ext{Ext}\DeclareMathOperator\Spf{Spf}$Background:
If $E$ is a complex-oriented spectrum, then $E^*(K(\mathbb{Z}/p^k,1))$ sits inside a long exact ...
- 448
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
2
votes
1
answer
367
views
Groupoid of points, shape and stratified shape of $\operatorname{Sh} (X_\text{pro-ét})$
$\DeclareMathOperator\Sh{Sh}\DeclareMathOperator\Pt{Pt}$Maybe this is well-known or even a stupid misunderstanding of something very basic. It's well-known that the groupoid of points (i.e., groupoid ...
- 2,227
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
5
votes
1
answer
483
views
Does p-adic etale cohomology know the variety has ordinary reduction or not?
For a smooth proper variety $X$ over discrete valuation ring $\mathcal{O}$ of mixed characteristic $(0,p)$, let $X_K$ be the generic fibre over a generic point $\textbf{Spec} K$ and let $X_k$ be the ...
- 349
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
4
votes
2
answers
560
views
Dimension is an invariant in the Grothendieck ring of algebraic varieties
$\DeclareMathOperator\Var{Var}$Let $k$ be any field and let $K_0(\Var_k)$ be the Grothendieck ring of $k$-algebraic varieties (i.e. algebraic varieties up to cut-and-paste relations). Given an ...
- 507
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
3
votes
1
answer
249
views
Sheafifcation for the étale site
Let $X$ be a scheme and $\mathcal{F}$ a presheaf on $X_{ét}$.
For each $x_{i}\in X$, pick a geometric point $\bar{x}_{i}$ over $x$ and denote by $i_{\bar{x}_{i}}:\text{Spec}(k_{i})_{\text{ét}}\...
- 481
6
votes
1
answer
506
views
Degree-2 étale covers of curves in characteristic 2 vs torsion points on the Jacobian
It can be found, at Hartshorne exercise 4.2.7 for example, that in the case where $\operatorname{char}(k) \neq 2$ we have a nice correspondence between etale degree 2 covers of a curve $C$ and 2-...
- 679
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
2
votes
1
answer
515
views
Galois invariants and tensor products
Consider a number field $K$ and a finite Galois field extension $L/K$. Let $E$ be an elliptic curve over $K$ and consider the abelian group
$$E(L)\otimes L^{\times}.$$
Every element $g$ in $\text{Gal}(...
user290895
6
votes
1
answer
351
views
Adèlic points and algebraic closure
Consider $\mathcal{X}$ a projective and flat scheme over $\text{Spec}(\mathcal{O}_K)$, with $\mathcal{O}_K$ the ring of integers of a number field $K$.
Let $F/K$ vary over all finite Galois number ...
user335418
4
votes
1
answer
419
views
Tate-Shafarevich groups under finite Galois field extensions
Suppose $L/F$ is a finite Galois extension of number fields. Let $E$ be an elliptic curve over $F$ and $E_L$ its base change to $L$.
Do we have that $\text{Sha}(E/F)$ is finite if and only if $\text{...
user178246
1
vote
1
answer
273
views
Pullback to the closed point of Z_l(1) on a henselian local ring
Let $X=\mathrm{Spec}(A)$ be the spectrum of a henselian local ring and denote $\mathbb{Z}_l(1)$ the $l$-adic Tate twist on $X$, where $l$ is prime to the residual characteristic (let's say I work on ...
- 617
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
6
votes
1
answer
643
views
Classification of simple Lie algebras over finite fields
Classification of simple (or simple-restricted) Lie algebras over algebraically closed fields in positive characteristic is studied for a long time. Today, we know all finite-dimensional simple (or ...
- 145
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
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
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
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
8
votes
1
answer
639
views
Etale fundamental group of the circle
What is the étale fundamental group of the circle $X({\bf R})$, where
$$
X(k) = \{(x,y) \in k^2 \mid x^2+y^2 = 1\}?
$$
I know that there is a sequence
$$
1 \rightarrow \pi_1^{et}(X({\bf C})) \...
- 18.7k
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
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
2
votes
0
answers
287
views
Frobenius endomorphism is not flat
I am actually going through "Twenty four hours of local cohomology". They discuss the Frobenius endomorphism in Chapter 21. Here is the Exercise 21.6 which I am finding hard to solve:
Find a ...
- 183
2
votes
0
answers
161
views
Nearby cycle is tamely ramified?
Let $S$ be a henselization of a closed point $s$ in a smooth algebraic curve $C$ over some finite field $\mathbb{F}_q$. Then we can consider nearby cycles over $S$. Let $s$ be the closed point of $S$ ...
- 71
3
votes
0
answers
173
views
Smooth proper varieties over the integers that are not toric
Does there exist a smooth proper variety $X$ over $\operatorname{Spec} \mathbb Z$ that is not toric?
By Fontaine, we know that there is no Abelian scheme over $\operatorname{Spec} \mathbb Z$. Also by ...
- 7,746