All Questions
1,114 questions
4
votes
1
answer
269
views
Fourier transform on finite groups in characteristic $p>0$
Is there a Fourier theory for finite groups in characteristic $p>0$? Assume that $p$ divides the order $|G|$ of finite groups (or just work with $p$-groups), i.e., in a modular representation-...
- 44.4k
7
votes
1
answer
388
views
On a quasi-separated assumption in a lemma for the homotopy exact sequence of the etale fundamental group
Background:
I've seen two versions of the homotopy exact sequence for etale fundamental groups. One from Stacks:
Stacks 0BTX: Let $k$ be a field with algebraic closure $\overline{k}$. Let $X$ be a ...
- 4,008
1
vote
0
answers
335
views
Any finite flat commutative group scheme of $p$-power order is etale if $p$ is invertible on the base
This question is immediately related to Discriminant ideal in a member of Barsotti-Tate Group
dealing with Barsotti–Tate groups and here I
would like to clarify a proof presented by
Anonymous in the ...
- 63.9k
47
votes
1
answer
1k
views
Summing infinitely many infinitesimally small variables makes sense in algebra
There is an identity $e^x=\lim_{n\to \infty} (1+x/n)^n$, and I always thought it is a purely analytic statement. But then I discovered its curious interpretation in pure algebra:
Consider the ring of ...
- 17k
4
votes
2
answers
460
views
Are Chow groups invariant under universal homeomorphisms?
Let $f:X\to Y$ be a universal homeomorphism of schemes, $R$ a coefficient ring. Which assumptions on $f$ and $R$ are suffient to ensure that the pullback map $f^*$ of $R$-linear Chow groups is ...
- 6,734
2
votes
0
answers
100
views
Composing equal characteristic and mixed characteristic deformations
Suppose $k$ is an algebraically closed field of characteristic $p>0$ and $A$ is a $k$-point on a moduli space of certain objects over $k$. Suppose, moreover, that $A$ deforms to a $k[[t]]$-point $B$...
- 245
4
votes
0
answers
221
views
Galois action of Weil restriction
Let $K/\mathbb{Q}$ be a quadratic field. Let $E$ be an elliptic curve defined over $K$ but not over $\mathbb{Q}$, and let $\bar{E}$ be the Galois conjugate of $E$. Then by the descent theory (for ...
- 105k
1
vote
0
answers
174
views
Galoisian perspective on local system tamely ramified along a smooth divisor
This question is about (1.7.8) and (1.7.11) in Deligne’s Weil II paper.
Let $X$ be a regular scheme and $D\subset X$ a smooth principal divisor cut out by the function $t$. Let $\mathcal F$ be a ...
- 1,217
3
votes
0
answers
68
views
Family of Lie algebras parametrized by a discrete valuation ring
I have a family of Lie algebras parametrized by a discrete valuation ring, whose generic fiber is reductive and whose special fiber is nilpotent. I'd like to learn about the relationship between the ...
- 63.9k
10
votes
1
answer
1k
views
Gelfand's trick (Gelfand's lemma) in positive characteristic?
I came across this preprint that claims in Lemma 1.1 that Gelfand's trick (also known as Gelfand's lemma) only works in characteristic zero:
Let $H < G$ be finite groups. Suppose we have an anti-...
- 12.4k
3
votes
1
answer
282
views
Frobenius splitting for an excellent, non $F$-finite, $F$-pure hypersurface
Let $p$ be an odd prime. Let $k$ be a field of characteristic $p$ such that $[k:k^p]=\infty$ (i.e. $k$ is not $F$-finite ) .
Also assume that $-1$ is not a square in $k$ . Consider the homogeneous ...
- 1,823
1
vote
0
answers
165
views
Discriminant ideal in a member of Barsotti-Tate Group
Let $S = \operatorname{Spec} R$ an affine scheme (in our case latter a complete dvr) and $p$ a prime. Then Barsotti-Tate group or $p$-divisible group $G$ of height $h$ over $S$
is an inductive system
...
- 6,016
6
votes
0
answers
266
views
A lisse mixed sheaf as an extension of pure lisse sheaves
I am trying to understand Corollary 1.8.11 in Deligne's Weil II paper. The statement is that for a normal scheme $X_0$ that is of finite type over $\mathbb{F}_q$, every lisse $\ell$-adic $\iota$-mixed ...
- 2,663
2
votes
0
answers
140
views
Decomposition of cohomology via algebraic cycles (or correspondences)
In the paper " On the calculation of local terms in the Lefschetz-Verdier trace formula and its application to a conjecture of Deligne" by Richard Pink, he wrote in the first page that
To obtain ...
- 159
4
votes
0
answers
146
views
Counting the image of a map of varieties using the trace formula
Suppose $f: X\to Y$ is a finite map of varieties over a finite field $\mathbb F_q$. Is there an etale constructible $\mathbb Q_\ell$ sheaf $\mathscr F$ on $Y$ which counts the number of rational ...
- 7,746
3
votes
0
answers
111
views
Čech for $\ell$-adic sheaves
On the étale site of a scheme $X$, there is a spectral sequence associated to the data of an étale hypercover $K$ of $X$ and an abelian étale sheaf $\mathcal F$ on $X$:
$$E_2^{p,q}=\check H^p(K,\...
- 153
1
vote
1
answer
166
views
Does a morphism of etale sheaves restricting to a closed subscheme $Z$ induce a morphism of their subsheaves of sections supported on $Z$?
Let $X$ be a locally Noetherian scheme and $i:Z\to X$ be an immersion of closed subschemes.
Let $\mathcal{F},\mathcal{G}$ be two etale abelian sheaves over $X_{et}$.
We can define the subsheaf $\...
CommunityBot
- 1
2
votes
2
answers
645
views
Supersingular elliptic curves and their automorphisms
If $E$ is a supersingular elliptic curve over a finite field of characteristic $p$, what is known about its automorphism group (i.e the stabilizer of a point in algebraic curves terminology).
Do all ...
- 879
1
vote
0
answers
56
views
local acyclicity when restricting to an hypersurface
Let $X$ be a smooth scheme over $\mathbb{C}$ and a constructible sheaf $K$ of complex vector spaces on $X\times\mathbb{A}^1$ and a function $g:X\rightarrow \mathbb{A}^1$.
Suppose that $K$ is locally ...
- 3,472
6
votes
1
answer
193
views
Restricted Lie algebras with no nonzero proper restricted subalgebras
Let $L\neq 0$ be a restricted Lie algebra over a field $F$ of characteristic $p>0$. If $F$ is algebraically closed, then it is known that $L$ has no nontrivial restricted subalgebras if and only ...
- 5,878
3
votes
0
answers
131
views
Where general mixed Galois representations are defined?
I am interested in etale cohomology of varieties, and respectively, in mixed $\mathbb Q_{\ell}$-adic Galois representations over finitely generated fields. What is the canonical reference for this ...
- 16.9k
2
votes
1
answer
329
views
Help with $\mathbf{Q}_{\ell}$ sheaves
Let $X\to S$ be a morphism of smooth connected varieties over an algebraically closed field $k$; let $j:\eta\to S$ be the inclusion of the generic point into $S$ (not a geometric generic point) and ...
- 5,429
5
votes
1
answer
406
views
Which $p$-adic valuations of Weil numbers (that is, eigenvalues of Frobenius) are possible?
Let $C$ be a smooth projective curve over a finite field $\mathbb F_q$, $q$ is a power of the characteristic $p$. It is well-known that if $\alpha$ is an eigenvalue of Frobenius acting on $H^1_{et}(C,\...
- 28.8k
2
votes
0
answers
417
views
Henselization and completions of local rings & schemes
That's the second part of my coarse becoming acquainted with Henselizations of fields and local rings. (in this question we focus on local rings as it is more algebro geometric motivated). So let $(R,...
- 6,016
4
votes
0
answers
169
views
Extensions of fraction field and residue field
Let $A \subset B$ be integrally closed local domains, $K(A), K(B)$ be fields of fractions, and $k(A),k(B)$ be residue fields. How to prove $[K(B):K(A)] \ge [k(B):k(A)]$?
This question should be easy ...
- 393
3
votes
0
answers
232
views
Lifting a Frobenius endomorphism under an étale morphism
Let $X$ be a smooth affine scheme over $\mathbb{Z}/{p^2}$ that is a complete intersection, say $X$ is the spectrum of $\mathbb{Z}/{p^2}[x_1,...x_n]/(f_1, ... f_r)$, where $n-r$ is the dimension of $X$....
- 111
3
votes
1
answer
251
views
Do Neron-Severi groups of smooth projective unirational varieties contain $\ell$-torsion?
Let $X$ be a smooth projective unirational variety over an algebraically closed field of characteristic $p>0$, and $\ell\neq p$ a prime. My question: can the Neron-Severi group of $X$ contain (non-...
- 351
0
votes
1
answer
97
views
Automorphisms of Lie algebra of type $A_5$ modulo its center in characteristic 2
Let $L$ be classical Lie algebra of type $A_5$ over field of characteristic 2; let $M$ be the quotient $L/Z(L)$ modulo its center $Z(L)$.
What about the group of automorphisms of M?
Does anybody ...
- 63.9k
3
votes
1
answer
484
views
Harish-Chandra isomorphism for characteristic $p$
I am trying to understand the proof of Theorem 1 from this paper V. Kac and B. Weisfeiler (Indag. Math. 1976, DOI link).
Theorem 1. Let either $p\neq 2$ or $\varrho\in X(\mathscr{T})$. Then $\gamma(...
- 63.9k
2
votes
1
answer
791
views
Branching rule for classical Lie algebras in positive characteristic
The restriction of an irreducible $\mathfrak{sl}_n(\mathbb{C})$-module to $\mathfrak{sl}_{n-1}(\mathbb{C})$ is described by a branching rule which says that if $L(\lambda)$ is the simple $\mathfrak{sl}...
- 63.9k
11
votes
1
answer
334
views
An identity in Lie algebras over fields of positive characteristic
Let $L$ be a Lie algebra over a field of characteristic $p>0$ and $D$ a derivation of $L$. For every $x\in L$ denote by $\mathrm{ad} x$ the adjoint map $\mathrm{ad}x: L \rightarrow L, a\mapsto [x,...
- 63.9k
1
vote
1
answer
274
views
Dimension of $\ell$-adic Eilenberg-Maclane space
I'm currently studying the $\ell$-adic cohomology functor, i.e. the functor $$F:X \rightarrow H^i_{ét}(X,\mathbb{Q}_{\ell}).$$
In some sense, this is a representable functor, i.e. there exists an $\...
- 7,972
7
votes
1
answer
181
views
What is the etale homotopy type of the Witt group of braided fusion categories?
The Witt group $\mathcal{W}$ of braided fusion categories (see also the sequel paper) can be defined over any field; I am happy to restrict to characteristic $0$ if it matters.
Is $\mathbb k \...
- 45.7k
3
votes
1
answer
317
views
What is known about lower etale cohomology of unirational varieties?
Which information is currently known about $H^1_{et}(X,\mathbb{Z}_l)$ and $H^2_{et}(X,\mathbb{Z}_l)$, where $X$ is a smooth unirational variety over an algebraically closed field of finite ...
- 16.9k
5
votes
0
answers
415
views
Modern context for hypercohomology spectra
In Thomason's paper Algebraic K-theory and étale cohomology, (Ann. ENS 1985, Numdam link) Thomason develops an elaborate theory of hypercohomology spectra, $\mathbb{H}(X,\mathcal{F})$ for presheafs of ...
- 254
4
votes
0
answers
119
views
Are there any explicit (prime-to-l) alterations for interesting varieties (or schemes)?
I have read that it is easier to find regular alterations of varieties than their resolutions of singularities (moreover, I believed in this sentence when I read it). My question is: do there exist ...
- 16.9k
1
vote
0
answers
496
views
What is the etale cohomology of G_m on Spec Z?
I apologize if this is straightforward, but I can't seem to find a reference: What is $H^1_{et}(\mathrm{Spec}(\mathbb{Z}), \mathbf{G}_m)$? It shouldn't be as simple as noting that the etale ...
- 27
4
votes
0
answers
307
views
Restrictions on the Galois representations coming from singular varieties
Fix a prime number $p$. Choose an algebraic closure $\mathbb{Q}_p\to \overline{\mathbb{Q}_p}$. Given a proper geometrically irreducible scheme $X$ over $\mathbb{Q}_p$ and a non-negative integer $i$, ...
CommunityBot
- 1
11
votes
1
answer
3k
views
What is known about the cohomological dimension of algebraic number fields?
What is the cohomological dimension of algebraic number fields like $\Bbb{Q}$, $\Bbb{Q}[i]$, $\Bbb{Q}[\sqrt{3}]$ or similar? I'm interested in computing the cohomological dimension of $\Bbb{A}^1_k$ ...
- 14.2k
8
votes
1
answer
774
views
A variant on characteristic $p$ de Rham cohomology
I was thinking about de Rham cohomology in characteristic $p$, and in particular the recent question about Poincare residues, and I came up with the following construction.
Let $k$ be a perfect field ...
- 156k
17
votes
4
answers
2k
views
Usage of étale cohomology in algebraic geometry
I'm a student interested in arithmetic geometry, and this implies I use étale cohomology a lot. Regarding its definition, étale cohomology is a purely algebro-geometric object. However, almost every ...
- 27k
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 ...
- 3,058
1
vote
1
answer
316
views
Completed cohomology and variants
I am interested in the following set up:
I have an ind-sequence of curves $\dots X_2\to X_1$ defined over a finite field of characteristic $p$ such that $X_n/X_{n-1}$ is a Galois degree $\ell$ cover ...
- 37k
1
vote
1
answer
224
views
Computing weights of $\bar{\mathbb{Q}}_l(1)$ from the definition
This seems to be a trivial question, but I am genuinely confused about it.
The notion of weights as in Deligne's Weil II are defined in terms of eigenvalues of automorphisms that Frobenius morphisms ...
- 149k
9
votes
1
answer
429
views
Is there a Poincare residue in characteristic $p$?
The Poincare residue I mean is there one here:
https://en.wikipedia.org/wiki/Poincar%C3%A9_residue
Basically, I would like a nice way to use a meromorphic $n$-form on $\mathbf{P}^n_{\mathbf{F}_p}$ ...
- 156k
1
vote
0
answers
175
views
Canonical étale path between a point and its ''nearby'' point
Consider the punctored line $X=\Bbb{A}^1_k\setminus \{s_1,\ldots,s_n\}$ over some field $k$. A(n étale) path in $X$ between two geometric points $x$ and $y$ is, by definition, an isomorphism between ...
- 311
3
votes
0
answers
135
views
Conjugation action of $Gal(\bar{s}/s)$ on the tame ramification group
There is a statement in SGA 7-1 Exposé 1 (P. Deligne, Résumé des premiers exposés de A. Grothendieck, pdf of SGA7-1), (0.3.1):
$S$ is a Henselian trait (i.e. the spectrum of a henselian discrete ...
CommunityBot
- 1
6
votes
0
answers
574
views
Poincaré duality and Galois action
Poincaré duality says that under nice situation we have a canonical perfect pairing
$$ P : H_c^r(X, \mathscr{F}) \times H^{2d - r}(X, \mathscr{F}^\vee(d)) \to \mathbb{Z}/n.$$
I want to show that ...
- 1,364
9
votes
1
answer
449
views
Structure of the variety of $n$-tuples of $m \times m$ matrices with zero product
Consider the functor sending a commutative ring $R$ to $\{(A_1,\dots,A_n) \in ( M_m(R) )^n | A_1 \dots A_n =0 \}$ which defines a scheme over $\mathbb Z$, let $X$ be its base change to $\mathbb C$.
...
CommunityBot
- 1
5
votes
1
answer
540
views
Big etale topos vs small etale topos
Are they equivalent?
That is, given a sheaf of sets $\mathscr{F}$ defined on the small etale site on $X$, is there an essentially unique way to extend it to a sheaf on the big etale site on $X$? If ...
- 1,906