Hot-keys on this page
r m x p toggle line displays
j k next/prev highlighted chunk
0 (zero) top of page
1 (one) first highlighted chunk
""" Weight lattices and weight spaces """ from __future__ import absolute_import #***************************************************************************** # Copyright (C) 2008-2009 Nicolas M. Thiery <nthiery at users.sf.net> # # Distributed under the terms of the GNU General Public License (GPL) # http://www.gnu.org/licenses/ #*****************************************************************************
from sage.misc.cachefunc import cached_method from sage.sets.family import Family from sage.combinat.free_module import CombinatorialFreeModule from .weight_lattice_realizations import WeightLatticeRealizations import functools
class WeightSpace(CombinatorialFreeModule): r""" INPUT:
- ``root_system`` -- a root system - ``base_ring`` -- a ring `R` - ``extended`` -- a boolean (default: False)
The weight space (or lattice if ``base_ring`` is `\ZZ`) of a root system is the formal free module `\bigoplus_i R \Lambda_i` generated by the fundamental weights `(\Lambda_i)_{i\in I}` of the root system.
This class is also used for coweight spaces (or lattices).
.. SEEALSO::
- :meth:`RootSystem` - :meth:`RootSystem.weight_lattice` and :meth:`RootSystem.weight_space` - :meth:`~sage.combinat.root_system.weight_lattice_realizations.WeightLatticeRealizations`
EXAMPLES::
sage: Q = RootSystem(['A', 3]).weight_lattice(); Q Weight lattice of the Root system of type ['A', 3] sage: Q.simple_roots() Finite family {1: 2*Lambda[1] - Lambda[2], 2: -Lambda[1] + 2*Lambda[2] - Lambda[3], 3: -Lambda[2] + 2*Lambda[3]}
sage: Q = RootSystem(['A', 3, 1]).weight_lattice(); Q Weight lattice of the Root system of type ['A', 3, 1] sage: Q.simple_roots() Finite family {0: 2*Lambda[0] - Lambda[1] - Lambda[3], 1: -Lambda[0] + 2*Lambda[1] - Lambda[2], 2: -Lambda[1] + 2*Lambda[2] - Lambda[3], 3: -Lambda[0] - Lambda[2] + 2*Lambda[3]}
For infinite types, the Cartan matrix is singular, and therefore the embedding of the root lattice is not faithful::
sage: sum(Q.simple_roots()) 0
In particular, the null root is zero::
sage: Q.null_root() 0
This can be compensated by extending the basis of the weight space and slightly deforming the simple roots to make them linearly independent, without affecting the scalar product with the coroots. This feature is currently only implemented for affine types. In that case, if ``extended`` is set, then the basis of the weight space is extended by an element `\delta`::
sage: Q = RootSystem(['A', 3, 1]).weight_lattice(extended = True); Q Extended weight lattice of the Root system of type ['A', 3, 1] sage: Q.basis().keys() {0, 1, 2, 3, 'delta'}
And the simple root `\alpha_0` associated to the special node is deformed as follows::
sage: Q.simple_roots() Finite family {0: 2*Lambda[0] - Lambda[1] - Lambda[3] + delta, 1: -Lambda[0] + 2*Lambda[1] - Lambda[2], 2: -Lambda[1] + 2*Lambda[2] - Lambda[3], 3: -Lambda[0] - Lambda[2] + 2*Lambda[3]}
Now, the null root is nonzero::
sage: Q.null_root() delta
.. WARNING::
By a slight notational abuse, the extra basis element used to extend the fundamental weights is called ``\delta`` in the current implementation. However, in the literature, ``\delta`` usually denotes instead the null root. Most of the time, those two objects coincide, but not for type `BC` (aka. `A_{2n}^{(2)}`). Therefore we currently have::
sage: Q = RootSystem(["A",4,2]).weight_lattice(extended=True) sage: Q.simple_root(0) 2*Lambda[0] - Lambda[1] + delta sage: Q.null_root() 2*delta
whereas, with the standard notations from the literature, one would expect to get respectively `2\Lambda_0 -\Lambda_1 +1/2 \delta` and `\delta`.
Other than this notational glitch, the implementation remains correct for type `BC`.
The notations may get improved in a subsequent version, which might require changing the index of the extra basis element. To guarantee backward compatibility in code not included in Sage, it is recommended to use the following idiom to get that index::
sage: F = Q.basis_extension(); F Finite family {'delta': delta} sage: index = F.keys()[0]; index 'delta'
Then, for example, the coefficient of an element of the extended weight lattice on that basis element can be recovered with::
sage: Q.null_root()[index] 2
TESTS::
sage: for ct in CartanType.samples(crystallographic=True)+[CartanType(["A",2],["C",5,1])]: ....: TestSuite(ct.root_system().weight_lattice()).run() ....: TestSuite(ct.root_system().weight_space()).run() sage: for ct in CartanType.samples(affine=True): ....: if ct.is_implemented(): ....: P = ct.root_system().weight_space(extended=True) ....: TestSuite(P).run() """
@staticmethod def __classcall_private__(cls, root_system, base_ring, extended=False): """ Guarantees Unique representation
.. SEEALSO:: :class:`UniqueRepresentation`
TESTS::
sage: R = RootSystem(['A',4]) sage: from sage.combinat.root_system.weight_space import WeightSpace sage: WeightSpace(R, QQ) is WeightSpace(R, QQ, False) True """
def __init__(self, root_system, base_ring, extended): """ TESTS::
sage: R = RootSystem(['A',4]) sage: from sage.combinat.root_system.weight_space import WeightSpace sage: Q = WeightSpace(R, QQ); Q Weight space over the Rational Field of the Root system of type ['A', 4] sage: TestSuite(Q).run()
sage: WeightSpace(R, QQ, extended = True) Traceback (most recent call last): ... ValueError: extended weight lattices are only implemented for affine root systems """ " implemented for affine root systems")
basis_keys, prefix = "Lambdacheck" if root_system.dual_side else "Lambda", latex_prefix = "\\Lambda^\\vee" if root_system.dual_side else "\\Lambda", category = WeightLatticeRealizations(base_ring))
# For an affine type, register the quotient map from the # extended weight lattice/space to the weight lattice/space codomain = self ).register_as_coercion()
def is_extended(self): """ Return whether this is an extended weight lattice.
.. SEEALSO:: :meth:`~sage.combinat.root_system.weight_lattice_realization.ParentMethods.is_extended`
EXAMPLES::
sage: RootSystem(["A",3,1]).weight_lattice().is_extended() False sage: RootSystem(["A",3,1]).weight_lattice(extended=True).is_extended() True """
def _repr_(self): """ TESTS::
sage: RootSystem(['A',4]).weight_lattice() # indirect doctest Weight lattice of the Root system of type ['A', 4] sage: RootSystem(['B',4]).weight_space() Weight space over the Rational Field of the Root system of type ['B', 4] sage: RootSystem(['A',4]).coweight_lattice() Coweight lattice of the Root system of type ['A', 4] sage: RootSystem(['B',4]).coweight_space() Coweight space over the Rational Field of the Root system of type ['B', 4]
"""
def _name_string(self, capitalize=True, base_ring=True, type=True): """ EXAMPLES::
sage: RootSystem(['A',4]).weight_lattice()._name_string() "Weight lattice of the Root system of type ['A', 4]" """ capitalize=capitalize, base_ring=base_ring, type=type, prefix="extended " if self.is_extended() else "")
@cached_method def fundamental_weight(self, i): """ Returns the `i`-th fundamental weight
INPUT:
- ``i`` -- an element of the index set or ``"delta"``
By a slight notational abuse, for an affine type this method also accepts ``"delta"`` as input, and returns the image of `\delta` of the extended weight lattice in this realization.
.. SEEALSO:: :meth:`~sage.combinat.root_system.weight_lattice_realization.ParentMethods.fundamental_weight`
EXAMPLES::
sage: Q = RootSystem(["A",3]).weight_lattice() sage: Q.fundamental_weight(1) Lambda[1]
sage: Q = RootSystem(["A",3,1]).weight_lattice(extended=True) sage: Q.fundamental_weight(1) Lambda[1] sage: Q.fundamental_weight("delta") delta """ raise ValueError("delta is only defined for affine weight spaces") else: else: raise ValueError("{} is not in the index set".format(i))
@cached_method def basis_extension(self): r""" Return the basis elements used to extend the fundamental weights
EXAMPLES::
sage: Q = RootSystem(["A",3,1]).weight_lattice() sage: Q.basis_extension() Family ()
sage: Q = RootSystem(["A",3,1]).weight_lattice(extended=True) sage: Q.basis_extension() Finite family {'delta': delta}
This method is irrelevant for finite types::
sage: Q = RootSystem(["A",3]).weight_lattice() sage: Q.basis_extension() Family () """ else:
@cached_method def simple_root(self, j): """ Returns the `j^{th}` simple root
EXAMPLES::
sage: L = RootSystem(["C",4]).weight_lattice() sage: L.simple_root(3) -Lambda[2] + 2*Lambda[3] - Lambda[4]
Its coefficients are given by the corresponding column of the Cartan matrix::
sage: L.cartan_type().cartan_matrix()[:,2] [ 0] [-1] [ 2] [-1]
Here are all simple roots::
sage: L.simple_roots() Finite family {1: 2*Lambda[1] - Lambda[2], 2: -Lambda[1] + 2*Lambda[2] - Lambda[3], 3: -Lambda[2] + 2*Lambda[3] - Lambda[4], 4: -2*Lambda[3] + 2*Lambda[4]}
For the extended weight lattice of an affine type, the simple root associated to the special node is deformed by adding `\delta`, where `\delta` is the null root::
sage: L = RootSystem(["C",4,1]).weight_lattice(extended=True) sage: L.simple_root(0) 2*Lambda[0] - 2*Lambda[1] + delta
In fact `\delta` is really `1/a_0` times the null root (see the discussion in :class:`~sage.combinat.root_system.weight_space.WeightSpace`) but this only makes a difference in type `BC`::
sage: L = RootSystem(CartanType(["BC",4,2])).weight_lattice(extended=True) sage: L.simple_root(0) 2*Lambda[0] - Lambda[1] + delta sage: L.null_root() 2*delta
.. SEEALSO::
- :meth:`~sage.combinat.root_system.type_affine.AmbientSpace.simple_root` - :meth:`CartanType.col_annihilator` """ raise ValueError("{} is not in the index set".format(j))
def _repr_term(self, m): r""" Customized monomial printing for extended weight lattices
EXAMPLES::
sage: L = RootSystem(["C",4,1]).weight_lattice(extended=True) sage: L.simple_root(0) # indirect doctest 2*Lambda[0] - 2*Lambda[1] + delta
sage: L = RootSystem(["C",4,1]).coweight_lattice(extended=True) sage: L.simple_root(0) # indirect doctest 2*Lambdacheck[0] - Lambdacheck[1] + deltacheck """ else:
def _latex_term(self, m): r""" Customized monomial typesetting for extended weight lattices
EXAMPLES::
sage: L = RootSystem(["C",4,1]).weight_lattice(extended=True) sage: latex(L.simple_root(0)) # indirect doctest 2\Lambda_{0} - 2\Lambda_{1} + \delta
sage: L = RootSystem(["C",4,1]).coweight_lattice(extended=True) sage: latex(L.simple_root(0)) # indirect doctest 2\Lambda^\vee_{0} - \Lambda^\vee_{1} + \delta^\vee """ else:
@cached_method def _to_classical_on_basis(self, i): r""" Implement the projection onto the corresponding classical space or lattice, on the basis.
INPUT:
- ``i`` -- a vertex of the Dynkin diagram or "delta"
EXAMPLES::
sage: L = RootSystem(["A",2,1]).weight_space() sage: L._to_classical_on_basis("delta") 0 sage: L._to_classical_on_basis(0) 0 sage: L._to_classical_on_basis(1) Lambda[1] sage: L._to_classical_on_basis(2) Lambda[2] """ else:
@cached_method def to_ambient_space_morphism(self): r""" The morphism from ``self`` to its associated ambient space.
EXAMPLES::
sage: CartanType(['A',2]).root_system().weight_lattice().to_ambient_space_morphism() Generic morphism: From: Weight lattice of the Root system of type ['A', 2] To: Ambient space of the Root system of type ['A', 2]
.. warning::
Implemented only for finite Cartan type. """ raise TypeError("No implemented map from the coweight space to the ambient space")
class WeightSpaceElement(CombinatorialFreeModule.Element):
def scalar(self, lambdacheck): """ The canonical scalar product between the weight lattice and the coroot lattice.
.. todo::
- merge with_apply_multi_module_morphism - allow for any root space / lattice - define properly the return type (depends on the base rings of the two spaces) - make this robust for extended weight lattices (`i` might be "delta")
EXAMPLES::
sage: L = RootSystem(["C",4,1]).weight_lattice() sage: Lambda = L.fundamental_weights() sage: alphacheck = L.simple_coroots() sage: Lambda[1].scalar(alphacheck[1]) 1 sage: Lambda[1].scalar(alphacheck[2]) 0
The fundamental weights and the simple coroots are dual bases::
sage: matrix([ [ Lambda[i].scalar(alphacheck[j]) ....: for i in L.index_set() ] ....: for j in L.index_set() ]) [1 0 0 0 0] [0 1 0 0 0] [0 0 1 0 0] [0 0 0 1 0] [0 0 0 0 1]
Note that the scalar product is not yet implemented between the weight space and the coweight space; in any cases, that won't be the job of this method::
sage: R = RootSystem(["A",3]) sage: alpha = R.weight_space().roots() sage: alphacheck = R.coweight_space().roots() sage: alpha[1].scalar(alphacheck[1]) Traceback (most recent call last): ... ValueError: -Lambdacheck[1] + 2*Lambdacheck[2] - Lambdacheck[3] is not in the coroot space """ # TODO: Find some better test else:
def is_dominant(self): """ Checks whether an element in the weight space lies in the positive cone spanned by the basis elements (fundamental weights).
EXAMPLES::
sage: W = RootSystem(['A',3]).weight_space() sage: Lambda = W.basis() sage: w = Lambda[1]+Lambda[3] sage: w.is_dominant() True sage: w = Lambda[1]-Lambda[2] sage: w.is_dominant() False
In the extended affine weight lattice, 'delta' is orthogonal to the positive coroots, so adding or subtracting it should not effect dominance ::
sage: P = RootSystem(['A',2,1]).weight_lattice(extended=true) sage: Lambda = P.fundamental_weights() sage: delta = P.null_root() sage: w = Lambda[1]-delta sage: w.is_dominant() True
"""
def to_ambient(self): r""" Maps ``self`` to the ambient space.
EXAMPLES::
sage: mu = CartanType(['B',2]).root_system().weight_lattice().an_element(); mu 2*Lambda[1] + 2*Lambda[2] sage: mu.to_ambient() (3, 1)
.. WARNING::
Only implemented in finite Cartan type. Does not work for coweight lattices because there is no implemented map from the coweight lattice to the ambient space.
"""
def to_weight_space(self): r""" Map ``self`` to the weight space.
Since `self.parent()` is the weight space, this map just returns ``self``. This overrides the generic method in `WeightSpaceRealizations`.
EXAMPLES::
sage: mu = CartanType(['A',2]).root_system().weight_lattice().an_element(); mu 2*Lambda[1] + 2*Lambda[2] sage: mu.to_weight_space() 2*Lambda[1] + 2*Lambda[2] """
WeightSpace.Element = WeightSpaceElement |