HOME

TheInfoList



OR:

In mathematics, a filling of a
manifold In mathematics, a manifold is a topological space that locally resembles Euclidean space near each point. More precisely, an n-dimensional manifold, or ''n-manifold'' for short, is a topological space with the property that each point has a ...
''X'' is a
cobordism In mathematics, cobordism is a fundamental equivalence relation on the class of compact manifolds of the same dimension, set up using the concept of the boundary (French '' bord'', giving ''cobordism'') of a manifold. Two manifolds of the same ...
''W'' between ''X'' and the
empty set In mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in oth ...
. More to the point, the ''n''-dimensional
topological manifold In topology, a branch of mathematics, a topological manifold is a topological space that locally resembles real ''n''- dimensional Euclidean space. Topological manifolds are an important class of topological spaces, with applications throughout ma ...
''X'' is the
boundary Boundary or Boundaries may refer to: * Border, in political geography Entertainment * ''Boundaries'' (2016 film), a 2016 Canadian film * ''Boundaries'' (2018 film), a 2018 American-Canadian road trip film *Boundary (cricket), the edge of the pla ...
of an (''n'' + 1)-dimensional manifold ''W''. Perhaps the most active area of current research is when ''n'' = 3, where one may consider certain types of fillings. There are many types of fillings, and a few examples of these types (within a probably limited perspective) follow. *An
oriented In mathematics, orientability is a property of some topological spaces such as real vector spaces, Euclidean spaces, surfaces, and more generally manifolds that allows a consistent definition of "clockwise" and "counterclockwise". A space is ...
filling of any orientable manifold ''X'' is another manifold ''W'' such that the orientation of ''X'' is given by the boundary orientation of ''W'', which is the one where the first basis vector of the
tangent space In mathematics, the tangent space of a manifold generalizes to higher dimensions the notion of '' tangent planes'' to surfaces in three dimensions and ''tangent lines'' to curves in two dimensions. In the context of physics the tangent space to a ...
at each point of the boundary is the one pointing directly out of ''W'', with respect to a chosen
Riemannian metric In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g'p'' on the tangent spac ...
. Mathematicians call this orientation the ''outward normal first'' convention. All the following cobordisms are oriented, with the orientation on ''W'' given by a symplectic structure. Let ''ξ'' denote the
kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine lea ...
of the contact form ''α''. *A ''weak'' symplectic filling of a contact manifold (''X'',''ξ'') is a
symplectic manifold In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, M , equipped with a closed nondegenerate differential 2-form \omega , called the symplectic form. The study of symplectic manifolds is called s ...
(''W'',''ω'') with \partial W = X such that \omega , _\xi>0. *A ''strong'' symplectic filling of a contact manifold (''X'',''ξ'') is a symplectic manifold (''W'',''ω'') with \partial W = X such that ''ω'' is exact near the boundary (which is ''X'') and α is a primitive for ''ω''. That is, ''ω'' = ''dα'' in a neighborhood of the boundary \partial W = X. *A Stein filling of a contact manifold (''X'',''ξ'') is a
Stein manifold In mathematics, in the theory of several complex variables and complex manifolds, a Stein manifold is a complex submanifold of the vector space of ''n'' complex dimensions. They were introduced by and named after . A Stein space is similar to a St ...
''W'' which has ''X'' as its strictly pseudoconvex boundary and ''ξ'' is the set of complex tangencies to ''X'' – that is, those tangent planes to ''X'' that are complex with respect to the complex structure on ''W''. The canonical example of this is the
3-sphere In mathematics, a 3-sphere is a higher-dimensional analogue of a sphere. It may be embedded in 4-dimensional Euclidean space as the set of points equidistant from a fixed central point. Analogous to how the boundary of a ball in three dimens ...
\ where the complex structure on \mathbb^2 is multiplication by \sqrt in each coordinate and ''W'' is the ball bounded by that sphere. It is known that this list is strictly increasing in difficulty in the sense that there are examples of contact 3-manifolds with weak but no strong filling, and others that have strong but no Stein filling. Further, it can be shown that each type of filling is an example of the one preceding it, so that a Stein filling is a strong symplectic filling, for example. It used to be that one spoke of ''semi-fillings'' in this context, which means that ''X'' is one of possibly many
boundary component In topology and mathematics in general, the boundary of a subset of a topological space is the set of points in the Closure (topology), closure of not belonging to the Interior (topology), interior of . An element of the boundary of is call ...
s of ''W'', but it has been shown that any semi-filling can be modified to be a filling of the same type, of the same 3-manifold, in the symplectic world (Stein manifolds always have one boundary component).


References

*Y. Eliashberg, ''A Few Remarks about Symplectic Filling'', Geometry and Topology 8, 2004, p. 277–293 {{ArXiv, math/0311459 *J. Etnyre, ''On Symplectic Fillings'' Algebr. Geom. Topol. 4 (2004), p. 73–8
online
*H. Geiges, An Introduction to Contact Topology, Cambridge University Press, 2008 Geometric topology