In category theory, monads, which are monoid objects on endofunctors, play a central role closely related to adjunctions. Monads have been studied mostly in algebraic situations. In this dissertation, we study this concept in some categories of smooth manifolds. Namely, the tangent functor in the category of smooth manifolds is the functor part of a unique monad, which is the main character of this dissertation.
After its construction and the study of uniqueness properties in related categories, we study its algebras, which are to this monad what representations are to a group. We give some examples of algebras, and general conditions that they should satisfy. We characterize them in the category of affine manifolds. We also study an analog of the tangent functor monad and its algebras in algebraic geometry.
We then prove our main theorem: algebras over the tangent functor monad induce foliations on the manifold on which they are defined. This result links the study of these algebras to the study of foliations. A natural question is then to characterize foliations which arise this way. We give some restrictions in terms of the holonomy of such foliations. Finally, we study in greater detail algebras on surfaces, where they take a very simple form, and we nearly characterize them.
We continue the program of structural differential geometry that begins with the notion of a tangent category, an axiomatization of structural aspects of the tangent functor on the category of smooth manifolds. In classical geometry, having an affine structure on a manifold is equivalent to having a flat torsion-free connection on its tangent bundle. This equivalence allows us to define a category of affine objects associated to a tangent category and we show that the resulting category is also a tangent category, as are several related categories. As a consequence of some of these ideas we al…
On the slit tangent manifold $TM^0$ of a Finsler space $(M,F)$ there are given some natural foliations as vertical foliation and some other fundamental foliations produced by the vertical and horizontal Liouville vector fields, see [A. Bejancu, H. R. Farran, Finsler Geometry and Natural Foliations on the Tangent Bundle, Rep. Math. Physics 58, No. 1 (2006), 131-146]. In this paper we consider a $(n,2n-1)$-codimensional subfoliation $(\mathcal{F}_V,\mathcal{F}_Γ)$ on $TM^0$ given by vertical foliation $\mathcal{F}_V$ and the line foliation spanned by vertical Liouville vector field $Γ$ and we gi…
The present paper unifies some aspects concerning the vertical Liouville distributions on the tangent (cotangent) bundle of a Finsler (Cartan) space in the context of generalized geometry. More exactly, we consider the big-tangent manifold $\mathcal{T}M$ associated to a Finsler space $(M,F)$ and of its $\mathcal{L}$-dual which is a Cartan space $(M,K)$ and we define three Liouville distributions on $\mathcal{T}M$ which are integrable. We also find geometric properties of both leaves of Liouville distribution and the vertical distribution in our context.
We first describe the local and global moduli spaces of germs of foliations defined by analytic functions in two variables with p transverse smooth branches, and with integral multiplicities (in the univalued holomorphic case) or complex multiplicities (in the multivalued ''Darboux'' case). We specify normal forms in each class. Then we study on these moduli space the distribution C induced by the following equivalence relation: two points are equivalent if and only if the corresponding foliations have the same analytic invariant curves up to analytical conjugacy. Therefore, the space of leave…
A 2-web in the plane is given by two everywhere transverse 1-foliations. In this paper we introduce the study of singular 2-webs, given by any two foliations, which may be tangent in some points. We show that such two foliations are tangent along a curve, which will be called the polar curve of the 2-web, and we study the relationship between the contact order of leaves of both foliations and the singularities of the polar curve.
In this paper we aim at the description of foliations having tangent sheaf $T\mathcal F$ with $c_1(T\mathcal F)=c_2(T\mathcal F)=0$ on non-uniruled projective manifolds. We prove that the universal covering of the ambient manifold splits as a product, and that the Zariski closure of a general leaf of $\mathcal F$ is an Abelian variety. It turns out that the analytic type of the Zariski closures of leaves may vary from leaf to leaf. We discuss how this variation is related to arithmetic properties of the tangent sheaf of the foliation.
Here, a Finsler manifold (M, F) is considered with corresponding curvature tensor, regarded as 2-forms on the bundle of non-zero tangent vectors. Certain subspaces of the tangent spaces of M determined by the curvature are introduced and called k-nullity foliations of the curvature operator. It is shown that if the dimension of foliation is constant then the distribution is involutive and each maximal integral manifold is totally geodesic. Characterization of the k-nullity foliation is given, as well as some results concerning constancy of the flag curvature, and completeness of their integral…
On the slit tangent manifold of a Finsler manifold M are given the vertical and the Liouville foliations. In this paper we define some new types of vertical forms with respect to the Liouville foliation on TM^0. We define a cohomology group of TM^0 using these new forms. We prove a de Rham type theorem.
Let be M a smooth manifold, A a local algebra and M^{A} a manifold of infinitely near points on M of kind A. We build the canonical foliation on M^{A} et we show that the canonical foliation on the tangent bundle TM is the foliation defined by his canonical field.
Let $v$ be a unit vector field on a complete, umbilic (but not totally geodesic) hypersurface $N$ in a space form; for example on the unit sphere $S^{2k-1} \subset \mathbb{R}^{2k}$, or on a horosphere in hyperbolic space. We give necessary and sufficient conditions on $v$ for the rays with initial velocities $v$ (and $-v$) to foliate the exterior $U$ of $N$. We find and explore relationships among these vector fields, geodesic vector fields, and contact structures on $N$. When the rays corresponding to each of $\pm v$ foliate $U$, $v$ induces an outer billiard map whose billiard table is $U$. …
Biconformal deformations take place in the presence of a conformal foliation, deforming by different factors tangent to and orthogonal to the foliation. Four-manifolds endowed with a conformal foliation by surfaces present a natural context to put into effect this process. We develop the tools to calculate the transformation of the Ricci curvature under such deformations and apply our method to construct Einstein $4$-manifolds. One particular family of examples have ends that collapse asymptotically to ${\mathbb R}^2$.
We show that any co-orientable foliation of dimension two on a closed orientable $3$-manifold with continuous tangent plane field can be $C^0$-approximated by both positive and negative contact structures unless all the leaves are simply connected. As applications we deduce that the existence of a taut $C^0$-foliation implies the existence of universally tight contact structures in the same homotopy class of plane fields and that a closed $3$-manifold that admits a taut $C^0$-foliation of codimension-1 is not an $L$-space in the sense of Heegaard-Floer homology.
We introduce horizontal holonomy groups, which are groups defined using parallel transport only along curves tangent to a given subbundle $D$ of the tangent bundle. We provide explicit means of computing these holonomy groups by deriving analogues of Ambrose-Singer's and Ozeki's theorems. We then give necessary and sufficient conditions in terms of the horizontal holonomy groups for existence of solutions of two problems on foliated manifolds: determining when a foliation can be either (a) totally geodesic or (b) endowed with a principal bundle structure. The subbundle $D$ plays the role of an…
Let $g_t$ be a smooth 1-parameter family of negatively curved metrics on a closed hyperbolic 3-manifold $M$ starting at the hyperbolic metric. We construct foliations of the Grassmann bundle $Gr_2(M)$ of tangent 2-planes whose leaves are (lifts of) minimal surfaces in $(M,g_t)$. These foliations are deformations of the foliation of $Gr_2(M)$ by (lifts of) totally geodesic planes projected down from the universal cover $\mathbb{H}^3$. Our construction continues to work as long as the sum of the squares of the principal curvatures of the (projections to $M$) of the leaves remains pointwise small…
Let G be a simple Lie group of real rank one, and S the ideal boundary of the corresponding symmetric space of noncompact type (H^n_R, H^n_C, H^n_H or H^2_O). We show the finiteness of the possible values of the secondary characteristic classes of transversely homogeneous foliations on a fixed manifold whose transverse structures are modeled on the G-action on S, except the case where G=SO(n+1,1) for even n. For this exceptional case, we construct examples of foliations on a manifold which break the finiteness and show a weaker form of the finiteness. These are generalizations of a finiteness …
Let $D$ be a bounded logarithmically convex complete Reinhardt domain in $\mathbb{C}^n$ centered at the origin. Generalizing a result for the one-dimensional case of the unit disk, we prove that the $C^*$-algebra generated by Toeplitz operators with bounded measurable separately radial symbols (i.e., symbols depending only on $|z_1|$, $|z_2|$, ..., $|z_n|$) is commutative. We show that the natural action of the $n$-dimensional torus $\mathbb{T}^n$ defines (on a certain open full measure subset of $D$) a foliation which carries a transverse Riemannian structure having distinguished geometric fe…
We detail the construction of a weak Poisson bracket over a submanifold of a smooth manifold M with respect to a local foliation of this submanifold. Such a bracket satisfies a weak type Jacobi identity but may be viewed as a usual Poisson bracket on the space of leaves of the foliation. We then lift this weak Poisson bracket to a weak odd Poisson bracket on the odd tangent bundle, interpreted as a weak Koszul bracket on differential forms on M. This lift is achieved by encoding the weak Poisson structure into a homotopy Poisson structure on an extended manifold, and lifting the Hamiltonian fu…
Let f : Y -> X be a morphism of complex projective manifolds, and let F be a subsheaf of the tangent bundle which is closed under the Lie bracket, but not necessarily a foliation. This short paper contains an elementary and very geometric argument to show that all obstructions to deforming the morphism f along the sheaf F lie in the first cohomology group H^1(Y, F_Y) of the sheaf F_Y, which is the image of f^*(F) in f^*(T_X) under the pull-back of the inclusion map. Special cases of this result include the theory of deformation along a (possibly singular) foliation, logarithmic deformation the…
The author discusses in some detail the old definitions of the curvature tensors for rigged metrized distributions on manifolds given by Schouten, Wagner, and Solov'ev. To calculate the Solov'ev sectional and Ricci curvatures for homogeneous sub-Riemannian manifolds, the author suggests to use in some cases special riggings of invariant completely non- holonomic distributions on manifolds. As a justification, we find a foliation on the cotangent bundle over a Lie group G whose leaves are tangent to invariant Hamiltonian vector fields for the Pontryagin-Hamilton func- tion. This function was ap…
We introduce the concept of Roe C*-algebra for a locally compact groupoid whose unit space is in general not compact, and that is equipped with an appropriate coarse structure and Haar system. Using Connes' tangent groupoid method, we introduce an analytic index for an elliptic differential operator on a Lie groupoid equipped with additional metric structure, which takes values in the K-theory of the Roe C*-algebra. We apply our theory to derive a Lichnerowicz type vanishing result for foliations on open manifolds.
