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

learn more… | top users | synonyms (1)

2
votes
0answers
78 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
111 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 ...
0
votes
0answers
46 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$) ...
0
votes
0answers
34 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 ...
6
votes
1answer
173 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 ...
9
votes
1answer
127 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 ...
10
votes
1answer
179 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 ...
3
votes
1answer
137 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
143 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, ...
0
votes
0answers
137 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, ...
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) = ...
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 ...
1
vote
1answer
89 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 ...
2
votes
0answers
66 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
3answers
265 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
0answers
111 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!
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 ...
6
votes
1answer
182 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 ...
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 ...
5
votes
0answers
302 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 ...
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
64 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 ...
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 ...
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
65 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 ...
8
votes
3answers
470 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
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 ...
7
votes
1answer
127 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 ...
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$? ...
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))$ ...
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 ...
0
votes
0answers
56 views

Cohomology operators inducing local basis of $1-$forms

Suppose that $\partial$ is a non-trivial ($\partial \neq 0$) cohomology operator on an $m-$dimensional manifold $M$ (that is: $\partial:\Omega(M)\to\Omega(M)$ is a degree $1$ derivation such that ...
14
votes
4answers
844 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) ...
3
votes
1answer
142 views

The complex of Kahler differentials and de Rham complex

Let $A$ be a unital commutative algebra (say over complex numbers). Consider the multiplication map $m:A \otimes A \to A$ and put $\Omega^1_u(A)=\ker m$ to be the space of universal differential ...
2
votes
1answer
119 views

acoustic dipole volume integral w/ dirac delta?

I have an acoustic research problem that leads to the following integral formulation: \begin{align} \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}p(\mathbf{y},\tau)\frac{\partial}{\partial ...
0
votes
1answer
213 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 ...
4
votes
2answers
348 views

How many metrics of constant curvature exist on a Riemannian surface?

I have been trying to determine the number of metrics of constant curvature on a surface of genus $n$, say $\Sigma$. For low values, the answer is clear, the moduli space is a point for the sphere, ...
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
3answers
278 views

Classification of natural invariants of Riemannian structures

Before I formulate my question, let me remind P. B. Gilkey's characterization of Pontryagin forms,following the paper "On the heat equation and the index theorem" by Atiyah, Bott, Patodi. By ...
3
votes
1answer
117 views

convex decompositions of the sphere

Consider a decomposition of the sphere $S^n$ into convex pieces (that is, every cell of the cell decomposition is convex, in particular, is contained in a hemisphere). Consider the $k$-skeleta of ...
1
vote
1answer
135 views

Metric, torsion free connections on principal bundles

I hope this is not too elementary, but I have asked this question at the math.stack site, but I have obtained no answers. Let $F(M)$ be the frame bundle of a $n$-dimensional differentiable manifold ...
4
votes
0answers
92 views

Equivariant Harmonic Maps to R-tree and Korevaar-Schoen Convergence

Thank you for spending time on the following question. I am trying to make an explicit example of Korevaar-Schoen convergence. The problem I am facing is that I cannot find the limit of the harmonic ...
2
votes
1answer
171 views

Ehresmann fibration theorem for manifolds with boundary

All manifolds in consideration may have nonempty boundary and may be disconnected. Let me fix a definition first. A map between smooth manifolds $M\rightarrow N$ is a fiber bundle, iff it's locally ...
0
votes
0answers
83 views

When does the integral of a Dolbeault-exact form vanish?

What conditions (if any) can be imposed on a Kahler manifold $M$ so that we get a Dolbeault analogue of Stokes' theorem on a closed manifold, i.e. $\int_M \partial ( ... ) =0$ The trivial solution ...
2
votes
1answer
106 views

Shortest paths in Alexandrov spaces

Let $X$ be an Alexandrov space with curvature bounded from below (if necessary, $X$ might be assumed to be finite dimensional or even compact). Question 1. Is it true that every point of $X$ has a ...