topology (point-set topology, point-free topology)

see also differential topology, algebraic topology, functional analysis and topological homotopy theory


Basic concepts

Universal constructions

Extra stuff, structure, properties


Basic statements


Analysis Theorems

topological homotopy theory

Differential geometry

synthetic differential geometry


from point-set topology to differentiable manifolds

geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry



smooth space


The magic algebraic facts




  • (shape modality \dashv flat modality \dashv sharp modality)

    (ʃ)(ʃ \dashv \flat \dashv \sharp )

  • dR-shape modality\dashv dR-flat modality

    ʃ dR dRʃ_{dR} \dashv \flat_{dR}

  • tangent cohesion

    • differential cohomology diagram
    • differential cohesion

      • (reduction modality \dashv infinitesimal shape modality \dashv infinitesimal flat modality)

        (&)(\Re \dashv \Im \dashv \&)

      • graded differential cohesion

        • fermionic modality\dashv bosonic modality \dashv rheonomy modality

          (Rh)(\rightrightarrows \dashv \rightsquigarrow \dashv Rh)

        • id id fermionic bosonic bosonic Rh rheonomic reduced infinitesimal infinitesimal & étale cohesive ʃ discrete discrete continuous *

          \array{ && id &\dashv& id \ && \vee && \vee \ &\stackrel{fermionic}{}& \rightrightarrows &\dashv& \rightsquigarrow & \stackrel{bosonic}{} \ && \bot && \bot \ &\stackrel{bosonic}{} & \rightsquigarrow &\dashv& Rh & \stackrel{rheonomic}{} \ && \vee && \vee \ &\stackrel{reduced}{} & \Re &\dashv& \Im & \stackrel{infinitesimal}{} \ && \bot && \bot \ &\stackrel{infinitesimal}{}& \Im &\dashv& \& & \stackrel{\text{étale}}{} \ && \vee && \vee \ &\stackrel{cohesive}{}& ʃ &\dashv& \flat & \stackrel{discrete}{} \ && \bot && \bot \ &\stackrel{discrete}{}& \flat &\dashv& \sharp & \stackrel{continuous}{} \ && \vee && \vee \ && \emptyset &\dashv& \ast }



          Lie theory, ∞-Lie theory

          differential equations, variational calculus

          Chern-Weil theory, ∞-Chern-Weil theory

          Cartan geometry (super, higher)

          Higher Lie theory

          ∞-Lie theory (higher geometry)


          Smooth structure

          Higher groupoids

          Lie theory

          ∞-Lie groupoids

          ∞-Lie algebroids

          Formal Lie groupoids




          \infty-Lie groupoids

          \infty-Lie groups

          \infty-Lie algebroids

          \infty-Lie algebras



          A foliation of a manifold XX is a decomposition into submanifolds. These submanifolds are called the leaves of the foliation and one says that XX is foliated by the leaves. In order to have a useful notion, leaves are required to behave sufficiently well locally. In particular if all leaves have the same dimension then one speaks of a regular foliation, which is the case discussed here. If the dimension of leaves is allowed to vary one speaks instead a singular foliation, see there for more details.

          For smooth manifolds smooth foliations are decomposition into immersed submanifolds such that locally this is by the fibers of a submersion (the projection to the space of leaves).

          For smooth manifolds XX, foliations arise (and this was the historical motivation for introducing them in (Ehresmann), (Reeb)) from subbundles of the tangent bundle ETXE \hookrightarrow T X which are integrable distributions (in that the Lie bracket of vector fields that are sections of EE is again a section of EE): the leaves are the submanifolds whose tangent vectors are sections of EE. If one thinks of EE as encoding a differential equation then the leaves are the solution spaces to this equation.

          Expressed in terms of higher Lie theory such an integrable distribution is a sub-Lie algebroid of the tangent Lie algebroid of XX. Accordingly, under Lie integration of this structure foliations of XX are also equivalently encodes as Lie groupoids whose space of objects is XX and whose orbits are the leaves of the foliation.

          Moreover, foliations are classified by Cech cohomology cocycles with coefficients in a topological groupoid/Lie groupoid called the Haefliger groupoid. These relations make foliation theory of sub-topic of Lie groupoid-theory. See also at motivation for higher differential geometry.

          The Haefliger groupoids in fact classifies structures slightly more general than foliations: Haefliger structures.


          There are several equivalent definitions of foliations.

          Original definition

          Let MM be an nn-dimensional topological manifold. A decomposition of MM as a disjoint union of connected subsets V αV_\alpha, called leaves,

          M= αV α M = \cup_\alpha V_\alpha

          is called a foliation if there is a cover of MM by a collection of “special” charts of the form (U,ϕ)(U, \phi), ϕ=(ϕ 1,,ϕ n):U n\phi = (\phi_1,\ldots,\phi_n) : U \to \mathbb{R}^n such that for each “special” chart and each α\alpha there is a number pnp\leq n, called the dimension of the foliation, such that the intersection of any given leaf V αV_\alpha with UU is one of the level sets, i.e. the solution of the system ϕ r(x)=const=const(r,U,α)\phi_r(x) = const = const(r,U,\alpha) for all r>pr\gt p.

          If the manifold is a smooth manifold, the charts may be required to be smooth too, to obtain the notion of a smooth foliation or folitation in differential geometry. In this case, the pp-dimensional foliations with underlying manifold XX are in 1-1 correspondence with integrable distributions of hyperplanes of dimension pp in the tangent bundle of XX.

          Alternative definitions

          The following equivalent definitions and their relation are discussed for instance in (IfLg, 1.2).


          A foliation atlas of a manifold XX of dimension nn and leaf-codimension qq is an atlas {ϕ i 1:R nX} i\{\phi_i^{-1}: R^n \to X\}_i such that the transition functions are globally of the form

          ϕ ij:(x,y)(g ij(x,y),h ij(y)) \phi_{i j} : (x,y) \mapsto (g_{i j}(x,y), h_{i j}(y))

          with respect to the canonical decomposition n= nq× q\mathbb{R}^n = \mathbb{R}^{n-q} \times \mathbb{R}^q.

          n ϕ ij n q h ij q. \array{ \mathbb{R}^n &\stackrel{\phi_{i j}}{\to}& \mathbb{R}^n && \\ \downarrow && \downarrow \\ \mathbb{R}^q &\stackrel{h_{i j}}{\to}& \mathbb{R}^q } \,.

          A foliation atlas of a manifold XX of dimension nn and leaf-codimension qq is an open cover {U iX} i\{U_i \to X\}_i of XX equipped with submersions {s i:U i q}\{ s_i \colon U_i \to \mathbb{R}^q \} such that there exists diffeomorphisms

          γ ij:s j(U iU j)s i(U iU j) \gamma_{i j} \colon s_j(U_i \cap U_j) \to s_i(U_i \cap U_j)

          satisfying on each U iU jU_i \cap U_j the condition

          s i=γ ijs j. s_i = \gamma_{i j} \circ s_j \,.

          Given a foliation atlas as in def. , the diffeomorphisms {γ ij} i,j\{\gamma_{i j}\}_{i,j} satisfy the Cech cocycle condition

          γ ijγ jk=γ ik. \gamma_{i j} \circ \gamma_{j k} = \gamma_{i k} \,.

          This is called the Haefliger cocycle of the foliation atlas.


          A smooth foliation of a smooth manifold XX is equivalently an integrable distribution (or an integrable subbundle) ETXE \hookrightarrow T X.

          In terms of Lie algebroids and Lie groupoids

          Definition above is immediately reformulated equivalently as the following statement in higher Lie theory.


          For XX a smooth manifold, a foliation of XX is equivalently a Lie algebroid over XX such that the anchor map is an injection.


          The Lie groupoids which under Lie differentiation give rise to Lie algebroids with injective anchors as in def. are precisely those which are Morita-equivalent to étale groupoids (hence are the foliation groupoids, see there for more details) (Crainic-Moerdijk 00, theorem 1).

          One says:


          A Lie groupoid integrates a given foliation, if it Lie integrates the coresponding Lie algebroid, according to def. .


          For a simple foliation 𝒟\mathcal{D} of a manifold XX, example , hence one where there is a submersion

          p 𝒟:XX/𝒟 p_{\mathcal{D}} \;\colon\; X \to X/\mathcal{D}

          to the leaf space, that map itself is the atlas of a Lie groupoid 𝒢\mathcal{G} which integrates the foliation, which is the Cech nerve

          𝒢 =(X×X/𝒟XX/𝒟). \mathcal{G}_\bullet = \left( X \underset{X/\mathcal{D}}{\times} X \stackrel{\to}{\to} X/\mathcal{D} \right) \,.

          Among all Lie groupoids that integrate a given foliation \mathcal{F} of a manifold XX, the two special extreme

          1. holonomy groupoidHol(X,) Hol(X,\mathcal{F})_\bullet

          2. monodromy groupoidMonod(X,) Monod(X,\mathcal{F})_\bullet


          Let 𝒢 \mathcal{G}_\bullet be a Lie groupoid with (for simplicity) connected source-fibers.

          Then there are maps

          hol:Monod(X,) g 𝒢𝒢 hol GHol(X,) hol \;\colon\; Monod(X,\mathcal{F})_\bullet \stackrel{g_{\mathcal{G}}}{\to} \mathcal{G}_\bullet \stackrel{hol_G}{\to} Hol(X,\mathcal{F})

          which are surjective local diffeomorphisms and such that the composite is the holonomy morphism (…).

          This is (Crainic-Moerdijk 00, prop. 1).

          Of higher smooth spaces

          One can consider the generalization of the notion of foliation of manifolds to foliations of structures in higher differential geometry such as Lie groupoids and Lie algebroids. See at

          In terms of differential cohesive higher geometry

          The following is a suggestion for an axiomatization of foliations in higher differential geometry in the formalization of differential cohesion, followed by some considerations showing how these axioms reproduce traditional theory.

          Under construction.

          Definition (Notation)

          Let H\mathbf{H} be a cohesive (∞,1)-topos equipped with differential cohesion.

          As usual, we write ()(\int \dashv \flat \dashv \sharp) for the adjoint triple of modalities that defines the cohesion (shape modality \dashv flat modality \dashv sharp modality) and we write (Red inf inf)(Red \dashv \int_{inf} \dashv \flat_{inf}) for the adjoint triple of modalities that defines the differential cohesion (reduction modality \dashv infinitesimal shape modality \dashv infinitesimal flat modality).

          Below we are going to axiomatize aspects of the traditional description of foliations by Lie groupoids/foliation groupoids as discussed above, so we start by briefly setting up some terminology on groupoid objects in differential cohesion.

          Definition (Notation for groupoid objects and atlases)

          By the Giraud-Rezk-Lurie axioms we may think of a 1-epimorphism 𝒢 0𝒢\mathcal{G}_0 \to \mathcal{G} in H\mathbf{H} as an atlas of the cohesive \infty-groupoid 𝒢H\mathcal{G} \in \mathbf{H}, exhibiting equivalently the corresponding groupoid object which we write

          𝒢 𝒢 0 × 𝒢 +1. \mathcal{G}_\bullet \coloneqq \mathcal{G}_0^{\times^{\bullet+1}_{\mathcal{G}}} \,.

          Hence we use notation where omitting the subscript decorationon a groupoid object 𝒢 H Δ op\mathcal{G}_\bullet \in \mathbf{H}^{\Delta^{op}} refers to its realization

          𝒢lim n𝒢 nH. \mathcal{G} \coloneqq {\underset{\rightarrow}{\lim}}_n \mathcal{G}_{n} \;\;\; \in \mathbf{H} \,.

          We have the following “geometricity” constraints on groupoid objects.


          For f:XYf \colon X \to Y any morphism in H\mathbf{H}, write

          XL(f)Y× infY infX X \stackrel{L(f)}{\to} Y \underset{\int_{inf} Y}{\times} \int_{inf} X

          for the canonical morphism induced by the naturality of the inf\int_{inf}-unit. We say that

          1. ff is a formally smooth morphism (or submersion) if L(f)L(f) is a 1-epimorphism;

          2. ff is a formally étale morphism (or local diffeomorphism) if L(f)L(f) is an equivalence.

          Now if π:𝒢 0𝒢\pi \colon \mathcal{G}_0 \to \mathcal{G} is a 1-epimorphism, hence an atlas for the cohesive \infty-groupoid 𝒢\mathcal{G}, then we say about the corresponding groupoid object as in def. , that

          1. 𝒢 \mathcal{G}_\bullet is an geometric ∞-groupoid if its atlas π\pi is a formally smooth morphism/submersion.

          2. 𝒢 \mathcal{G}_\bullet is an étale ∞-groupoid if its atlas π\pi is a formally étale morphism/local diffeomorphism.


          For XHX \in \mathbf{H}, a foliation of XX is a morphism 𝒟:XX//𝒟\mathcal{D} \colon X \to X//\mathcal{D} in H\mathbf{H} which is

          1. a 1-epimorphism;

          2. a formally smooth morphism.

          Equivalently a foliation of XX is a map that exhibits XX as an atlas for a geometric ∞-groupoid, def. .

          Given a foliation 𝒟\mathcal{D} on XX we say that the leaf decomposition of XX induced by the foliation is the (∞,1)-pullback

          LeafDec(𝒟)(X//𝒟)×X//𝒟X LeafDec(\mathcal{D}) \coloneqq \flat(X//\mathcal{D}) \underset{X//\mathcal{D}}{\times} X


          LeafDec(𝒟) ι 𝒟 X 𝒟 (X//𝒟) X//𝒟, \array{ LeafDec(\mathcal{D}) &\stackrel{\iota_{\mathcal{D}}}{\to}& X \\ \downarrow && \downarrow^{\mathrlap{\mathcal{D}}} \\ \flat (X//\mathcal{D}) &\to& X//\mathcal{D} } \,,

          where the bottom map is the counit of the flat modality.

          Now let 𝔾Grp 2(H)\mathbb{G} \in Grp_2(\mathbf{H}) a braided ∞-group. Write

          Ω cl 2:=Ω flat 2(,𝔾) \Omega^2_{cl} := \Omega^2_{flat}(-,\mathbb{G})

          for the corresponding coefficient object for curvature forms of 𝔾\mathbb{G}-principal ∞-connections (as discussed there).


          Given a closed 2-form

          ω:XΩ cl 2 \omega \;\colon\; X \to \Omega^2_{cl}

          a foliation of XX by ω\omega-isotropic subspaces is a foliation 𝒟:XX//𝒟\mathcal{D} \colon X \to X//\mathcal{D} as in def. such that the restriction of ω\omega to the leaf decomposition is equivalent to the 0-form

          ι 𝒟 *ω0, \iota_{\mathcal{D}}^* \omega \simeq 0 \,,

          hence such that the top composite morphism in the diagram

          ()×X X ω Ω cl 2 (X//𝒟) X//𝒟 \array{ (\flat \mathcal{E}) \underset{\mathcal{E}}{\times} X &\to& X &\stackrel{\omega}{\to}& \Omega^2_{cl} \\ \downarrow && \downarrow \\ \flat (X//\mathcal{D}) &\to& X//\mathcal{D} }

          factors through the point.

          We now discuss how low-degree examples of this axiomatics interpreted in H\mathbf{H} \coloneqq SynthDiff∞Grpd reproduces the traditional notions of foliations and isotropic submanifolds of pre-symplectic manifolds.

          In the following we regard smooth manifolds canonically under the embedding

          SmoothMfd\hookrightarrow Smooth∞Grpd i !\stackrel{i_!}{\hookrightarrow} SynthDiff∞Grpd =H= \mathbf{H}

          as reduced synthetic differential ∞-groupoids.


          A smooth function f:XYf \colon X \to Y between smooth manifolds is

          1. a local diffeomorphism in the traditional sense precisely if it is a formally étale morphism in the sense of def. ;

          2. a submersion in the traditional sense precisely if it is a formally smooth morphism in the sense of def. .

          This is discussed at SynthDiff∞Grpd. The idea of the proof is to use the ∞-cohesive site of definition CartSp synthdiff{}_{synthdiff} and evaluate the homotopy pullback in def. first on all representables of the form U×D 1U \times D_1 where UU ranges over Cartesian spaces and where D 1D_1 is the first order ininfitesimal neighbourhood of the origin on 1\mathbb{R}^1 (whose smooth algebra of fucntions is the ring of dual numbers). Then the homotopy pullback is represented as an ordinary pullback of sheaves over Cartesian spaces and the naturality diagram in question is the diagram of tangent bundles

          TX df TY X f Y. \array{ T X &\stackrel{d f}{\to}& T Y \\ \downarrow && \downarrow \\ X &\stackrel{f}{\to}& Y } \,.

          With this now the claim is reduced to the traditional characterization of submersions and local diffeomorphisms.


          Let 𝒢\mathcal{G} be a smooth groupoid which has a presentation by a simplicial presheaf 𝒢 \mathcal{G}_\bullet with values in 2-coskeletak Kan complexes where objects and morphisms are represented by a smooth manifold each, and consider it equipped with the induced atlas 𝒢 0𝒢\mathcal{G}_0 \to \mathcal{G}. Then

          in the sense of def. .

          This follows by the corresponding discussion at SynthDiff∞Grpd. The idea of the proof is that one presents the atlas in the projective model structure on simplicial presheaves by the décalage fibration resolution, schematically

          g 𝒢 0 g 1 g 2 g 1 g 2 𝒢. \array{ && g \\ & \swarrow && \searrow & &&& &&& \mathcal{G}_0 \\ g_1 &&\to&& g_2 \\ \\ &&&& &&&&&& \downarrow \\ \\ g_1 &&\to&& g_2 &&&&&& \mathcal{G} } \,.

          Then the homotopy pullback 𝒢× inf𝒢 infX\mathcal{G} \underset{\int_{inf}\mathcal{G}} {\times}\int_{inf} X is presented by an ordinary pullback and so example applies degreewise. In degree 0 the above resolution is the target map in the groupoid 𝒢\mathcal{G} and so by example this is a submersion or local diffeomorphism, respectively, as claimed.


          Let XX be a smooth manifold and let 𝒟\mathcal{D} be a traditional foliation on XX which is a simple foliation, example , in that the leaf space X/𝒟X/\mathcal{D} exists as a smooth manifold and the projection map XX/𝒟X \to X/\mathcal{D} is a submersion.

          Then by the discussion at synthetic differential ∞-groupoid, this projection map is also a formally smooth morphism in H\mathbf{H} according to def. . Moreover, being a quotient projection it is a 1-epimorphism and hence exhibits the corresponding foliation groupoid

          (X×X/𝒟XX/𝒟) \left( X \underset{X/\mathcal{D}}{\times} X \stackrel{\to}{\to} X/\mathcal{D} \right)

          as a geometric ∞-groupoid in the sense of def. .

          Now (X//𝒟)\flat ( X// \mathcal{D}) is the underlying set of points of the leaf space, regarded as a discrete ∞-groupoid. So we have the pasting diagram of pullbacks

          L l lX/𝒟L l X 𝒟 * l lD/𝒳* X/𝒟 \array{ L_{l} &\to& \coprod_{l \in X/\mathcal{D}} L_l &\to& X \\ \downarrow && \downarrow && \downarrow^{\mathrlap{\mathcal{D}}} \\ {*} &\stackrel{\vdash l}{\to}& \coprod_{l \in D/\mathcal{X}}{*} &\to& X/\mathcal{D} }

          for every leaf L lL_l labeled by the point lX/𝒟l \in X/\mathcal{D} in leaf space, which exhibits the leaf decomposition of XX under 𝒟\mathcal{D} according to def. as the disjoint union of the leaves of (X,𝒟)(X,\mathcal{D}) in the traditional sense, injected into XX in the canonical way.


          Consider now 𝒢 \mathcal{G}_\bullet any Lie groupoid, hence in particular a smooth groupoid 𝒢H\mathcal{G} \in \mathbf{H} equipped with an atlas 𝒢 0𝒢\mathcal{G}_0 \to \mathcal{G}, which hence by example exhibits a geometric ∞-groupoid in the sense of def. , hence a foliation 𝒟:𝒢 0𝒢\mathcal{D} \;\colon\; \mathcal{G}_0 \to \mathcal{G} in the sense of def. .

          Computation of the homotopy pullback

          LeafDec 𝒟(𝒢 0) 𝒢 0 𝒟 (𝒢) 𝒢 =𝒢 0//𝒟 \array{ LeafDec_{\mathcal{D}}(\mathcal{G}_0) &\to& \mathcal{G}_0 \\ \downarrow && \downarrow^{\mathrlap{\mathcal{D}}} \\ \flat( \mathcal{G} ) &\to& \mathcal{G} & = \mathcal{G}_0//\mathcal{D} }

          by the method as in example shows that LeafDec 𝒟(𝒢 0)LeafDec_{\mathcal{D}}(\mathcal{G}_0) is the smooth groupoid presented by the presheaf of groupoids whose

          • smoothyl UU-parameterized collection of objects are smoothly UU-parameterized collections of morphisms {g 0g(u)} uU\{g_0 \to g(u)\}_{u \in U} in 𝒢 \mathcal{G}_\bullet with g 0g_0 held fixed;

          • morphisms are given by precomposing these collections with a fixed (not varying with UU) morphism in 𝒢 \mathcal{G}_\bullet.

          This means that if 𝒢 \mathcal{G}_\bullet is an étale groupoid to start with, then LeafDec 𝒟(𝒢 0)LeafDec_{\mathcal{D}}(\mathcal{G}_0) is the disjoint union of all its orbit leaves (as smooth manifolds), hence that the abstractly defined LeafDec 𝒟(𝒢 0)LeafDec_{\mathcal{D}}(\mathcal{G}_0) reproduces the decomposition of 𝒢 0\mathcal{G}_0 by the foliation encoded by the foliation groupoid 𝒢 \mathcal{G}_\bullet as in traditional theory.


          We may suggestively summarize example in words as:

          “In cohesive higher geometry, every foliation is a simple foliation.”

          Because the quotient map to the leaf space of a general foliation is always a submersion/formally smooth morphism, just not always onto a manifold, but onto a higher space.


          If the 𝒢 \mathcal{G}_\bullet in example is not an étale groupoid to start with but a more general Lie groupoid, then LeafDec 𝒟(𝒢 0)LeafDec_{\mathcal{D}}(\mathcal{G}_0) in general retains information of non-discrete isotropy groups of 𝒢 \mathcal{G}_\bullet.

          We might decide to rule out this possibility by adding to the axioms in def. the clause that X//𝒢X//\mathcal{G} (here 𝒢 0//𝒟\mathcal{G}_0//\mathcal{D}) be étale.

          However, we might also keep that case and regard it as the first instance of what is certainly a natural phenomenon as we pass to higher geometry, namely that leaves of a foliation no longer need to manifolds but will be (higher) groupoids themselves.

          Finally, given the above it is clear how isotropic appear in the cohesive axiomatics.


          For 𝔾=U(1)\mathbb{G} = U(1) the smooth circle group, Ω cl 2\Omega^2_{cl} is the ordinary sheaf of closed differential 2-forms under the canonical embedding

          Sh(CartSp)Sh (CartSp)SmoothGrpdi !SynthDiffGrpd. Sh(CartSp) \hookrightarrow Sh_\infty(CartSp) \simeq Smooth\infty Grpd \stackrel{i_!}{\hookrightarrow} SynthDiff\infty\mathrm{Grpd} \,.

          Then for XX a smooth manifold a morphism ω:XΩ cl 2\omega \;\colon\; X \to \Omega^2_{cl} is equivalently a differential 2-form.

          Then for 𝒟:XX//𝒟\mathcal{D} \;\colon\; X \to X//\mathcal{D} a traditional foliation of XX regarded as a foliation in SynthDiffGrpdSynthDiff\infty Grpd by example , it follows with the discussion there that ι 𝒟 *ω\iota_{\mathcal{D}}^* \omega is precisely the collection of restriction of ω\omega to each of the leaves of the foliation. Therefore this is a foliation by isotropic submanifolds in the traditional sense precisely if it is an ω\omega-isotropc foliation in the sense of def. .



          For XYX \to Y a submersion of smooth manifolds, the connected fibers of the submersion constitute a foliation of XX whose codimension is the dimension of YY. Foliations of this form are called simple foliations.


          Every Lie groupoid gives a folitation on its space of objects: the leaves are the orbits. Conversely, every regular foliation gives rise to its holonomy groupoid. This is a (not necessarily Hausdorff) Lie groupoid whose orbits are the leaves of the original foliation, and which in some sense is minimal with this condition.


          Every Poisson manifold has a canonical structure of a foliation whose leaves are its maximal symplectic submanifolds, called symplectic leaves.


          Leaf space

          The set of components of a foliation is typically non-Hausdorff, which is one of the motivations of the Connes-style noncommutative geometry.


          Folitation are classified by the Haefliger groupoid. See at Haefliger theorem.

          Characteristic classes

          There is a theory of characteristic classes for foliations. A most well known example is the Godbillon-Vey characteristic class.


          The notion of foliated manifolds was introduced in the 1950s, motivated from partial differential equation theory, in

          • Charles Ehresmann, …

          • Reeb, …

          • Eli Cartan, Sur l’intégration des équations différentiels completement intégrable, Oeuvres Complètes, Pt. II, Vol. I, 555-561.

          A discussion in differential geometry is in

          • Robert Hermann, On the differential geometry of foliations, Annals of Mathematics, Second Series, Vol. 72, No. 3 pp. 445-457 (jstor)

          A textbook account with a view to the modern formulation in Lie groupoid theory is

          Foliations in Lie groupoid theory are discussed in more detail in

          The corresponding groupoid algebras are discussed in chapter 2, section 8 of

          See also

          A survey by Fuks in Russian Itogi:

          • Д. Б. Фукс, Слоения, Итоги науки и техн. Сер. Алгебра. Топол. Геом., 1981, том 18, стр. 151–-213, pdf

          Cohomology of formal vector fields and characteristic classes of foliations were originally studied in the papers

          • D. B. Fuks, Cohomology of infinite-dimensional Lie algebras and characteristic classes of foliations (book, Rus. and Eng. versions)

          • I. M. Gelʹfand, B. L. Feĭgin, D. B. Fuks, Cohomology of the Lie algebra of formal vector fields with coefficients in its dual space and variations of characteristic classes of foliations, Funkcional. Anal. i Priložen. 8 (1974), no. 2, 13–29 (Russian original, pdf)

          • Claude Godbillon, Cohomologies d’algèbres de Lie de champs de vecteurs formels, Séminaire Bourbaki, 25ème année (1972/1973), Exp. No. 421, pp. 69–87. Lecture Notes in Math. 383, Springer 1974.

          • И. М. Гельфанд, Д. Б. Фукс, Когомологии алгебры Ли формальных векторных полей, Изв. АН СССР. Сер. матем., 1970, 34, в. 2, стр. 322–-337, pdf

          In a series of works of Connes and Moscovici, the local index formulas in the context of transverse geometry of foliations has been studied in connection to a new cyclic homology of a Hopf algebra arising in this context:

          • A. Connes, H. Moscovici, Modular Hecke algebras and their Hopf symmetry, Mosc. Math. J., 4:1 (2004), 67–109; math.QA/0301089, ams; Hopf algebras, cyclic cohomology and the transverse index theory, math.DG/9806109, Comm. Math. Phys. 198, n.1, 1998 MR99m:58186 doi; Rankin-Cohen brackets and the Hopf algebra of transverse geometry, Mosc. Math. J., 4:1 (2004), 111–130; Differentiable cyclic cohomology and Hopf algebraic structures in transverse geometry, in: Essays on geometry and related topics, Vol. 1, 2, Monogr. Enseign. Math. 38, p. 217–255. Enseignement Math., Geneva, 2001 MR2003k:58042
          • A. Connes, Cyclic cohomology and the transverse fundamental class of a foliation, in: Geom. methods in operator algebras (Kyoto, 1983), Pitman Res. Notes in Math. 123, p. 52–144, 1986 MR88k:58149

          More general issues of index theory in noncommutative geometry applied to foliations is in

          • Yu. A. Kordyukov, Noncommutative geometry of foliations, J. K-Theory, 2:2, Special issue in memory of Y. P. Solovyev, Part 1 (2008), 219–327 MR2009m:58018; Index theory and non-commutative geometry on foliated manifolds, Russian Math. Surveys, 64:2 (2009), 273–391 (original: Ю. А. Кордюков, УМН, 64:2(386) (2009), 73–202); Формула следов для трансверсально-эллиптических операторов на римановых слоениях, Алгебра и анализ, 12:3 (2000), 81–105 pdf

          • W. P. Thurston, Existence of codimension-one foliations, Ann. of Math. (2) 104 (1976), no. 2, 249–268 (doi); Foliations and groups of diffeomorphisms, Bull. Amer. Math. Soc. 80 (1974), 304–307 (pdf); The theory of foliations of codimension greater than one, Comment. Math. Helv. 49 (1974), 214–231 (link)

          Last revised on December 7, 2015 at 05:59:35. See the history of this page for a list of all contributions to it.