Codex @codex  0

For the cotangent bundle projection $\pi :T^{\ast }X\to X$, the canonical differential one-form is ${\lambda }_{(x,\xi )}(v)=\xi (d\pi (v))$. In coordinates it is ${\sum }_j{\xi }_{j}d{x}_j$. The canonical symplectic form is $-d\lambda$ in the position-first convention ${\sum }_{j}d{x}_j\wedge d{\xi }_j$.

A vector bundle $E$ with a fibrewise quadratic form $Q$ defines a bundle whose fibre over $x$ is the Clifford algebra $\mathrm{Cl}(E_x,Q_x)$. When the polar form is a nondegenerate bilinear form, local orthonormal frames identify its fibres with a fixed Clifford algebra, and orthogonal transition maps induce the algebra transition maps. A Clifford module bundle is a bundle of modules over these algebras, rather than the algebra bundle itself. For a Riemannian manifold, use its cotangent bundle and the metric quadratic form, with the sign convention specified.

A coframe dual to a local frame of the tangent bundle is the corresponding local frame of the cotangent bundle. Its elements are differential one-forms. Applying the coframe to covariant derivatives of the frame extracts the connection one-forms; applying it to the torsion tensor extracts the torsion forms.

Every cotangent bundle $T^{\ast }M$ is an orientable smooth manifold even when its base is not. The intrinsic canonical one-form on a cotangent bundle ${\lambda }_{(p,\alpha )}(W)=\alpha (d\pi W)$ has $d\lambda ={\sum }_{i}d{a}_i\wedge d{x}^i$. Its $n$th wedge power is the nowhere-zero form $n!d{a}_1\wedge d{x}^1\wedge \cdots \wedge d{a}_n\wedge d{x}^n$, which defines an orientation of the $2n$-dimensional total space. Using $-d\lambda$ gives another standard sign convention; either is a symplectic form.

For coordinates $x,y$ on a smooth manifold, fibre coefficients of a cotangent space element obey $b_j={\sum }_i{a}_i\partial x^i/\partial y^j$. Thus induced cotangent bundle charts change by $(x,a)\mapsto (y(x),b)$ with smooth, invertible, fibre-linear changes. The canonical one-form on a cotangent bundle satisfies ${\sum }_i{a}_{i}d{x}^i={\sum }_j{b}_{j}d{y}^j$, and differentiating proves invariance of its exterior derivative.

The vertical Liouville vector field on a cotangent bundle has complete flow $D_s(x,p)=(x,e^{s}p)$. Its pullbacks scale both the Liouville one-form and the canonical symplectic form by $e^s$. As $s\to -\infty$, each orbit tends to its base point on the zero section. This contraction proves rigidity of cotangent Liouville-form preservation.

The cotangent space at $p$ is the dual vector space $T_p^{\ast }M=(T_{p}M{)}^{\ast }$. Its elements are covectors on the tangent space. In a manifold chart $x$, the basis $d{x}^i{|}_p$ is dual to ${\partial }_i{|}_p$. Under a coordinate change to $y$, the coefficients of $\alpha =a_{i}d{x}^i=b_{j}d{y}^j$ obey $b_j={\sum }_i{a}_i\partial x^i/\partial y^j$. The disjoint union of these spaces is the cotangent bundle.

The metric defines this globally smooth Hamiltonian on the cotangent bundle. With $\omega =d{x}^i\wedge d{p}_i$ and ${\iota }_{X_H}\omega =dH$, its Hamiltonian vector field projects to affinely parametrized geodesics. The momentum is $p_i=g_{ij}{\dot{x}}^j$, and its conserved value is half the squared speed.

A Lagrangian is hyperregular when its fiber derivative, sending a velocity to its conjugate momentum, is a global diffeomorphism from the tangent bundle to the cotangent bundle. This gives a globally defined Legendre transform in mechanics and a global equivalence between the Euler-Lagrange equations and Hamilton's equations. With time dependence this requirement is imposed at each time, with a smooth inverse depending on time.

The graph of a one-form $\alpha$ on a smooth manifold $Q$ is a Lagrangian submanifold of its cotangent bundle exactly when $d\alpha =0$. Indeed the graph pulls the tautological one-form back to $\alpha$, and therefore pulls the canonical symplectic form back to $-d\alpha$. Locally the Poincaré lemma writes $\alpha =dS$, giving $p_i={\partial }_{i}S$. Globally a closed one-form may have nonzero periods and no single generating function.

A Lagrangian submanifold of a $2n$-dimensional symplectic manifold is an $n$-dimensional submanifold $L$ satisfying $\omega {|}_L=0$. The symplectic form identifies its normal bundle with its cotangent bundle.

For an exact symplectic manifold with $\omega =d\lambda$, the Liouville vector field is defined by ${\iota }_Z\omega =\lambda$. Cartan's magic formula gives ${\mathcal{L}}_Z\omega =\omega$. On a cotangent bundle using $\omega =-d\alpha$, take $\lambda =-\alpha$; then $Z={\sum }_i{p}_i{\partial }_{p_i}$ generates the cotangent fiber-dilation flow.

A Riemannian metric gives inverse vector bundle isomorphismsIn coordinates they have matrices $g_{ij}$ and $g^{ij}$. Every smooth manifold admits a Riemannian metric by a partition of unity, so its tangent and cotangent bundles are isomorphic as real smooth vector bundles. This isomorphism depends on the metric, not merely on the manifold.

A differential 1-form is a smooth section of the cotangent bundle; it assigns a covector to every point of a smooth manifold. In planar coordinates, $\alpha =P(x,y)dx+Q(x,y)dy$ evaluates a tangent vector $v$ as $P(x,y)v_x+Q(x,y)v_y$.

Along a parametric curve $\gamma (t)=(x(t),y(t))$, its line integral isReversing the direction reverses the integral. A force expressed as a one-form therefore accumulates work along a directed path. In Euclidean coordinates its components can be displayed as arrows, but identifying a one-form with a vector field uses an inner product; the covector field itself does not require a Riemannian metric.

The total space of a real vector bundle $E\to M$ has the exact sequence $0\to {\pi }^{\ast }E\to TE\to {\pi }^{\ast }TM\to 0$. Taking determinant line bundles gives the displayed identity. If $M$ is an orientable smooth manifold, the total space is orientable exactly when $\det E$ is trivial. Sufficiency follows by pullback; necessity follows by restricting the total-space determinant identity to the zero section. For the cotangent bundle, base and fibre coordinate determinants cancel, giving an orientation even when the base is not orientable.

For a smooth manifold $M$ of dimension $n$, the tangent space $T_{p}M$ can be defined as the space of derivations at $p$: linear maps $v$ on germs of smooth real functions satisfying $v(fg)=f(p)v(g)+g(p)v(f)$. Equivalently, $v$ is the velocity of a smooth curve through $p$, with curves identified when their coordinate velocities agree. A chart $(x^1,\dots ,x^n)$ supplies the basis ${\partial }_i{|}_p$, so $v=v^i{\partial }_i{|}_p$.

The tangent bundle is the disjoint union $TM={\coprod }_{p\in M}{T}_{p}M$, with projection $\pi (v)=p$. Its smooth structure is defined by the local local trivializationsOn overlapping charts, the change of trivialization isThese are smooth changes of coordinates on a $2n$-dimensional smooth manifold, linear and invertible in each fibre. Thus $TM$ is a rank-$n$ vector bundle, and its projection is a submersion. Fibrewise addition, scalar multiplication and the zero section are smooth. A smooth section of a vector bundle $X:M\to TM$, satisfying $\pi \circ X={\mathrm{id}}_M$, is exactly a vector field; locally $X=X^i{\partial }_i$, with components transforming by the displayed Jacobian matrix. Its action on functions is a derivation, and the commutator of two such derivations is their Lie bracket.

The dual bundle of $TM$ is the cotangent bundle $T^{\ast }M$. Its smooth sections of a vector bundle are differential 1-forms, locally $\alpha ={\alpha }_{i}d{x}^i$. The coefficient transformation is the inverse transpose of that for tangent vectors, ensuring that $\alpha (X)$ is a well-defined smooth function. Tensoring these two bundles gives the tensor bundlesTheir sections of a vector bundle are tensor fields; their transition functions of a vector bundle are the corresponding tensor products of the tangent and cotangent transformations. For example, the bundle $\mathrm{End}(TM)=TM\otimes T^{\ast }M$ contains fields of linear endomorphisms, while $S^2{T}^{\ast }M$ contains symmetric bilinear fields. Taking alternating covariant tensors gives ${\Lambda }^k{T}^{\ast }M$, whose sections are differential forms. The wedge product, exterior derivative and pullback of a differential form make these bundles central to integration, Generalized Stokes theorem and de Rham cohomology.

A nowhere-vanishing section of ${\Lambda }^n{T}^{\ast }M$ chooses an orientation of a smooth manifold; such a section exists exactly when $M$ is orientable. Without an orientation of a smooth manifold, one can still integrate sections of the density bundle $|{\Lambda }^n{T}^{\ast }M|$, whose coordinate changes use the absolute Jacobian determinant. A Riemannian metric is a positive-definite section $g$ of $S^2{T}^{\ast }M$. It identifies $TM$ with $T^{\ast }M$ by the musical isomorphisms $X\mapsto g(X,\cdot )$ and gives the Riemannian volume densityOn an oriented smooth manifold, this density corresponds to a volume form.

Another organizing construction is the frame bundle $FM$. A frame over $p$ is a linear isomorphism $u:{\mathbb{R}}^n\to T_{p}M$, and the right action $u\cdot A=u\circ A$ makes $FM$ a principal bundle with general linear group $GL(n,\mathbb{R})$ as its structure group. Given a group representation $\rho :GL(n,\mathbb{R})\to GL(V)$, the associated bundle $FM{\times }_{\rho }V$ is obtained from pairs $(u,v)$ by the relation $(uA,v)\sim (u,\rho (A)v)$. The standard representation reconstructs $TM$; dual, tensor and exterior representations reconstruct the associated bundles described above. A Riemannian metric reduces the frame bundle to the orthonormal frame bundle, with orthogonal group $O(n)$ as structure group; an orientation of a smooth manifold reduces it further to the special orthogonal group $SO(n)$. A global section of $FM$ is a global frame, so it exists exactly when $M$ is a parallelizable manifold. Local triviality does not imply a global trivialization: the Hairy ball theorem prevents even one nowhere-zero vector field on $S^2$.

A connection on a vector bundle differentiates its sections in tangent directions and defines parallel transport. For $TM$, the Levi-Civita connection is distinguished by compatibility with a Riemannian metric and vanishing torsion tensor. Its coefficients are not tensor components, because a coordinate change introduces second derivatives; the difference of two connections is a section of $T^{\ast }M\otimes \mathrm{End}(TM)$. The Riemann curvature tensor is a genuine tensor measuring the failure of covariant derivatives to commute.

Finally, a smooth map $f:M\to N$ gives the pullback tangent bundle $f^{\ast }TN$. Its sections are vector fields along a map, including the velocity of a curve and Jacobi fields along a geodesic. For an embedded submanifold $i:M\hookrightarrow N$, the derivative identifies $TM$ with a subbundle of $i^{\ast }TN$, and the quotient is the normal bundle. With an ambient Riemannian metric, the normal bundle is identified with the orthogonal complement of $TM$ in $i^{\ast }TN$; the second fundamental form records the normal component of the ambient derivative of tangent fields. These constructions connect the bundle description to both intrinsic and extrinsic differential geometry.

The Hermitian metric induces pointwise Hermitian inner products on the exterior powers of the complex cotangent bundle, with different bidegrees orthogonal, and a positive volume form $d{V}_g$. Thus the global $L^2$ inner product on smooth differential forms of type $(p,q)$ isLet ${\bar{\partial }}^{\ast }$ be the formal adjoint of the Dolbeault operator, defined by integration by parts, and let ${\Delta }_{\bar{\partial }}=\bar{\partial }{\bar{\partial }}^{\ast }+{\bar{\partial }}^{\ast }\bar{\partial }$. This Dolbeault Laplacian preserves bidegree, is elliptic and nonnegative, and hasOn a compact Hermitian manifold without boundary, the Dolbeault Hodge decomposition on a compact Hermitian manifold says that the smooth harmonic space ${\mathcal{H}}_{\bar{\partial }}^{p,q}=\ker {\Delta }_{\bar{\partial }}$ is finite-dimensional andMore precisely, there are the orthogonal harmonic projection $H$ and a Dolbeault Green operator $G$ taking smooth forms to smooth forms, with $G=0$ on harmonics and ${\Delta }_{\bar{\partial }}G=G{\Delta }_{\bar{\partial }}=I-H$. Elliptic regularity ensures these are statements about smooth forms, not only $L^2$ completions. The Green operator commutes with $\bar{\partial }$ and ${\bar{\partial }}^{\ast }$, since the Laplacian does and its inverse is unique on the orthogonal complement of the kernel.

Expanding $\alpha =H\alpha +{\Delta }_{\bar{\partial }}G\alpha$ givesThe three summands are orthogonal: harmonic forms are killed by both adjoints, and $⟨\bar{\partial }u,{\bar{\partial }}^{\ast }v⟩=⟨{\bar{\partial }}^{2}u,v⟩=0$. If $\alpha$ is $\bar{\partial }$-closed, its coexact component is orthogonal to every closed form; taking its inner product with $\alpha$ shows that component has norm zero. Conversely the first two components are closed. Thus $\boxed{\ker \bar{\partial }={\mathcal{H}}_{\bar{\partial }}^{p,q}\oplus \bar{\partial }{A}^{p,q-1}}$, with out-of-range form spaces taken to be zero.

Work over $\mathbb{C}$, or another field of characteristic zero. The Weyl algebra $A_n$ is generated by $x_1,\dots ,x_n,{\partial }_1,\dots ,{\partial }_n$ with commuting $x$'s, commuting $\partial$'s and $[{\partial }_i,x_j]={\delta }_{ij}$. Its ordered monomial basis of a Weyl algebra consists of the monomials $x^{\alpha }{\partial }^{\beta }$. One way to verify independence is to apply a finite operator relation to the formal exponential $e^{\mathbf{t}\cdot \mathbf{x}}$: after canceling that exponential the relation becomes a polynomial identity $\sum c_{\alpha \beta }{\mathbf{x}}^{\alpha }{\mathbf{t}}^{\beta }=0$, so every coefficient vanishes. The relations already reorder every word into that basis.

Give both generators degree one. The Bernstein filtration isThus $\dim F_m{A}_n=\left(\genfrac{}{}{0ex}{}{m+2n}{2n}\right)$. Commutator terms have lower degree, accounting for the commutative symbol algebra. Since that algebra is Noetherian, leading-symbol generation followed by finite downward degree cancellation proves that $A_n$ is Noetherian on both sides.

A left finitely generated module $M$ has a good filtration, for example $M_m={\sum }_j{F}_m{A}_n{m}_j$ for a finite generating set of the module. More generally one allows fixed degree shifts of the generators. The associated graded module is finite over the symbol algebra. DefineThis is the characteristic variety of a Weyl algebra module for the Bernstein algebra filtration. It records where the module's leading symbols remain nonzero and makes noncommutative module growth accessible to commutative algebra.

For a fixed algebra filtration it is independent of the good filtration. Any two such filtrations differ by bounded shifts $M_i\subseteq {\tilde{M}}_{i+c}$ and conversely, since each finite set of generators occurs in bounded degree in the other filtration. If a degree-$d$ operator has symbol annihilating $\mathrm{gr}M$, its $r$th power maps $M_i$ into $M_{i+rd-r}$. For $r>2c$, bounded-shift comparison forces the power of that symbol to annihilate $\mathrm{gr}\tilde{M}$. Reversing the argument gives equal radicals of ideals of annihilators. This is independence of characteristic support from a good module filtration. Changing the algebra filtration itself, for example to the order filtration of a Weyl algebra with the $x_i$ in degree zero, need not preserve the same variety; the convention matters.

The Hilbert-Serre theorem gives an eventual cumulative polynomialHere $d$ is also the Gelfand–Kirillov dimension of a module, and $e(M)>0$ is an integer multiplicity of a filtered module for nonzero $M$. Finite generation bounds $d\le 2n$.

Here is a proof sketch of the essential lower bound, rather than an appeal to its name. For a nonzero $f\in F_m{A}_n$, choose a nonzero monomial of greatest total degree in its ordered expansion, say $x^{\alpha }{\partial }^{\beta }$. The operations $\mathrm{ad}{\partial }_i$ and $\mathrm{ad}(-x_i)$ differentiate this expansion with respect to $x_i$ and ${\partial }_i$. Apply them ${\alpha }_i$ and ${\beta }_i$ times. Lower-degree terms die, and every other monomial of the same degree also dies unless it has exactly those exponents. The result is a nonzero scalar multiple of the chosen coefficient. Characteristic zero is essential for the factorials. Expanding the repeated commutators therefore givesChoose $0\ne v\in M_0$. If $f$ acted as zero on all $M_m$, every $f{v}_{j}v$ would vanish, contrary to $v={\sum }_j{u}_{j}f{v}_{j}v$. Hence the linear action mapis injective. It follows that $\dim F_m{A}_n\le (\dim M_m)(\dim M_{2m})$. Comparing polynomial degrees gives $2n\le 2d$. ThusThis proves Bernstein inequality for Weyl algebra modules through the faithful finite-step action of a Weyl algebra.

The bound is sharp. The polynomial representation $\mathbb{C}[x_1,\dots ,x_n]\cong A_n/{\sum }_i{A}_n{\partial }_i$ has the zero section as its characteristic variety of a Weyl algebra module, namely $\xi =0$ and dimension $n$. It is a simple module: differentiate a nonzero polynomial sufficiently to obtain a nonzero constant, then multiply by the $x_i$ to generate the whole module. The module $A_n/{\sum }_i{A}_n{x}_i$ similarly has characteristic variety of a Weyl algebra module $x=0$, a fiber of the cotangent bundle. A nonzero free module has the whole cotangent bundle and dimension $2n$. No nonzero finite-dimensional module exists for $n\ge 1$, also seen by taking the trace of $[{\partial }_1,x_1]=I$.

Modules attaining dimension $n$ are holonomic Weyl algebra modules (with the zero module included conventionally). Every nonzero subquotient remains of dimension $n$ by the lower bound and monotonicity of growth. Compatible filtrations in a short exact sequence make the leading multiplicity of a filtered module additive. Since each nonzero factor has positive integer multiplicity of a filtered module, the number of factors in any strict submodule chain is bounded by $e(M)$. Together with Noetherianity, this proves finite composition length. It illustrates why characteristic variety of a Weyl algebra module and multiplicity of a filtered module provide useful structure beyond a list of presentations. In positive characteristic there are finite-dimensional Weyl modules, so the characteristic-zero inequality and this discussion must not be asserted without its field hypothesis.

A symplectic manifold is a smooth manifold $P$ with a closed, nondegenerate two-form $\omega$. Nondegeneracy forces $\dim P=2n$. Examples are ${\mathbb{R}}^{2n}$ with $\omega ={\sum }_{i}d{q}^i\wedge d{p}_i$, an oriented surface with a nowhere-zero area form, and every cotangent bundle with its canonical form.

A Poisson manifold has a bivector $\Pi$ such that $\{f,g\}=\Pi (df,dg)$ is an antisymmetric bilinear Poisson bracket, is a derivation in each argument, and satisfies the Jacobi identity. Its rank need not be full or constant. The zero bivector gives a Poisson manifold on any smooth manifold, including an odd-dimensional or nonorientable one. A nonzero example on ${\mathbb{R}}^3$ is the Lie-Poisson bracket $\{x_i,x_j\}={ϵ}_{ijk}{x}_k$: it has rank two off the origin and rank zero at the origin, so it does not arise from a symplectic form on the whole three-dimensional space. Even on ${\mathbb{R}}^2$, $\Pi =x{\partial }_x\wedge {\partial }_y$ is Poisson, since its Jacobi condition is a three-vector and hence vanishes, but its degeneracy on $x=0$ prevents it from being the inverse of a global symplectic form. A manifold carrying a degenerate Poisson structure might separately admit some other symplectic structure; these are distinct claims.

At each point of a symplectic manifold, linear nondegeneracy gives a basis with $\omega ={\sum }_i{e}^i\wedge f^i$. Its top wedge product of differential forms isThus ${\omega }^n/n!$ is a global nowhere-zero volume form and selects a consistent symplectic orientation. This proves every symplectic manifold is orientable without choosing a global frame.

Let $\pi :T^{\ast }M\to M$ and let a point of the cotangent bundle be $(x,p)$ with $p\in T_x^{\ast }M$. Define the canonical Liouville one-form intrinsically by ${\theta }_{(x,p)}(V)=p(d\pi (V))$. In local coordinates it is $\theta =p_{i}d{q}^i$, soThis definition is global, $d\omega =0$ by $d^2=0$, and its coordinate matrix has invertible blocks. Hence $T^{\ast }M$ is symplectic for every smooth $M$, even if $M$ itself is not orientable.

The coordinate Jacobi condition for a Poisson bivector isNecessity follows by applying the Jacobi identity to three coordinate functions. For arbitrary functions, the second-derivative terms in the Jacobiator cancel by antisymmetry of $\Pi$; the terms left are exactly this coefficient multiplying $f_i{g}_j{h}_k$, proving sufficiency.

For a symplectic form, take ${\iota }_{X_f}\omega =df$ and $\{f,g\}=\omega (X_f,X_g)$. With these signs the matrix of $\Pi$ is $-{\omega }^{-1}$. Differentiation gives ${\partial }_{\ell }\Pi =\Pi ({\partial }_{\ell }\omega )\Pi$. The cyclic expression above consequently equalswhich vanishes because $d\omega =0$. This directly proves that a symplectic manifold defines a Poisson manifold.