Questions tagged [crystals]

The tag has no usage guidance.

26 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
13 votes
0 answers
187 views

Relationship between crystal root operators and usual $e_i, f_i$?

Suppose I am working in a symmetrizable Kac–Moody Lie algebra $\mathfrak{g}$. Let $e_1,\dotsc,e_n,f_1,\dotsc,f_n$ denote the usual Chevalley generators of $\mathfrak{g}$. Let $V$ be a highest weight ...
ArB's user avatar
  • 688
11 votes
0 answers
408 views

Is there a notion of tensor product of perfect bases of representations of Lie algebras?

Berenstein and Kazhdan define perfect bases as an "unquantized" version of crystal bases. A perfect basis is roughly a basis with a crystal structure such that $E_i\cdot v=\mathbb{C}\cdot \tilde{e}...
Ben Webster's user avatar
  • 43.9k
10 votes
0 answers
204 views

Branching from GL(a+b) to GL(a) x GL(b)$ using Gel'fand-Cetlin patterns

If one iterates the multiplicity-free branching rule from $\operatorname{GL}(n)$ representations (finite-dim, over $\mathbb C$) to $\operatorname{GL}(n-1)$ all the way down to $\operatorname{GL}(0)$, ...
Allen Knutson's user avatar
9 votes
0 answers
243 views

Good bounds for the number of $n$-dimensional crystallographic groups ?

Let $s(n)$ denote the number of distinct crystallographic groups in $Isom(\mathbb{R}^n)$. Apparently the best known upper bound so far is $$ s(n)\le e^{e^{4n^2}}, $$ given by Peter Buser in $1985$. On ...
Dietrich Burde's user avatar
7 votes
0 answers
533 views

Dieudonne modules vs Dieudonne crystals reference/clarification

I've read a bit about Dieudonné modules, mainly from Fontaine's "Groupes p-divisibles sur les corps locaux" and Demazure's "Lectures on $p$-divisible groups". I am familiar with the main ...
aytio's user avatar
  • 371
5 votes
0 answers
120 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 ...
Asav's user avatar
  • 153
5 votes
0 answers
104 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 ...
davik's user avatar
  • 2,035
5 votes
0 answers
453 views

Basic questions about crystals and Grothendieck connections

I have a few basic questions about Grothendieck connections and crystals. I know it's bad practice to ask a bunch of different questions at once, however I feel they naturally come bundled together. ...
Arrow's user avatar
  • 10.3k
5 votes
0 answers
90 views

Is every space group the symmetry group of some triply periodic minimal surface?

I know that there are a lot of TPMS with different symmetry groups. It seems like every space group is the symmetry group of some TPMS. But I can not find a reference that confirms this for all the ...
Hao Chen's user avatar
  • 2,541
5 votes
0 answers
439 views

Relation between crystalline and perverse sheaves

Take $X$ to be a smooth complex projective algebraic variety. The Riemann-Hilbert correspondence gives an equivalence of categories between the category of perverse sheaves on $X$ and the category of ...
Ben Morley's user avatar
4 votes
0 answers
102 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 \...
Nicolas Medina Sanchez's user avatar
4 votes
0 answers
119 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 ...
Bradley04's user avatar
  • 487
4 votes
0 answers
146 views

Crystals and nilpotence

Fix a prime $p$ and a height $n \geq 1$, then there is a closed substack $\mathcal{M}^{\geq n}$ of the stack of $\mathbb{F}_p$-formal groups consisting of formal groups having height $\geq n$. A ...
crystal's user avatar
  • 51
4 votes
0 answers
192 views

(Double) Crystal reflection operators on SSYTs

I am not that familiar with the language of crystals, but this is what I know: Let $SSYT(\lambda, \mu)$ be the set of semi-standard Young tableaux with shape $\lambda$ and weight $\mu$. There are ...
Per Alexandersson's user avatar
3 votes
0 answers
228 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 ...
user577413's user avatar
3 votes
0 answers
73 views

Multiplicity relation between highest weight modules, Demazure modules, and crystals

Let $\mathfrak{g}$ be a symmetrizable Kac--Moody algebra, and let $\lambda$ be an associated dominant integral weight. Then two different objects we can relate to this data is $V(\lambda)$, the ...
SamJeralds's user avatar
3 votes
0 answers
253 views

Kashiwara's definition of normal crystal

Let $\mathfrak{g}$ be a symmetrisable Kac-Moody algebra, and $U_q(\mathfrak{g})$ its associated quantum group. Each integrable module of $U_q(\mathfrak{g})$ admits a crystal basis, as was first shown ...
Joel's user avatar
  • 31
2 votes
0 answers
96 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 ...
kindasorta's user avatar
  • 1,473
2 votes
0 answers
60 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$-...
kindasorta's user avatar
  • 1,473
2 votes
0 answers
280 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 ...
Bradley04's user avatar
  • 487
2 votes
0 answers
200 views

Two different definitions of $\sigma$-L-spaces in Kottwitz I and II

In his papers "Isocrystals with additional structure" I and II, Kottwitz defines the notion of $\sigma$-$L$-spaces. In the first one the situation is the following $k$ an algebraically closed field ...
user26756's user avatar
  • 271
2 votes
0 answers
469 views

$\sigma$-conjugate iff $p$-adically close

First some notations. Let $p$ be a prime, $k$ a perfect field of characteristic $p$, $W=W(k)$ the ring of Witt vectors over $k$, $\sigma : W \rightarrow W$ the Frobenius, $R$ a commutative $\mathbb{Z}...
user26756's user avatar
  • 271
1 vote
0 answers
39 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 ...
kindasorta's user avatar
  • 1,473
1 vote
0 answers
49 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 ...
kindasorta's user avatar
  • 1,473
1 vote
0 answers
81 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 ...
kindasorta's user avatar
  • 1,473
1 vote
0 answers
261 views

Berthelot-Ogus comparison isomorphism

On the link, page, $ 2 $, the Berthlot-Ogus isomorphism theorem is stated as follows, We have a canonical isomorphism, $$ \rho_{\mathrm{cris}} \ : \ H_{\mathrm{cris}}^{i} (X) \otimes_{K_ {0}} K \to H_{...
Bradley04's user avatar
  • 487