The tag has no wiki summary.

learn more… | top users | synonyms

4
votes
3answers
190 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 ...
10
votes
1answer
276 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, ...
9
votes
0answers
168 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 ...
1
vote
1answer
157 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 ...
1
vote
1answer
284 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 ...
1
vote
0answers
132 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 ...
2
votes
0answers
344 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 ...
21
votes
3answers
2k 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 ...
10
votes
1answer
392 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 ...
2
votes
1answer
276 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$ ...
16
votes
0answers
557 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 ...
11
votes
0answers
289 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 ...
11
votes
3answers
950 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$ ...
11
votes
1answer
2k 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 ...
5
votes
1answer
248 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 ...
12
votes
2answers
661 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 ...
4
votes
1answer
447 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 ...