×

离散莫尔斯函数的复数。 (英语) Zbl 1091.57025号

作者定义了所有离散莫尔斯函数(根据福尔曼的细胞复合体离散莫尔斯理论[R.福尔曼《高等数学》第134卷第1期,第90–145页(1998年;Zbl 0896.57023号)]并研究了其中(Delta)是图,分别是单纯形的特殊情况。主要的技术工具是使用非循环匹配(所谓莫尔斯匹配)在\(\Delta\)的定向Hasse图中。对于\(\Delta=\Gamma\)图,其Hasse图的非循环匹配(以及离散Morse函数)只是\(\Gamma\)的根森林,之前由D.N.科兹洛夫[J.Combina.Theory Ser.A 88,No.1,112–122(1999;Zbl 0934.05041号)]. 对于一般图(Gamma),作者通过以下公式将(M(伽玛))的(f)-向量(f_*=(f_0,f_1,dots))与拉普拉斯算子(Q(伽玛\[\σ(\Gamma,\mu)\;=\;\sum{i\geq0}f{i-1}(-1)^i\mu^{n-i},\]其中,\(n\)表示\(\Gamma\)的顶点数。在(Gamma=C_n)是(n)-圈的特殊情况下,作者证明了纯净的(C_n)的莫尔斯复形-即由(M(C_n)的面诱导的单纯形复形(M_{text{pure}}(C-n))-是(ngeq4)的(S^2\vee S^{n-2})。在先前引用的论文中,科兹洛夫计算出整个莫尔斯复形(M(C_n))的同伦类型为\[M(C_n)\;\模拟\;\开始{案例}S^{2k-1}\vee S^{2 k-1}\vee S ^{3k-2}\veeS ^{3 k-2}&{\text{如果}}n=3k,\\S^{2k}\vee-S ^{3k-1}&\text{if}n=3k+1,\\S ^{2k}如果}3k},\\S S^{3k}\ve S^{3 k}&\text{如果{n=3k+2。\结束{cases}\]在(Delta=Delta_d)是(d)维单纯形的情况下,作者得到了(M(Delta_1)\simeq S^0)和(M(\Delta_2)\sime S^1\vee S^1)。对于\(d\geq3\),\(\Delta_d\)的莫尔斯复合体不再是纯的。作者计算了(M(Delta_3)的(f)-向量和约化整数同源性为\[f_*(M(\Delta_3))=(283001544393246322128256),\]
\[H_*(M(\Delta_3),{\mathbb Z})=(0,0,0,{\mathbb Z{99},0,0);\]类似地,他们获得\[f_*(M_{\text{pure}}(\Delta_3))=(283001544368036721600256),\]
\[H_*(M_{text{pure}}(\Delta_3),{mathbbZ})=(0,0,0,{matHBbZ}^{81},0,0.0)。\]最后,\(M_{text{pure}}(\Delta)\)的面对应于很 完美哈斯图中的莫尔斯匹配。在\(\Delta=\Delta_d\)的情况下,作者获得了渐近界\[(1.289)^{2^d}\;\leq\;f(d)\;\leq\;(d+1)^{2^{d-1}}\]对于(M_{text{pure}}(\Delta_d)\)的面数\(f(d)\),使用\((k,d)\)-树由于G.卡莱[以色列数学杂志.45,337–351(1983;Zbl 0535.57011号)]对于上界,对于下界,将(Delta_d)的Morse匹配解释为(d+1)维立方体图中的特殊类型的完美匹配。

MSC公司:

57转70分 微分拓扑中的临界点和临界子流形
52个B05 多面体和多面体的组合特性(面数、最短路径等)
58E05型 无穷维空间中的抽象临界点理论(莫尔斯理论、Lyusternik-Shnirel’man理论等)
05C70号 具有特殊属性的边子集(因子分解、匹配、分区、覆盖和打包等)
99年第57季度 公共图书馆学
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Babson,E。;Björner,A。;Linusson,S。;Shareshian,J。;Welker,V.,非(i)连通图的复合体,拓扑,38,2,271-299(1999)·Zbl 0936.57002号
[2] Biggs,N.,代数图论(1994),剑桥大学出版社:剑桥大学出版社·Zbl 0797.05032号
[3] Chari,M.K.,关于离散Morse函数和组合分解,离散数学。,217, 1-3, 101-113 (2000) ·兹比尔1008.52011
[4] 克拉克·L·H。;乔治·J·C。;Porter,T.D.,《关于(n)-立方体中1因子的数量》,Congr。Numerantium,12767-69(1997)·Zbl 0901.05056号
[5] J.-G.Dumas,F.Heckenbach,D.Saunders,V.Welker,基于有效smith范式算法的计算单纯形同调,收录于:M.Joswig,N.Takayma(编辑),《代数、几何和软件系统》,Springer,纽约,2003年,第177-206页;J.-G.Dumas,F.Heckenbach,D.Saunders,V.Welker,基于有效的smith范式算法计算单纯形同调,收录于:M.Joswig,N.Takayma(编辑),代数,几何和软件系统,Springer,纽约,2003年,第177-206页·Zbl 1026.55010号
[6] 福曼,R.,《细胞复合体的莫尔斯理论》,高等数学。,134, 1, 90-145 (1998) ·兹伯利0896.57023
[7] E.Gawrilow,M.Joswig,用于polymake的TOPAZ模块,2.0版,由Thilo Schröder和Nikolaus Witte贡献,自由软件,http://www.math.tu-berlin.de/polymake, 2003.; E.Gawrilow、M.Joswig,polymake的TOPAZ模块,2.0版,由Thilo Schröder和Nikolaus Witte贡献,自由软件,http://www.math.tu-berlin.de/polymake, 2003.
[8] 格雷厄姆,N。;Harary,F.,超立方体中完美匹配的数量,Appl。数学。莱特。,1, 45-48 (1988) ·Zbl 0626.05043号
[9] F.Heckenbach,同源性3.0,网址:http://www.mi.uni-erlangen.de/heckenb/,1999年。;F.Heckenbach,同源性3.0,网址:http://www.mi.uni-erlangen.de/heckenb/,1999年。
[10] Jonsson,J.,《关于与3-连通图和哈密顿图相关的单形复形的拓扑》,J.Combin。A、 104、1、169-199(2003)·Zbl 1031.05080号
[11] Kalai,G.,《(Q)-无环单形复数的计数》,以色列数学杂志。,45, 337-351 (1983) ·Zbl 0535.57011号
[12] 科兹洛夫,D.N.,《定向树的复合体》,J.库姆。理论Ser。A、 88、1、112-122(1999)·Zbl 0934.05041号
[13] J·W·米尔诺,莫尔斯理论。基于M.Spivak和R.Wells的课堂讲稿,《数学研究年鉴》,第51卷,普林斯顿大学出版社,普林斯顿,1963年。;J.W.Milnor,莫尔斯理论。基于M.Spivak和R.Wells的课堂讲稿,《数学研究年鉴》,第51卷,普林斯顿大学出版社,普林斯顿,1963年·Zbl 0108.10401号
[14] J.Palis,Jr,W.de Melo,动力系统几何理论。导言,A.K.Manning译自葡萄牙语,Springer,纽约,1982年,MR 84a:58004。;J.Palis,Jr,W.de Melo,动力系统几何理论。导言,A.K.Manning译自葡萄牙语,Springer,纽约,1982年,MR 84a:58004·Zbl 0491.58001号
[15] Shareshian,J.,2-连通图复数的离散morse理论,拓扑,40,4,681-701(2001)·Zbl 0980.57005号
[16] R.P.Stanley,《枚举组合学》,第一卷,沃兹沃思/科尔,贝尔蒙特,1986年。;R.P.Stanley,枚举组合数学,第一卷,Wadsworth/Cole,贝尔蒙特,1986年·Zbl 0608.05001号
[17] 威尔克,V。;齐格勒,G.M。;ƀivaljević,R.T.,同伦结肠炎-组合应用的比较引理,J.Reine Angew。数学。,509, 117-149 (1999) ·Zbl 0995.55004号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。