gelfand-kirillov dimension of nonsymmetric...
TRANSCRIPT
![Page 1: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/1.jpg)
Gelfand-Kirillov Dimension of NonsymmetricOperads
The 3rd Conference on Operad Theory and Related Topics
Zihao Qi
East China Normal University
September 20, 2020
![Page 2: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/2.jpg)
Joint work
This talk is based on a joint work with Yongjun Xu, James J. Zhang andXiangui Zhao.
![Page 3: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/3.jpg)
Plan
History
Gelfand-Kirillov dimension of associative algebras
Nonsymmetric operads
Gelfand-Kirillov dimension of nonsymmetric operads
Gap theorem of GKdim of nonsymmetric operads
Another construction of NS operads with given GKdim
![Page 4: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/4.jpg)
1. History
1966, Gelfand-Kirillov conjecture
I.M Gel’fand, A.A. Kirillov, On fields connected with the envelopingalgebras of Lie algebras. (Russian) Dokl. Akad. Nauk SSSR 1671966 503-505.
I.M Gel’fand, A.A. Kirillov, Sur les corps lies aux algebres
enveloppantes des algebres de Lie. (French) Inst. Hautes Etudes Sci.Publ. Math. No. 31 (1966), 5-19.
1968, Milnor, Growth of groups
J. Milnor, A note on curvature and fundamental group. J. Diff.Geom. 2 (1968), 1-7.
1955, A.S. Svarc
A.S. Svarc, A volume invariant of coverings. (Russian) Dokl. Akad.Nauk SSSR (N.S.) 105 (1955), 32-34.
![Page 5: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/5.jpg)
1. History
1976, Borho and Kraft showed that GK dimension can be any realnumber bigger than 2.
W. Borho and H.Kraft, Uber die Gelfand-Kirillov Dimension. Math.Ann. 220 (1976), 1-24.
1978, Bergman proved the Gap Theorem for GK dimension.
G.M. Bergman, A note on growth functions of algebras andsemigroups. Research Note, University of California, Berkeley,(1978).
1984, Warfield gave another construction of algebras with GKdimension any real number bigger than 2.
R. B. Warfield, The Gelfand-Kirillov dimension of a tensor product.Math. Zeit. 185 (1984), no.4, 441-447.
![Page 6: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/6.jpg)
1. History
Boardman, Vogt
May
J.M. Boardman and R.M. Vogt, Homotopy Invariant AlgebraicStructures on Topological Spaces, Lecture Notes in Math., vol. 347,Springer-Verlag, Berlin · Heidelberg · New York, 1973.
J. P. May, The geometry of iterated loop spaces, Springer-Verlag,Berlin, 1972, Lectures Notes in Mathematics, Vol. 271.
Ginzburg, Kapranov
V. Ginzburg and M. M. Kapranov, Koszul duality for operads, DukeMath. J. 76 (1994), no. 1, 203-272.
Kontsevich
Tamarkin
M. Kontsevich, Deformation quantization of Poisson manifolds.Lett. Math. Phys. 66(2003), 157-216.
D. Tamarkin, Another proof of M. Kontsevich formality theorem,preprint, arXiv:9803025.
![Page 7: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/7.jpg)
1. History
2020, Bao, Ye and Zhang defined GK dimension of a finitelygenerated operad.
Y.-H. Bao, Y. Ye and J.J. Zhang, Truncation of Unitary Operads,Advances in Mathematics. 372 (2020): 107290.
![Page 8: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/8.jpg)
2. GK-dimension of algebras
Let K be a field. Let A be a K-algebra and V be a finite dimensionalsubspace of A spanned by a1, . . . , am. For n ≥ 1, let V n denote the spacespanned by all monomials in a1, . . . , am of length n. Define
dV (n) = dim(Vn), where Vn := K + V + V 2 + · · ·+ V n
Definition
The Gelfand-Kirillov dimension of a K-algebra A is
GKdim(A) = supV
lim logn dV (n)
where the supremum is taken over all finite dimensional subspaces V of A
![Page 9: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/9.jpg)
2. GK-dimension of algebras
Remark
For a finitely generated K-algebra A with finite dimensional generatingspace V ,
GKdim(A) = lim logn dV (n),
which is independent of the choice of V .
![Page 10: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/10.jpg)
2. GK-dimension of algebras
Proposition
Let A be a finitely generated commutative K-algbra and cl .Kdim(A) bethe classical Krull dimension of A, then
GKdim(A) = cl .Kdim(A).
Proposition
GKdim (A) = 0 if and only if A is locally finite dimensional, meaning thatevery finitely generated subalgebra is finite dimensional.GKdim (A) ≥ 1 if algebra A is not locally finite dimensional.
Proposition
Let A be a K-algebra, and let B = A[x1, . . . , xn]. ThenGKdim(B) = GKdim(A) + n.
![Page 11: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/11.jpg)
2. GK-dimension of algebras
Proposition
Let A be a finitely generated commutative K-algbra and cl .Kdim(A) bethe classical Krull dimension of A, then
GKdim(A) = cl .Kdim(A).
Proposition
GKdim (A) = 0 if and only if A is locally finite dimensional, meaning thatevery finitely generated subalgebra is finite dimensional.GKdim (A) ≥ 1 if algebra A is not locally finite dimensional.
Proposition
Let A be a K-algebra, and let B = A[x1, . . . , xn]. ThenGKdim(B) = GKdim(A) + n.
![Page 12: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/12.jpg)
2. GK-dimension of algebras
Proposition
Let A be a finitely generated commutative K-algbra and cl .Kdim(A) bethe classical Krull dimension of A, then
GKdim(A) = cl .Kdim(A).
Proposition
GKdim (A) = 0 if and only if A is locally finite dimensional, meaning thatevery finitely generated subalgebra is finite dimensional.GKdim (A) ≥ 1 if algebra A is not locally finite dimensional.
Proposition
Let A be a K-algebra, and let B = A[x1, . . . , xn]. ThenGKdim(B) = GKdim(A) + n.
![Page 13: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/13.jpg)
2. GK-dimension of algebras
Problem
Which real numbers occur as the Gelfand-Kirillov dimension of aK-algebra?
![Page 14: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/14.jpg)
2. GK-dimension of algebras
Theorem (Borho and Kraft 1976)
For any real number r > 2, there exists a K-algebra such thatGKdim(A) = r .
W. Borho and H.Kraft, Uber die Gelfand-Kirillov Dimension. Math.Ann. 220 (1976), 1-24.
Theorem (Warfield 1984)
For any real number r > 2, there exists a two-generator algebraA = K〈x , y〉/I with GKdim(A)=r .
R. B. Warfield, The Gelfand-Kirillov dimension of a tensor product.Math. Zeit. 185 (1984), no.4, 441-447.
![Page 15: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/15.jpg)
2. GK-dimension of algebras
Theorem (Borho and Kraft 1976)
For any real number r > 2, there exists a K-algebra such thatGKdim(A) = r .
W. Borho and H.Kraft, Uber die Gelfand-Kirillov Dimension. Math.Ann. 220 (1976), 1-24.
Theorem (Warfield 1984)
For any real number r > 2, there exists a two-generator algebraA = K〈x , y〉/I with GKdim(A)=r .
R. B. Warfield, The Gelfand-Kirillov dimension of a tensor product.Math. Zeit. 185 (1984), no.4, 441-447.
![Page 16: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/16.jpg)
2. GK-dimension of algebras
For 1 < r < 2 the existence problem was open for some years untilBergman showed the following theorem.
Theorem (Bergman 1978, Gap Theorem)
No algebra has Gelfand-Kirillov dimension strictly between 1 and 2. So
GKdim ∈ RGKdim := {0} ∪ {1} ∪ [2,∞) ∪ {∞}.
G.M. Bergman, A note on growth functions of algebras andsemigroups. Research Note, University of California, Berkeley,(1978).
![Page 17: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/17.jpg)
2. GK-dimension of algebras
For 1 < r < 2 the existence problem was open for some years untilBergman showed the following theorem.
Theorem (Bergman 1978, Gap Theorem)
No algebra has Gelfand-Kirillov dimension strictly between 1 and 2. So
GKdim ∈ RGKdim := {0} ∪ {1} ∪ [2,∞) ∪ {∞}.
G.M. Bergman, A note on growth functions of algebras andsemigroups. Research Note, University of California, Berkeley,(1978).
![Page 18: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/18.jpg)
2. GK-dimension of algebras
Proposition
If r ∈ RGKdim, then there is a finitely generated monomial algebra A suchthat GKdim(A) = r .
J.P. Bell, Growth functions, Commutative Algebra andNoncommutative Algebraic Geometry 1 (2015), 1.
![Page 19: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/19.jpg)
3. Nonsymmetric operads
Definition (partial definition)
A nonsymmetric operad is a collection of vector spaces P = {P(n)}n≥0(n is called the arity) equipped with an element id ∈ P(1) and maps
◦i : P(m)⊗ P(n)→ P(m + n − 1), α⊗ β 7→ α ◦i β, 1 ≤ i ≤ m
which satisfy the following properties for all α ∈ P(m), β ∈ P(n) andγ ∈ P(r):
(i) (α ◦i β) ◦i+j−1 γ = α ◦i (β ◦j γ) for 1 ≤ i ≤ m, 1 ≤ j ≤ n;
(ii) (α ◦i β) ◦j+n−1 γ = (α ◦j γ) ◦i β for 1 ≤ i < j ≤ m;
(iii) id ◦1α = α, α ◦i id = α for 1 ≤ i ≤ n.
![Page 20: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/20.jpg)
3. Nonsymmetric operads
Remark
◦i : P(m)⊗ P(n)→ P(m + n − 1)
α⊗ β 7→ α ◦i β
α ⊗ β 7→
α
β
i
![Page 21: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/21.jpg)
3. Nonsymmetric operads
Remark
(i) (α ◦i β) ◦i+j−1 γ = α ◦i (β ◦j γ) for 1 ≤ i ≤ m, 1 ≤ j ≤ n
α
β
γ
i
i+j-1
=
α ◦i βα
β
γ
i
j β ◦j γ
![Page 22: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/22.jpg)
3. Nonsymmetric operads
Remark
(ii) (α ◦i β) ◦j+n−1 γ = (α ◦j γ) ◦i β for 1 ≤ i < j ≤ m
α
β
γ
i j
j+n-1
=
α ◦i βα
β
γi j
i
α ◦j γ
![Page 23: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/23.jpg)
3. Nonsymmetric operads
Example (operad of nonunital associative algebras)
Define As = {As(n)}n≥1, where As(1) = Kid and As(n) = Kµn.
µm ◦i µn := µm+n−1, 1 ≤ i ≤ m.
Example
A unital associative algebra A can be interpreted as an operad P withP(1) = A and P(n) = 0 for all n 6= 1, and the compositions in P aregiven by the multiplication of A.
Remark
An operad can be viewed as a generalization of an algebra.
![Page 24: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/24.jpg)
3. Nonsymmetric operads
Example (?)
Suppose A = ⊕i≥0Ai is a graded algebra with unit 1A. Let P(0) = 0 andP(n) = An−1 for all n ≥ 1. Define compositions as follows
◦i : P(m)⊗ P(n)→ P(n + m − 1),
am−1 ⊗ an−1 7→
cam−1 an−1 = c1A,
am−1an−1 an−1 /∈ K1A, i = 1,
0 an−1 /∈ K1A, i 6= 1.
Then P is an operad with id = 1A.
![Page 25: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/25.jpg)
3. Nonsymmetric operads
Definition
A collection P = {P(n)}n≥0 of spaces (especially, an operad) is calledfinite dimensional if dimP := dim (⊕n≥0P(n)) <∞;It is called locally finite if P(n) is finite dimensional for all n ∈ N.
![Page 26: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/26.jpg)
3. Nonsymmetric operads
Given a subcollection V of operad P, let V0 = (0,Kid , 0, 0, . . . ) andVm = {Vm(n)}n≥0 for m ≥ 1, where Vm(n) denotes the subspace ofP(n) spanned by all elements that have the following form
((· · · ((a1 ◦j1 a2) ◦j2 a3) ◦j3 · · · ) ◦jm−1 am), each ai ∈ V. (1)
We call V a generating subcollection of P if
P =∑m≥0
Vm :=
∑m≥0
Vm(n)
n≥0
.
Definition
An operad P is called finitely generated if it has a finite dimensionalgenerating subcollection V = {V(n)}n≥0.
![Page 27: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/27.jpg)
4. GK-dimension of NS operads
Definition (Bao-Ye-Zhang 2020)
Let P be a locally finite operad. The Gelfand-Kirillov dimension(GK-dimension for short) of P is defined to be
GKdim(P) := lim logn
(n∑
i=0
dimP(i)
).
When we talk about the GK-dimension of an operad P, we usuallyimplicitly assume that P is locally finite.
Y.-H. Bao, Y. Ye and J.J. Zhang, Truncation of Unitary Operads,Advances in Mathematics. 372 (2020): 107290.
![Page 28: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/28.jpg)
4. GK-dimension of NS operads
Example
Since dim(As(n)) = 1 for all n ≥ 1,
GKdim(As) = lim logn
(n∑
i=0
dim(As(n))
)= lim logn(n)
= 1.
![Page 29: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/29.jpg)
4. GK-dimension of NS operads
Proposition
GKdim(P) = 0 if and only if P is finite dimensional.
Proposition
For any r ∈ RGKdim, there exists a finitely generated operad P such thatGKdim(P) = r .
Idea of proof:As in Example (?), we can construct a finitely generated operadP := (0,K,A1,A2, . . . ) from a monomial algebra A which is naturallygraded, such that GKdim(P) = GKdim(A).
![Page 30: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/30.jpg)
4. GK-dimension of NS operads
Proposition
GKdim(P) = 0 if and only if P is finite dimensional.
Proposition
For any r ∈ RGKdim, there exists a finitely generated operad P such thatGKdim(P) = r .
Idea of proof:As in Example (?), we can construct a finitely generated operadP := (0,K,A1,A2, . . . ) from a monomial algebra A which is naturallygraded, such that GKdim(P) = GKdim(A).
![Page 31: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/31.jpg)
4. GK-dimension of NS operads
Remark (Algebra Case)
For a finitely generated K-algebra A with finite dimensional generatingspace V ,
GKdim(A) = lim logn dV (n).
Proposition
Suppose P is a locally finite operad generated by a finite dimensionalsubcollection V. Let dV(n) = dim(
∑ni=0 V i ). Then
GKdim(P) = lim logn dV(n).
![Page 32: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/32.jpg)
5. Gap theorem of GKdim of NS operads
Problem
Which real numbers occur as the Gelfand-Kirillov dimension of anonsymmetric operad?
Theorem (Qi-Xu-Zhang-Zhao)
The range of GK-dimension of nonsymmetric operads is
RGKdim := {0} ∪ {1} ∪ [2,∞) ∪ {∞}.
![Page 33: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/33.jpg)
5. Gap theorem of GKdim of NS operads
Problem
Which real numbers occur as the Gelfand-Kirillov dimension of anonsymmetric operad?
Theorem (Qi-Xu-Zhang-Zhao)
The range of GK-dimension of nonsymmetric operads is
RGKdim := {0} ∪ {1} ∪ [2,∞) ∪ {∞}.
![Page 34: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/34.jpg)
5. Gap theorem of GKdim of NS operads
Proposition
No finitely generated nonsymmetric operad has GK-dimension strictlybetween 0 and 1.
Idea of proof:Suppose dim(P) =∞. We claim that Vm+1 6= Vm for every m. Supposeto the contrary that Vm+1 = Vm for some m. Then by induction, one seesthat Vn = Vm for every n > m. So P = ∪n>mVn = Vm, which is finitedimensional. Therefore dimVm ≥ m + 1 for every m, and consequently,
GKdim(P) = lim logn
(n∑
i=0
dimV i
)≥ lim logn(n + 1) = 1.
![Page 35: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/35.jpg)
5. Gap theorem of GKdim of NS operads
Theorem (Qi-Xu-Zhang-Zhao 2020, Gap Theorem)
No finitely generated nonsymmetric operad has GK-dimension strictlybetween 1 and 2.
![Page 36: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/36.jpg)
5. Gap theorem of GKdim of NS operads
Idea of proof:
If GKdim(P) < 2, then there exists apositive integer d such that dimV i ≤ dfor all i .
So we have that
dV(n) = dim(n∑
i=0
V i ) ≤ dn.
Consequently,
GKdim(P) = limlogndV(n) ≤ 1.
v1
v2
bounded
periodic
bounded
![Page 37: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/37.jpg)
6. Another construction of NS operads with given GKdim
Definition
An operad is called single-branched if it has a K-basis that consists ofelements of the form
x1 ◦i1 (x2 ◦i2 (· · · (xn−2 ◦in−2 (xn−1 ◦in−1 xn)) · · · )).
Definition
An operad is called single-generated if it is generated by a single element.
![Page 38: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/38.jpg)
6. Another construction of NS operads with given GKdim
Theorem (Qi-Xu-Zhang-Zhao)
If r ∈ RGKdim, then there is a single-generated single-branched locallyfinite nonsymmetric operad P such that GKdim(P) = r .
Idea of proof:If r ∈ RGKdim, then there is a finitely generated monomial algebra A suchthat GKdim(A) = r .For any finitely generated graded monomial algebra A, construct asingle-generated single-branched nonsymmetric operad P such that
GKdim(P) = GKdim(A).
![Page 39: Gelfand-Kirillov Dimension of Nonsymmetric Operadsstaff.ustc.edu.cn/~yhbao/2020_Operad/Slides/Qi-Gelfand... · 2020. 9. 23. · No algebra has Gelfand-Kirillov dimension strictly](https://reader033.vdocument.in/reader033/viewer/2022060800/6083e17de946c340b064d77b/html5/thumbnails/39.jpg)
Thank you!