String topology

Last updated • 4 min readFrom Wikipedia, The Free Encyclopedia

String topology, a branch of mathematics, is the study of algebraic structures on the homology of free loop spaces. The field was started by MoiraChasand Dennis Sullivan  ( 1999 ).

Contents

Motivation

While the singular cohomology of a space has always a product structure, this is not true for the singular homology of a space. Nevertheless, it is possible to construct such a structure for an oriented manifold of dimension . This is the so-called intersection product. Intuitively, one can describe it as follows: given classes and , take their product and make it transversal to the diagonal . The intersection is then a class in , the intersection product of and . One way to make this construction rigorous is to use stratifolds.

Another case, where the homology of a space has a product, is the (based) loop space of a space . Here the space itself has a product

by going first through the first loop and then through the second one. There is no analogous product structure for the free loop space of all maps from to since the two loops need not have a common point. A substitute for the map is the map

where is the subspace of , where the value of the two loops coincides at 0 and is defined again by composing the loops.

The Chas–Sullivan product

The idea of the Chas–Sullivan product is to now combine the product structures above. Consider two classes and . Their product lies in . We need a map

One way to construct this is to use stratifolds (or another geometric definition of homology) to do transversal intersection (after interpreting as an inclusion of Hilbert manifolds). Another approach starts with the collapse map from to the Thom space of the normal bundle of . Composing the induced map in homology with the Thom isomorphism, we get the map we want.

Now we can compose with the induced map of to get a class in , the Chas–Sullivan product of and (see e.g. Cohen & Jones (2002)).

Remarks

The Batalin–Vilkovisky structure

There is an action by rotation, which induces a map

.

Plugging in the fundamental class , gives an operator

of degree 1. One can show that this operator interacts nicely with the Chas–Sullivan product in the sense that they form together the structure of a Batalin–Vilkovisky algebra on . This operator tends to be difficult to compute in general. The defining identities of a Batalin-Vilkovisky algebra were checked in the original paper "by pictures." A less direct, but arguably more conceptual way to do that could be by using an action of a cactus operad on the free loop space . [1] The cactus operad is weakly equivalent to the framed little disks operad [2] and its action on a topological space implies a Batalin-Vilkovisky structure on homology. [3]

Field theories

The pair of pants Pair of pants cobordism (pantslike).svg
The pair of pants

There are several attempts to construct (topological) field theories via string topology. The basic idea is to fix an oriented manifold and associate to every surface with incoming and outgoing boundary components (with ) an operation

which fulfills the usual axioms for a topological field theory. The Chas–Sullivan product is associated to the pair of pants. It can be shown that these operations are 0 if the genus of the surface is greater than 0 (Tamanoi (2010)).

Related Research Articles

In mathematics, more specifically in functional analysis, a Banach space is a complete normed vector space. Thus, a Banach space is a vector space with a metric that allows the computation of vector length and distance between vectors and is complete in the sense that a Cauchy sequence of vectors always converges to a well-defined limit that is within the space.

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space is denoted by .

<span class="mw-page-title-main">Homological algebra</span> Branch of mathematics

Homological algebra is the branch of mathematics that studies homology in a general algebraic setting. It is a relatively young discipline, whose origins can be traced to investigations in combinatorial topology and abstract algebra at the end of the 19th century, chiefly by Henri Poincaré and David Hilbert.

In mathematics, homology is a general way of associating a sequence of algebraic objects, such as abelian groups or modules, with other mathematical objects such as topological spaces. Homology groups were originally defined in algebraic topology. Similar constructions are available in a wide variety of other contexts, such as abstract algebra, groups, Lie algebras, Galois theory, and algebraic geometry.

In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.

<span class="mw-page-title-main">Homotopy</span> Continuous deformation between two continuous functions

In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic if one can be "continuously deformed" into the other, such a deformation being called a homotopy between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

A CW complex is a kind of a topological space that is particularly important in algebraic topology. It was introduced by J. H. C. Whitehead to meet the needs of homotopy theory. This class of spaces is broader and has some better categorical properties than simplicial complexes, but still retains a combinatorial nature that allows for computation. The C stands for "closure-finite", and the W for "weak" topology.

In theoretical physics, the Batalin–Vilkovisky (BV) formalism was developed as a method for determining the ghost structure for Lagrangian gauge theories, such as gravity and supergravity, whose corresponding Hamiltonian formulation has constraints not related to a Lie algebra. The BV formalism, based on an action that contains both fields and "antifields", can be thought of as a vast generalization of the original BRST formalism for pure Yang–Mills theory to an arbitrary Lagrangian gauge theory. Other names for the Batalin–Vilkovisky formalism are field-antifield formalism, Lagrangian BRST formalism, or BV–BRST formalism. It should not be confused with the Batalin–Fradkin–Vilkovisky (BFV) formalism, which is the Hamiltonian counterpart.

In mathematics, specifically in algebraic topology, the cup product is a method of adjoining two cocycles of degree p and q to form a composite cocycle of degree p + q. This defines an associative (and distributive) graded commutative product operation in cohomology, turning the cohomology of a space X into a graded ring, H(X), called the cohomology ring. The cup product was introduced in work of J. W. Alexander, Eduard Čech and Hassler Whitney from 1935–1938, and, in full generality, by Samuel Eilenberg in 1944.

In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.

<span class="mw-page-title-main">Hawaiian earring</span> Topological space defined by the union of circles

In mathematics, the Hawaiian earring is the topological space defined by the union of circles in the Euclidean plane with center and radius for endowed with the subspace topology:

In mathematics, specifically algebraic topology, an Eilenberg–MacLane space is a topological space with a single nontrivial homotopy group.

<span class="mw-page-title-main">Triangulation (topology)</span>

In mathematics, triangulation describes the replacement of topological spaces by piecewise linear spaces, i.e. the choice of a homeomorphism in a suitable simplicial complex. Spaces being homeomorphic to a simplicial complex are called triangulable. Triangulation has various uses in different branches of mathematics, for instance in algebraic topology, in complex analysis or in modeling.

<span class="mw-page-title-main">Mapping cone (topology)</span>

In mathematics, especially homotopy theory, the mapping cone is a construction of topology, analogous to a quotient space. It is also called the homotopy cofiber, and also notated . Its dual, a fibration, is called the mapping fibre. The mapping cone can be understood to be a mapping cylinder , with one end of the cylinder collapsed to a point. Thus, mapping cones are frequently applied in the homotopy theory of pointed spaces.

In mathematics, an operad is a structure that consists of abstract operations, each one having a fixed finite number of inputs (arguments) and one output, as well as a specification of how to compose these operations. Given an operad , one defines an algebra over to be a set together with concrete operations on this set which behave just like the abstract operations of . For instance, there is a Lie operad such that the algebras over are precisely the Lie algebras; in a sense abstractly encodes the operations that are common to all Lie algebras. An operad is to its algebras as a group is to its group representations.

In algebraic topology the cap product is a method of adjoining a chain of degree p with a cochain of degree q, such that qp, to form a composite chain of degree pq. It was introduced by Eduard Čech in 1936, and independently by Hassler Whitney in 1938.

In mathematics and specifically in topology, rational homotopy theory is a simplified version of homotopy theory for topological spaces, in which all torsion in the homotopy groups is ignored. It was founded by Dennis Sullivan (1977) and Daniel Quillen (1969). This simplification of homotopy theory makes certain calculations much easier.

In the theory of operads in algebra and algebraic topology, an A-operad is a parameter space for a multiplication map that is homotopy coherently associative.

In mathematics, a highly structured ring spectrum or -ring is an object in homotopy theory encoding a refinement of a multiplicative structure on a cohomology theory. A commutative version of an -ring is called an -ring. While originally motivated by questions of geometric topology and bundle theory, they are today most often used in stable homotopy theory.

This is a glossary of properties and concepts in algebraic topology in mathematics.

References

  1. Voronov, Alexander (2005). "Notes on universal algebra". Graphs and Patterns in Mathematics and Theoretical Physics (M. Lyubich and L. Takhtajan, eds.). Providence, RI: Amer. Math. Soc. pp. 81–103.
  2. Cohen, Ralph L.; Hess, Kathryn; Voronov, Alexander A. (2006). "The cacti operad". String topology and cyclic homology. Basel: Birkhäuser. ISBN   978-3-7643-7388-7.
  3. Getzler, Ezra (1994). "Batalin-Vilkovisky algebras and two-dimensional topological field theories". Comm. Math. Phys. 159 (2): 265–285. arXiv: hep-th/9212043 . Bibcode:1994CMaPh.159..265G. doi:10.1007/BF02102639. S2CID   14823949.

Sources