web (differential geometry)

In mathematics, a web permits an intrinsic characterization in terms of Riemannian geometry of the additive separation of variables in the Hamilton–Jacobi equation.{{cite journal|title=Intrinsic characterization of the variable separation in the Hamilton-Jacobi equation |author=S. Benenti|journal=J. Math. Phys. |volume=38|year=1997|pages=6578–6602|issue=12|doi=10.1063/1.532226|bibcode=1997JMP....38.6578B}}{{cite journal | title= Eigenvalues of Killing Tensors and Separable Webs on Riemannian and Pseudo-Riemannian Manifolds | last1 = Chanu | first1= Claudia | last2 = Rastelli|first2 = Giovanni|journal=SIGMA|volume=3 |year=2007|pages=021, 21 pages|doi=10.3842/sigma.2007.021|arxiv=nlin/0612042| bibcode = 2007SIGMA...3..021C | s2cid = 3100911 }}

Formal definition

An orthogonal web on a Riemannian manifold (M,g) is a set \mathcal S = (\mathcal S^1,\dots,\mathcal S^n) of n pairwise transversal and orthogonal foliations of connected submanifolds of codimension 1 and where n denotes the dimension of M.

Note that two submanifolds of codimension 1 are orthogonal if their normal vectors are orthogonal and in a nondefinite metric orthogonality does not imply transversality.

Alternative definition

Given a smooth manifold of dimension n, an orthogonal web (also called orthogonal grid or Ricci’s grid) on a Riemannian manifold (M,g) is a set{{cite journal|authorlink=Gregorio Ricci-Curbastro|title=Dei sistemi di congruenze ortogonali in una varietà qualunque|author=G. Ricci-Curbastro|journal=Mem. Acc. Lincei |volume=2|year=1896|pages=276–322|issue=5}} \mathcal C = (\mathcal C^1,\dots,\mathcal C^n) of n pairwise transversal and orthogonal foliations of connected submanifolds of dimension 1.

=Remark=

Since vector fields can be visualized as stream-lines of a stationary flow or as Faraday’s lines of force, a non-vanishing vector field in space generates a space-filling system of lines through each point, known to mathematicians as a congruence (i.e., a local foliation). Ricci’s vision filled Riemann’s n-dimensional manifold with n congruences orthogonal to each other, i.e., a local orthogonal grid.

Differential geometry of webs

A systematic study of webs was started by Blaschke in the 1930s. He extended the same group-theoretic approach to web geometry.

=Classical definition=

Let M=X^{nr} be a differentiable manifold of dimension N=nr. A d-web W(d,n,r) of codimension r in an open set D\subset X^{nr} is a set of d foliations of codimension r which are in general position.

In the notation W(d,n,r) the number d is the number of foliations forming a web, r is the web codimension, and n is the ratio of the dimension nr of the manifold M and the web codimension. Of course, one may define a d-web of codimension r without having r as a divisor of the dimension of the ambient manifold.

See also

Notes

{{Reflist}}

References

  • {{cite book | last = Sharpe | first = R. W. | title = Differential Geometry: Cartan's Generalization of Klein's Erlangen Program | publisher = Springer | location = New York | year=1997 | isbn=0-387-94732-9}}
  • {{cite book |last1= Dillen |first1= F.J.E.| last2 = Verstraelen | first2 = L.C.A. | title = Handbook of Differential Geometry | publisher = North-Holland | location = Amsterdam | year=2000 |volume=1 | isbn=0-444-82240-2}}

Category:Differential geometry

Category:Manifolds

{{differential-geometry-stub}}