All Questions
1,114 questions
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$ ...
- 28.8k
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,996
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).
...
- 12.9k
4
votes
0
answers
419
views
Henselization of normal rings (Milne's EC)
The usual way to define the Henselization $A^h$ of a local ring $(A, \mathfrak{m})$ is by taking the direct limit $\varinjlim (B, \mathfrak q)$ over all étale neighborhoods of $A$
(i.e. pairs $(B,\...
- 5,996
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
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 ...
CommunityBot
- 1
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\...
- 28.8k
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 ...
- 38k
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$ ...
- 35.2k
1
vote
0
answers
88
views
Bad primes of twists of modular curves $X_E^{-1}(p)$
I am interested in a good reference for reading about primes of bad reduction for the modular curve $X_E^{-}(N)$, which is a twist of $X(N)$ parametrizing all elliptic curves $E'$ whose $N$-torsion ...
- 637
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 ...
- 50.7k
3
votes
0
answers
213
views
Nearby cycles of a constant $\Lambda$-sheaf
Let $X$ be a scheme over a henselian trait $S = (S,s,\eta)$. Let $\ell$ be a prime number which is invertible on $S$ and let $\Lambda := \mathbb Z_{\ell}/\ell^k\mathbb Z_{\ell}$ where $k\geq 1$. Let $\...
- 769
5
votes
0
answers
220
views
Is there a simple counterexample to étale proper base change on the unbounded derived category?
The best non-derived version of proper base change on the étale site of a scheme I know is that for $f : X \to Y$ proper and $g : Y' \to Y$ arbitrary, the base change morphism $g^{-1} R f_\star \...
- 12.9k
2
votes
1
answer
94
views
Base change for fundamental group prime to p in mixed characteristic?
I found the answer to this question while typing it up, but since I've already written it, it is probably worthwhile to post-and-answer in case someone finds it useful.
Let $S=\operatorname{Spec}\...
- 371
7
votes
1
answer
442
views
Is anything known about de Rham $K(\pi,1)$'s?
Let $X$ be a connected qcqs scheme. We say that $X$ is a (étale) $K(\pi,1)$ if for every locally constant constructible abelian sheaf $\mathscr{F}$ on $X$ and every geometric point $\overline{x}$ the ...
- 16.2k
2
votes
1
answer
252
views
Images of smooth schemes under lci morphisms
Let $S$ be a Noetherian scheme, $f : X\to S$ a smooth quasi-projective morphism, $g : X\to Y$ a morphism of finite type, and $h : Y\to S$ a smooth projective morphism with $h\circ g =f$.
Can we say ...
- 28.8k
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 $\...
- 12.9k
1
vote
0
answers
150
views
Relative compactification without resolutions of singularities
Let $Y$ be a smooth proper variety over a field $k$, let $X$ be a smooth variety over $k$, $U\hookrightarrow X$ the complement of a strict normal crossing divisor and $\phi\colon U\to Y$ a map. By ...
- 309
3
votes
0
answers
112
views
What are the possibilities of the general fibres in an Iitaka fibration?
This question is motivated by complex algebraic geometry.
If $X$ is a complex algebraic variety with Kodaira dimension in $[1,\dim X-1]$, then the Iitaka fibration (the rational map induced by the ...
- 9,501
1
vote
0
answers
309
views
Base points and geometric points of schemes
Let $k$ b a field and $X$ a geometrically connected variety over $k.$ Let us fix an algebraic closure $$\ast: \text{Spec } \bar{k} \rightarrow \text{Spec } k$$ and denote by $\bar{X} = X \times_k \bar{...
4
votes
1
answer
435
views
Étale group schemes and specialization
If $A$ is an abelian variety over a finite field $\mathbf{F}_q$, then $A(\mathbf{F}_q)$ (resp. $A(\overline{\mathbf{F}}_q)$) is a finite (resp. infinite torsion) group, but $A(\mathbf{F}_q(t))$ is a ...
- 28.8k
2
votes
1
answer
290
views
Flat scheme-theoretic closure
Suppose $R$ is a discrete valuation ring with fraction field $K$. Let $X\subset \mathbf{P}^n_{C_K}$ be a closed subscheme, flat over $C_K$, a smooth projective curve over $K$.
Let $C_R$ be a flat ...
- 20.5k
4
votes
0
answers
103
views
Boundary divisor of an equivariant compactification of a non-trivial twist of $\mathbb{G}_a^n$
Let $K$ be a non-perfect field of positive characteristic. Then there exist non-trivial forms of $\mathbb{G}_a^n$ which split over finite purely inseparable extensions of $K$, i.e., algebraic groups $...
3
votes
0
answers
94
views
Dimension of a kernel of a cocycle map
Inspired by a previous question (Dimension of a kernel of a linear map) and some of the answers I was given I thought wheter I can generalize the question to the following:
Compute the kernel (or at ...
- 911
25
votes
1
answer
3k
views
Is there a ring stacky approach to $\ell$-adic or rigid cohomology?
Ever since Simpson's paper [Sim], it was observed that many different cohomology theories arise in the following way: we begin with our space $X$, we associate to it a stack $X_\text{stk}$ (which ...
- 21.3k
3
votes
0
answers
122
views
Torsion of Fermat hypersurfaces
An interesting invariant of a rationally chain-connected variety $X/k$ is the exponent of the group,
$$ \ker{(\mathrm{CH}_0(X_K) \xrightarrow{\deg} \mathbb{Z})} $$
where $K = k(X)$ is the function ...
- 3,730
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 ...
- 28.8k
3
votes
0
answers
87
views
Obstruction for points to be contained in smooth hypersurfaces in tterms of inseparability degree of residue field
Let $k$ be an imperfect field of char $p>0$ and
$x \in \mathbb{P}^n_k$ be closed point of projective space.
In this discussion Qing Liu wrote that
Over an imperfect field, a reduced point can not ...
- 619
1
vote
0
answers
215
views
$p$-adic étale cohomology group of open smooth varieties
Let $K$ be a finite extension of $\mathbb{Q}_p$ and let $X$ be a smooth variety over $K$.
Dr. Yamashita announced that he had proved the Galois representation of $p$-adic étale cohomology group $H^*_{\...
- 4,713
19
votes
2
answers
3k
views
Bertini theorems for base-point-free linear systems in positive characteristics
Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...
- 1,446
3
votes
0
answers
105
views
Points with residue fields having big inseparability degree cannot be contained in smooth hypersurfaces
Let $X$ be a $k$-scheme over imperfect field $k$ and $x \in X $ some (reduced) point with residue field $\kappa(x) = \mathcal{O}_{X,x}/ \mathfrak{m}_x$. How to check that if $\kappa(x)$ has "big ...
- 619
4
votes
0
answers
426
views
In which "sense" unramified Milnor-Witt K-groups are unramified
Let $X$ be an integral locally noetherian smooth
scheme over base field $k$. Then for every $x \in X^{(1)}$ point of codimension $1$, the stalk $\mathcal{O}_{X,x}$ is a discrete valuation
ring. ...
- 5,996
1
vote
0
answers
179
views
Interpretation of Tate conjecture using motivic homotopy
For a smooth projective variety $X$ over a field $k$ the Tate conjecture says that the cycle class maps
$$CH^i(X)\otimes \mathbb{Q}_l \to H^{2i}(X_{\bar{k}},\mathbb{Q}_l(i))^{G_k}$$
are surjective. To ...
- 679
5
votes
0
answers
387
views
Calculating étale fundamental groups from the usual fundamental group
$\newcommand{Spec}{\operatorname{Spec}}$Let $X$ be a connected affine smooth variety over $\mathbb{Q}$, with a point $x\in X(\Spec(\mathbb{Q})$.
For any algebraically closed field $K$ of ...
26
votes
1
answer
4k
views
When (or why) is a six-functor formalism enough?
The six functor formalism in a given cohomology theory consists of for each space a derived category of sheaves and six different ways to construct functors between those categories (four involving a ...
- 4,492
4
votes
1
answer
240
views
Cycles contained in ample enough hypersurfaces
Let $X$ be an irreducible smooth projective variety of pure dimension $d$ over the complex numbers and $Z\subset X\times X$ a codimension $d$ irreducible smooth closed subvariety.
Is there a smooth ...
- 66.3k
1
vote
1
answer
88
views
Generic finite subgroups, associated to small finite fields, of reductive algebraic groups
Theorem 1 of [LS] Liebeck and Seitz - On the subgroup structure of exceptional groups says:
Let $X = X(q)$ be a quasisimple group of Lie type in characteristic $p$, and suppose that $X < G$, where ...
- 12.9k
2
votes
0
answers
137
views
Tangential basepoint of a log singular local system
Consider the Legendre family $f: X\longrightarrow Y = \mathbb{P}^1\setminus\{0,1,\infty\}$, defined over $K = \mathbb{Q}/\mathbb{Q}_p$.
having fibre above $t\in Y$, the elliptic curve $E_t := y^2 = x(...
- 2,907
2
votes
1
answer
236
views
Cup products and correspondences
Suppose $X$ is a smooth projective complex variety, connected of dimension $n$.
Let $a$ be an algebraic correspondence in $A^n(X\times X)$, the group of cycles modulo homological equivalence in $H^{2n}...
- 28.8k
2
votes
0
answers
119
views
Resolution of singularities of the resultant locus
We consider projective space of dimension $n$ as the parameter space of degree $n$ polynomials in one variable. Then, I am interested in resolving the singularities of the "resultant locus" $...
- 7,746
2
votes
0
answers
99
views
Geometric generic point of a complete linear system
In the following context: Let $S$ be a connected smooth projective surface over $\mathbb{C}$, and let $\Sigma$ be the complete linear system of a very ample divisor $D$ on $S$. Let $d=\dim(\Sigma)$ ...
- 519
1
vote
1
answer
315
views
About simple motives
I'm reading through Jannsen's paper Motives, numerical equivalence, and semi-simplicity and I'd like to pose two questions.
Suppose all motives are $F$-linear, for some characteristic zero field $F$, ...
- 149k
2
votes
0
answers
154
views
$L$-series and Riemann zeta function
I am currently reading SGA 4$\frac{1}{2}$, exposé 2: Rapport sur la formule des traces.
The $L$-series associated to a scheme $X$ of finite type over $\mathbb{F}_{p}$ is defined as
$$L(X,s):=\prod_{x\...
- 1,805
4
votes
0
answers
77
views
Conjugacy of cocharacters from conjugacy of labelled diagrams
Everything to follow is over some fixed algebraically closed field $k$. Although all the definitions make sense regardless of characteristic, the meat of the question is about small positive ...
- 12.9k
1
vote
0
answers
124
views
K-theory of l-adic sheaves of a curve
I am trying to understand if there is a good notion of a $K$-theory attached to the etale topology on a nice scheme $X$ (say smooth projective goem connected curve over a finite field is enough for me)...
- 11
2
votes
0
answers
93
views
Unramified section associated to a rational point
This is a question for those familiar with the section conjecture, so I'll do away with the definition of a ramification map in this case. Here is the definition of a ramification map from an etale ...
- 895
6
votes
2
answers
2k
views
Cohomologie Etale
Is there an English translation available for Deligne's Cohomologie Etale (Arcata) that is now part of the SGA 4 1/2 ?? Atleast for the first two sections - Grothendieck Topologies and Etale Topology.
- 894
2
votes
0
answers
145
views
How to compute the character of the Steinberg module for the group $\mathrm{SL}_n$ over a field of characteristic $p$?
It is known that the Steinberg representation $V$ of the group $\mathrm{SL}_n$ over a field $k$ of characteristic $p$ (maybe one needs to assume that $k$ is perfect, I am not sure) is the irreducible ...
- 63.9k
3
votes
0
answers
127
views
Isogeny of elliptic curve over positive characteristic $p$ which does not come from characteristic $0$
Let $K$ be quadratic imaginary field. Let $E$ be an elliptic curve which has CM over $R_K$
($R_K$ is ring of integers of $K$).
According to SIlverman's ''ADvanced topics in the arithmetic of elliptic ...
- 1,541