{"title":"无多格数图的路径同调及其与空间同调的比较","authors":"Xin Fu, Sergei O. Ivanov","doi":"arxiv-2407.17001","DOIUrl":null,"url":null,"abstract":"For a digraph $G$ without multisquares and a field $\\mathbb{F}$, we construct\na basis of the vector space of path $n$-chains $\\Omega_n(G;\\mathbb{F})$ for\n$n\\geq 0$, generalising the basis of $\\Omega_3(G;\\mathbb{F})$ constructed by\nGrigory'an. For a field $\\mathbb{F},$ we consider the $\\mathbb{F}$-path Euler\ncharacteristic $\\chi^\\mathbb{F}(G)$ of a digraph $G$ defined as the alternating\nsum of dimensions of path homology groups with coefficients in $\\mathbb{F}.$ If\n$\\Omega_\\bullet(G;\\mathbb{F})$ is a bounded chain complex, the constructed\nbases can be applied to compute $\\chi^\\mathbb{F}(G)$. We provide an explicit\nexample of a digraph $\\mathcal{G}$ whose $\\mathbb{F}$-path Euler characteristic\ndepends on whether the characteristic of $\\mathbb{F}$ is two, revealing the\ndifferences between GLMY theory and the homology theory of spaces. This allows\nus to prove that there is no topological space $X$ whose homology is isomorphic\nto path homology of the digraph $H_*(X;\\mathbb{K})\\cong {\\rm\nPH}_*(\\mathcal{G};\\mathbb{K})$ simultaneously for $\\mathbb{K}=\\mathbb{Z}$ and\n$\\mathbb{K}=\\mathbb{Z}/2\\mathbb{Z}.$","PeriodicalId":501143,"journal":{"name":"arXiv - MATH - K-Theory and Homology","volume":"73 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-07-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Path homology of digraphs without multisquares and its comparison with homology of spaces\",\"authors\":\"Xin Fu, Sergei O. Ivanov\",\"doi\":\"arxiv-2407.17001\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"For a digraph $G$ without multisquares and a field $\\\\mathbb{F}$, we construct\\na basis of the vector space of path $n$-chains $\\\\Omega_n(G;\\\\mathbb{F})$ for\\n$n\\\\geq 0$, generalising the basis of $\\\\Omega_3(G;\\\\mathbb{F})$ constructed by\\nGrigory'an. For a field $\\\\mathbb{F},$ we consider the $\\\\mathbb{F}$-path Euler\\ncharacteristic $\\\\chi^\\\\mathbb{F}(G)$ of a digraph $G$ defined as the alternating\\nsum of dimensions of path homology groups with coefficients in $\\\\mathbb{F}.$ If\\n$\\\\Omega_\\\\bullet(G;\\\\mathbb{F})$ is a bounded chain complex, the constructed\\nbases can be applied to compute $\\\\chi^\\\\mathbb{F}(G)$. We provide an explicit\\nexample of a digraph $\\\\mathcal{G}$ whose $\\\\mathbb{F}$-path Euler characteristic\\ndepends on whether the characteristic of $\\\\mathbb{F}$ is two, revealing the\\ndifferences between GLMY theory and the homology theory of spaces. This allows\\nus to prove that there is no topological space $X$ whose homology is isomorphic\\nto path homology of the digraph $H_*(X;\\\\mathbb{K})\\\\cong {\\\\rm\\nPH}_*(\\\\mathcal{G};\\\\mathbb{K})$ simultaneously for $\\\\mathbb{K}=\\\\mathbb{Z}$ and\\n$\\\\mathbb{K}=\\\\mathbb{Z}/2\\\\mathbb{Z}.$\",\"PeriodicalId\":501143,\"journal\":{\"name\":\"arXiv - MATH - K-Theory and Homology\",\"volume\":\"73 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-07-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - K-Theory and Homology\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2407.17001\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - K-Theory and Homology","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2407.17001","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Path homology of digraphs without multisquares and its comparison with homology of spaces
For a digraph $G$ without multisquares and a field $\mathbb{F}$, we construct
a basis of the vector space of path $n$-chains $\Omega_n(G;\mathbb{F})$ for
$n\geq 0$, generalising the basis of $\Omega_3(G;\mathbb{F})$ constructed by
Grigory'an. For a field $\mathbb{F},$ we consider the $\mathbb{F}$-path Euler
characteristic $\chi^\mathbb{F}(G)$ of a digraph $G$ defined as the alternating
sum of dimensions of path homology groups with coefficients in $\mathbb{F}.$ If
$\Omega_\bullet(G;\mathbb{F})$ is a bounded chain complex, the constructed
bases can be applied to compute $\chi^\mathbb{F}(G)$. We provide an explicit
example of a digraph $\mathcal{G}$ whose $\mathbb{F}$-path Euler characteristic
depends on whether the characteristic of $\mathbb{F}$ is two, revealing the
differences between GLMY theory and the homology theory of spaces. This allows
us to prove that there is no topological space $X$ whose homology is isomorphic
to path homology of the digraph $H_*(X;\mathbb{K})\cong {\rm
PH}_*(\mathcal{G};\mathbb{K})$ simultaneously for $\mathbb{K}=\mathbb{Z}$ and
$\mathbb{K}=\mathbb{Z}/2\mathbb{Z}.$