Differences

This shows you the differences between two versions of the page.

--- ebsd2021:potrie3 [2021/07/16 15:28] – tahzibi
+++ ebsd2021:potrie3 [2021/07/20 16:06] (current) – tahzibi
@@ Line 134: / Line 134: @@
   * ou $M \approx S^2 \times S$ e $\mathcal{F}$ é a folheação produto, onde $S$ é uma variedade unidimensional compacta (ou seja, $S \approx S^1$ ou $S\approx I$).
-**Teorema de Rosenberg:** Se $M$ é uma $3$-variedade sem fronteira admitindo uma folheação bidimensional, então $M$ é irredutível.
+Addendum: Rousarie provou que se $M^3$ não é irredutível e $\mathcal{F}$ folheação codimensão um, então tem folha compacta.
+**Teorema de Rosenberg:** Se $M$ é uma $3$-variedade sem fronteira admitindo uma folheação bidimensional por planos, então $M$ é irredutível.
 Esses dois teoremas tem consequências importantes no caso em que $M$ é uma variedade compacta de dimensão $3$, não necessariamente sem bordo, e $\mathcal{F}$ é uma folheação tensa em $M$. Nesse caso, como $(M, \mathcal{F})$ não possui componentes de Reeb, um segundo resultado de Novikov ([[https://bookstore.ams.org/gsm-60/|[CC03]]], Teorema 9.1.3) implica que todas as folhas de $\mathcal{F}$ são $\pi_1$-injetivas (isto é, os mapas de inclusão das folhas em $M$ induzem mapas injetivos entre grupos fundamentais, e portanto todo laço essencial em uma folha é também essencial em $M$).
 Em particular, em $M_0 := M\setminus\partial M$, a folheação $\mathcal{F}_0$ mantém essa mesma propriedade. Pelo teorema de Novikov, ou $\pi_2(M) = 0$ ou  $M$ é homeomórfica ao produto de $S^2$ e uma variedade compacta. Caso $\pi_2(M) = 0$, então o fato de que $\mathcal{F}_0$ é $\pi_1$-injetiva implica que seu levantamento para o recobrimento universal de $M_0$ é uma folheação por planos (<color #ed1c24>porquê</color>) . Daí o teorema de Rosenberg implica que o recobrimento universal de $M_0$ é irredutível, o que implica que $M_0$, e consequentemente também $M$, são irredutíveis. Em suma:
@@ Line 196: / Line 199: @@
 Os argumentos de Candel são baseados em métricas riemannianas folheadas e na característica de Euler folheada.
-**Definição 5**: Uma //métrica riemannian folheada// numa variedade $(M, \mathcal{F})$ é um 2-tensor $g: \mathrm{T}M \times \mathrm{T}M \to \mathbb{R}$ simétrico e positivo definido tal que, //para quaisquer campos $X, Y$ tangentes à folheação $\mathcal{F}$//, a função $g(X,Y). M \to \mathbb{R}$
+**Definição 5**: Uma //métrica riemannian folheada// numa variedade $(M, \mathcal{F})$ é um 2-tensor $g: \mathrm{T}M \times \mathrm{T}M \to \mathbb{R}$ simétrico e positivo definido tal que, //para quaisquer campos $X, Y$ tangentes à folheação $\mathcal{F}$//, a função $g(X,Y): M \to \mathbb{R}$
 é suave.
-Observe que para campos de $M$ em geral, a função $g(X,Y)$ não precisa ser suave, logo $g$ não é, em geral, uma métrica riemanniana em $M$. Contudo, a restrição de $g$ a cada folha define naquela folha uma m´€trica riemanniana no sentido usual. De todo modo, o tensor $g$ define uma forma de conexão
+Observe que para campos de $M$ em geral, a função $g(X,Y)$ não precisa ser suave, logo $g$ não é, em geral, uma métrica riemanniana em $M$. Contudo, a restrição de $g$ a cada folha define naquela folha uma métrica riemanniana no sentido usual. De todo modo, o tensor $g$ define uma forma de conexão
 $\omega$ como no caso riemanniano usual, bem como uma $2$-forma de curvatura folheada $\Omega = d\omega + \omega\wedge\omega$, a qual carrega informação sobre a curvatura das folhas de $\mathcal{F}$.
@@ Line 218: / Line 221: @@
 É imediato da Definição 5 que se a curvatura é constante e negativa, então $\chi_\mu(M, \mathcal{F}) < 0$. O resultado de Candel é justamente a recíproca desse fato:
-**Teorema de Uniformização de Folheações Bidimensionais ([[http://www.numdam.org/articles/10.24033/asens.1678/|[Can93]]])**: Seja $\mathcal{F}$ uma folheação bidimensional orientável de uma variedade compacta $M$, equipada com uma métrica riemanniana folheada $g$. Então $g$ é conformalmente equivalente a uma métrica riemanniana folheada com respeito a qual todas as folhas de $\mathcal{F}$ tem curvatura constante igual a $-1$ se e somente se $\chi_\mu(M, \mathcal{F}) < 0$ para toda métrica invariante por holonomia não trivial $\mu$.
+**Teorema de Uniformização de Folheações Bidimensionais ([[http://www.numdam.org/articles/10.24033/asens.1678/|[Can93]]])**: Seja $\mathcal{F}$ uma folheação bidimensional orientável de uma variedade compacta $M$, equipada com uma métrica riemanniana folheada $g$. Então $g$ é conformalmente equivalente a uma métrica riemanniana folheada com respeito a qual todas as folhas de $\mathcal{F}$ tem curvatura constante igual a $-1$ se e somente se $\chi_\mu(M, \mathcal{F}) < 0$ para toda medida invariante por holonomia não trivial $\mu$.
 Uma demonstração desse teorema pode ser encontrada também em [[https://bookstore.ams.org/gsm-23/|[CC00]], Teorema 12.6.3]. A argumento consiste basicamente em mostrar que a existência de uma folha que não seja conformalmente recoberta pelo plano hiperbólico permite a construção de uma medida invariante por holonomia $\mu$ tal que $\chi_\mu(M, \mathcal{F}) \geq 0$, o que é feito a partir de "sequências de médias". Feito isso, o Teorema de Uniformização se aplica a cada uma das folhas de $\mathcal{F}$, garantindo a existência de funções de uniformização $\lambda_L: > 0$.
@@ Line 226: / Line 229: @@
 Claro, o teorema de Uniformização de Candel é automaticamente válido, por vacuidade, quando não existem medidas invariantes por holonomia não triviais. Esse corolário nos dá o Teorema C.1 do Apêndice C de [[ https://www.math.fsu.edu/~aluffi/archive/paper563.pdf | Berthelmé et al.]]:
-**Teorema C.1**: Seja $\mathcal{F}$ uma folheação tensa de uma $3$-variedade $M$. Se $(M, \mathcal{F})$ não admite metricas invariantes por holonomia não triviais, então existe uma métrica em $M$ que se restringe a uma métrica hiperbólica em cada uma das folhas de $\mathcal{F}$.
+**Teorema C.1**: Seja $\mathcal{F}$ uma folheação tensa de uma $3$-variedade $M$. Se $(M, \mathcal{F})$ não admite medidas invariantes por holonomia não triviais, então existe uma métrica em $M$ que se restringe a uma métrica hiperbólica em cada uma das folhas de $\mathcal{F}$.