The Euler characteristic as a basis for teaching topology concepts to crystallographers

The simple Euler polyhedral formula, expressed as an alternating count of the bounding faces, edges and vertices of any polyhedron, V − E + F = 2, is a fundamental concept in several branches of mathematics. Obviously, it is important in geometry, but it is also well known in topology, where a similar telescoping sum is known as the Euler characteristic χ of any finite space. The value of χ can also be computed for the unit polyhedra (such as the unit cell, the asymmetric unit or Dirichlet domain) which build, in a symmetric fashion, the infinite crystal lattices in all space groups. In this application χ has a modified form (χm) and value because the addends have to be weighted according to their symmetry. Although derived in geometry (in fact in crystallography), χm has an elegant topological interpretation through the concept of orbifolds. Alternatively, χm can be illustrated using the theorems of Harriot and Descartes, which predate the discovery made by Euler. Those historical theorems, which focus on angular defects of polyhedra, are beautifully expressed in the formula of de Gua de Malves. In a still more general interpretation, the theorem of Gauss–Bonnet links the Euler characteristic with the general curvature of any closed space. This article presents an overview of these interesting aspects of mathematics with Euler's formula as the leitmotif. Finally, a game is designed, allowing readers to absorb the concept of the Euler characteristic in an entertaining way.

Volume function and Mahler measure of exact polynomials

We study a class of two-variable polynomials called exact polynomials which contains $A$ -polynomials of knot complements. The Mahler measure of these polynomials can be computed in terms of a volume function defined on the vanishing set of the polynomial. We prove that the local extrema of the volume function are on the two-dimensional torus and give a closed formula for the Mahler measure in terms of these extremal values. This formula shows that the Mahler measure of an irreducible and exact polynomial divided by $\pi$ is greater than the amplitude of the volume function. We also prove a K-theoretic criterion for a polynomial to be a factor of an $A$ -polynomial and give a topological interpretation of its Mahler measure.

The “Emerging” Reality from “Hidden” Spaces

The main purpose of this paper is to show and introduce some new interpretative aspects of the concept of “emergent space” as geometric/topological approach in the cosmological field. We will present some possible applications of this theory, among which the possibility of considering a non-orientable wormhole, but mainly we provide a topological interpretation, using this new approach, to M-Theory and String Theory in 10 dimensions. Further, we present some conclusions which this new interpretation suggests, and also some remarks considering a unifying approach between strings and dark matter. The approach shown in the paper considers that reality, as it appears to us, can be the “emerging” part of a more complex hidden structure. Pacs numbers: 11.25.Yb; 11.25.-w; 02.40.Ky; 02.40.-k; 04.50.-h; 95.35.+d.

Topological interpretation of color exchange invariants: hexagonal lattice on a torus

We explain a correspondence between some invariants in the dynamics of color exchange in the coloring problem of a 2d regular hexagonal lattice, which are polynomials of winding numbers, and linking numbers in 3d. One invariant is visualized as linking of lines on a special surface with Arf-Kervaire invariant one, and is interpreted as resulting from an obstruction to transform the surface into its chiral image with special continuous deformations. We also consider additional constraints on the dynamics and see how the surface is modified.

The non-ideal theory of the Aharonov–Bohm effect

Elay Shech and John Earman have recently argued that the common topological interpretation of the Aharonov–Bohm (AB) effect is unsatisfactory because it fails to justify idealizations that it presupposes. In particular, they argue that an adequate account of the AB effect must address the role of boundary conditions in certain ideal cases of the effect. In this paper I defend the topological interpretation against their criticisms. I consider three types of idealization that might arise in treatments of the effect. First, Shech takes the AB effect to involve an idealization in the form of a singular limit, analogous to the thermodynamic limit in statistical mechanics. But, I argue, the AB effect itself features no singular limits, so it doesn’t involve idealizations in this sense. Second, I argue that Shech and Earman’s emphasis on the role of boundary conditions in the AB effect is misplaced. The idealizations that are useful in connecting the theoretical description of the AB effect to experiment do interact with facts about boundary conditions, but none of these idealizations are presupposed by the topological interpretation of the effect. Indeed, the boundary conditions for which Shech and demands justification are incompatible with some instances of the AB effect, so the topological interpretation ought not justify them. Finally, I address the role of the non-relativistic approximation usually presumed in discussions of the AB effect. This approximation is essential if—as the topological interpretation supposes—the AB effect constrains and justifies a relativistic theory of the electromagnetic interaction. In this case the ends justify the means. So the topological view presupposes no unjustified idealizations.

Johnson–Levine homomorphisms and the tree reduction of the LMO functor

Let $\mathcal{M}$ denote the mapping class group of Σ, a compact connected oriented surface with one boundary component. The action of $\mathcal{M}$ on the nilpotent quotients of π1(Σ) allows to define the so-called Johnson filtration and the Johnson homomorphisms. J. Levine introduced a new filtration of $\mathcal{M}$ , called the Lagrangian filtration. He also introduced a version of the Johnson homomorphisms for this new filtration. The first term of the Lagrangian filtration is the Lagrangian mapping class group, whose definition involves a handlebody bounded by Σ, and which contains the Torelli group. These constructions extend in a natural way to the monoid of homology cobordisms. Besides, D. Cheptea, K. Habiro and G. Massuyeau constructed a functorial extension of the LMO invariant, called the LMO functor, which takes values in a category of diagrams. In this paper we give a topological interpretation of the upper part of the tree reduction of the LMO functor in terms of the homomorphisms defined by J. Levine for the Lagrangian mapping class group. We also compare the Johnson filtration with the filtration introduced by J. Levine.

A bulk-interface correspondence for equatorial waves

Topology is introducing new tools for the study of fluid waves. The existence of unidirectional Yanai and Kelvin equatorial waves has been related to a topological invariant, the Chern number, that describes the winding of $f$-plane shallow water eigenmodes around band-crossing points in parameter space. In this previous study, the topological invariant was a property of the interface between two hemispheres. Here we ask whether a topological index can be assigned to each hemisphere. We show that this can be done if the shallow water model in the $f$-plane geometry is regularized by an additional odd-viscosity term. We then compute the spectrum of a shallow water model with a sharp equator separating two flat hemispheres, and recover the Kelvin and Yanai waves as two exponentially trapped waves along the equator, with all the other modes delocalized into the bulk. This model provides an exactly solvable example of bulk-interface correspondence in a flow with a sharp interface, and offers a topological interpretation for some of the transition modes described by Iga (J. Fluid Mech., vol. 294, 1995, pp. 367–390). It also paves the way towards a topological interpretation of coastal Kelvin waves along a boundary and, more generally, to an understanding of bulk-boundary correspondence in continuous media.