P-curvature

Last updated

In algebraic geometry, p-curvature is an invariant of a connection on a coherent sheaf for schemes of characteristic p > 0. It is a construction similar to a usual curvature, but only exists in finite characteristic.

Algebraic geometry branch of mathematics

Algebraic geometry is a branch of mathematics, classically studying zeros of multivariate polynomials. Modern algebraic geometry is based on the use of abstract algebraic techniques, mainly from commutative algebra, for solving geometrical problems about these sets of zeros.

In geometry, the notion of a connection makes precise the idea of transporting data along a curve or family of curves in a parallel and consistent manner. There are various kinds of connections in modern geometry, depending on what sort of data one wants to transport. For instance, an affine connection, the most elementary type of connection, gives a means for transporting tangent vectors to a manifold from one point to another along a curve. An affine connection is typically given in the form of a covariant derivative, which gives a means for taking directional derivatives of vector fields: the infinitesimal transport of a vector field in a given direction.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

Contents

Definition

Suppose X/S is a smooth morphism of schemes of finite characteristic p > 0, E a vector bundle on X, and a connection on E. The p-curvature of is a map defined by

In algebraic geometry, a morphism between schemes is said to be smooth if

In mathematics, the characteristic of a ring R, often denoted char(R), is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive identity the ring is said to have characteristic zero.

for any derivation D of over S. Here we use that the pth power of a derivation is still a derivation over schemes of characteristic p.

Freshmans dream the identity (a+b)ᵖ = aᵖ + bᵖ, which holds if the prime number p>0 is the characteristic of the ring we work in

The freshman's dream is a name sometimes given to the erroneous equation (x + y)n = xn + yn, where n is a real number (usually a positive integer greater than 1). Beginning students commonly make this error in computing the power of a sum of real numbers, falsely assuming powers distribute over sums. When n = 2, it is easy to see why this is incorrect: (x + y)2 can be correctly computed as x2 + 2xy + y2 using distributivity (commonly known as the FOIL method). For larger positive integer values of n, the correct result is given by the binomial theorem.

By the definition p-curvature measures the failure of the map to be a homomorphism of restricted Lie algebras, just like the usual curvature in differential geometry measures how far this map is from being a homomorphism of Lie algebras.

In mathematics, a restricted Lie algebra is a Lie algebra together with an additional "p operation."

Riemann curvature tensor Tensor field in general relativity and geometry

In the mathematical field of differential geometry, the Riemann curvature tensor or Riemann–Christoffel tensor is the most common method used to express the curvature of Riemannian manifolds. It assigns a tensor to each point of a Riemannian manifold, that measures the extent to which the metric tensor is not locally isometric to that of Euclidean space. The curvature tensor can also be defined for any pseudo-Riemannian manifold, or indeed any manifold equipped with an affine connection.

Differential geometry branch of mathematics

Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in the three-dimensional Euclidean space formed the basis for development of differential geometry during the 18th century and the 19th century.

See also

In mathematics, the Grothendieck–Katz p-curvature conjecture is a local-global principle for linear ordinary differential equations, related to differential Galois theory and in a loose sense analogous to the result in the Chebotarev density theorem considered as the polynomial case. It is a conjecture of Alexander Grothendieck from the late 1960s, and apparently not published by him in any form.

Related Research Articles

Lie group Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold, with the property that the group operations are smooth. Lie groups are named after Norwegian mathematician Sophus Lie, who laid the foundations of the theory of continuous transformation groups.

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.

An exact sequence is a concept in mathematics, especially in group theory, ring and module theory, homological algebra, as well as in differential geometry. An exact sequence is a sequence, either finite or infinite, of objects and morphisms between them such that the image of one morphism equals the kernel of the next.

Unitary group A group of unitary matrices

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group.

In differential geometry, the Ricci curvature tensor, named after Gregorio Ricci-Curbastro, represents the amount by which the volume of a narrow conical piece of a small geodesic ball in a curved Riemannian manifold deviates from that of the standard ball in Euclidean space. As such, it provides one way of measuring the degree to which the geometry determined by a given Riemannian metric might differ from that of ordinary Euclidean n-space. The Ricci tensor is defined on any pseudo-Riemannian manifold, as a trace of the Riemann curvature tensor. Like the metric itself, the Ricci tensor is a symmetric bilinear form on the tangent space of the manifold.

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a Z2-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.

Adjoint representation representation of a Lie group on its Lie algebra

In mathematics, the adjoint representation of a Lie group G is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if G is GL(n), its Lie algebra is the vector space of all n-by-n matrices. So in this example, the adjoint representation is the vector space of n-by-n matrices , and any element g in GL(n) acts as a linear transformation of this vector space given by conjugation: .

In mathematics, the covariant derivative is a way of specifying a derivative along tangent vectors of a manifold. Alternatively, the covariant derivative is a way of introducing and working with a connection on a manifold by means of a differential operator, to be contrasted with the approach given by a principal connection on the frame bundle – see affine connection. In the special case of a manifold isometrically embedded into a higher-dimensional Euclidean space, the covariant derivative can be viewed as the orthogonal projection of the Euclidean derivative along a tangent vector onto the manifold's tangent space. In this case the Euclidean derivative is broken into two parts, the extrinsic normal component and the intrinsic covariant derivative component.

Holonomy Concept in differential geometry

In differential geometry, the holonomy of a connection on a smooth manifold is a general geometrical consequence of the curvature of the connection measuring the extent to which parallel transport around closed loops fails to preserve the geometrical data being transported. 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 mathematics, the exterior covariant derivative is an analog of an exterior derivative that takes into account the presence of a connection.

In mathematics, the Chern–Weil homomorphism is a basic construction in Chern–Weil theory that computes topological invariants of vector bundles and principal bundles on a smooth manifold M in terms of connections and curvature representing classes in the de Rham cohomology rings of M. That is, the theory forms a bridge between the areas of algebraic topology and differential geometry. It was developed in the late 1940s by Shiing-Shen Chern and André Weil, in the wake of proofs of the generalized Gauss–Bonnet theorem. This theory was an important step in the theory of characteristic classes.

A projective vector field (projective) is a smooth vector field on a semi Riemannian manifold whose flow preserves the geodesic structure of without necessarily preserving the affine parameter of any geodesic. More intuitively, the flow of the projective maps geodesics smoothly into geodesics without preserving the affine parameter.

The gauge covariant derivative is a variation of the covariant derivative used in general relativity. If a theory has gauge transformations, it means that some physical properties of certain equations are preserved under those transformations. Likewise, the gauge covariant derivative is the ordinary derivative modified in such a way as to make it behave like a true vector operator, so that equations written using the covariant derivative preserve their physical properties under gauge transformations.

The étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces.

In differential geometry, an affine manifold is a differentiable manifold equipped with a flat, torsion-free connection.

The Lichnerowicz formula is a fundamental equation in the analysis of spinors on pseudo-Riemannian manifolds. In dimension 4, it forms a piece of Seiberg–Witten theory and other aspects of gauge theory. It is named after noted mathematicians André Lichnerowicz who proved it in 1963, and Roland Weitzenböck. The formula gives a relationship between the Dirac operator and the Laplace–Beltrami operator acting on spinors, in which the scalar curvature appears in a natural way. The result is significant because it provides an interface between results from the study of elliptic partial differential equations, results concerning the scalar curvature, and results on spinors and spin structures.

In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : VW that is:

A Representation up to homotopy is a concept in differential geometry that generalizes the notion of representation of a Lie algebra to Lie algebroids and nontrivial vector bundles. It was introduced by Abad and Crainic.

This is a glossary of algebraic geometry.

Gradient discretisation method

In numerical mathematics, the gradient discretisation method (GDM) is a framework which contains classical and recent numerical schemes for diffusion problems of various kinds: linear or non-linear, steady-state or time-dependent. The schemes may be conforming or non-conforming, and may rely on very general polygonal or polyhedral meshes.

References