Questions tagged [foliations]
This tag is for questions about foliations in differential geometry and use in conjunction with the tag (differential geometry).
203
questions
0
votes
0
answers
15
views
Expression of [X, Y] on a local chart. Lie Bracket
Lemma. Expression of $[X,Y]$ on a local chart.
Let $x:U \subset M \rightarrow \mathbb{R}^{n}$ be a local chart. Denote by $\dfrac{\partial}{\partial x_{i}}$ the vector field on $U$ defined by $\dfrac{...
- 1
0
votes
0
answers
24
views
Geometric quantisation: finding leaves of a polarisation
Let $N=\mathbb{S}^1\times\mathbb{S}^1$ be a symplectic manifold with symplectic form $\omega=\mathrm{d}\theta\wedge \mathrm{d}\phi$. The prescription of geometric quantisation is to choose a ...
- 2,791
0
votes
0
answers
8
views
When is the leaf of a foliation on the quotient by a properly discontinuous free group action isomorphic to a leaf on the total space?
Let $\tilde M$ be a manifold and $G$ a discrete group acting freely and properly discontinuously on $\tilde M$. Let $M:= M/G$ and $p: \tilde M \rightarrow M$ is the projection; then $p$ is a covering ...
- 1,749
1
vote
1
answer
86
views
Construct a foliation on a simply connected compact manifold with all leaves non-compact [closed]
Here's my progress so far in this problem:
There are no codimension-one foliations on even dimensional spheres (here's why). Also, by Novikov's theorem any codimension-one foliation on a simply ...
- 107
1
vote
0
answers
18
views
Why is the lift of a foliate vector field to the transverse bundle a foliate vector field w.r.t. the lifted foliation?
Let $M$ be a manifold with a foliation $F$ of codimension $q$, and let $p: B \rightarrow M$ be the transverse frame bundle (which over each point of $M$ consists of frames in the quotient of the ...
- 1,749
0
votes
0
answers
22
views
Two foliation atlases define the same foliation iff they induce the same partition
Let $A_1$ and $A_2$ be two different (maximal) foliation atlases on a smooth manifold $M$. I want to show, that they induce a different partition of $M$.
So far I managed to proof the following:
Let $(...
- 154
0
votes
0
answers
41
views
Understanding $\mathcal G$ in $\Bbb C$.
Construction:
Define $\mathcal F$ by the union of leaves:
$$\mathcal F:=\bigg \lbrace \mathcal M[\chi_t(x)]\cup \mathcal M\bigg[\frac{1}{1-\chi_r(x)}\bigg] \bigg \rbrace$$
where $\mathcal M$ denotes ...
- 104
1
vote
0
answers
48
views
Foliation by complex hypersurfaces
I am learning about the Levi flat hypersurfaces. Let $M \subseteq \mathbb{C}^n$ be a real smooth hypersurface, i.e. for every point $p$ in $M$ there is an open set $U_p$ in $\mathbb{C}^n$ containing $...
- 983
6
votes
1
answer
181
views
A question on Lee's Proof of the Global Frobenius Theorem (Lemma 19.22)
I'm afraid this is a stupid question — I'm not a mathematician, so please correct me when I'll be saying something wrong — but I've been stuck at this point for so long that I thought it would be wise ...
- 189
4
votes
0
answers
69
views
Existence of special transversal on foliation
This is a somewhat technical question about a line in Sharpe's book Differential Geometry: Cartan's Generalization of Klein's Erlangen Program in the proof of the structure theorem, Theorem 8.3. We ...
- 4,843
3
votes
0
answers
97
views
Euler-Poincaré formula for foliations
Does someone have a nice proof for Proposition 11.14 in Farb&Margalits "Primer to Mapping Class Groups", which states the following:
Let $S$ be a closed surface with a singular foliation ...
- 1,422
0
votes
0
answers
23
views
foliations subdivided into maximally distinct classes that preserve some global metric?
It's simple to construct an analytic codimension one foliation of $\Bbb R^2_{\gt 0}$ with one class of functions. I wonder if there are pros and or cons of using more distinct classes of functions for ...
- 104
1
vote
1
answer
79
views
A "length function" on measured lamination
I am a little confused about Corollary 4.13 in paper of Leininger and Aramayona. Let's keep everything simple that we denote by $S,\tau(S),\mathcal{S}(S),ML(S)$ closed orientable surface of genus $g\...
- 733
1
vote
0
answers
57
views
Evolution of second fundamental form
For hypersurfaces, one classically computes the evolution (in the normal direction) of the area form as mean curvature, and the evolution of the mean curvature as the stability operator. I'm lucky ...
- 1,815
0
votes
0
answers
24
views
Example of dual Foliation that is not a Singular Riemannian Foliation
Let $M$ be a riemannian manifold.
Recall that a Singular Riemannian Foliation (SRF) $\mathcal{F}$ on $M$ is defined as a partition of $M$ into submanifolds of $M$ immersed injectively (called leaves) $...
- 785
2
votes
0
answers
78
views
Existence of Complementary Integrable Distribution
Let $M^n$ be a smooth manifold. Let $D$ be a (regular) integrable distribution on $M$.
The question is whether there always (i.e. for any $M$ and $D$) exists an integrable distribution $D'$ on $M$ ...
- 111
4
votes
2
answers
135
views
Locally free circle actions on Euclidean space
I've been wandering whether or not there are locally free smooth circle actions on $\mathbb{R}^n$, or, more specifically, if an Euclidean space would admit a smooth nonvanishing vector field $X$ whose ...
- 577
2
votes
1
answer
50
views
How do I prove that left-invariant foliations are the “same” as Lie subalgebras $\mathfrak h \subset \mathfrak g$?
I found the following statement in my book:
Let $G$ be a Lie group with Lie algebra $\mathfrak g$. Left-invariant foliations are the “same” as Lie subalgebras $\mathfrak h \subset \mathfrak g$ ?
I ...
- 3,174
0
votes
0
answers
79
views
Measured foliations on surfaces
Is the measure of a simple closed curve consisting of two arcs transversal to a foliation equal to the sum of the measures of these arcs? Let A be an arc that is the union of arcs B and C, where arc B ...
- 1
0
votes
1
answer
60
views
Classification of good foliations of a pair of pants
The following is a proposition from FLP (Thurston's work on surfaces).
Proposition 6.7 (Classification of good foliations of a pair of pants) The function $\mathcal{MF}_0(P^2)\to\Bbb R^3_+$, which to ...
- 5,109
1
vote
0
answers
91
views
Foliation of $S^3$ with Leaves $S^1$
I'm attempting to construct a foliation of $S^3$ with leaves diffeomorphic to $S^1$.
My initial thoughts were to construct an involutive distribution generated by $X_1,\dots X_n$ such that $\langle ...
- 265
1
vote
0
answers
81
views
Reference for "every foliation satisfies a system of PDEs"?
I know foliations as a particular topic in differential geometry. I understand the definition and basic properties of a foliation from the DG point of view, including the Frobenius theorem. While ...
- 18.5k
1
vote
0
answers
73
views
foliational reciprocity
While thinking about foliations I thought about a property that a pair of manifolds could have, which I will call "foliational reciprocity."
Question:
Does there exist a pair of smooth ...
- 104
1
vote
0
answers
79
views
Intuition for flat charts of a distribution
In Lee's Introduction to Smooth Manifolds he gives the following definition:
Given a rank-$k$ distribution $D \subset TM$, let us say that a smooth coordinate chart $(U,\varphi)$ on $M$ is flat for $...
- 6,447
1
vote
0
answers
44
views
Singular foliation of a particular singular distribution
Let's consider the manifold $\mathbb{R}^2$ and the singular distribution $D$ given by
$$ D_{(x,y)}=\left\langle\frac{\partial}{\partial x},\varphi(y)\frac{\partial}{\partial y}\right\rangle, \ \ \ \...
- 414
0
votes
1
answer
58
views
What are the distance between the leaves and the dimension of a foliation?
I'm reading an article on singular Riemannian foliations and I have a few very basic questions:
(1) Apparently, the transnormallity condition is equivalent to say that the leaves are locally ...
- 317
2
votes
0
answers
38
views
When are the coordinate functions of a distribution independent of the leaf in the foliation?
By the Frobenius theorem, given an involutive distribution $\{X_i\}_{i = 1}^m$ on a manifold $M^n$ we can find a coordinate patch $(x^i)$ s.t. for some $q$ the set $x^{q+1} = \cdots = x^n = \text{...
2
votes
2
answers
100
views
Transition functions of foliation charts
Let $M$ be a smooth $n$-manifold (without boundary), and let $E \subset TM$ be an integrable (smooth) distribution on $M$ of codimension $q$. From the Frobenius theorem, we know that this distribution ...
- 23
2
votes
0
answers
47
views
Developing map for foliations
I am reading Ghys' paper Holomorphic Anosov System. In the beginning of section 5, there is the following argument:
Let $\phi$ be a holomorphic Anosov diffeomorphism of a compact manifold $M$. Assume ...
- 177
2
votes
0
answers
148
views
Constructing a pseudo-Anosov homeomorphism
Let S be a genus 2 closed surface. Consider the two non-separating red curves (say $\alpha$ & $\beta$) in the picture. I want to construct a pseudo-Anosov homeomorphism $\phi: S \rightarrow S$ ...
- 560
2
votes
1
answer
66
views
About naturality of Godbillon-vey class [closed]
This is a problem from Lawrence Conlon's differential manifolds a first course. I do not know how to prove in the following problem
If $f: N \rightarrow M$ is transverse to $\mathcal{F}$, prove that
$$...
- 21
2
votes
1
answer
63
views
In which paper did J. F. Plante introduce the notion of Holonomy Invariant Transverse Measure?
In which paper did J. F. Plante introduce (for the first time) the notion of Holonomy Invariant Transverse Measure?
I do appreciate any help can be provided.
Thanks in Advance.
- 2,558
1
vote
0
answers
41
views
Can a family of linear connections defined on each leaf of a foliation be (uniquely) extended?
Say we have an involutive vector subbundle $\pi:E\subset TM\to M$, where $\pi:TM\to M$ is the tangent bundle to a paracompact smooth manifold $M$. Then $E_p=\pi^{-1}(\{p\})$ is the tangent space to ...
- 73
2
votes
0
answers
141
views
Detail in Lee's Proof of the Global Frobenius Theorem
I am taking a second pass at Lee's book, dotting the i's in the proofs and setting myself the objective of doing all the exercises in the body of the text. My question has to do with a step in the ...
- 29.3k
1
vote
0
answers
70
views
Fundamental groupoid of a foliation is not Hausdorff
Let $F$ be a foliation of a smooth manifold $M$. The fundamental groupoid $\Pi(F)$ of $F$ is the set
$\Pi(F)=\frac{\{\alpha:[0,1]\to M\text{ path cointained in a leaf}\}}{\text{homotopy with fixed end ...
6
votes
1
answer
406
views
Using Godement's criterion to prove that leaf space of a foliation carries a smooth structure compatible with the quotient topology.
I am trying to prove the following from Differential Geometry by
Rui Loja Fernandes:
Let $\mathcal{F}$ be a foliation of a smooth manifold $M$. The following
statements are equivalent:
There exists ...
- 113
10
votes
0
answers
195
views
Is a spherically symmetric space-time isometric to a warped product?
A spherically symmetric spacetime is a Lorentian 4-dimensional manifold $(M, g)$ whose isometry group contains a subgroup $G$ isomorphic to $\text{SO}(3)$ and whose orbits are 2-spheres. Here I am ...
- 345
5
votes
0
answers
129
views
Ensuring that a curve $\gamma : [0,1] \to M$ lies on an integral manifold of a distribution $E \subset TM$
Let $M$ be a smooth manifold, $E \subset TM$ a smooth distribution of codimension $k$, and $\gamma : [0,1] \to M$ a smooth curve whose tangent vector is in $\gamma^\star E$, and whose individual ...
- 1,775
4
votes
0
answers
245
views
When is the leaf of a foliation the level set of a function?
Suppose I have a smooth (say $C^1$) codimension one foliation of $P^n$ (open subset of $R^n$ consisting of vectors with all positive components) arising from a smooth $(n-1)$-plane field satisfying ...
- 627
1
vote
0
answers
75
views
Finding whether a rank-$k$ subbundle of $TM$, specified as a line subbundle of $\bigwedge^k TM$, is integrable
Let $M$ be a complex manifold or smooth algebraic variety, and let $X$ be a global vector field which is nonzero over “most” of $M$. Then I know that $X$ determines a foliation of $M$ by curves, ...
- 1,775
4
votes
1
answer
257
views
Order on the leaves of a foliation when each leaf separates an open subset of Euclidean space.
The setting is a codimension one foliation $\mathscr{F}$ of what I call $P$, the open subset of $R^n$ consisting of vectors with all positive components. I know that each leaf $L$ $\in \mathscr{F}$ is ...
- 627
5
votes
1
answer
402
views
The pullback of a foliation
I would like to know how to prove that the pullback of a foliation is actually a well-defined concept.
To be precise, if $M$ is an $n$-dimensional smooth manifold, a $k$-dimensional foliation $\...
- 2,753
0
votes
0
answers
41
views
Monotonic mapping from one-dimensional manifold M to R - What is the order on M?
First a bit of background: I have a particular $C^1$ codimension one foliation $\mathscr{F}$ of $P$ (n-dimensional Euclidean space with all positive coordinates) which I have equipped with a total ...
- 627
2
votes
0
answers
135
views
existence of foliation of $M$ given prescribed topological data on leaves
Does $M=(0,1)^3$ admit a foliation whose leaves, $F_{\alpha} \cong S^1\times(0,1)$ accumulate to only two points (i.e. $011$ or $100$)?
I can prove the trivial cases for $M$ in which the foliation is ...
- 104
0
votes
0
answers
32
views
Is growth type of leaves of foliations invariant under diffeomorphisms?
Let $M$ and $N$ be two complex manifolds of complex dimension $2$.
Let $\mathcal{F}_M,\mathcal{F}_N$ be a singular holomorphic one-dimensional foliation on $M,N$; respectively. Thus, the leaves of the ...
- 2,558
0
votes
0
answers
447
views
Do linearly independent vector fields with vanishing Lie bracket always have integral manifolds which are graphs?
This question is a followup to this one, which received a response but which was not quite answered. I am hoping that rephrasing and simplifying it will help elicit more comprehensive feedback. My ...
- 627
4
votes
1
answer
327
views
Do linearly independent vector fields with vanishing Lie bracket always have integral manifolds which are level sets?
Suppose I have a smooth distribution on an open subset of $M = R^n_{++}$ consisting of $n-1$ vector fields $X^i$. I know three things about this distribution:
At each point $p \in M$ the set $(X^1_p,\...
- 627
1
vote
0
answers
36
views
Poincaré-Dulac Normal Form for Holomorphic Foliations of Complex Manifolds of Complex Dimension $2$
Let $\mathcal{F}$ be a singular one-dimensional holomorphic foliation on a complex manifold $M$ of complex dimension $2$ and $p \in M$ a singular point for the foliation $\mathcal{F}$.
Assume that the ...
- 2,558
0
votes
0
answers
74
views
Are integral manifolds of a distribution on an open subset of Euclidean space automatically proper?
Suppose I have a smooth distribution on an open subset $M \subset R^n$; i.e. $k$ smooth functions $X^1(\cdot),\ldots,X^k(\cdot)$ on $M$ such that, at each $p \in M$, $X^i(p) \in R^n, 1 \leq i \leq k$....
- 627
2
votes
2
answers
796
views
Dynamics on the torus
It is well known that a $2-$torus foliated with lines of irrational slopes will produce dense curves on the torus. Likewise, rational slopes will lead to a periodic orbit. However, I am not seeing the ...
user545426