子空间包含图的拉普拉奇特征值的渐近行为

IF 1 2区 数学 Q1 MATHEMATICS Journal of the London Mathematical Society-Second Series Pub Date : 2024-08-13 DOI:10.1112/jlms.12972
Alan Lew
{"title":"子空间包含图的拉普拉奇特征值的渐近行为","authors":"Alan Lew","doi":"10.1112/jlms.12972","DOIUrl":null,"url":null,"abstract":"<p>Let <span></span><math>\n <semantics>\n <msub>\n <mtext>Fl</mtext>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n </mrow>\n </msub>\n <annotation>$\\text{Fl}_{n,q}$</annotation>\n </semantics></math> be the simplicial complex whose vertices are the nontrivial subspaces of <span></span><math>\n <semantics>\n <msubsup>\n <mi>F</mi>\n <mi>q</mi>\n <mi>n</mi>\n </msubsup>\n <annotation>$\\mathbb {F}_q^n$</annotation>\n </semantics></math> and whose simplices correspond to families of subspaces forming a flag. Let <span></span><math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>Δ</mi>\n <mi>k</mi>\n <mo>+</mo>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mtext>Fl</mtext>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n </mrow>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\Delta ^{+}_k(\\text{Fl}_{n,q})$</annotation>\n </semantics></math> be the <span></span><math>\n <semantics>\n <mi>k</mi>\n <annotation>$k$</annotation>\n </semantics></math>-dimensional weighted upper Laplacian on <span></span><math>\n <semantics>\n <msub>\n <mtext>Fl</mtext>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n </mrow>\n </msub>\n <annotation>$ \\text{Fl}_{n,q}$</annotation>\n </semantics></math>. The spectrum of <span></span><math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>Δ</mi>\n <mi>k</mi>\n <mo>+</mo>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mtext>Fl</mtext>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n </mrow>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\Delta ^{+}_k(\\text{Fl}_{n,q})$</annotation>\n </semantics></math> was first studied by Garland, who obtained a lower bound on its nonzero eigenvalues. Here, we focus on the <span></span><math>\n <semantics>\n <mrow>\n <mi>k</mi>\n <mo>=</mo>\n <mn>0</mn>\n </mrow>\n <annotation>$k=0$</annotation>\n </semantics></math> case. We determine the asymptotic behavior of the eigenvalues of <span></span><math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>Δ</mi>\n <mn>0</mn>\n <mo>+</mo>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mtext>Fl</mtext>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n </mrow>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\Delta _{0}^{+}(\\text{Fl}_{n,q})$</annotation>\n </semantics></math> as <span></span><math>\n <semantics>\n <mi>q</mi>\n <annotation>$q$</annotation>\n </semantics></math> tends to infinity. In particular, we show that for large enough <span></span><math>\n <semantics>\n <mi>q</mi>\n <annotation>$q$</annotation>\n </semantics></math>, <span></span><math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>Δ</mi>\n <mn>0</mn>\n <mo>+</mo>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mtext>Fl</mtext>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n </mrow>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\Delta _{0}^{+}(\\text{Fl}_{n,q})$</annotation>\n </semantics></math> has exactly <span></span><math>\n <semantics>\n <mrow>\n <mfenced>\n <msup>\n <mi>n</mi>\n <mn>2</mn>\n </msup>\n <mo>/</mo>\n <mn>4</mn>\n </mfenced>\n <mo>+</mo>\n <mn>2</mn>\n </mrow>\n <annotation>$\\left\\lfloor n^2/4\\right\\rfloor +2$</annotation>\n </semantics></math> distinct eigenvalues, and that every eigenvalue <span></span><math>\n <semantics>\n <mrow>\n <mi>λ</mi>\n <mo>≠</mo>\n <mn>0</mn>\n <mo>,</mo>\n <mi>n</mi>\n <mo>−</mo>\n <mn>1</mn>\n </mrow>\n <annotation>$\\lambda \\ne 0,n-1$</annotation>\n </semantics></math> of <span></span><math>\n <semantics>\n <mrow>\n <msubsup>\n <mi>Δ</mi>\n <mn>0</mn>\n <mo>+</mo>\n </msubsup>\n <mrow>\n <mo>(</mo>\n <msub>\n <mtext>Fl</mtext>\n <mrow>\n <mi>n</mi>\n <mo>,</mo>\n <mi>q</mi>\n </mrow>\n </msub>\n <mo>)</mo>\n </mrow>\n </mrow>\n <annotation>$\\Delta _{0}^{+}(\\text{Fl}_{n,q})$</annotation>\n </semantics></math> tends to <span></span><math>\n <semantics>\n <mrow>\n <mi>n</mi>\n <mo>−</mo>\n <mn>2</mn>\n </mrow>\n <annotation>$n-2$</annotation>\n </semantics></math> as <span></span><math>\n <semantics>\n <mi>q</mi>\n <annotation>$q$</annotation>\n </semantics></math> goes to infinity. This solves the zero-dimensional case of a conjecture of Papikian.</p>","PeriodicalId":49989,"journal":{"name":"Journal of the London Mathematical Society-Second Series","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2024-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12972","citationCount":"0","resultStr":"{\"title\":\"Asymptotic behavior of Laplacian eigenvalues of subspace inclusion graphs\",\"authors\":\"Alan Lew\",\"doi\":\"10.1112/jlms.12972\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>Let <span></span><math>\\n <semantics>\\n <msub>\\n <mtext>Fl</mtext>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n </mrow>\\n </msub>\\n <annotation>$\\\\text{Fl}_{n,q}$</annotation>\\n </semantics></math> be the simplicial complex whose vertices are the nontrivial subspaces of <span></span><math>\\n <semantics>\\n <msubsup>\\n <mi>F</mi>\\n <mi>q</mi>\\n <mi>n</mi>\\n </msubsup>\\n <annotation>$\\\\mathbb {F}_q^n$</annotation>\\n </semantics></math> and whose simplices correspond to families of subspaces forming a flag. Let <span></span><math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>Δ</mi>\\n <mi>k</mi>\\n <mo>+</mo>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mtext>Fl</mtext>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n </mrow>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\Delta ^{+}_k(\\\\text{Fl}_{n,q})$</annotation>\\n </semantics></math> be the <span></span><math>\\n <semantics>\\n <mi>k</mi>\\n <annotation>$k$</annotation>\\n </semantics></math>-dimensional weighted upper Laplacian on <span></span><math>\\n <semantics>\\n <msub>\\n <mtext>Fl</mtext>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n </mrow>\\n </msub>\\n <annotation>$ \\\\text{Fl}_{n,q}$</annotation>\\n </semantics></math>. The spectrum of <span></span><math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>Δ</mi>\\n <mi>k</mi>\\n <mo>+</mo>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mtext>Fl</mtext>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n </mrow>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\Delta ^{+}_k(\\\\text{Fl}_{n,q})$</annotation>\\n </semantics></math> was first studied by Garland, who obtained a lower bound on its nonzero eigenvalues. Here, we focus on the <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>k</mi>\\n <mo>=</mo>\\n <mn>0</mn>\\n </mrow>\\n <annotation>$k=0$</annotation>\\n </semantics></math> case. We determine the asymptotic behavior of the eigenvalues of <span></span><math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>Δ</mi>\\n <mn>0</mn>\\n <mo>+</mo>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mtext>Fl</mtext>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n </mrow>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\Delta _{0}^{+}(\\\\text{Fl}_{n,q})$</annotation>\\n </semantics></math> as <span></span><math>\\n <semantics>\\n <mi>q</mi>\\n <annotation>$q$</annotation>\\n </semantics></math> tends to infinity. In particular, we show that for large enough <span></span><math>\\n <semantics>\\n <mi>q</mi>\\n <annotation>$q$</annotation>\\n </semantics></math>, <span></span><math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>Δ</mi>\\n <mn>0</mn>\\n <mo>+</mo>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mtext>Fl</mtext>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n </mrow>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\Delta _{0}^{+}(\\\\text{Fl}_{n,q})$</annotation>\\n </semantics></math> has exactly <span></span><math>\\n <semantics>\\n <mrow>\\n <mfenced>\\n <msup>\\n <mi>n</mi>\\n <mn>2</mn>\\n </msup>\\n <mo>/</mo>\\n <mn>4</mn>\\n </mfenced>\\n <mo>+</mo>\\n <mn>2</mn>\\n </mrow>\\n <annotation>$\\\\left\\\\lfloor n^2/4\\\\right\\\\rfloor +2$</annotation>\\n </semantics></math> distinct eigenvalues, and that every eigenvalue <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>λ</mi>\\n <mo>≠</mo>\\n <mn>0</mn>\\n <mo>,</mo>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>1</mn>\\n </mrow>\\n <annotation>$\\\\lambda \\\\ne 0,n-1$</annotation>\\n </semantics></math> of <span></span><math>\\n <semantics>\\n <mrow>\\n <msubsup>\\n <mi>Δ</mi>\\n <mn>0</mn>\\n <mo>+</mo>\\n </msubsup>\\n <mrow>\\n <mo>(</mo>\\n <msub>\\n <mtext>Fl</mtext>\\n <mrow>\\n <mi>n</mi>\\n <mo>,</mo>\\n <mi>q</mi>\\n </mrow>\\n </msub>\\n <mo>)</mo>\\n </mrow>\\n </mrow>\\n <annotation>$\\\\Delta _{0}^{+}(\\\\text{Fl}_{n,q})$</annotation>\\n </semantics></math> tends to <span></span><math>\\n <semantics>\\n <mrow>\\n <mi>n</mi>\\n <mo>−</mo>\\n <mn>2</mn>\\n </mrow>\\n <annotation>$n-2$</annotation>\\n </semantics></math> as <span></span><math>\\n <semantics>\\n <mi>q</mi>\\n <annotation>$q$</annotation>\\n </semantics></math> goes to infinity. This solves the zero-dimensional case of a conjecture of Papikian.</p>\",\"PeriodicalId\":49989,\"journal\":{\"name\":\"Journal of the London Mathematical Society-Second Series\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2024-08-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://onlinelibrary.wiley.com/doi/epdf/10.1112/jlms.12972\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of the London Mathematical Society-Second Series\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1112/jlms.12972\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the London Mathematical Society-Second Series","FirstCategoryId":"100","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1112/jlms.12972","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0

摘要

特别是,我们证明了对于足够大的 q $q$ , Δ 0 + ( Fl n , q ) $\Delta _{0}^{+}(\text{Fl}_{n,q})$ 恰好有 n 2 / 4 + 2 $\left\lfloor n^2/4\right\rfloor +2$ 不同的特征值,并且随着 q $q$ 的无穷大,Δ 0 + ( Fl n , q ) $\Delta _{0}^{+}(\text{Fl}_{n,q})$ 的每个特征值 λ ≠ 0 , n - 1 $\lambda \ne 0,n-1$ 都趋向于 n - 2 $n-2$。这就解决了帕皮西安猜想中的零维问题。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
本刊更多论文
Asymptotic behavior of Laplacian eigenvalues of subspace inclusion graphs

Let Fl n , q $\text{Fl}_{n,q}$ be the simplicial complex whose vertices are the nontrivial subspaces of F q n $\mathbb {F}_q^n$ and whose simplices correspond to families of subspaces forming a flag. Let Δ k + ( Fl n , q ) $\Delta ^{+}_k(\text{Fl}_{n,q})$ be the k $k$ -dimensional weighted upper Laplacian on Fl n , q $ \text{Fl}_{n,q}$ . The spectrum of Δ k + ( Fl n , q ) $\Delta ^{+}_k(\text{Fl}_{n,q})$ was first studied by Garland, who obtained a lower bound on its nonzero eigenvalues. Here, we focus on the k = 0 $k=0$ case. We determine the asymptotic behavior of the eigenvalues of Δ 0 + ( Fl n , q ) $\Delta _{0}^{+}(\text{Fl}_{n,q})$ as q $q$ tends to infinity. In particular, we show that for large enough q $q$ , Δ 0 + ( Fl n , q ) $\Delta _{0}^{+}(\text{Fl}_{n,q})$ has exactly n 2 / 4 + 2 $\left\lfloor n^2/4\right\rfloor +2$ distinct eigenvalues, and that every eigenvalue λ 0 , n 1 $\lambda \ne 0,n-1$ of Δ 0 + ( Fl n , q ) $\Delta _{0}^{+}(\text{Fl}_{n,q})$ tends to n 2 $n-2$ as q $q$ goes to infinity. This solves the zero-dimensional case of a conjecture of Papikian.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
CiteScore
1.90
自引率
0.00%
发文量
186
审稿时长
6-12 weeks
期刊介绍: The Journal of the London Mathematical Society has been publishing leading research in a broad range of mathematical subject areas since 1926. The Journal welcomes papers on subjects of general interest that represent a significant advance in mathematical knowledge, as well as submissions that are deemed to stimulate new interest and research activity.
期刊最新文献
On tame ramification and centers of F $F$ -purity Geometry of Selberg's bisectors in the symmetric space S L ( n , R ) / S O ( n , R ) $SL(n,\mathbb {R})/SO(n,\mathbb {R})$ Asymmetric distribution of extreme values of cubic L $L$ -functions at s = 1 $s=1$ Rational points on complete intersections of cubic and quadric hypersurfaces over F q ( t ) $\mathbb {F}_q(t)$ Countably tight dual ball with a nonseparable measure
×
引用
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