Algebras defined by Lyndon words and Artin-Schelter regularity

T. Gateva-Ivanova
{"title":"Algebras defined by Lyndon words and Artin-Schelter regularity","authors":"T. Gateva-Ivanova","doi":"10.1090/btran/89","DOIUrl":null,"url":null,"abstract":"<p>Let <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X equals StartSet x 1 comma x 2 comma midline-horizontal-ellipsis comma x Subscript n Baseline EndSet\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>X</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mo fence=\"false\" stretchy=\"false\">{</mml:mo>\n <mml:msub>\n <mml:mi>x</mml:mi>\n <mml:mn>1</mml:mn>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:msub>\n <mml:mi>x</mml:mi>\n <mml:mn>2</mml:mn>\n </mml:msub>\n <mml:mo>,</mml:mo>\n <mml:mo>⋯<!-- ⋯ --></mml:mo>\n <mml:mo>,</mml:mo>\n <mml:msub>\n <mml:mi>x</mml:mi>\n <mml:mi>n</mml:mi>\n </mml:msub>\n <mml:mo fence=\"false\" stretchy=\"false\">}</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">X= \\{x_1, x_2, \\cdots , x_n\\}</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> be a finite alphabet, and let <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\">\n <mml:semantics>\n <mml:mi>K</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">K</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> be a field. We study classes <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper C left-parenthesis upper X comma upper W right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>W</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {C}(X, W)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of graded <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper K\">\n <mml:semantics>\n <mml:mi>K</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">K</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>-algebras <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A equals upper K mathematical left-angle upper X mathematical right-angle slash upper I\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo>=</mml:mo>\n <mml:mi>K</mml:mi>\n <mml:mo fence=\"false\" stretchy=\"false\">⟨<!-- ⟨ --></mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo fence=\"false\" stretchy=\"false\">⟩<!-- ⟩ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mo>/</mml:mo>\n </mml:mrow>\n <mml:mi>I</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A = K\\langle X\\rangle / I</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, generated by <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper X\">\n <mml:semantics>\n <mml:mi>X</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">X</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and with <italic>a fixed set of obstructions</italic> <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper W\">\n <mml:semantics>\n <mml:mi>W</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">W</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Initially we do not impose restrictions on <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper W\">\n <mml:semantics>\n <mml:mi>W</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">W</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> and investigate the case when the algebras in <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper C left-parenthesis upper X comma upper W right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>W</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {C} (X, W)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> have polynomial growth and finite global dimension <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"d\">\n <mml:semantics>\n <mml:mi>d</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">d</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. Next we consider classes <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper C left-parenthesis upper X comma upper W right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>W</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {C} (X, W)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> of algebras whose sets of obstructions <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper W\">\n <mml:semantics>\n <mml:mi>W</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">W</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> are antichains of Lyndon words. The central question is “<italic>when a class <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper C left-parenthesis upper X comma upper W right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>W</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {C} (X, W)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> contains Artin-Schelter regular algebras?</italic>” Each class <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"German upper C left-parenthesis upper X comma upper W right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>W</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">\\mathfrak {C} (X, W)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> defines a Lyndon pair <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"left-parenthesis upper N comma upper W right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>N</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>W</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">(N,W)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, which, if <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper N\">\n <mml:semantics>\n <mml:mi>N</mml:mi>\n <mml:annotation encoding=\"application/x-tex\">N</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula> is finite, determines uniquely the global dimension, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"g l d i m upper A\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>g</mml:mi>\n <mml:mi>l</mml:mi>\n <mml:mspace width=\"thinmathspace\" />\n <mml:mi>d</mml:mi>\n <mml:mi>i</mml:mi>\n <mml:mi>m</mml:mi>\n <mml:mi>A</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">gl\\,dimA</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, and the Gelfand-Kirillov dimension, <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper G upper K d i m upper A\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>G</mml:mi>\n <mml:mi>K</mml:mi>\n <mml:mi>d</mml:mi>\n <mml:mi>i</mml:mi>\n <mml:mi>m</mml:mi>\n <mml:mi>A</mml:mi>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">GK dimA</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>, for every <inline-formula content-type=\"math/mathml\">\n<mml:math xmlns:mml=\"http://www.w3.org/1998/Math/MathML\" alttext=\"upper A element-of German upper C left-parenthesis upper X comma upper W right-parenthesis\">\n <mml:semantics>\n <mml:mrow>\n <mml:mi>A</mml:mi>\n <mml:mo>∈<!-- ∈ --></mml:mo>\n <mml:mrow class=\"MJX-TeXAtom-ORD\">\n <mml:mi mathvariant=\"fraktur\">C</mml:mi>\n </mml:mrow>\n <mml:mo stretchy=\"false\">(</mml:mo>\n <mml:mi>X</mml:mi>\n <mml:mo>,</mml:mo>\n <mml:mi>W</mml:mi>\n <mml:mo stretchy=\"false\">)</mml:mo>\n </mml:mrow>\n <mml:annotation encoding=\"application/x-tex\">A \\in \\mathfrak {C}(X, W)</mml:annotation>\n </mml:semantics>\n</mml:math>\n</inline-formula>. We find a combinatorial condition in terms of <inline-formula content-type=\"math/mathml\">\n<mml:mat","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"46 5","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/btran/89","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 3

Abstract

Let X = { x 1 , x 2 , , x n } X= \{x_1, x_2, \cdots , x_n\} be a finite alphabet, and let K K be a field. We study classes C ( X , W ) \mathfrak {C}(X, W) of graded K K -algebras A = K X / I A = K\langle X\rangle / I , generated by X X and with a fixed set of obstructions W W . Initially we do not impose restrictions on W W and investigate the case when the algebras in C ( X , W ) \mathfrak {C} (X, W) have polynomial growth and finite global dimension d d . Next we consider classes C ( X , W ) \mathfrak {C} (X, W) of algebras whose sets of obstructions W W are antichains of Lyndon words. The central question is “when a class C ( X , W ) \mathfrak {C} (X, W) contains Artin-Schelter regular algebras?” Each class C ( X , W ) \mathfrak {C} (X, W) defines a Lyndon pair ( N , W ) (N,W) , which, if N N is finite, determines uniquely the global dimension, g l d i m A gl\,dimA , and the Gelfand-Kirillov dimension, G K d i m A GK dimA , for every A C ( X , W ) A \in \mathfrak {C}(X, W) . We find a combinatorial condition in terms of

查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
由Lyndon词和Artin-Schelter正则定义的代数
设X= {X 1, X 2,⋯,X n} X= \{x_1, x_2, \cdots, x_n\}是一个有限字母,设K K是一个域。我们研究分级K K -代数A = K⟨X⟩/ I A = K\langle X\rangle / I的类C (X, W) \mathfrak {C}(X, W),由X X生成并具有固定的障碍物W W。首先,我们没有对ww施加限制,并研究了C (X, W) \mathfrak {C} (X, W)中的代数具有多项式增长和有限全局维数d d的情况。接下来我们考虑一类代数C (X, W) \mathfrak {C} (X, W),它们的障碍集合W W是林登词的反链。核心问题是“当一类C (X, W) \mathfrak {C} (X, W)包含Artin-Schelter正则代数时?”每个类C (X, W) \mathfrak {C} (X, W)定义了一个Lyndon对(N,W) (N,W),如果N N是有限的,它唯一地决定了全局维数g g dim a g g \,dimA和Gelfand-Kirillov维数g K dim a g K dimA,对于每个A∈C (X, W) A \in \mathfrak {C}(X, W)。我们用< ml:mat找到了一个组合条件
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1