All Questions
1,114 questions
6
votes
1
answer
487
views
Reference request: good reduction equivalent to crystalline étale cohomology
Suppose $X$ is an abelian variety over a $p$-adic field $K$, and it's well known that $X$ has good reduction is equivalent to the étale cohomology of $X$ is crystalline, and $X$ has semistable ...
- 785
2
votes
1
answer
200
views
Find stratification to decompose constructible sheaf to constant parts (example from Wikipedia)
I have a question about techniques used in determining the stratification over which a constructible sheaf falls into even constant pieces demonstrated on this example from Wikipedia.
Let $f:X = \text{...
- 5,986
2
votes
0
answers
151
views
Some questions about $\ell$-adic monodromy
I'm stucking on the proof of the Lemma 3.12 of A p-adic analogue of Borel’s theorem.
Here $\mathcal A_{g,\mathrm K}$ is just a shimura variety defined over $\mathbb Z_p$, and full level $\ell$ ...
- 785
2
votes
0
answers
141
views
A relative cycle class map
Suppose I have a smooth projective morphism $p: X \to S$ between varieties, and a relative cycle $Z \subset X \to S$ which is assumed to be as nice as can be (rquidimensional with fibers of dimension $...
- 7,746
4
votes
0
answers
108
views
Shafarevich conjecture for Abelian varieties over global function fields
Let $S$ be a finite set of places of a global function field $K$. Are there finitely many Abelian varieties over $K$ with good reduction outside $S$? What if we exclude isotrivial families?
- 679
1
vote
0
answers
78
views
Etale local systems and proper base change
I am looking for a reference, or a proof, of the following statement:
Let $f:Y\longrightarrow X$ be a smooth proper map of quasiprojective $K$ schemes, and let $\overline{f}:\overline{Y}\...
- 2,907
9
votes
0
answers
692
views
In Mann's six-functor formalism, do diagrams with the forget-supports map commute?
One of the main goals in formalizing six-functor formalisms is to obtain some sort of "coherence theorem", affirming that "every diagram that should commute, commutes". In these ...
- 773
2
votes
1
answer
106
views
Does a polynomial $P(X,Y)$ that specializes to a polynomial $P(x_0,Y)$ with distinct roots in $\overline{k}$ have distincts roots in $\overline{k(X)}$
Let $k$ be a field, $P\in k[X][Y]$ be a monic polynomial of degree $n$ in $Y$.
I am looking for a simple proof of the following fact.
"If there exists $x_0\in k$ such that $P(x_0,Y) \in k[Y]$ has ...
- 2,521
4
votes
0
answers
135
views
Nilpotent orbits in characteristic $0$ vs. positive characteristics
Let $G_\mathbb{C}$ be a connected reductive group over $\mathbb{C}$ with Lie algebra $\mathfrak{g}_{\mathbb{C}}$. For any algebraically closed field $k$, let $G_k$ denote the connected reductive group ...
- 2,751
2
votes
0
answers
227
views
"Simple Limit Argument" in Freitag's and Kiehl's Etale Cohomology
I have a question about an argument used in Freitag's and Kiehl's Etale Cohomology and the Weil Conjecture in the proof of:
4.4 Lemma. (p 41) Every sheaf $F$ representable by an étale scheme $U \to X$,...
- 5,986
4
votes
0
answers
217
views
When inverse image presheaf is already a sheaf
Following proof from Milne's Étale Cohomology (page 94) contains an equality I not understand.
Setting: assume $X$ is a variety (=absolutely reduced, irreducible scheme of finite type over base field ...
- 5,986
0
votes
1
answer
211
views
Some questions about splitting of sequence $0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$ for Henselian val field $K$
I have a couple of questions about following proof by Peter Scholze on splitting of the ses (...does it have a name?...)
$$0\to I\to\mathrm{Gal}_K\to\mathrm{Gal}_k\to 0$$
for $K$ henselian valuation ...
- 5,986
2
votes
0
answers
213
views
Using the Dold-Thom Theorem to define \'etale cohomology
For reasonable spaces $X$, the Dold-Thom Theorem states that $\pi_i(SP(X)) \cong \tilde{H}_i(X)$ where $SP(X) = \bigsqcup_i \mathrm{Sym}^i(X)$. There is a purely algebro-geometric realization of this ...
- 7,746
5
votes
0
answers
236
views
Locally acyclic morphism which is not flat
Let $k$ be a closed field of characteristic $p \geqq 0$ and $\Lambda = \mathbf{Z}/\ell$, $\ell \neq p$. Recall that a morphism $f \colon X \to S$ of $k$-varieties is said to be locally acyclic if for ...
- 263
4
votes
0
answers
183
views
Characters of finite fields - Reference request
Let $\mathbf{F}_q$ ($q=p^f$) be a finite field. We are interested in the characters $\chi: \mathbf{F}_q\rightarrow \mathbf{K}$ ($\chi(0)=0$) where the $ \mathbf{K}$ is an alg.closed field of ...
- 41
0
votes
0
answers
156
views
A stalk criterion for unit map to be an isomorphism on étale site
Let $f: X \to Y$ be a morphism of schemes and $\mathcal{F}$ sheaf of sets/Abelian groups on the small étale site $Y_{ét}$. Assume we manage somehow to show thatat every geometric point $\overline{y} \...
- 5,986
3
votes
1
answer
551
views
Characterization of étale locally constant sheaves over a normal scheme
I have a question about the verification of remark 1.2 in James Milne's book Étale Cohomology stated on page 156:
Assume $X$ be a normal & connected scheme with generic
point $g: \eta \to X$.
Then ...
- 5,986
1
vote
0
answers
273
views
A hard-Lefschetz theorem with torsion coefficients?
Let $X$ be a smooth projective surface over $\overline{\mathbb{F}_{q}}$. Let $\ell$ be a prime distinct from the characteristic.
Assume we have a Lefschetz pencil of hyperplane sections on $X$. Let $...
- 11
4
votes
1
answer
440
views
Unit map on étale site under $(f^*,f_*)$ adjunction
Let $f: X \to Y$ be a morphism between two irreducible schemes and $\mathcal{F}$ sheaf on the small étale site $Y_{ét}$. My question is more or less "dual" to this one:
Question: Under which ...
- 5,986
10
votes
0
answers
371
views
How large must the characteristic of $k$ be, for the cohomology of the Lie algebra $\mathfrak{sl}_n(k)$ to be exterior as in characteristic zero?
$\DeclareMathOperator\SU{SU}$In this question, all Lie algebra cohomology is of the form $H^*(\mathfrak{g}; k)$, with $k$ the trivial one-dimensional representation of $\mathfrak{g}$. All Lie algebra ...
- 1,335
3
votes
1
answer
361
views
Diagonal morphism of henselization is an open immersion?
Let $(R,\mathfrak{m})$ be a local ring, denote by $R \rightarrow R^h$ its henselization. Write $S = \operatorname{Spec} R$ and $S^h = \operatorname{Spec} R^h$. Is it true that the diagonal morphism $\...
- 53
2
votes
1
answer
134
views
An etale cover of a semiperfect ring
Assume that $R$ is a semiperfect ring in characteristic $p$, i.e the frobenius is surjective on $R$. I think one can prove that an etale cover of $R$ should again be semiperfect by considering the ...
- 127
5
votes
1
answer
452
views
Cohomology of Shimura varieties before and after completion at some prime
Let $(G,X)$ be a Shimura datum with reflex field $E\subset \mathbb C$. For any neat open compact subgroup $K \subset G(\mathbb A_f)$, let $\mathrm{Sh}_K$ denote the associated Shimura variety. It is a ...
- 769
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
1
vote
2
answers
197
views
What are the finite étale coverings of a quasi-hyperelliptic surface?
Let $X$ be a quasi-hyperelliptic surface in characteristic 3 where the canonical bundle $K_X$ is trivial.
Question: Is there a finite étale covering $Y \rightarrow X$ such that
$Y$ is an abelian ...
- 9,501
1
vote
0
answers
145
views
Multiplicity and the perfect projective line
Let $\mathbf{F}_p$ be the field with $p$ elements, and $X = (\mathbf{P}^1_{\overline{\mathbf{F}}_p})^\text{perf}$ the inverse perfection of the projective line over $\mathbf{F}_p$.
Let $\Gamma$ be the ...
- 85
1
vote
1
answer
370
views
Self-intersection of the diagonal on a surface
Let $X$ be a smooth projective curve over the complex numbers, and take $\Delta$ the diagonal divisor on $X\times X$. Using the adjunction formula, one computes $\Delta\cdot\Delta =2-2g$ for $g$ the ...
- 85
3
votes
0
answers
205
views
Beilinson-Lichtenbaum conjecture for algebraic extensions of $\mathbb{Z}/m$
Let $X$ be smooth over some field $k$ and $m\in\mathbb{Z}$ so that $m$ maps to a unit in $k^{\times}$. By Beilinson-Lichtenbaum one has an isomorphism of cohomology groups
\begin{equation*}
\...
- 1,805
3
votes
0
answers
185
views
Relations between some categories of étale sheaves
I asked this question on math.stackexchange but nobody answers, so I try here even if I'm not sure my question is a research level one..
Let $X$ be a scheme over a number field $k$. Feel free to add ...
- 1,270
3
votes
1
answer
332
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 ...
- 769
2
votes
0
answers
292
views
Tate's conjecture for arithmetic schemes
Tate's conjecture is about a map from Chow groups of a smooth projective variety $X$ to the $l$-adic cohomology i.e. $CH^n(X)\rightarrow (H^{2n}(\bar{X}, \mathbb{Q}_l(n)))^G$ where $G$ is the Galois ...
- 5,901
1
vote
0
answers
125
views
Is the Frobenius semisimple on the de-Rham cohomology?
Suppose $K$ is a unramified finite extension of $\mathbb Q_p$, and $X$ is a projective smooth curve defined over $K$. By $p$-adic Hodge theory we know $D_{cris}(H_{et}^i(X,\mathbb Q_p))=H_{dR}^i(X)$. ...
- 785
11
votes
1
answer
381
views
Chromatic representation theory of the symmetric groups?
We know that in characteristic 0, the group ring of the symmetric group $\Sigma_n$ splits via one idempotent for each partition of $n$.
In characteristic $p$, I believe the analogous statement is that ...
- 64k
2
votes
1
answer
282
views
Deligne finitude and finiteness of etale cohomology
This probably is a very straightforward question. Does Deligne finitude imply etale cohomology with $\mu_l^{\otimes n}$ ($l$ is invertible) for finite type schemes over a finite field is finite? This ...
- 5,901
3
votes
0
answers
227
views
Tate isogeny theorem over varieties?
Let $X$ be a nice scheme, $\pi:E\to X$ an elliptic curve, and $\ell$ a prime invertible on $K$. Then we can consider the "Tate module" $(R^1\pi_*\mathbb{Z}_{\ell})^\vee=\hbox{''}\varprojlim\...
- 371
3
votes
1
answer
185
views
$l$-adic cohomology of hyperplane arrangements
Consider an arrangement of hyperplanes given by the faces of a simplex. Let's consider it as a scheme (a non-regular scheme) and let's also work over a finite field. Has the rational $l$-adic ...
- 5,901
17
votes
2
answers
2k
views
How to think of algebraic geometry in characteristic p?
How does a working mathematician usually think about algebraic geometry in characteristic $p$? For the sake of concreteness, and to make things more "geometric" (whatever that means), let's ...
2
votes
1
answer
270
views
Commutative group scheme cohomology on generic point
Setup:
Let $k$ be an algebraically closed field.
Let $C$ be a smooth connected projective curve over $k$.
Let $J$ be a smooth commutative group scheme over $C$ with connected fibers.
Let $j:\eta\to C$ ...
- 123
2
votes
1
answer
160
views
Finding the mistake in an argument concerning $F$-finite $F$-split local Cohen--Macaulay ring of dimension $1$
Let $R$ be a commutative Noetherian ring, and $\phi: R \to R$ be a ring homomorphism. For an $R$-module $M$, let $^{\phi}M$ be the $R$-module defined via restriction of scalars via $\phi$, i.e., as ...
- 412
1
vote
1
answer
257
views
Confusion about relative Poincaré duality in the context of $\ell$-adic cohomology
I have recently learned about relative Poincaré duality in the book Weil conjectures, perverse sheaves and $\ell$-adic Fourier transform by Kiehl and Weissauer (2001). The reference is section II.7. ...
- 769
1
vote
1
answer
176
views
Field of fractions of etale stalk of Dedekind domain (Example from Milne's LEC)
Let $X=\operatorname{Spec}(A)$ be an affine Dedekind domain with field of fractions $K$. Let $\widetilde{A}$ be the integral closure of $A$ in separable closure $ K^{\text{sep}}$. A closed point $x$ ...
- 5,986
2
votes
1
answer
291
views
Calculate stalk of etale derived pushforward sheaf (Milne's LEC)
Assume $X=\operatorname{Spec}(A)$ is connected and normal (especially integral), and let $g:\eta \hookrightarrow X$ be the inclusion of the generic point of $X$. In Milne's LEC script on Etale ...
- 5,986
5
votes
1
answer
160
views
Derived subalgebra of a restricted Lie algebra
Let $L$ be a restricted Lie algebra over a field of characteristic $p>0$. It is well known that the commutator subalgebra $[L,L]$ is not necessarily restricted (that is, closed under the $p$-map).
...
- 630
2
votes
0
answers
96
views
etale cohomology and algebric K theory for algebraic stack
Let $X$ be a smooth variety over a perfect field $k$. Fix a prime $p$ which is invertible in $k$.
Thomason proved that there is Atiyah-Hirzebruch type spectral sequence that computes $K(1)$-local $K$ ...
- 349
3
votes
1
answer
245
views
$\mathbf{Z}$-points of quasi-projective schemes
Let $U\subset\mathbf{P}^n_{\mathbf{Z}}$ be an open subscheme such that the smooth morphism $U\to\text{Spec}(\mathbf{Z})$ is surjective. Suppose $U(\mathbf{Q})\neq\varnothing$ and $U(\mathbf{Z}_p)\neq\...
- 85
2
votes
0
answers
220
views
Zero dimensional varieties and the L-function $1/(1-p^{-n})$
I am interested in positive characteristic varieties which produce an L-function of the form $\frac{1}{1-χ} = \frac{1}{1-p^{-s}} = \sum_{n = 0}^\infty p^{-ns}$. It seems related to the positive ...
user30211
20
votes
0
answers
408
views
Ado's theorem and the reduction to positive characteristic
The synopsis: proofs of Ado theorem in positive characteristic are simple, and in characteristic $0$ are difficult. Can one infer the characteristic $0$ case from the positive characteristic case?
The ...
- 2,934
2
votes
1
answer
226
views
Composition of Gysin and restriction maps on $\ell$-adic cohomology
I already posted this question on mathstackexchange there, but I figured that it may have more replies here.
I follow the notations of Milne's lectures notes on etale cohomology, most specifically ...
- 769
1
vote
1
answer
338
views
Cohomology of singular curves
Suppose $X$ is a singular quasi-projective curve over the complex numbers, and $X'$ is a good nonsingular compactification of a resolution of singularities $Y\to X$. Let $D$ be the complement of $Y$ ...
user505967
2
votes
1
answer
170
views
Automorphism of positive characteristic field
Suppose $K$ is a field with $\text{char}(K) \geq 0$. Let $L$ be a cyclic extension of $K$ with degree $2n$. We consider the generator $\sigma$ of the Galois group $\text{Gal}(L/K)$.
I am interested in ...
- 923