Questions tagged [crystals]
The crystals tag has no usage guidance.
51
questions
4
votes
0
answers
165
views
Étale- or fppf-crystalline sites
I have a straightforward question. Let (say) $X/\mathbb{F}_p$ be a smooth proper scheme. On the big crystalline category over $\mathbb{Z}/p^n$ one can take the Zariski or étale topology, and one can ...
- 341
1
vote
0
answers
45
views
Frobenius pullback of an integrable connection on a quasi-projective scheme
Let $X_k$ be a smooth quasi-projective scheme over a finite field $k$. Let $X_K$ be a smooth lift of $X_k$ to characteristic $0$, and let $(X_K)^{\text{an}}$ denote the rigid analytic space associated ...
- 2,113
3
votes
1
answer
197
views
Isocrystal with no $F$-structure
$\DeclareMathOperator\Isoc{Isoc}$Let $X_k$ be a quasiprojective $k$ scheme, with $k$ finite, and let $X_K$ be the rigid analytic space lifting it to the fraction field of its Witt ring, which I denote ...
- 2,113
1
vote
0
answers
50
views
Frobenius acting by autoequivalence on $\text{Isoc}(X/K)$
Let $X_k$ be a smooth quasiprojective scheme over a finite field $k$. Let $X_K$ be a smooth lift of $X_k$ to the fraction field of the Witt ring of $k$, which I denote by $K$.
In various papers I read ...
- 2,113
4
votes
1
answer
247
views
Equivalence between vector bundles with integrable connections to isocrystals
Let $k$ be a perfect field, $W(k)$ its Witt ring, and $K$ the fraction field of $W(k)$. Let $X_k$ be a smooth proper curve over $k$, and let $X_K$ be the schematic generic fibre of a smooth proper ...
- 2,113
2
votes
0
answers
99
views
Extensions of $F$-isocrystals
Let $X$ be a smooth affine scheme over $k$, a finite field. Let $W(k)$ denote the Witt ring, and $K$ its fraction field. Fix a smooth lift of $X$ to $K$ and denote it by $X_K$.
Let $b\in X(k)$ denote ...
- 2,113
1
vote
0
answers
82
views
Extensions in the category $F\text{-Isoc}(X)$
Let $X$ be a smooth affine scheme over a finite field $k$, let $W(k)$ denote its Witt ring, and by $K$ its fraction field.
Let $F\text{-Isoc}(X/K)$ denote the category of convergent $F$-isocrystals on ...
- 2,113
2
votes
0
answers
61
views
Fibre functors of the category $F\text{-Isoc}(X)$
Let $X$ be a smooth affine scheme over a finite field $k$. Denote its Witt ring by $W(k)$, and the fraction field of its Witt ring by $K$. Let $F\text{-Isoc}(X)$ denote the category of convergent $F$-...
- 2,113
3
votes
0
answers
242
views
Confusion about definition of crystals
In the notes by Lurie there seems to be two possible definition for crystals which both makes sense for arbitrary functors $X : \mathrm{CRing}_k \to \mathrm{Set}$. ($k$ here is a field. We probably ...
- 341
4
votes
0
answers
103
views
How many diagrams interlace a given Young diagram?
For a fixed partition $\lambda=(\lambda_1\geq\dots\geq \lambda_n)$ we say $\mu=(\mu_1\geq \dots \geq \mu_{n-1})$ $\textit{interlaces}$ $\lambda$ iff
$$\lambda_1\geq \mu_1\geq \dots \geq \mu_{n-1}\geq \...
2
votes
1
answer
297
views
Open/closed embeddings and the de Rham space
Let $U\to X$ be an open immersion of schemes and denote by $D$ the (say reduced) complement. Then by applying the de Rham functor, we get morphisms
$$U_{dR}\to X_{dR}\leftarrow D_{dR}$$
of the ...
- 4,286
5
votes
0
answers
123
views
Classification of connected finite affine type A crystals
In the survey https://www.aimath.org/WWN/kostka/crysdumb.pdf the following statement is stated as a Conjecture 4.5 (due to Kashiwara): "Every connected affine crystal graph is isomorphic to a ...
- 163
5
votes
0
answers
107
views
Pushforward of crystals in mixed/positive characteristic
Is there a good reference for pushforward of crystals along smooth maps in mixed/positive characteristic with respect to the crystalline site? Intuitively I'm confused on what the pushforward looks ...
- 2,035
4
votes
0
answers
121
views
Looking for a crystalline analogue of , $\mathcal {Z}_{\sim}^* (X)_F \simeq \mathcal{Z}_{\sim}^* (X_{k ' })_F^{\mathrm{Gal} ( k ' / k )} $
Is there a crystalline analogue for the following formula, using the crystalline Frobenius $ F_v $ instead of the absolute Galois group $ \mathrm{Gal} (\overline{k} / k) $ ?
Here is the formula, which ...
- 595
2
votes
0
answers
293
views
Looking for the exact and the precise statement of Ogus conjecture
I have been looking for several weeks for the exact and the precise statement of Ogus conjecture, but, I cannot find it.
The only book which made me discover the statement of this conjecture is that ...
- 595