Frobenius manifold

Last updated

In the mathematical field of differential geometry, a Frobenius manifold, introduced by Dubrovin, [1] is a flat Riemannian manifold with a certain compatible multiplicative structure on the tangent space. The concept generalizes the notion of Frobenius algebra to tangent bundles.

Contents

Frobenius manifolds occur naturally in the subject of symplectic topology, more specifically quantum cohomology. The broadest definition is in the category of Riemannian supermanifolds. We will limit the discussion here to smooth (real) manifolds. A restriction to complex manifolds is also possible.

Definition

Let M be a smooth manifold. An affine flat structure on M is a sheaf Tf of vector spaces that pointwisely span TM the tangent bundle and the tangent bracket of pairs of its sections vanishes.

As a local example consider the coordinate vectorfields over a chart of M. A manifold admits an affine flat structure if one can glue together such vectorfields for a covering family of charts.

Let further be given a Riemannian metric g on M. It is compatible to the flat structure if g(X, Y) is locally constant for all flat vector fields X and Y.

A Riemannian manifold admits a compatible affine flat structure if and only if its curvature tensor vanishes everywhere.

A family of commutative products * on TM is equivalent to a section A of S2(T*M)  TM via

We require in addition the property

Therefore, the composition g#A is a symmetric 3-tensor.

This implies in particular that a linear Frobenius manifold (M, g, *) with constant product is a Frobenius algebra M.

Given (g, Tf, A), a local potential Φ is a local smooth function such that

for all flat vector fields X, Y, and Z.

A Frobenius manifold (M, g, *) is now a flat Riemannian manifold (M, g) with symmetric 3-tensor A that admits everywhere a local potential and is associative.

Elementary properties

The associativity of the product * is equivalent to the following quadratic PDE in the local potential Φ

where Einstein's sum convention is implied, Φ,a denotes the partial derivative of the function Φ by the coordinate vectorfield ∂/∂xa which are all assumed to be flat. gef are the coefficients of the inverse of the metric.

The equation is therefore called associativity equation or Witten–Dijkgraaf–Verlinde–Verlinde (WDVV) equation.

Examples

Beside Frobenius algebras, examples arise from quantum cohomology. Namely, given a semipositive symplectic manifold (M, ω) then there exists an open neighborhood U of 0 in its even quantum cohomology QHeven(M, ω) with Novikov ring over C such that the big quantum product *a for a in U is analytic. Now U together with the intersection form g = <·,·> is a (complex) Frobenius manifold.

The second large class of examples of Frobenius manifolds come from the singularity theory. Namely, the space of miniversal deformations of an isolated singularity has a Frobenius manifold structure. This Frobenius manifold structure also relates to Kyoji Saito's primitive forms.

Related Research Articles

<span class="mw-page-title-main">Differential geometry</span> Branch of mathematics dealing with functions and geometric structures on differentiable manifolds

Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.

In mathematics, complex geometry is the study of geometric structures and constructions arising out of, or described by, the complex numbers. In particular, complex geometry is concerned with the study of spaces such as complex manifolds and complex algebraic varieties, functions of several complex variables, and holomorphic constructions such as holomorphic vector bundles and coherent sheaves. Application of transcendental methods to algebraic geometry falls in this category, together with more geometric aspects of complex analysis.

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, is a geometric object which is determined by a choice of Riemannian or pseudo-Riemannian metric on a manifold. It can be considered, broadly, as a measure of the degree to which the geometry of a given metric tensor differs locally from that of ordinary Euclidean space or pseudo-Euclidean space.

In mathematics, a Lie algebroid is a vector bundle together with a Lie bracket on its space of sections and a vector bundle morphism , satisfying a Leibniz rule. A Lie algebroid can thus be thought of as a "many-object generalisation" of a Lie algebra.

In mathematics, particularly differential geometry, a Finsler manifold is a differentiable manifold M where a (possibly asymmetric) Minkowski normF(x, −) is provided on each tangent space TxM, that enables one to define the length of any smooth curve γ : [a, b] → M as

In mathematics and especially differential geometry, a Kähler manifold is a manifold with three mutually compatible structures: a complex structure, a Riemannian structure, and a symplectic structure. The concept was first studied by Jan Arnoldus Schouten and David van Dantzig in 1930, and then introduced by Erich Kähler in 1933. The terminology has been fixed by André Weil. Kähler geometry refers to the study of Kähler manifolds, their geometry and topology, as well as the study of structures and constructions that can be performed on Kähler manifolds, such as the existence of special connections like Hermitian Yang–Mills connections, or special metrics such as Kähler–Einstein metrics.

In mathematics, an almost complex manifold is a smooth manifold equipped with a smooth linear complex structure on each tangent space. Every complex manifold is an almost complex manifold, but there are almost complex manifolds that are not complex manifolds. Almost complex structures have important applications in symplectic geometry.

<span class="mw-page-title-main">Affine connection</span> Construct allowing differentiation of tangent vector fields of manifolds

In differential geometry, an affine connection is a geometric object on a smooth manifold which connects nearby tangent spaces, so it permits tangent vector fields to be differentiated as if they were functions on the manifold with values in a fixed vector space. Connections are among the simplest methods of defining differentiation of the sections of vector bundles.

<span class="mw-page-title-main">Holonomy</span> Concept in differential geometry

In differential geometry, the holonomy of a connection on a smooth manifold is the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. Holonomy is a general geometrical consequence of the curvature of the connection. For flat connections, the associated holonomy is a type of monodromy and is an inherently global notion. For curved connections, holonomy has nontrivial local and global features.

In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.

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.

In mathematics, certain systems of partial differential equations are usefully formulated, from the point of view of their underlying geometric and algebraic structure, in terms of a system of differential forms. The idea is to take advantage of the way a differential form restricts to a submanifold, and the fact that this restriction is compatible with the exterior derivative. This is one possible approach to certain over-determined systems, for example, including Lax pairs of integrable systems. A Pfaffian system is specified by 1-forms alone, but the theory includes other types of example of differential system. To elaborate, a Pfaffian system is a set of 1-forms on a smooth manifold.

In mathematics, a Killing vector field, named after Wilhelm Killing, is a vector field on a pseudo-Riemannian manifold that preserves the metric tensor. Killing vector fields are the infinitesimal generators of isometries; that is, flows generated by Killing vector fields are continuous isometries of the manifold. More simply, the flow generates a symmetry, in the sense that moving each point of an object the same distance in the direction of the Killing vector will not distort distances on the object.

In differential geometry, a G-structure on an n-manifold M, for a given structure group G, is a principal G-subbundle of the tangent frame bundle FM (or GL(M)) of M.

<span class="mw-page-title-main">Differentiable manifold</span> Manifold upon which it is possible to perform calculus

In mathematics, a differentiable manifold is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One may then apply ideas from calculus while working within the individual charts, since each chart lies within a vector space to which the usual rules of calculus apply. If the charts are suitably compatible, then computations done in one chart are valid in any other differentiable chart.

In differential geometry, a spin structure on an orientable Riemannian manifold (M, g) allows one to define associated spinor bundles, giving rise to the notion of a spinor in differential geometry.

In mathematics, specifically in symplectic topology and algebraic geometry, a quantum cohomology ring is an extension of the ordinary cohomology ring of a closed symplectic manifold. It comes in two versions, called small and big; in general, the latter is more complicated and contains more information than the former. In each, the choice of coefficient ring significantly affects its structure, as well.

In the mathematical field of differential topology, the Lie bracket of vector fields, also known as the Jacobi–Lie bracket or the commutator of vector fields, is an operator that assigns to any two vector fields X and Y on a smooth manifold M a third vector field denoted [X, Y].

Lagrangian field theory is a formalism in classical field theory. It is the field-theoretic analogue of Lagrangian mechanics. Lagrangian mechanics is used to analyze the motion of a system of discrete particles each with a finite number of degrees of freedom. Lagrangian field theory applies to continua and fields, which have an infinite number of degrees of freedom.

References

  1. B. Dubrovin: Geometry of 2D topological field theories. In: Springer LNM, 1620 (1996), pp. 120–348.

2. Yu.I. Manin, S.A. Merkulov: Semisimple Frobenius (super)manifolds and quantum cohomology of Pr, Topol. Methods in Nonlinear Analysis 9 (1997), pp. 107–161