Algebraic Topology

AG-2026.01-964

math.AT

TQFTs do not detect the Milnor sphere

Ben Gripaios, Oscar Randal-Williams

We show that, under very general hypotheses, topological quantum field theories (TQFTs) cannot detect homotopy spheres bounding parallelisable manifolds, such as Milnor's exotic 7-dimensional sphere. The result holds for a wide variety of target categories (or $(\infty,n)$-categories) and arbitrary tangential structures. An appendix contains results on the mapping class groups of (stably-) framed manifolds that may be of independent interest.

AG-2025.10-1161

math.AT

Differential Models for Anderson Dual to Twisted $\mathrm{Spin}^c$-Bordism and Twisted Anomaly Map

Fei Han, Yuanchu Li

We construct differential models for twisted $\mathrm{Spin}^c$-bordism and for its Anderson dual, and employ the latter to define a twisted anomaly map whose source is the differential twisted $K$-theory. Our differential model for the twisted Anderson dual follows the formalism developed in [YY23]. To connect these constructions with the geometric framework of the Atiyah-Singer index theory, we further present a gerbe-theoretic formulation of our models in terms of bundle gerbes and gerbe modules [Mur96] [BCMMS02]. Within this geometric setting, we define the twisted anomaly map \[ \widehatΦ_{\widehat{\mathcal{G}}}\colon \widehat{K}^{0}(X,\widehat{\mathcal{G}}^{-1}) \longrightarrow \bigl(\widehat{IΩ^{\mathrm{Spin}^c}_{\mathrm{dR}}}\bigr)^{n}(X,\widehat{\mathcal{G}}), \] whose construction naturally involves the reduced eta-invariant of Dirac operators acting on Clifford modules determined by the twisted data. Conceptually, this map is expected to encode the anomalies of twisted $1|1$-dimensional supersymmetric field theories, in accordance with the perspectives developed in [ST11] and [FH21].

AG-2025.10-1061

math.AT

Genuine $C_n$-equivariant $\mathrm{TMF}$

Ying-Hsuan Lin, Akira Tominaga, Mayuko Yamashita

We determine the $\mathrm{TMF}$-module structures of the genuine $C_2$-equivariant $\mathrm{TMF}$ with $\mathrm{RO}(C_2)$-gradings and of the $C_3$-equivariant $\mathrm{TMF}$. Moreover, we propose a general strategy for studying $C_n$-equivariant $\mathrm{TMF}$ via $U(1)$-equivariant $\mathrm{TMF}$ and a duality phenomenon in equivariant $\mathrm{TMF}$.

AG-2025.09-901

math.AT

A new approach to (3+1)-dimensional TQFTs via topological modular forms

Sergei Gukov, Vyacheslav Krushkal, Lennart Meier, Du Pei

In this paper, we present a construction toward a new type of TQFTs at the crossroads of low-dimensional topology, algebraic geometry, physics, and homotopy theory. It assigns TMF-modules to closed 3-manifolds and maps of TMF-modules to 4-dimensional cobordisms. This is a mathematical proposal for one of the simplest examples in a family of $π_*({\rm TMF})$-valued invariants of 4-manifolds which are expected to arise from 6-dimensional superconformal field theories. As part of the construction, we define TMF-modules associated with symmetric bilinear forms, using (spectral) derived algebraic geometry. The invariant of unimodular bilinear forms takes values in $π_*({\rm TMF})$, conjecturally generalizing the theta function of a lattice. We discuss gluing properties of the invariants. We also demonstrate some interesting physics applications of the TMF-modules such as distinguishing phases of quantum field theories in various dimensions.

AG-2025.05-1278

math.AT

Cohomotopy and flux quantization in $M$-theory

Daniel Grady

We identify some of the $k$-invariants for the Postnikov tower of the stable and unstable 4-sphere. Assuming the stable Hypothesis H of Fiorenza--Sati--Schreiber, we use the resulting obstruction theory to prove that the Chern--Simons term in the effective action of M-theory is well defined. In particular, we do not assume the presence of an $E_8$-gauge field.

AG-2024.12-703

math.AT

Topological Elliptic Genera I -- The mathematical foundation

Ying-Hsuan Lin, Mayuko Yamashita

We construct {\it Topological Elliptic Genera}, homotopy-theoretic refinements of the elliptic genera for $SU$-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely $G$-equivariant Topological Modular Forms developed by Gepner-Meier, twisted by $G$-representations. As the first installment of a series of articles on Topological Elliptic Genera, this issue lays the mathematical foundation and discusses immediate applications. Most notably, we deduce an interesting divisibility result for the Euler numbers of $Sp$-manifolds.

AG-2024.12-704

math.AT

Topological Elliptic Genera I -- The mathematical foundation

Ying-Hsuan Lin, Mayuko Yamashita

We construct {\it Topological Elliptic Genera}, homotopy-theoretic refinements of the elliptic genera for $SU$-manifolds and variants including the Witten-Landweber-Ochanine genus. The codomains are genuinely $G$-equivariant Topological Modular Forms developed by Gepner-Meier, twisted by $G$-representations. As the first installment of a series of articles on Topological Elliptic Genera, this issue lays the mathematical foundation and discusses immediate applications. Most notably, we deduce an interesting divisibility result for the Euler numbers of $Sp$-manifolds.

AG-2024.11-750

math.AT

Type IIA String Theory and tmf with Level Structure

Arun Debray, Matthew Yu

We look at a new string$^h$ tangential structure first introduced by Devalapurkar and relate it to the $W_7=0$ condition of Diaconescu-Moore-Witten for type IIA string theory and M-theory. We show that a string$^h$ structure on the target space automatically satisfies the $W_7=0$ condition and we also explain when the $W_7=0$ condition gives rise to a string$^h$ structure. Devalapurkar initially constructed $MString^h$ in such a way that it orients $tmf_1(3)$; we extend Devalapurkar's result, showing that $MString^h$ orients $tmf_1(n)$. We compute the homotopy groups of $MString^h$ in the dimensions relevant for physical applications, and apply them to anomaly cancellation applications for certain compactifications of type IIA string theory.

AG-2024.08-784

math.AT

Mysterious Triality and the Exceptional Symmetry of Loop Spaces

Hisham Sati, Alexander A. Voronov

In previous work, we introduced Mysterious Triality, extending the Mysterious Duality of Iqbal, Neitzke, and Vafa between physics and algebraic geometry to include algebraic topology in the form of rational homotopy theory. Starting with the rational Sullivan minimal model of the 4-sphere $S^4$, capturing the dynamics of M-theory via Hypothesis H, this progresses to the dimensional reduction of M-theory on torus $T^k$, $k \ge 1$, with its dynamics described via the iterated cyclic loop space $\mathcal{L}_c^k S^4$ of the 4-sphere. From this, we also extracted data corresponding to the maximal torus/Cartan subalgebra and the Weyl group of the exceptional Lie group/algebra of type $E_k$. In this paper, we discover much richer symmetry by extending the data of the Cartan subalgebra to a maximal parabolic subalgebra $\mathfrak{p}_k^{k(k)}$ of the split real form $\mathfrak{e}_{k(k)}$ of the exceptional Lie algebra of type $E_k$ by exhibiting an action, in rational homotopy category, of $\mathfrak{p}_k^{k(k)}$ on the slightly more symmetric than $\mathcal{L}_c^k S^4$ toroidification $\mathcal{T}^k S^4$. This action universally represents symmetries of the equations of motion of supergravity in the reduction of M-theory to $11-k$ dimensions. Along the way, we identify the minimal model of the toroidification $\mathcal{T}^k S^4$, generalizing the results of Vigué-Poirrier, Sullivan, and Burghelea, and establish an algebraic toroidification/totalization adjunction.

AG-2024.06-810

math.AT

An Alternative to Homotopy Transfer for $A_\infty$-Algebras

C. A. Cremonini, V. E. Marotta

In this work, we propose a novel approach to the homotopy transfer procedure starting from a set of homotopy data such that the first differential complex is a differential graded module over the second one. We show that the module structure may be used to induce an $A_\infty$-algebra on the second differential complex, constructed in a similar fashion to the homotopy transfer $A_\infty$-algebra. We prove that, under certain conditions, the $A_\infty$-algebras obtained with this procedure are quasi-isomorphic to the homotopy transfer one. On the other hand, when the side conditions do not hold, we find that there are cases where the existence of an $A_\infty$-quasi-isomorphism with the homotopy transfer $A_\infty$-algebra is obstructed. In other words, we obtain a new $A_\infty$-algebra on the second complex, inequivalent to the homotopy transfer one. Lastly, we prove that these $A_\infty$-algebras are not infinitesimal Hochschild deformations of the homotopy transfer $A_\infty$-algebra.

AG-2024.04-719

math.AT

On the 576-fold periodicity of the spectrum SQFT: The proof of the lower bound via the Anderson duality pairing

Theo Johnson-Freyd, Mayuko Yamashita

We are aimed at giving a differential geometric, and accordingly physical, explanation of the 576-periodicity of TMF. In this paper, we settle the problem of giving the lower bound 576. We formulate the problem as follows: we assume a spectrum $\mathrm{SQFT}$ with some conditions, suggest from physical considerations about the classifying spectrum for two-dimensional $\mathcal{N}=(0,1)$-supersymmetric quantum field theories, and show that the periodicity of $\mathrm{SQFT}$ is no less than 576. The main tool for the proof is the analogue of the Anderson duality pairing introduced by the second-named author and Tachikawa. We do not rely on the Segal-Stolz-Teichner conjecture, so in particular we do not use any comparison map with TMF.

AG-2024.01-574

math.AT

Twisted cohomology

Jonathan Rosenberg

We discuss twisted cohomology, not just for ordinary cohomology but also for $K$-theory and other exceptional cohomology theories, and discuss several of the applications of these in mathematical physics. Our list of applications is by no means exhaustive, but we are hoping that it is extensive enough to give the reader a feel for the possible applications of twisted theories in many different contexts. We also give many suggestions for further reading, but this subject has now expanded to the point where the bibliography is necessarily very incomplete.

AG-2015.06-1521

math.AT

Fixed point indices of central configurations

Davide L. Ferrario

Central configurations of $n$ point particles in $E\approx \mathbb{R}^d$ with respect to a potential function $U$ are shown to be the same as the fixed points of the normalized gradient map $F=-\nabla_M U / \lVert \nabla_M U \rVert_M$, which is an $SO(d)$-equivariant self-map defined on the intertia ellipsoid. We show that the $SO(d)$-orbits of fixed points of $F$ are all fixed points of the map induced on the quotient by $SO(d)$, and give a formula relating their indices (as fixed points) with their Morse indices (as critical points). At the end, we give an example of a non-planar relative equilibrium which is not a central configuration.

AG-2015.04-1923

math.AT

Supersymmetric Semisimple Cardy-Frobenius Algebras

A. Ionov

Cardy-Frobenius algebra is the algebraic structure on the space of states in open-closed topological field theory. We prove that every semisimple super Cardy-Frobenius algebras is the direct sum of the super Cardy-Frobenius algebras of three simple types. We also apply our results to singularity theory via Landau-Ginzburg models and matrix factorizations.

AG-2014.09-1336

math.AT

Dirac Families for Loop Groups as Matrix Factorizations

Daniel S. Freed, Constantin Teleman

We identify the category of integrable lowest-weight representations of the loop group LG of a compact Lie group G with the linear category of twisted, conjugation-equivariant curved Fredholm complexes on the group G: namely, the twisted, equivariant matrix factorizations of a super-potential built from the loop rotation action on LG. This lifts the isomorphism of K-groups of [FHT1,2, 3] to an equivalence of categories. The construction uses families of Dirac operators.

AG-2014.08-839

math.AT

Holomorphic current groups -- Structure and Orbits

Martin Laubinger, Friedrich Wagemann

Let K be a finite-dimensional, 1-connected complex Lie group, and let Σ_k=Σ- {p_1,\ldots,p_k\} be a compact connected Riemann surface Σ, from which we have extracted k > 0 distinct points. We study in this article the regular Frechet-Lie group O(Σ_k,K) of holomorphic maps from Σ_k to K and its central extension \widehat{O(Σ_k,K)}. We feature especially the automorphism groups of these Lie groups as well as the coadjoint orbits of \widehat{O(Σ_k,K)} which we link to flat K-bundles on Σ_k.

AG-2014.06-736

math.AT

Lecture notes on torsions

Pavel Mnev

These are the lecture notes for the introductory course on Whitehead, Reidemeister and Ray-Singer torsions, given by the author at the University of Zurich in Spring semester 2014.

AG-2014.03-1706

math.AT

The Classification of Two Dimensional topological Field Theories

Geoffrey Lee

The goal of this paper is to introduce some of the major ideas behind extended topological quantum field theories with an emphasis on explicit examples and calculations. The statement of the Cobordism Hypothesis is explained and immediately used to classify framed and oriented extended two dimensional topological quantum field theories. The passage from framed theories to oriented theories is equivalent to giving homotopy fixed points of an $SO(n)$ action on the space of field theories. This paper then constructs extended two dimensional Dijkgraaf-Witten theory (also called finite gauge theory) as an example of a two dimensional extended field theory by assigning invariants at the level of points and extending up. Finally, it is concluded that Dijkgraaf-Witten theory is the only example of an extended framed two dimensional topological quantum field theory by showing that any field theory is equivalent to Dijkgraaf-Witen theory for some cyclic group.

AG-2014.03-1199

math.AT

Modeling Collaborations with Persistent Homology

Maria Bampasidou, Thanos Gentimis

In this paper we describe a model based on persistent homology that describes interactions between mathematicians in terms of collaborations. Some ideas from classical data analysis are used.

AG-2014.02-961

math.AT

Canonical quadratic refinements of cohomological pairings from functorial lifts of the Wu class

Samuel Monnier

As mentioned in the comments, the proposed construction of the canonical quadratic refinement on a mapping torus contains a gap. In addition, the claim in the appendix that the spin cobordism group vanishes in dimensions 4k+3 is incorrect, although it does vanish for the case of dimension 7, relevant for physics.

AG-2014.01-2788

math.AT

The Cayley plane and String bordism

Carl McTague

This paper shows that, away from 6, the kernel of the Witten genus is precisely the ideal consisting of (bordism classes of) Cayley plane bundles with connected structure group, but only after restricting the Witten genus to string bordism. It does so by showing that the divisibility properties of Cayley plane bundle characteristic numbers arising in Borel-Hirzebruch Lie-group-theoretic calculations correspond precisely to the divisibility properties arising in the Hovey-Ravenel-Wilson BP-Hopf-ring-theoretic calculation of string bordism at primes >3.

AG-2014.01-2891

math.AT

Presheaves of symmetric tensor categories and nets of C*-algebras

Ezio Vasselli

Motivated by algebraic quantum field theory, we study presheaves of symmetric tensor categories defined over the base of a space, intended as a spacetime. Any section of a presheaf (that is, any "superselection sector", in the applications that we have in mind) defines a holonomy representation whose triviality is measured by Cheeger-Chern-Simons characteristic classes, and a non-abelian unitary cocycle defining a Lie group gerbe. We show that, given an embedding in a presheaf of full subcategories of the one of Hilbert spaces, the section category of a presheaf is a Tannaka-type dual of a locally constant group bundle (the "gauge group"), which may not exist and in general is not unique. This leads to the notion of gerbe of C*-algebras, defined on the given base.

AG-2014.01-165

math.AT

Topological group cohomology of Lie groups and Chern-Weil theory for compact symmetric spaces

Christoph Wockel

In this paper we analyse the topological group cohomology of finite-dimensional Lie groups. We introduce a technique for computing it (as abelian groups) for torus coefficients by the naturally associated long exact sequence. The upshot in there is that certain morphisms in this long exact coefficient sequence can be accessed (at least for semi-simple Lie groups) very conveniently by the Chern-Weil homomorphism of the naturally associated compact dual symmetric space. Since the latter is very well-known, this gives the possibility to compute the topological group cohomology of the classical simple Lie groups. In addition, we establish a relation to characteristic classes of flat bundles.

AG-2013.10-1246

math.AT

The Chern-Gauss-Bonnet Theorem via supersymmetric Euclidean field theories

Daniel Berwick-Evans

We prove the Chern-Gauss-Bonnet Theorem using sigma models whose source supermanifolds have super dimension 0|2. Along the way we develop machinery for understanding manifold invariants encoded by families of 0|n-dimensional Euclidean field theories and their quantization.

AG-2013.08-267

math.AT

Sylvester's law of inertia for quadratic forms on vector bundles

Giacomo Dossena

This paper presents a generalisation of Sylvester's law of inertia to real non-degenerate quadratic forms on a fixed real vector bundle over a connected locally connected paracompact Hausdorff space. By interpreting the classical inertia as a complete discrete invariant for the natural action of the general linear group on quadratic forms, the simplest generalisation consists in substituting such group with the group of gauge transformations of the bundle. Contrary to the classical law of inertia, here the full action and its restriction to the identity path component typically have different orbits, leading to two invariants: a complete invariant for the full action is given by the isomorphism class of the orthonormal frame bundle associated to a quadratic form, while a complete invariant for the restricted action is the homotopy class of any maximal positive-definite subbundle associated to a quadratic form. The latter invariant is finer than the former, which in turn is finer than inertia. Moreover, the orbit structure thus obtained might be used to shed light on the topology of the space of non-degenerate quadratic forms on a vector bundle.

AG-2013.01-1096

math.AT

Stringy power operations in Tate K-theory

Nora Ganter

We study the loop spaces of the symmetric powers of an orbifold and use our results to define equivariant power operations in Tate K-theory. We prove that these power operations are elliptic and that the Witten genus is an H_oo map. As a corollary, we recover a formula by Dijkgraaf, Moore, Verlinde and Verlinde for the orbifold Witten genus of these symmetric powers. We outline some of the relationship between our power operations and notions from (generalized) Moonshine.

AG-2012.12-401

math.AT

Loop Groups and Twisted K-Theory II

Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

This is the second in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. We introduce the Dirac family of Fredholm operators associated to a positive energy representation of a loop group. It determines a map from isomorphism classes of representations to twisted K-theory, which we prove is an isomorphism if $G$ is connected with torsion-free fundamental group. We also introduce a Dirac family for finite dimensional representations of compact Lie groups; it is closely related to both the Kirillov correspondence and the equivariant Thom isomorphism. In Part III (math.AT/0312155) we extend the proof of our main theorem to arbitrary compact Lie groups G and provide supplements in various directions. In Part I (arXiv:0711.1906) we develop twisted equivariant K-theory and carry out some of the computations needed here. We refer to the announcements math.AT/0312155 and math.AT/0206237 for further expository material and motivation.

AG-2012.10-1461

math.AT

The cobordism hypothesis

Daniel S. Freed

In this expository paper we introduce extended topological quantum field theories and the cobordism hypothesis.

AG-2012.10-1145

math.AT

Cyclic Network Automata and Cohomological Waves

Yiqing Cai, Robert Ghrist

This paper considers a dynamic coverage problem for sensor networks that are sufficiently dense but not localized. Only a small fraction of sensors may be in an awake state at any given time. The goal is to find a decentralized protocol for establishing dynamic, sweeping barriers of awake-state sensors. Following Baryshnikov-Coffman-Kwak, we use network cyclic cellular automata to generate waves. This paper gives a rigorous analysis of network-based cyclic cellular automata in the context of a system of narrow hallways and shows that waves of awake-state nodes turn corners and automatically solve pusuit/evasion-type problems without centralized coordination. As a corollary of this work, we unearth some interesting topological interpretations of features previously observed in cyclic cellular automata (CCA). By considering CCA over networks and completing to simplicial complexes, we induce dynamics on the higher-dimensional complex. In this setting, waves are seen to be generated by topological defects with a nontrivial degree (or winding number). The simplicial complex has the topological type of the underlying map of the workspace (a subset of the plane), and the resulting waves can be classified cohomologically. This allows one to "program" pulses in the sensor network according to cohomology class. We give a realization theorem for such pulse waves.

AG-2012.05-2387

math.AT

Making Lifting Obstructions Explicit

Karl-Hermann Neeb, Friedrich Wagemann, Christoph Wockel

If P \to X is a topological principal K-bundle and \hat K a central extension of K by Z, then there is a natural obstruction class δ_1(P) in \check H^2(X,\uline Z) in sheaf cohomology whose vanishing is equivalent to the existence of a \hat K-bundle \hat P over X with P \cong \hat P/Z. In this paper we establish a link between homotopy theoretic data and the obstruction class δ_1(P) which in many cases can be used to calculate this class in explicit terms. Writing \partial_d^P \: π_d(X) \to π_{d-1}(K) for the connecting maps in the long exact homotopy sequence, two of our main results can be formulated as follows. If Z is a quotient of a contractible group by the discrete group Γ, then the homomorphism π_3(X) \to Γinduced by δ_1(P) \in \check H^2(X,\uline Z) \cong H^3_{\rm sing}(X,Γ) coincides with \partial_2^{\hat K} \circ \partial_3^P and if Z is discrete, then δ_1(P) \in \check H^2(X,\uline Z) induces the homomorphism -\partial_1^{\hat K} \circ \partial_2^P \: π_2(X) \to Z. We also obtain some information on obstruction classes defining trivial homomorphisms on homotopy groups.

AG-2012.04-1662

math.AT

Algebraic topology and the quantization of fluctuating currents

Vladimir Y. Chernyak, John R. Klein, Nikolai A. Sinitsyn

We give a new approach to the study of statistical mechanical systems: algebraic topology is used to investigate the statistical distributions of stochastic currents generated in graphs. In the adiabatic and low temperature limits we will demonstrate that quantization of current generation occurs.

AG-2012.02-746

math.AT

The structure of 2D semi-simple field theories

Constantin Teleman

I classify all cohomological 2D field theories based on a semi-simple complex Frobenius algebra A. They are controlled by a linear combination of kappa-classes and by an extension datum to the Deligne-Mumford boundary. Their effect on the Gromov-Witten potential is described by Givental's Fock space formulae. This leads to the reconstruction of Gromov-Witten invariants from the quantum cup-product at a single semi-simple point and from the first Chern class, confirming Givental's higher-genus reconstruction conjecture. The proof uses the Mumford conjecture proved by Madsen and Weiss.

AG-2012.02-670

math.AT

Algebra+Homotopy=Operad

Bruno Vallette

This survey provides an elementary introduction to operads and to their applications in homotopical algebra. The aim is to explain how the notion of an operad was prompted by the necessity to have an algebraic object which encodes higher homotopies. We try to show how universal this theory is by giving many applications in Algebra, Geometry, Topology, and Mathematical Physics. (This text is accessible to any student knowing what tensor products, chain complexes, and categories are.)

AG-2012.02-419

math.AT

The Index Bundle for a Family of Dirac-Ramond Operators

Chris Harris

We study the index bundle of the Dirac-Ramond operator associated with a family $π: Z \to X$ of compact spin manifolds. We view this operator as the formal twisted Dirac operator $\dd \otimes \bigotimes_{n=1}^{\infty}S_{q^n}TM_{\C}$ so that its index bundle is an element of $K(X)[[q]]$. When $p_1 (Z) = 0$, we derive some explicit formulas for the Chern character of this index bundle using its modular properties. We also use the modularity to identify our index bundle with an $L(E_8)$ bundle in a special case.

AG-2012.01-1957

math.AT

Twisted differential String and Fivebrane structures

Hisham Sati, Urs Schreiber, Jim Stasheff

In the background effective field theory of heterotic string theory, the Green-Schwarz anomaly cancellation mechanism plays a key role. Here we reinterpret it and its magnetic dual version in terms of differential twisted String- and differential twisted Fivebrane-structures that generalize the notion of Spin-structures and Spin-lifting gerbes and their differential refinement to smooth Spin-connections. We show that all these structures can be encoded in terms of nonabelian cohomology, twisted nonabelian cohomology, and differential twisted nonabelian cohomology, extending the differential generalized abelian cohomology as developed by Hopkins and Singer and shown by Freed to formalize the global description of anomaly cancellation problems in higher gauge theories arising in string theory. We demonstrate that the Green-Schwarz mechanism for the H_3-field, as well as its magnetic dual version for the H_7-field define cocycles in differential twisted nonabelian cohomology that may be called, respectively, differential twisted Spin(n)-, String(n)- and Fivebrane(n)-structures on target space, where the twist in each case is provided by the obstruction to lifting the classifying map of the gauge bundle through a higher connected cover of U(n) or O(n). We show that the twisted Bianchi identities in string theory can be captured by the (nonabelian) L-infinity-algebra valued differential form data provided by the differential refinements of these twisted cocycles.

AG-2011.11-689

math.AT

Loop homology of spheres and complex projective spaces

Nora Seeliger

In his Inventiones paper, Ziller (Invent. Math: 1-22, 1977) computed the integral homology as a graded abelian group of the free loop space of compact, globally symmetric spaces of rank 1. Chas and Sullivan (String Topology, 1999)showed that the homology of the free loop space of a compact closed orientable manifold can be equipped with a loop product and a BV-operator making it a Batalin-Vilkovisky algebra. Cohen, Jones and Yan (The loop homology algebra of spheres and projective spaces, 2004) developed a spectral sequence which converges to the loop homology as a spectral sequence of algebras. They computed the algebra structure of the loop homology of spheres and complex projective spaces by using Ziller's results and the method of Brown-Shih (Ann. of Math. 69:223-246, 1959, Publ. Math. Inst. Hautes Études Sci. 3: 93-176, 1962). In this note we compute the loop homology algebra by using only spectral sequences and the technique of universal examples. We therefore not only obtain Zillers' and Brown-Shihs' results in an elementary way, we also replace the roundabout computations of Cohen, Jones and Yan (The loop homology algebra of spheres and projective spaces, 2004) making them independent of Ziller's and Brown-Shihs' work. Moreover we offer an elementary technique which we expect can easily be generalized and applied to a wider family of spaces, not only the globally symmetric ones.

AG-2011.11-2483

math.AT

Computational topology for configuration spaces of hard disks

Gunnar Carlsson, Jackson Gorham, Matthew Kahle, Jeremy Mason

We explore the topology of configuration spaces of hard disks experimentally, and show that several changes in the topology can already be observed with a small number of particles. The results illustrate a theorem of Baryshnikov, Bubenik, and Kahle that critical points correspond to configurations of disks with balanced mechanical stresses, and suggest conjectures about the asymptotic topology as the number of disks tends to infinity.

AG-2011.10-590

math.AT

On the Space of Symmetric Operators with Multiple Ground States

Andrei Agrachev

We study homological structure of the filtrations of the spaces of self-adjoint operators by the multiplicity of the ground state. We consider only operators acting in a finite dimensional complex or real Hilbert space but infinite dimensional generalizations are easily guessed.

AG-2011.09-1203

math.AT

Self-intersections of Immersions and Steenrod Operations

Peter J. Eccles, Mark Grant

We present a formula describing the action of a generalised Steenrod operation of $\Z_2$-type on the cohomology class represented by a proper self-transverse immersion $f\co M\imm X$, in terms of the equivariant double points of $f$ and the characteristic classes of its normal bundle. This generalises a classical result of R.\ Thom: If $α\in H^k(X;\Z_2)$ is the ordinary cohomology class represented by $f\co M\imm X$, then $\mathrm{Sq}^i(α)=f_* w_i(ν_f)$.

AG-2011.09-4248

math.AT

Moduli spaces of punctured Poincaré disks

Satyan L. Devadoss, Benjamin Fehrman, Timothy Heath, Aditi Vashist

The Tamari lattice and the associahedron provide methods of measuring associativity on a line. The real moduli space of marked curves captures the space of such associativity. We consider a natural generalization by considering the moduli space of marked particles on the Poincaré disk, extending Tamari's notion of associativity based on nesting. A geometric and combinatorial construction of this space is provided, which appears in Kontsevich's deformation quantization, Voronov's swiss-cheese operad, and Kajiura and Stasheff's open-closed string theory.

AG-2011.08-2305

math.AT

Min-type Morse theory for configuration spaces of hard spheres

Yuliy Baryshnikov, Peter Bubenik, Matthew Kahle

We study configuration spaces of hard spheres in a bounded region. We develop a general Morse-theoretic framework, and show that mechanically balanced configurations play the role of critical points. As an application, we find the precise threshold radius for a configuration space to be homotopy equivalent to the configuration space of points.

AG-2011.07-2080

math.AT

Cech cocycles for differential characteristic classes -- An infinity-Lie theoretic construction

Domenico Fiorenza, Urs Schreiber, Jim Stasheff

What are called secondary characteristic classes in Chern-Weil theory are a refinement of ordinary characteristic classes of principal bundles from cohomology to differential cohomology. We consider the problem of refining the construction of secondary characteristic classes from cohomology sets to cocycle spaces; and from Lie groups to higher connected covers of Lie groups by smooth infinity-groups, i.e., by smooth groupal A-infinity-spaces. Namely, we realize differential characteristic classes as morphisms from infinity-groupoids of smooth principal infinity-bundles with connections to infinity-groupoids of higher U(1)-gerbes with connections. This allows us to study the homotopy fibers of the differential characteristic maps thus obtained and to show how these describe differential obstruction problems. This applies in particular to the higher twisted differential spin structures called twisted differential string structures and twisted differential fivebrane structures.

AG-2011.04-1931

math.AT

Telescopic Linkages and Topological Approach to Phase Transitions

Michael Farber, Viktor Fromm

A topological approach to the theory of equilibrium phase transitions in statistical physics is based on the Topological Hypothesis (TH), which claims that phase transitions are due to changes of the topology of suitable submanifolds in the configuration space. In this paper we examine in detail the anti-ferromagnetic mean-field XY model and study topology of the sub-energy manifolds. The latter can be interpreted mechanically as configuration space of a linkage with one telescopic leg. We use methods of Morse theory to describe explicitly the Betti numbers of this configuration space. We apply these results to the anti-ferromagnetic mean-field XY model and compute the exponential growth rate of the total Betti number. The previous authors instead of the total Betti number studied the Euler characteristic. We show that in the presence of an external magnetic field the model undergoes a single "total Betti number phase transition".

AG-2011.03-2135

math.AT

Topological modular forms and conformal nets

Christopher L. Douglas, André G. Henriques

We describe the role conformal nets, a mathematical model for conformal field theory, could play in a geometric definition of the generalized cohomology theory TMF of topological modular forms. Inspired by work of Segal and Stolz-Teichner, we speculate that bundles of boundary conditions for the net of free fermions will be the basic underlying objects representing TMF-cohomology classes. String structures, which are the fundamental orientations for TMF-cohomology, can be encoded by defects between free fermions, and we construct the bundle of fermionic boundary conditions for the TMF-Euler class of a string vector bundle. We conjecture that the free fermion net exhibits an algebraic periodicity corresponding to the 576-fold cohomological periodicity of TMF; using a homotopy-theoretic invariant of invertible conformal nets, we establish a lower bound of 24 on this periodicity of the free fermions.

AG-2011.01-053

math.AT

String topology for stacks

Kai Behrend, Grégory Ginot, Behrang Noohi, Ping Xu

We establish the general machinery of string topology for differentiable stacks. This machinery allows us to treat on an equal footing free loops in stacks and hidden loops. In particular, we give a good notion of a free loop stack, and of a mapping stack $\map(Y,\XX)$, where $Y$ is a compact space and $\XX$ a topological stack, which is functorial both in $\XX$ and $Y$ and behaves well enough with respect to pushouts. We also construct a bivariant (in the sense of Fulton and MacPherson) theory for topological stacks: it gives us a flexible theory of Gysin maps which are automatically compatible with pullback, pushforward and products. Further we prove an excess formula in this context. We introduce oriented stacks, generalizing oriented manifolds, which are stacks on which we can do string topology. We prove that the homology of the free loop stack of an oriented stack and the homology of hidden loops (sometimes called ghost loops) are a Frobenius algebra which are related by a natural morphism of Frobenius algebras. We also prove that the homology of free loop stack has a natural structure of a BV-algebra, which together with the Frobenius structure fits into an homological conformal field theories with closed positive boundaries. Using our general machinery, we construct an intersection pairing for (non necessarily compact) almost complex orbifolds which is in the same relation to the intersection pairing for manifolds as Chen-Ruan orbifold cup-product is to ordinary cup-product of manifolds. We show that the hidden loop product of almost complex is isomorphic to the orbifold intersection pairing twisted by a canonical class. Finally we gave some examples including the case of the classifying stacks $[*/G]$ of a compact Lie group.

AG-2010.12-702

math.AT

Measuring Shape with Topology

Robert MacPherson, Benjamin Schweinhart

We propose a measure of shape which is appropriate for the study of a complicated geometric structure, defined using the topology of neighborhoods of the structure. One aspect of this measure gives a new notion of fractal dimension. We demonstrate the utility and computability of this measure by applying it to branched polymers, Brownian trees, and self-avoiding random walks.

AG-2010.11-643

math.AT

Cohomology of Lie 2-groups

Gregory Ginot, Ping Xu

In this paper we study the cohomology of (strict) Lie 2-groups. We obtain an explicit Bott-Shulman type map in the case of a Lie 2-group corresponding to the crossed module $A\to 1$. The cohomology of the Lie 2-groups corresponding to the universal crossed modules $G\to \Aut(G)$ and $G\to \Aut^+(G)$ is the abutment of a spectral sequence involving the cohomology of $GL(n,\Z)$ and $SL(n,\Z)$. When the dimension of the center of $G$ is less than 3, we compute explicitly these cohomology groups. We also compute the cohomology of the Lie 2-group corresponding to a crossed module $G\to H$ whose kernel is compact and cokernel is connected, simply connected and compact and apply the result to the string 2-group.

AG-2010.10-313

math.AT

Conformal nets and local field theory

Arthur Bartels, Christopher L. Douglas, André G. Henriques

We describe a coordinate-free notion of conformal nets as a mathematical model of conformal field theory. We define defects between conformal nets and introduce composition of defects, thereby providing a notion of morphism between conformal field theories. Altogether we characterize the algebraic structure of the collection of conformal nets as a symmetric monoidal tricategory. Dualizable objects of this tricategory correspond to conformal-net-valued 3-dimensional local topological quantum field theories. We prove that the dualizable conformal nets are the finite sums of irreducible nets with finite μ-index. This classification provides a variety of 3-dimensional local field theories, including local field theories associated to central extensions of the loop groups of the special unitary groups.

AG-2010.08-865

math.AT

On 2-dimensional topological field theories

Florin Dumitrescu

In this paper we give a characterization of 2-dimensional topological field theories over a space $X$ as Frobenius bundles with connections over $LX$, the free loop space of $X$. This is a generalization of the folk theorem stating that 2-dimensional topological field theories (over a point) are described by finite-dimensional commutative Frobenius algebras. In another direction, this result extends the description of 1-dimensional topological field theories over a space $X$ as vector bundles with connections over $X$, cf. \cite{DST}.

AG-2010.04-619

math.AT

Lie bialgebras and the cyclic homology of $A_\infty$ structures in topology

Xiaojun Chen

$A_\infty$ categories are a mathematical structure that appears in topological field theory, string topology, and symplectic topology. This paper studies the cyclic homology of a Calabi-Yau $A_\infty$ category, and shows that it is naturally an equivariant topological conformal field theory, and in particular, contains an involutive Lie bialgebra. Applications of the theory to string topology and the Fukaya category are given; in particular, it is shown that there is a Lie bialgebra homomorphism from the cyclic cohomology of the Fukaya category of a symplectic manifold with contact type boundary to the linearized contact homology of the boundary.

AG-2009.10-813

math.AT

String orientations of simplicial homology manifolds

Jack Morava

Simplicial homology manifolds are proposed as an interesting class of geometric objects, more general than topological manifolds but still quite tractable, in which questions about the microstructure of space-time can be naturally formulated. Their string orientations are classified by $H^3$ with coefficients in an extension of the usual group of D-brane charges, by cobordism classes of homology three-spheres with trivial Rokhlin invariant.

AG-2009.03-048

math.AT

Particle Topology, Braids, and Braided Belts

Sundance Bilson-Thompson, Jonathan Hackett, Louis H. Kauffman

Recent work suggests that topological features of certain quantum gravity theories can be interpreted as particles, matching the known fermions and bosons of the first generation in the Standard Model. This is achieved by identifying topological structures with elements of the framed Artin braid group on three strands, and demonstrating a correspondence between the invariants used to characterise these braids (a braid is a set of non-intersecting curves, that connect one set of $N$ points with another set of $N$ points), and quantities like electric charge, colour charge, and so on. In this paper we show how to manipulate a modified form of framed braids to yield an invariant standard form for sets of isomorphic braids, characterised by a vector of real numbers. This will serve as a basis for more complete discussions of quantum numbers in future work.

AG-2009.02-830

math.AT

Quantization of the Lie bialgebra of string topology

Xiaojun Chen, Farkhod Eshmatov, Wee Liang Gan

Let M be a smooth, simply-connected, closed oriented manifold, and LM the free loop space of M. Using a Poincare duality model for M, we show that the reduced equivariant homology of LM has the structure of a Lie bialgebra, and we construct a Hopf algebra which quantizes the Lie bialgebra.

AG-2007.11-256

math.AT

Loop groups and twisted K-theory I

Daniel S. Freed, Michael J. Hopkins, Constantin Teleman

This is the first in a series of papers investigating the relationship between the twisted equivariant K-theory of a compact Lie group G and the "Verlinde ring" of its loop group. In this paper we set up the foundations of twisted equivariant K-groups, and more generally twisted K-theory of groupoids. We establish enough basic properties to make effective computations. Using the Mayer-Vietoris spectral sequence we compute the twisted equivariant K-groups of a compact connected Lie group G with torsion free fundamental group. We relate this computation to the representation theory of the loop group at a level related to the twisting.

AG-2007.07-212

math.AT

A theory of bundles over posets

John E. Roberts, Giuseppe Ruzzi, Ezio Vasselli

In algebraic quantum field theory the spacetime manifold is replaced by a suitable base for its topology ordered under inclusion. We explain how certain topological invariants of the manifold can be computed in terms of the base poset. We develop a theory of connections and curvature for bundles over posets in search of a formulation of gauge theories in algebraic quantum field theory.

AG-2006.04-138

math.AT

A cohomological description of connections and curvature over posets

John E. Roberts, Giuseppe Ruzzi

What remains of a geometrical notion like that of a principal bundle when the base space is not a manifold but a coarse graining of it, like the poset formed by a base for the topology ordered under inclusion? Motivated by finding a geometrical framework for developing gauge theories in algebraic quantum field theory, we give, in the present paper, a first answer to this question. The notions of transition function, connection form and curvature form find a nice description in terms of cohomology, in general non-Abelian, of a poset with values in a group $G$. Interpreting a 1--cocycle as a principal bundle, a connection turns out to be a 1--cochain associated in a suitable way with this 1--cocycle; the curvature of a connection turns out to be its 2--coboundary. We show the existence of nonflat connections, and relate flat connections to homomorphisms of the fundamental group of the poset into $G$. We discuss holonomy and prove an analogue of the Ambrose-Singer theorem.

AG-2006.03-170

math.AT

Mirror symmetry formulae for the elliptic genus of complete intersections

Vassily Gorbounov, Serge Ochanine

In this paper we calculate the elliptic genus of certain complete intersections in products of projective spaces. We show that it is equal to the elliptic genus of the Landau-Ginzburg models that are, according to Hori and Vafa, mirror partners of these complete intersections. This provides additional evidence of the validity of their construction.

AG-2005.08-127

math.AT

Orbifold genera, product formulas and power operations

Nora Ganter

We generalize the definition of orbifold elliptic genus, and introduce orbifold genera of chromatic level h, using h-tuples rather than pairs of commuting elements. We show that our genera are in fact orbifold invariants, and we prove integrality results for them. If the genus arises from an H-infinity-map into the Morava-Lubin-Tate theory E_h, then we give a formula expressing the orbifold genus of the symmetric powers of a stably almost complex manifold M in terms of the genus of M itself. Our formula is the p-typical analogue of the Dijkgraaf-Moore-Verlinde-Verlinde formula for the orbifold elliptic genus. It depends only on h and not on the genus.

AG-2003.12-100

math.AT

The motivic Thom isomorphism

Jack Morava

The existence of a good theory of Thom isomorphisms in some rational category of mixed Tate motives would permit a nice interpolation between ideas of Kontsevich on deformation quantization, and ideas of Connes and Kreimer on a Galois theory of renormalization, mediated by Deligne's ideas on motivic Galois groups.