English

Odd dimensional analogue of the Euler characteristic

High Energy Physics - Theory 2022-01-05 v1 General Relativity and Quantum Cosmology General Topology

Abstract

When compact manifolds XX and YY are both even dimensional, their Euler characteristics obey the K\"unneth formula χ(X×Y)=χ(X)χ(Y)\chi(X\times Y)=\chi(X) \chi(Y). In terms of the Betti numbers bp(X)b_p(X), χ(X)=p(1)pbp(X)\chi(X)=\sum_{p}(-1)^p b_p(X), implying that χ(X)=0\chi(X)=0 when XX is odd dimensional. We seek a linear combination of Betti numbers, called ρ\rho, that obeys an analogous formula ρ(X×Y)=χ(X)ρ(Y)\rho(X\times Y)=\chi(X) \rho(Y) when YY is odd dimensional. The unique solution is ρ(Y)=p(1)ppbp(Y)\rho(Y)=-\sum_{p}(-1)^p p b_p(Y). Physical applications include: (1) ρ(1)mρ\rho \rightarrow (-1)^m \rho under a generalized mirror map in d=2m+1d=2m+1 dimensions, in analogy with χ(1)mχ\chi \rightarrow (-1)^m \chi in d=2md=2m; (2) ρ\rho appears naturally in compactifications of M-theory. For example, the 4-dimensional Weyl anomaly for M-theory on X4×Y7X^4 \times Y^7 is given by χ(X4)ρ(Y7)=ρ(X4×Y7)\chi(X^4)\rho(Y^7)=\rho(X^4 \times Y^7) and hence vanishes when Y7Y^7 is self-mirror. Since, in particular, ρ(Y×S1)=χ(Y)\rho(Y\times S^1)=\chi(Y), this is consistent with the corresponding anomaly for Type IIA on X4×Y6X^4 \times Y^6, given by χ(X4)χ(Y6)=χ(X4×Y6)\chi(X^4)\chi(Y^6)=\chi(X^4 \times Y^6), which vanishes when Y6Y^6 is self-mirror; (3) In the partition function of pp-form gauge fields, ρ\rho appears in odd dimensions as χ\chi does in even.

Keywords

Cite

@article{arxiv.2105.13268,
  title  = {Odd dimensional analogue of the Euler characteristic},
  author = {L. Borsten and M. J. Duff and S. Nagy},
  journal= {arXiv preprint arXiv:2105.13268},
  year   = {2022}
}

Comments

29 pg

R2 v1 2026-06-24T02:32:11.898Z