Questions tagged [crystals]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer
162 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 ...
user avatar
5 votes
0 answers
106 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 ...
user avatar
  • 123
5 votes
0 answers
73 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 ...
user avatar
  • 1,713
4 votes
0 answers
109 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 ...
user avatar
  • 485
2 votes
0 answers
162 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 ...
user avatar
  • 485
1 vote
0 answers
173 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_{...
user avatar
  • 485
3 votes
0 answers
57 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 ...
user avatar
13 votes
0 answers
167 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 ...
user avatar
  • 518
13 votes
0 answers
579 views

On a series of lectures of Deligne on crystalline cohomology in characteristic $0$

In the introduction of Berthelot's book on crystalline cohomology [Ber74], one finds, on page 11, the following passage: i) des travaux de P. Deligne ([14], non publiés) prouvant en particulier le ...
user avatar
  • 6,346
1 vote
0 answers
53 views

Equivalent characterization of ordinary $F$-crystals

Let $k$ be a perfect field in characteristic $p$, let $W$ be its ring of Witt vectors. Let $A=W[[t_1,\cdots,t_n]]$, let $A_0=A/pA$. Let $H$ be an $F$-crystal over $A_0$. (An $F$-crystal over $A_0$ is ...
user avatar
  • 5,613
10 votes
0 answers
153 views

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

If one iterates the multiplicity-free branching rule from $GL(n)$ representations (finite-dim, over $\mathbb C$) to $GL(n-1)$ all the way down to $GL(0)$, one obtains triangular "Gel'fand-Cetlin (or ...
user avatar
3 votes
0 answers
199 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 ...
user avatar
  • 31
4 votes
0 answers
140 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 ...
user avatar
  • 51
6 votes
2 answers
224 views

RSK and crystal operators

Is there a good reference on how RSK (and the 3 other variants) interact with crystal operators on the semi-standard tableaux $(P,Q)$ in the image? That is, we have biwords, $W$ which are in ...
user avatar
5 votes
0 answers
352 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. ...
user avatar
  • 9,655
3 votes
1 answer
385 views

Calculating cohomology group $H^3(point group,\mathbb{Z})$ using GAP program

I'm trying to compute $H^3(point group,\mathbb{Z})$ for all the 32 point groups in 3D which has some applications in physics. Unfortunately, I could not find literature discussing this problem. So I ...
user avatar
  • 113
7 votes
0 answers
462 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 ...
user avatar
  • 361
5 votes
0 answers
78 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 ...
user avatar
  • 2,419
7 votes
2 answers
758 views

Is this a quasi-crystal and/or a fractal?

I'm not too familiar with quasi-crystals, but I was recently playing around with a particular discrete function and I got the following neat pattern: This is just a small segment, but as far as I ...
user avatar
5 votes
0 answers
389 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 ...
user avatar
4 votes
0 answers
184 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 ...
user avatar
2 votes
1 answer
131 views

positions of regular cubes in Euclidean space with all its vertices without distinction

Let $P$ be the standard regular cube, centered at the origin of $\mathbb{R}^3$ with all its vertices on the unit sphere. If the vertices are labelled by $1,2,3,4,5,6,7,8$, then the collection of all ...
user avatar
  • 2,203
2 votes
1 answer
365 views

Two questions about Whittaker functions

I am watching the video: Modeling p-adic Whittaker functions, Part I. I have two questions about Whittaker functions in the video. From 33:00 to 37:00, it is said that after changing of variables, ...
user avatar
  • 5,865
5 votes
3 answers
649 views

Crystal structure, lattice, Graph and coloring

I am working across mathematics, physics and engineering. And I am looking for whether there exists already formally established knowledge in the field. Given a periodic graph (actually a physical ...
user avatar
  • 857
10 votes
1 answer
421 views

Does the 'string property' finish Joseph's proof of Demazure character formula?

The too long, didn't read form of the question would simply be, has someone completed A. Joseph's proof of the Demazure character formula? Is Joseph's proof considered complete? In more detail, ...
user avatar
  • 101
19 votes
2 answers
3k views

Letter from Grothendieck to Tate on "crystals"

I have downloaded from this link a quite poor quality scan of the letter dating May 1966 that Grothendieck sent to Tate mentioning his ideas about generalizing Monsky-Washnitzer cohomology. I am ...
user avatar
9 votes
0 answers
229 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 ...
user avatar
3 votes
1 answer
204 views

Can elements of Weil algebras be detected by maps into truncated symmetric algebras?

Recall that a Weil algebra is a finite-dimensional real unital algebra that admits exactly one homomorphism to R. Such algebras form the basis of the Weil approach to differential geometry, pioneered ...
user avatar
1 vote
1 answer
413 views

Galois descent for semilinear endomorphisms

Let $K \subset L$ be a finite Galois extension, $\sigma$ an automorphism of $L$ (not necessarily fixing $K$) and let $E$ be a finite-dimensional vector space over $L$ together with an $\sigma$-linear ...
user avatar
  • 271
2 votes
0 answers
188 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 ...
user avatar
  • 271
2 votes
0 answers
463 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}...
user avatar
  • 271
28 votes
4 answers
3k views

Shape of snowflakes

Is there a mathematical theory that explains the shape of a snowflake? Why is it not round? Update Tree-like metric spaces appear often as limits of sequences of metric spaces (say, asymptotic cones ...
user avatar
11 votes
1 answer
719 views

R-matrices, crystal bases, and the limit as q -> 1

I am seeking references for precise statements and rigorous proofs of some facts about the actions of quantum root vectors and $R$-matrices on crystal bases for finite-dimensional representations of ...
user avatar
  • 8,139
2 votes
1 answer
368 views

Isomorphism between pull-backs of an F-crystal by different liftings of Frobenius

This might be a naive question. But since I haven't seen this in any reference, I'll try to ask it here. Let $T$ be a smooth scheme over the algebraically closed field $k$ of characteristic $p>0$ (...
user avatar
  • 627
22 votes
0 answers
889 views

What is classified by the (big) crystalline topos?

In his paper "Generic Galois Theory of Local Rings", G.C. Wraith states on p. 743 that the (big) crystalline topos "can be conveniently described in terms of the theory it describes". What exactly is ...
user avatar
11 votes
0 answers
388 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}...
user avatar
  • 41.2k
16 votes
3 answers
2k views

Lifting varieties to characteristic zero.

If you want to compute crystalline cohomology of a smooth proper variety $X$ over a perfect field $k$ of characteristic $p$, the first thing you might want to try is to lift $X$ to the Witt ring $W_k$ ...
user avatar
  • 3,845
19 votes
1 answer
3k views

Crystalline cohomology of abelian varieties

I am trying to learn a little bit about crystalline cohomology (I am interested in applications to ordinariness). Whenever I try to read anything about it, I quickly encounter divided power ...
user avatar
  • 1,420
17 votes
1 answer
2k views

The Infinitesimal topos in positive characteristic

This question was inspired by and is somewhat related to this question. In his article "Crystals and the de Rham cohomology of schemes" in the collection "Dix exposes sur la cohomologie ...
user avatar
  • 4,300
6 votes
1 answer
285 views

Are there elements of fixed weight in a crystal not killed by too many Kashiwara operators?

I've come across an annoying lemma trying to finish up an argument, and I was hoping one of you guys knew about it. Question: Given a weight $\lambda$ of a simple Lie algebra $\mathfrak g$, and ...
user avatar
  • 41.2k
16 votes
2 answers
1k views

Is the tangent space functor from PD formal groups to Lie algebras an equivalence?

The previous version of this question was rather badly broken, and I hope this version makes some sense. There have been a few questions on MathOverflow about how much representation-theoretic ...
user avatar
  • 43.1k
4 votes
1 answer
659 views

Canonical basis for the extended quantum enveloping algebras

I am trying to understand some construction done by Lusztig in his book on quantum groups. Given some Cartan datum, let $U=U_q(\mathfrak{g})$ the standard quantized enveloping algebra of the Kac-Moody ...
user avatar
  • 2,861