Difference algebra

Last updated October 09, 2020

Difference algebra is a branch of mathematics concerned with the study of difference (or functional) equations from the algebraic point of view. Difference algebra is analogous to differential algebra but concerned with difference equations rather than differential equations. As an independent subject it was initiated by Joseph Ritt and his student Richard Cohn.

Difference rings, difference fields and difference algebras

A difference ring is a commutative ring $R$ together with a ring endomorphism $\sigma \colon R\to R$ . Often it is assumed that $\sigma$ is injective. When $R$ is a field one speaks of a difference field. A classical example of a difference field is the field $K=\mathbb {C} (x)$ of rational functions with the difference operator $\sigma$ given by $\sigma (f(x))=f(x+1)$ . The role of difference rings in difference algebra is similar to the role of commutative rings in commutative algebra and algebraic geometry. A morphism of difference rings is a morphism of rings that commutes with $\sigma$ . A difference algebra over a difference field $K$ is a difference ring $R$ with a $K$ -algebra structure such that $K\to R$ is a morphism of difference rings, i.e. $\sigma \colon R\to R$ extends $\sigma \colon K\to K$ . A difference algebra that is a field is called a difference field extension.

Algebraic difference equations

The difference polynomial ring $K\{y\}=K\{y_{1},\ldots ,y_{n}\}$ over a difference field $K$ in the (difference) variables $y_{1},\ldots ,y_{n}$ is the polynomial ring over $K$ in the infinitely many variables $\sigma ^{i}(y_{j}),\ (i\in \mathbb {N} ,1\leq j\leq n)$ . It becomes a difference algebra over $K$ by extending $\sigma$ from $K$ to $K\{y\}$ as suggested by the naming of the variables.

By a system of algebraic difference equations over $K$ one means any subset $F$ of $K\{y\}$ . If $R$ is a difference algebra over $K$ the solutions of $F$ in $R$ are

\mathbb {V} _{R}(F)=\{a\in R^{n}|\ f(a)=0{\text{ for all }}f\in F\}.

Classically one is mainly interested in solutions in difference field extensions of $K$ . For example, if $K=\mathbb {C} (x)$ and $R$ is the field of meromorphic functions on $\mathbb {C}$ with difference operator $\sigma$ given by $\sigma (f(x))=f(x+1)$ , then the fact that the gamma function $\Gamma$ satisfies the functional equation $\Gamma (x+1)=x\Gamma (x)$ can be restated abstractly as $\Gamma \in \mathbb {V} _{R}(\sigma (y_{1})-xy_{1})$ .

Difference varieties

Intuitively, a difference variety over a difference field $K$ is the set of solutions of a system of algebraic difference equations over $K$ . This definition has to be made more precise by specifying where one is looking for the solutions. Usually one is looking for solutions in the so-called universal family of difference field extensions of $K$ .^[1]^[2] Alternatively, one may define a difference variety as a functor from the category of difference field extensions of $K$ to the category of sets, which is of the form $R\rightsquigarrow \mathbb {V} _{R}(F)$ for some $F\subseteq K\{y\}.$ .

There is a one-to-one correspondence between the difference varieties defined by algebraic difference equations in the variables $y_{1},\ldots ,y_{n}$ and certain ideals in $K\{y\}$ , namely the perfect difference ideals of $K\{y\}$ .^[3] One of the basic theorems in difference algebra asserts that every ascending chain of perfect difference ideals in $K\{y\}$ is finite. This result can be seen as a difference analog of Hilbert's basis theorem.

Applications

Difference algebra is related to many other mathematical areas, such as discrete dynamical systems, combinatorics, number theory, or model theory. While some real life problems, such as population dynamics, can be modeled by algebraic difference equations, difference algebra also has applications in pure mathematics. For example, there is a proof of the Manin–Mumford conjecture using methods of difference algebra.^[4] The model theory of difference fields has been studied.

Notes

↑ Cohn. Difference algebra. Chapter 4
↑ Levin. Difference algebra. Section 2.6
↑ Levin. Difference algebra. Theorem 2.6.4
↑ Hrushovski, Ehud (2001). "The Manin–Mumford conjecture and the model theory of difference fields". Annals of Pure and Applied Logic. 112 (1): 43–115. doi:10.1016/S0168-0072(01)00096-3.

Related Research Articles

In mathematics, an associative algebra is an algebraic structure with compatible operations of addition, multiplication, and a scalar multiplication by elements in some field. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over the field K. A standard first example of a K-algebra is a ring of square matrices over a field K, with the usual matrix multiplication.

In algebra and algebraic geometry, the spectrum of a commutative ring R, denoted by $, is the set of all prime ideals of R . It is commonly augmented with the Zariski topology and with a structure sheaf, turning it into a locally ringed space. A locally ringed space of this form is called an affine scheme .$

In mathematics, in particular abstract algebra, a graded ring is a ring such that the underlying additive group is a direct sum of abelian groups $such that . The index set is usually the set of nonnegative integers or the set of integers, but can be any monoid. The direct sum decomposition is usually referred to as gradation or grading .$

Fokker–Planck equation Partial differential equation

In statistical mechanics, the Fokker–Planck equation is a partial differential equation that describes the time evolution of the probability density function of the velocity of a particle under the influence of drag forces and random forces, as in Brownian motion. The equation can be generalized to other observables as well. It is named after Adriaan Fokker and Max Planck, and is also known as the Kolmogorov forward equation, after Andrey Kolmogorov, who independently discovered the concept in 1931. When applied to particle position distributions, it is better known as the Smoluchowski equation, and in this context it is equivalent to the convection–diffusion equation. The case with zero diffusion is known in statistical mechanics as the Liouville equation. The Fokker–Planck equation is obtained from the master equation through Kramers–Moyal expansion.

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a Z₂-grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry. In most of these theories, the even elements of the superalgebra correspond to bosons and odd elements to fermions.

In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.

In mathematics and quantum mechanics, a Dirac operator is a differential operator that is a formal square root, or half-iterate, of a second-order operator such as a Laplacian. The original case which concerned Paul Dirac was to factorise formally an operator for Minkowski space, to get a form of quantum theory compatible with special relativity; to get the relevant Laplacian as a product of first-order operators he introduced spinors.

In theoretical physics and mathematics, a Wess–Zumino–Witten (WZW) model, also called a Wess–Zumino–Novikov–Witten model, is a type of two-dimensional conformal field theory named after Julius Wess, Bruno Zumino, Sergei Novikov and Edward Witten. A WZW model is associated to a Lie group, and its symmetry algebra is the affine Lie algebra built from the corresponding Lie algebra. By extension, the name WZW model is sometimes used for any conformal field theory whose symmetry algebra is an affine Lie algebra.

The mathematics of general relativity refers to various mathematical structures and techniques that are used in studying and formulating Albert Einstein's theory of general relativity. The main tools used in this geometrical theory of gravitation are tensor fields defined on a Lorentzian manifold representing spacetime. This article is a general description of the mathematics of general relativity.

In mathematics, a Hilbert modular form is a generalization of modular forms to functions of two or more variables. It is a (complex) analytic function on the m-fold product of upper half-planes $satisfying a certain kind of functional equation.$

In mathematics, an operad is concerned with prototypical algebras that model properties such as commutativity or anticommutativity as well as various amounts of associativity. Operads generalize the various associativity properties already observed in algebras and coalgebras such as Lie algebras or Poisson algebras by modeling computational trees within the algebra. Algebras are to operads as group representations are to groups. An operad can be seen as a set of operations, each one having a fixed finite number of inputs (arguments) and one output, which can be composed one with others. They form a category-theoretic analog of universal algebra.

In mathematics, the theory of optimal stopping or early stopping is concerned with the problem of choosing a time to take a particular action, in order to maximise an expected reward or minimise an expected cost. Optimal stopping problems can be found in areas of statistics, economics, and mathematical finance. A key example of an optimal stopping problem is the secretary problem. Optimal stopping problems can often be written in the form of a Bellman equation, and are therefore often solved using dynamic programming.

In commutative algebra, an element b of a commutative ring B is said to be integral overA, a subring of B, if there are n ≥ 1 and a_j in A such that

In mathematics, a finitely generated algebra is a commutative associative algebra A over a field K where there exists a finite set of elements a₁,...,a_n of A such that every element of A can be expressed as a polynomial in a₁,...,a_n, with coefficients in K.

In mathematics, in the subfield of ring theory, a ring R is a polynomial identity ring if there is, for some N > 0, an element P other than 0 of the free algebra, Z⟨X₁, X₂, ..., X_N⟩, over the ring of integers in N variables X₁, X₂, ..., X_N such that for all N-tuples r₁, r₂, ..., r_N taken from R it happens that

In stochastic analysis, a rough path is a generalization of the notion of smooth path allowing to construct a robust solution theory for controlled differential equations driven by classically irregular signals, for example a Wiener process. The theory was developed in the 1990s by Terry Lyons. Several accounts of the theory are available.

Affine gauge theory is classical gauge theory where gauge fields are affine connections on the tangent bundle over a smooth manifold $. For instance, these are gauge theory of dislocations in continuous media when, the generalization of metric-affine gravitation theory when is a world manifold and, in particular, gauge theory of the fifth force.$

In algebraic geometry, a derived scheme is a pair $consisting of a topological space X and a sheaf of commutative ring spectra on X such that (1) the pair is a scheme and (2) is a quasi-coherent -module. The notion gives a homotopy-theoretic generalization of a scheme.$

In algebraic geometry, the main theorem of elimination theory states that every projective scheme is proper. A version of this theorem predates the existence of scheme theory. It can be stated, proved, and applied in the following more classical setting. Let $k$ be a field, denote by $the n -dimensional projective space over k . The main theorem of elimination theory is the statement that for any n and any algebraic variety V defined over k, the projection map sends Zariski-closed subsets to Zariski-closed subsets.$

References

Alexander Levin (2008), Difference algebra, Springer, ISBN 978-1-4020-6946-8
Richard M. Cohn (1979), Difference algebra, R.E. Krieger Pub. Co., ISBN 978-0-88275-651-6

External links

Wibmer, Michael (2013). Lecture Notes - Algebraic difference equations (PDF). pp. 80 pages.
The home page of Zoé Chatzidakis has several online surveys discussing (the model theory of) difference fields.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Cohn-1] Cohn. Difference algebra. Chapter 4

[Levin-2] Levin. Difference algebra. Section 2.6

[3] Levin. Difference algebra. Theorem 2.6.4

[4] Hrushovski, Ehud (2001). "The Manin–Mumford conjecture and the model theory of difference fields". Annals of Pure and Applied Logic. 112 (1): 43–115. doi:10.1016/S0168-0072(01)00096-3.