Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.

learn more… | top users | synonyms (1)

0
votes
2answers
50 views

is there a global obstruction for a diffeomorphism to be an isometry?

Let $V$ be a finite dimensional vector space. Let us call an automorphism $T:V\rightarrow V$ admissible if there exists an inner product $\langle , \rangle$ on $V$ making $T$ an isometry. We know ...
6
votes
1answer
190 views

Acyclicity of the sheaf of real analytic differential forms

Let $M$ be a real analytic manifold. In the book "Sheaves on Manifolds" by Kashiwara and Schapira it is claimed on p. 127 (without reference or proof) that the Poincare lemma holds for the de Rham ...
2
votes
1answer
87 views

Parallelizable nearly-Kahler manifolds

In this question, we have discussed how the following bundle: $E_{d} = TS^{d}\oplus \Lambda^2 T^{\ast}S^{d}$ is always trivial, where $S^{d}$ is the $d$-dimensional standard sphere. Now, let us take ...
5
votes
1answer
1k views

Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...
0
votes
1answer
71 views

Existence of a Lie algebra element orthogonal to the adjoint orbit of another element

Consider a compact, semi-simple, connected Lie group $G$ and its Lie algebra $\mathfrak{g}$. Denote the Killing form by $K$. Given a single $A \in \mathfrak{g}$ when (i.e. which groups and which $A$) ...
6
votes
1answer
189 views

Making the identification $\tau M\approx TM\oplus (TM\odot TM)$

Given a smooth manifold $M$, there is a vector bundle over $M$, denoted $\tau M$, known as the second-order tangent bundle. The fiber $\tau_mM$ at $m\in M$ is the collection of linear operators ...
10
votes
1answer
197 views

Factoring constant rank maps into a submersion and an immersion

Let $X$ and $Z$ be smooth manifolds and $\phi: X \to Z$ a smooth map so that the differential $D \phi$ is everywhere of rank $d$. Is there necessarily a $d$-fold $Y$ so that $\phi$ factors as a ...
2
votes
0answers
99 views

(co)limits in the category of diffeological spaces vs. category of smooth manifolds

I am wondering which (co)limits that exist in the category of smooth manifolds are preserved by the inclusion into the category of diffeological spaces? Are there any results that allow us to ...
2
votes
0answers
120 views

Fiber bundle in smooth category and topological category

Let $M$ be a smooth manifold and $G$ be a Lie group. Denote by $Bun(M,G)$ the set of all equivalent smooth Principal bundles on $M$ with structural group $G$ in smooth category. And denote by ...
1
vote
0answers
40 views

Is there an action functional for the s-dependent Floer equation?

The usual Floer equation (in local coordinates) \begin{equation*} \partial_su+J(t,u)(\partial_tu-X_{H_t}(u))=0 \end{equation*} is derived as the gradient flow of the symplectic action functional ...
0
votes
0answers
143 views

Complex submanifold has minimal volume

I know that the following theorem is true: If $W$ is a purely $k$-dimensional analytic subvariety of a domain in $\mathbb{C}^n$, $sngW$ is the set of its singular points, $V \subset W$ is open, ...
9
votes
1answer
134 views

Harmonic spinors on closed hyperbolic manifolds

Does anyone know an example of a closed spin hyperbolic manifold of dimension 3 or greater such that the kernel of the Dirac operator is non-trivial? I'm mainly interested in the 3-dimensional case ...
5
votes
3answers
266 views

A conjecture about parallelizable generalized spheres

Let $S^{d}$ denote the standard $d$-dimensional sphere. I heard from a physicist that from physical arguments they have been able to show that the vector bundle: $E_{d} = TS^{d}\oplus \Lambda ...
3
votes
1answer
144 views

Spectrum of the Laplacian on p-forms on the sphere

In this paper the authors give an explicit description of the eigenforms and spectrum of the Laplacian acting on $p$-forms on the round sphere $S^n$, apparently citing an unpublished computation of ...
2
votes
1answer
144 views

Old Peano theorem (demonstration is missing details) [on hold]

Let $A, B :[a,b]\subset\mathbb{R}\to\mathbb{R}^2$ be two functions of class $C^{1}([a,b])$ such that two segments (or intervals) $[A(t_1),B(t_1)]$ and $[A(t_2), B(t_2)]$ never intersect for $t_1, ...
1
vote
1answer
90 views

Are sections of $\tau M$ differential operators on the exterior algebra?

Let $M$ be a smooth manifold and $\tau M$ its second-order tangent bundle. A second-order vector field $A\in \Gamma(\tau M)$ can locally be expressed as a finite sum of operators ...
0
votes
0answers
28 views

Reparametrization with non-vanishing lateral derivatives [on hold]

Let $\mathbf{r}:I\subseteq\mathbb{R}\to\mathbb{R}^2$ be a $C^{1}(I)$ function, non-constant on any subinterval, such that $\forall\ t_0\in I$, the following limits exist: $\lim\limits_{t\nearrow ...
24
votes
5answers
3k views

Maryam Mirzakhani's works

Maryam Mirzakhani has made several contributions to the theory of moduli spaces of Riemann surfaces. Mirzakhani was awarded the Fields Medal in 2014 for "her outstanding contributions to the dynamics ...
0
votes
0answers
44 views

Dimension of a trajectory in $\mathfrak{su}(n)$

Consider $a,b \in \mathfrak{su}(n)$, a fixed positive real number $t$ and the equation: $\frac{d U(s,t)}{ds} = \left(a + \omega(s)b \right) U(s, t)$ (where $U(t,t)=I$) and the definition: $B(s) = ...
5
votes
2answers
577 views

Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...
10
votes
2answers
1k views

Central extension of the algebraic loop group

I'm doing some constructions with the universal central extension $\widehat{\Omega G}$ of the loop group $\Omega G$ (here $G$ is a matrix group), where a priori the loops involved are just smooth, but ...
4
votes
1answer
110 views

Diffusion semigroup generated by Laplacian

Let $M$ be a complete Riemannian manifold and $\Delta$ denote the Laplacian on it. Also assume that the spectrum of $-\Delta$ lies inside $[a, \infty)$. Let $P_t, t > 0$ denote the diffusion ...
59
votes
4answers
7k views

When can a Connection Induce a Riemannian Metric for which it is the Levi-Civita Connection?

As we all know, for a Riemannian manifold $(M,g)$, there exists a unique torsion free connection $\nabla_g$, the Levi-Civita connection, that is compatible witht metric. I was wondering if one can ...
5
votes
0answers
304 views

Correspondence between line bundles and $U(1)$-bundles: a possible mistake from physicists? [closed]

I am reading a paper written by physicists and they say the following: Let $(L,h,\nabla)$ be an holomorphic Line bundle equipped with a hermitian metric $h$ and Chern connection $\nabla$. If ...
-3
votes
0answers
112 views

Does the diffeomorphism group of an open manifold act naturally on the compactification of the manifold? [closed]

I need help regarding this question please: Does the diffeomorphism group of an open manifold act trnsitively/freely on the compactification of the manifold? any recommended references!
1
vote
3answers
527 views

How do I see sectional curvature in the principal bundle (or in Cartan's) approach to riemannian geometry?

Many books on differential geometry develop the geometry in the setting of principal bundles or moving frames. But when it comes the time to do riemannian geometry they leave all that nice machinery ...
14
votes
4answers
845 views

Equations satisfied by the Riemann curvature tensor

It is well known that the Riemann curvature tensor of a metric satisfies \begin{eqnarray} R_{jikl}=-R_{ijkl}=R_{ijlk},(1)\\ R_{klij}=R_{ijkl},(2)\\ R_{i[jkl]}=0 \mbox{(1st Bianchi identity)}.(3) ...
0
votes
0answers
127 views

Existence of a special Kahler structure on the contangent bundle

It is known that the total space of the cotangent bundle $T^{\ast}M\to M$ of any manifold $M$ can be equipped with a Kahler structure. My question is, it is known when $T^{\ast}M$ admits a Special ...
0
votes
0answers
60 views

Classification of line bundles by Griffiths and Harris [migrated]

I am reading pages 132 and 133 of Principles of Algebraic Geometry by Griffiths and Harris. They consider an holomorphic line bundle $L\to M$ over a manifold $M$ and an open cover $\left\{ ...
1
vote
1answer
76 views

Space of invariant sections

I have a principal bundle $\pi: M \to B$ with structure group $G$ and a vector bundle $p: V\to M$. I need to work with $\Gamma_G(V,M)$, the space of invariant (under the fiber action on $M$) sections ...
4
votes
2answers
918 views

A question about Marsden-Weinstein reduction theory

Let $G$ be a compact Lie group and $\frak g$ be its Lie algebra. Then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J \colon M\to \frak g^*$ be its moment map then the ...
8
votes
3answers
473 views

Rigorous justification that overdetermined systems do not have a solution

There is the following well known and very useful heuristic principle: Assume one has a natural map from the space of $k$-tuples of functions in $n$ variables into the space of $K$-tuples of functions ...
1
vote
1answer
117 views

A subalgebra of the Virasoro algebra

Let $L_n$ ($n\in\mathbb{Z}$) and $c$ be the standard generators of the Virasoro algebra ${\rm Vit}$. In the literature one usually considers the involutive authomorphism given by $\tau(L_n)=-L_{-n}$, ...
1
vote
0answers
41 views

sharp conditions characterizing the vanishing of scalar Jacobi fields

Let $T>0$, let some function $\kappa(t)$ smooth on $[0,T]$, and let $b$ the unique solution to the ODE $\ddot b + \kappa(t) b = 0$ with initial conditions $b(0)=0$ and $\dot b(0) = 1$. I was ...
0
votes
0answers
65 views

Compact locally conformal Kahler manifolds with non-zero Euler characteristic

I would like to know if there exist eight-dimensional compact manifolds such that: It has SU(4)-structure (and hence it is spin). It is locally conformal Kahler (and not Kahler). Its Euler ...
0
votes
0answers
106 views

Moduli space of holomorphic sections

Let $(L,M,\omega,\nabla)$ be an holomorphic line bundle over a Kahler manifold $(M,\omega)$ equipped with the Chern connection $\nabla$. Let $\Gamma(L)$ denote the space of holomorphic sections of ...
0
votes
0answers
66 views

Equivalence of holomorphic line bundles from Kahler potentials

Let $(M.\omega)$ be a Kahler manifold with fundamental form $\omega$. Then $\omega$ is closed and by the $\partial\bar{\partial}$-lemma on every contractible open set $U\subset M$ we can write ...
1
vote
1answer
116 views

Chern classes of three (two) dimensional complex vector bundles

Let $M$ be a manifold. Let $F(M,3)=\{(m_1,m_2,m_3)\mid m_1, m_2, m_3\in M, m_i\neq m_j, \text{ for any } i\neq j\}$. Let $S_3$ be the symmetric group of order $3$. Let $S_3$ act on $F(M,3)$ by ...
2
votes
0answers
102 views

Heat semigroup estimate on complete Riemannian manifold

Consider a complete noncompact Riemannian manifold $M$ such that the heat kernel $h_t(x, y)$ satisfies $h_t(x, y) \leq Ct^{-n/2}$. Consider a function $u \in L^p(M)$. How can we prove that ...
7
votes
1answer
128 views

Boundary values of boundary value problems

Let $M$ be a manifold with smooth boundary. We can consider the Dirichlet or the Neumann problem on $M$. Let $(\phi_k)$ be an orthonormal basis of eigenfunctions to the Dirichlet problem and let ...
9
votes
0answers
193 views

Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary, the difference between the fiberwise integral of the differential and the ...
15
votes
8answers
887 views

Examples of categorical adjunctions in analysis, Lie theory, and differential geometry?

In introductory texts on category theory, it seems like the majority of examples come from algebraic topology, algebra, and logic. Are there any good examples of adjunctions in analysis, Lie theory, ...
1
vote
0answers
63 views

Characterization of locally conformally flat manifolds: strange application of Frobenius theorem

(Crossposted from math.SE because of the lack of replies) In Hamilton's Ricci Flow (by Chow, Lu, Ni, pp. 29-31, see here) they show that a Riemannian manifold $(M^n,g)$ is locally conformally flat ...
3
votes
3answers
266 views

Conjugate or focusing points on null geodesics imply chronality

Theorem Let $\beta\colon [0,1] \to M$ be a null geodesic. If $\beta(t_0)$ is conjugate to $\beta(0)$ along $\beta$ for some $t_0\in (0,1)$, then there is a timelike curve from $\beta(0)$ to ...
0
votes
0answers
73 views

Relative canonical sheaf of an Abelian Scheme over a noetherian base

Let $A$ be an abelian scheme over a noetherian base $S$ of relative dimension $r$, i.e., $A$ is a smooth, proper group scheme over $S$ with geometrically connected fibers of dimension $r$. The ...
-1
votes
0answers
67 views

Relative line bundle along divisor $D$

Let $X$ and $B$ be a compact Kahler manifolds and $\pi:X\to B$ be a holomorphic surjective map and $D$ be a divisor in $B$ how can we define relative canonical line bundle on $B$ along a divisor $D$? ...
0
votes
1answer
216 views

Shrinking $\mathcal{C}_c^{\infty}(M)$ to obtain a first countable space

This is a follow-up to this question. Let $M$ be manifold (Hausdorff, countable base, finite dimensional, if it simplifies anything embedded in $\mathbb{R}^n$). I'm interested in the topological ...
2
votes
2answers
161 views

Connected complement manifold

I'm working on some problem in algebraic geometry. I need a reference to the following result: Let $h\in\mathbb{N}$ with $h\geq1$ and let $F\in\mathbb{C}\left[x_{1},\ldots,x_{h}\right]$ be a non ...
1
vote
1answer
125 views

Image of any curve can be parametrized without zero derivative?

Let $\gamma :[a,b]\to\mathbb{R}^2$ be a $C^{1} ([a,b])$ injective application. Is it true that there is another continuous parametrization $\rho:[c,d]\to\mathbb{R}^2$ such that the following two sets ...
1
vote
0answers
116 views

Products between metrics in a product of manifolds

In the "Einstein Manifold" book written by Arthur Besse, chapter 16, there is a notation of a manifold composed by the Cartesian product between two others: $(M_1\times M_2, f^p(g_1 \times g_2))$ ...