How do facts about the homotopy type of cell complexes shed light on analytic number theory? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-22T01:39:55Z http://mathoverflow.net/feeds/question/104149 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/104149/how-do-facts-about-the-homotopy-type-of-cell-complexes-shed-light-on-analytic-num How do facts about the homotopy type of cell complexes shed light on analytic number theory? Frank Thorne 2012-08-06T21:32:22Z 2012-08-07T11:07:47Z <p>I just saw this <a href="http://mathoverflow.net/questions/104059/the-topology-of-arithmetic-progressions-of-primes" rel="nofollow">link text</a> interesting MO question, with a link to <a href="http://arxiv.org/abs/1101.5704" rel="nofollow">this paper</a>, which uses facts from the topology of cell complexes to derive facts of an analytic number theory flavor.</p> <p>From the perspective of an analytic number theorist, what insight does the topology offer? This approach is capable of proving results whose statements don't involve any topology, for example Theorem 4.1 of the link. Presumably these proofs (and those in the papers cited upon which they depend) could be translated out of the language of algebraic topology and into pure combinatorics and number theory; how big of a mess would this make out of the proofs?</p> <p>Björner constructs cell complexes for which the Euler characteristic gives the summatory function of the Möbius function -- which is natural, as this is still elementary combinatorics in both cases. However, by the end of the paper he is quoting what appear to be distinctly nontrivial theorems in topology. Is it easy to summarize what these theorems are capable of saying from the number-theoretic point of view?</p> <p>The proofs of his theorems rely on results from analytic number theory (e.g. Theorem 2.3). To what extent might one hope for results to flow in the other direction?</p> http://mathoverflow.net/questions/104149/how-do-facts-about-the-homotopy-type-of-cell-complexes-shed-light-on-analytic-num/104158#104158 Answer by Qiaochu Yuan for How do facts about the homotopy type of cell complexes shed light on analytic number theory? Qiaochu Yuan 2012-08-06T22:29:14Z 2012-08-06T22:41:56Z <p>My naive opinion is that this question factors into two questions: </p> <ol> <li><p>How do facts from algebraic topology shed light on posets?</p></li> <li><p>How do facts about posets shed light on number theory? </p></li> </ol> <p>The second question is, I think, a little easier to answer. The poset most obviously relevant to number theory is $\mathbb{N}$ under divisibility. In some vague sense the study of this poset is equivalent to the study of Dirichlet series (see for example <a href="http://mathoverflow.net/questions/102799/good-notions-of-perfect-number-for-rings-of-integers-more-general-than-bbb-z" rel="nofollow">this MO question</a>). This perspective is, I think, due to Rota. </p> <p>The first question is not about number theory. Once you realize that you can associate an abstract simplicial complex to a poset in a canonical way then I don't think this idea sounds so strange; it is commonly used by combinatorialists (see for example <a href="http://arxiv.org/abs/math/0602226" rel="nofollow">these notes</a>). There are also some motivational theorems in this area, e.g. <a href="http://mathoverflow.net/questions/45549/can-the-fundamental-group-of-any-manifold-be-realized-as-the-fund-grp-of-a-finite" rel="nofollow">every finite CW-complex is weak homotopy equivalent to a finite topological space</a>, and <a href="http://www.math.harvard.edu/~waffle/finitespaces.pdf" rel="nofollow">the category of finite $T_0$ spaces is isomorphic to the category of finite posets</a>, but I'm sure an expert could say more here. </p> http://mathoverflow.net/questions/104149/how-do-facts-about-the-homotopy-type-of-cell-complexes-shed-light-on-analytic-num/104170#104170 Answer by Patricia Hersh for How do facts about the homotopy type of cell complexes shed light on analytic number theory? Patricia Hersh 2012-08-07T02:44:36Z 2012-08-07T11:07:47Z <p>Björner and others have been very successful in using a mixture of combinatorics and topology to do things such as evaluating alternating sums $\sum (-1)^i a_i$ by first finding a simplicial complex with $a_i$ counting the number of $i$-dimensional faces for each $i$, so that the alternating sum is the Euler characteristic. Topology then can help in that this alternating sum also then equals the alternating sum of ranks of homology groups, which sometimes is a much simpler expression. For instance, in many cases of interest the homology is concentrated in a single degree, e.g. for pure, shellable complexes; in the paper of Björner linked above, the complexes are homotopy equivalent to wedges of spheres. If one wants a purely combinatorial approach, there is the related notion of sign-reversing involution which can be used to cancel pairs of faces, one of which contributes positively to the sum and the other of which contributes negatively; discrete Morse theory is a way to interpret such cancellations topologically in terms of elementary collapses, unifying the combinatorial and topological approaches. </p> <p>One usually needs a pretty good description of the faces to do the sort of cancellation I mention in an effective manner; to use topology, one needs to know a lot about which faces are incident to each other. If the simplicial complex (or cell complex) comes from number theory, it seems likely one would then need a good bit of number theoretic information as input to this sort of process. </p> <p>If I understand correctly Vel Nias's recent MO question, that seems to be going after not only numerical data, but also viewing topology of face incidences as a language in which to encode the structure of how different arithmetic progressions of primes may overlap with each other.</p> http://mathoverflow.net/questions/104149/how-do-facts-about-the-homotopy-type-of-cell-complexes-shed-light-on-analytic-num/104185#104185 Answer by Liviu Nicolaescu for How do facts about the homotopy type of cell complexes shed light on analytic number theory? Liviu Nicolaescu 2012-08-07T09:52:23Z 2012-08-07T09:52:23Z <p>There are other places where topology interacts with number theory. The beautiful book by Hirzebruch and Zagier <em>The Atiyah-Singer index theorem and elementary number theory</em> is a good place to see more examples based on rather deep topological results. </p> <p>The theory of Hilbert modular surfaces is another subject where topology/geometry meets number theory. According to Atiyah, the investigations of these surfaces lead to a remarkable result called the <em>Atiyah-Patodi-Singer index theorem</em> which when applied to Hilbert modular surfaces reveals a connection between the signatures of these varieties and the $L$-functions of the fields of algebraic integers naturally associated to these varieties. Hirzebruch's memoir on this subject is a joy to read. </p> <p>More than two decades ago it was observed that lattice point counts for certain rational polytopes are intimately related to intersection theory on certain toric varieties.</p> <p>These are some examples that immediately jumped to my mind.</p>