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

learn more… | top users | synonyms (1)

3
votes
1answer
158 views

Which sections of $T^*M\odot T^*M$ have reproducing kernel “primitives”?

Given a smooth reproducing kernel $\kappa:M\times M\rightarrow \mathbb{R}$ on a manifold $M$, we can construct a section, $\alpha_{\kappa}$, of the symmetric tensor product $T^*M\odot T^*M$ by taking ...
8
votes
3answers
628 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 ...
2
votes
0answers
130 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
152 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
1answer
136 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$) ...
2
votes
0answers
73 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
275 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 ...
12
votes
1answer
266 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
2answers
262 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 ...
5
votes
1answer
195 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
159 views

Old Peano theorem (demonstration is missing details) [closed]

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
104 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 ...
3
votes
1answer
167 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 ...
6
votes
3answers
312 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 ...
4
votes
1answer
136 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
242 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 ...
1
vote
1answer
81 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
318 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
224 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
46 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
74 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
129 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
111 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
80 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
514 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 ...
7
votes
1answer
139 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
209 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
102 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
vote
1answer
129 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
149 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
172 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
61 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 ...
15
votes
4answers
928 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
162 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
132 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
266 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
385 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
108 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
329 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
126 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
142 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 ...
3
votes
1answer
150 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 ...
3
votes
1answer
213 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 ...
2
votes
1answer
119 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 ...
3
votes
1answer
186 views

A Poincare-Type Inequality and its generalization

Let $f(\theta)$ be a fixed positive $2\pi-$periodic $C^1$ function on $\mathbb{R}$ with $$\int_0^{2\pi}f(\theta)\cos\theta d\theta=\int_0^{2\pi}f(\theta)\sin\theta d\theta=0,$$ Does for any ...
1
vote
0answers
43 views

Invariant Girsanov Theorem on a Riemannian manifold

This is somewhat a follow-up on this post. Let $X_t$ be the stochastic process on a compact Riemannian manifold generated by the (possible time-dependent) second-order elliptic operator $L_t$. Let ...
1
vote
1answer
280 views

Integration currents VS Poincaré Dual

Let $M$ be a complex manifold of dimension $n$ and $S \subset M$ a closed complex submanifold of complex codimension $r$. Let $[S] \in H_{2r}(S)$ be the fundamental class of $S$. We have the ...
3
votes
1answer
96 views

Null tetrad transformation

I have been going through the Chandrasekhar's "The Mathematical Theory of Black holes", in particular the chapter on Newman Penrose formalism. I have a question about what he calls a "class III ...
6
votes
2answers
369 views

Relating different topologies on $C^{\infty}_c(M)$

This is somehow connected to this question. I can think of at least four topologies to put on $C_c(M)$: Topologize $C^{\infty}_c(M)\subseteq C^{\infty}(M)$ as a subspace with the weak Whitney ...
13
votes
2answers
652 views

(Non)existence of mirrors with more than two foci

Do there exist any mirrors $M$ in $d$-dimensional Euclidean space $\mathbb{R}^d$ for which there exist three different points $x_1$, $x_2$, $x_3 \in \mathbb{R}^d$ such that if any ray of light passes ...