Fox derivative

Last updated

In mathematics, the Fox derivative is an algebraic construction in the theory of free groups which bears many similarities to the conventional derivative of calculus. The Fox derivative and related concepts are often referred to as the Fox calculus, or (Fox's original term) the free differential calculus. The Fox derivative was developed in a series of five papers by mathematician Ralph Fox, published in Annals of Mathematics beginning in 1953.

Contents

Definition

If G is a free group with identity element e and generators gi, then the Fox derivative with respect to gi is a function from G into the integral group ring which is denoted , and obeys the following axioms:

The first two axioms are identical to similar properties of the partial derivative of calculus, and the third is a modified version of the product rule. As a consequence of the axioms, we have the following formula for inverses

Applications

The Fox derivative has applications in group cohomology, knot theory, and covering space theory, among other areas of mathematics.

See also

Related Research Articles

On a differentiable manifold, the exterior derivative extends the concept of the differential of a function to differential forms of higher degree. The exterior derivative was first described in its current form by Élie Cartan in 1899. The resulting calculus, known as exterior calculus, allows for a natural, metric-independent generalization of Stokes' theorem, Gauss's theorem, and Green's theorem from vector calculus.

<span class="mw-page-title-main">De Rham cohomology</span> Cohomology with real coefficients computed using differential forms

In mathematics, de Rham cohomology is a tool belonging both to algebraic topology and to differential topology, capable of expressing basic topological information about smooth manifolds in a form particularly adapted to computation and the concrete representation of cohomology classes. It is a cohomology theory based on the existence of differential forms with prescribed properties.

<span class="mw-page-title-main">Product rule</span> Formula for the derivative of a product

In calculus, the product rule is a formula used to find the derivatives of products of two or more functions. For two functions, it may be stated in Lagrange's notation as

<span class="mw-page-title-main">Differential operator</span> Typically linear operator defined in terms of differentiation of functions

In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation that accepts a function and returns another function.

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, the Hodge star operator or Hodge star is a linear map defined on the exterior algebra of a finite-dimensional oriented vector space endowed with a nondegenerate symmetric bilinear form. Applying the operator to an element of the algebra produces the Hodge dual of the element. This map was introduced by W. V. D. Hodge.

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 gauge theory and mathematical physics, a topological quantum field theory is a quantum field theory which computes topological invariants.

A directional derivative is a concept in multivariable calculus that measures the rate at which a function changes in a particular direction at a given point.

In mathematics, particularly in algebraic topology, Alexander–Spanier cohomology is a cohomology theory for topological spaces.

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 differential geometry, the Laplace–Beltrami operator is a generalization of the Laplace operator to functions defined on submanifolds in Euclidean space and, even more generally, on Riemannian and pseudo-Riemannian manifolds. It is named after Pierre-Simon Laplace and Eugenio Beltrami.

In mathematics, differential algebra is, broadly speaking, the area of mathematics consisting in the study of differential equations and differential operators as algebraic objects in view of deriving properties of differential equations and operators without computing the solutions, similarly as polynomial algebras are used for the study of algebraic varieties, which are solution sets of systems of polynomial equations. Weyl algebras and Lie algebras may be considered as belonging to differential algebra.

In mathematics, the derivative is a fundamental construction of differential calculus and admits many possible generalizations within the fields of mathematical analysis, combinatorics, algebra, geometry, etc.

In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let M be a complex manifold. Then the Dolbeault cohomology groups depend on a pair of integers p and q and are realized as a subquotient of the space of complex differential forms of degree (p,q).

In the mathematical field of differential geometry, a smooth map between Riemannian manifolds is called harmonic if its coordinate representatives satisfy a certain nonlinear partial differential equation. This partial differential equation for a mapping also arises as the Euler-Lagrange equation of a functional called the Dirichlet energy. As such, the theory of harmonic maps contains both the theory of unit-speed geodesics in Riemannian geometry and the theory of harmonic functions.

In mathematics, Capelli's identity, named after Alfredo Capelli (1887), is an analogue of the formula det(AB) = det(A) det(B), for certain matrices with noncommuting entries, related to the representation theory of the Lie algebra . It can be used to relate an invariant ƒ to the invariant Ωƒ, where Ω is Cayley's Ω process.

In calculus, the differential represents the principal part of the change in a function with respect to changes in the independent variable. The differential is defined by

<span class="mw-page-title-main">Nehari manifold</span>

In the calculus of variations, a branch of mathematics, a Nehari manifold is a manifold of functions, whose definition is motivated by the work of Zeev Nehari. It is a differentiable manifold associated to the Dirichlet problem for the semilinear elliptic partial differential equation

In the mathematical field of differential geometry, a biharmonic map is a map between Riemannian or pseudo-Riemannian manifolds which satisfies a certain fourth-order partial differential equation. A biharmonic submanifold refers to an embedding or immersion into a Riemannian or pseudo-Riemannian manifold which is a biharmonic map when the domain is equipped with its induced metric. The problem of understanding biharmonic maps was posed by James Eells and Luc Lemaire in 1983. The study of harmonic maps, of which the study of biharmonic maps is an outgrowth, had been an active field of study for the previous twenty years. A simple case of biharmonic maps is given by biharmonic functions.

References