Высшая весовая категория - Highest-weight category

в математический поле теория представлений, а высшая весовая категория это k-линейная категория C (здесь k это поле ) который

{ Displaystyle B cap left ( bigcup _ { alpha} A _ { alpha} right) = bigcup _ { alpha} left (B cap A _ { alpha} right)}

для всех подобъектов B и каждое семейство подобъектов {А_α} каждого объекта Икс

и такой, что есть локально конечный чум Λ (элементы которого называются веса из C), который удовлетворяет следующим условиям:^[2]

ЧУМ Λ индексирует исчерпывающий набор неизоморфных простые объекты {S(λ)} в C.
Λ также индексирует коллекцию объектов {А(λ)} объектов C такие, что существуют вложения S(λ) → А(λ) такие, что все факторы состава S(μ) из А(λ)/S(λ) удовлетворить μ < λ.^[3]
Для всех μ, λ в Λ,

{ displaystyle dim _ {k} operatorname {Hom} _ {k} (A ( lambda), A ( mu))}

{ Displaystyle [А ( лямбда): S ( му)]}

также конечно.

Каждый S(λ) имеет конверт для инъекций я(λ) в C оборудован увеличивающимся фильтрация

{ Displaystyle 0 = F_ {0} ( lambda) substeq F_ {1} ( lambda) substeq dots substeq I ( lambda)}

такой, что

${ Displaystyle F_ {1} ( lambda) = A ( lambda)}$
за п > 1, ${ Displaystyle F_ {п} ( лямбда) / F_ {п-1} ( лямбда) конг А ( му)}$ для некоторых μ = μ(п) > λ
для каждого μ в Λ, μ(п) = μ только для конечного числа п
${ displaystyle bigcup _ {i} F_ {i} ( lambda) = I ( lambda).}$

Примеры

Категория модуля ${ displaystyle k}$ -алгебра верхнетреугольной ${ Displaystyle п раз п}$ матрицы над ${ displaystyle k}$ .
Эта концепция названа в честь категории модули наибольшего веса алгебр Ли.
Конечномерный ${ displaystyle k}$ -алгебра ${ displaystyle A}$ является квази-наследственный если его модульная категория является высшей весовой категорией. В частности, все категории модулей над полупростой и наследственный алгебры - категории старшего веса.
А клеточная алгебра над полем является квазинаследственным (и, следовательно, его модульная категория является категорией старшего веса) если только его определитель Картана равен 1.

^ В том смысле, что он допускает произвольные прямые ограничения из подобъекты и каждый объект представляет собой объединение своих подобъектов конечная длина.
^ Клайн и Скотт 1988, §3
^ Здесь фактор композиции объекта А в C по определению является композиционным фактором одного из его подобъектов конечной длины.
^ Здесь, если А это объект в C и S это простой объект в C, кратность [A: S] по определению является супремумом кратности S во всех подобъектах конечной длины А.