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

learn more… | top users | synonyms (1)

9
votes
3answers
256 views

What is a foliation and why should I care?

The title says everything but while it is a little bit provocative let me elaborate a bit about my question. First time when I met the foliation it was just an isolated example in the differential ...
4
votes
0answers
153 views

Unifying (& “justifying”) the various definitions for differential operators

Reading about differential operators in different sources I've picked up several definitions which are not obviously equivalent (to me). Here they are: Definition 1 ("naive"): Let $X$ be a (real) ...
3
votes
2answers
90 views

No normal coordinates on general Finsler manifolds

I recently read a footnote in Chern's article stating that a non-Riemmanian Finsler manifold does not possess normal coordinates. As I'm still new to non-Riemmanian Finsler geometry I don't see why ...
1
vote
1answer
69 views

Dirac bundle and spinor bundle

What is the difference between Dirac bundle and spinor bundle?Morever, every spinor bundle is Dirac bundle, is it true?
4
votes
1answer
308 views

Algebraic Geometry needed for Kahler-Einstein metric

I am a Master's student interested in Differential Geometry / Geometric Analysis. Currently active research is going on in Kahler-Einstein / Extremal Kahler metric. I was wondering how much Algebraic ...
5
votes
1answer
176 views

Symplectic orthogonality and projective duality: how do they work together?

Let $(V,\omega)$ be a $2n$-dimensional linear symplectic space, and $(\mathbb{P}V,\theta_\omega)$ the corresponding $(2n-1)$-dimensional contact manifold. Given a smooth $(n-1)$-dimensional smooth ...
2
votes
0answers
76 views

Can additivity of the Euler characteristic be interpreted in terms of the Poincaré–Hopf theorem? [on hold]

Whenever there is a long exact sequence in homology induced by a short exact sequence of chain complexes one finds that the corresponding Euler characteristics are additive. For example, if $Y \subset ...
4
votes
1answer
90 views

Glueing together functions defined on the leaves of a foliation

Even though my question can be asked for very general types of foliations, I am interesetd only in its answer for Poisson manifolds, which are what I am currently studying. Consider a Poisson ...
1
vote
1answer
62 views

Nash-type theorems for Poisson manifolds

My question comes as a natural follow-up of the previous one which concerned symplectic manifolds: if $(M, P)$ is a Poisson manifold, what embedding theorems are there into some target space (I am ...
5
votes
0answers
47 views

How to prove that the Laplace oparator of the Heisenberg group is sub-elliptic?

The Heisenberg group $H^3$ is the set $\mathbb C\times \mathbb R$ endowed with the group law $$ (z,t)\cdot(w,s) =\left (z+w, \,t+s+\tfrac{1}{2}\Im m(z \bar{w})\right). $$ For $z=x+ i y \in \mathbb C$ ...
21
votes
1answer
213 views

Height function on 2-torus with only 3 critical points

It is well-known that a Morse function on $T^2$ has at least $4$ critical points, but also that there exist functions $f\colon T^2\to\mathbb R$ with only 3 critical points (the least possible number ...
5
votes
0answers
112 views

The Operator $\overline{\partial} + \overline{\partial}^*$ on an Hermitian Manifold

Every compact Kähler manifold has a canonical $spin^c$ structure. Moreover, the associated Dirac operator is isomorphic to $\overline{\partial} + \overline{\partial}^*$, acting on ...
5
votes
1answer
95 views

Does a $G$-structure on $M$ automatically descend to a contact $G$-structure on $\mathbb{P}T^*M$?

If $M$ is a real smooth manifold of dimension $n+1$, by $D\in\mathbb{P}T^*M$ I mean a tangent hyperplane at some point of $M$. I denote by $b$ the canonical projection of the $(2n+1)$-dimensional ...
4
votes
0answers
135 views

Representation theory and associated bundles

I am looking for a text or set of notes that discusses the relationship between the representation theory of Lie groups and associated vector bundles, preferably using modern categorical language. For ...
6
votes
1answer
383 views

Is there a Nash-type theorem for symplectic manifolds?

If $(M, \omega)$ is a symplectic manifold, is it possible to embed (or injectively immerse) it symplectically into a sufficiently large $(\Bbb R ^{2N}, \Omega)$, (with the usual symplectic structure)? ...
0
votes
0answers
59 views

Weak $H^1$-limit of “almost conformal” maps

Let us consider a sequence of maps $\phi_n : (M, g) \to \mathbb{R}^k$, where $M$ is a surface. Let $\phi_n \to \phi$ weakly in the sense of $H^1$-norm, and let $\phi$ be non-trivial. Let $\mathcal{H}$ ...
4
votes
2answers
179 views

Heat kernel asymptotics for small distances

I heard a talk where the speaker said that on a Riemannian manifold, for small values of $\text{dist }(x, y)$, the heat kernel $p_t(x, y)$ satisfies $$p_t(x, y) = \frac{1}{(4\pi ...
-3
votes
0answers
71 views

Harmonic map into $S^n \times \mathbb{R}$ [closed]

Consider a harmonic map $\Phi : \Sigma \to S^n \times \mathbb{R}$, where $\Sigma$ is a surface, and the metric on $S^n \times \mathbb{R}$ is given by the product metric. Choose local spherical (polar) ...
3
votes
1answer
77 views

Parallel Transport on Hypersurface Spinor Bundle

So this has been driving me up a wall. I'm trying to digest parts of the Parker & Taubes paper, "On Witten's Proof of the Positive Energy Theorem." Here's a link: ...
2
votes
2answers
161 views

Double-layer potentials on Riemannian manifolds

Let $M$ be a compact Riemannian manifold, and let $S \subset M$ be a smooth hypersurface which divides $M$ into two domains $D_1$, $D_2$. Let also $g \colon S \to \mathbb R$ be a smooth function ...
1
vote
1answer
45 views

Marginally Trapped surfaces with constant Gaussian curvature

By marginally trapped surface I mean a spacelike surface in a 4-dimensional Lorentzian manifold such that the mean curvature vector is lightlike. In my research I have stumbled across marginally ...
7
votes
1answer
286 views

Intuition for the Cartan connection and “rolling without slipping” in Cartan geometry

Consider a Cartan geometry $\pi: \mathcal{G} \to M$ with Cartan connection $\omega$ modelled on the Klein geometry $(G, H)$. The Cartan connection is supposed to formalize what it means to "roll ...
0
votes
0answers
67 views

If the fibers of a submersion are connected, does it mean that any 2 sections are homotopic (locally on the base)?

Is the following fact known? If yes - what is the reference? Let $\phi:X\to Y$ be a submersion of smooth manifolds with connected fibers. Let $s_0,s_1:Y\to X$ be its (smooth) sections. Then, for any ...
0
votes
0answers
55 views

Do the germs of local vector fields which are generated by a Lie pseudogroup form a Lie algebra?

Let $(M,g)$ a semi-Riemannian manifold, and let $\mathcal{G}$ a be Lie pseudogroup which acts by local isometries on $(M,g)$. Clearly the germs of all local killing vector fields at $p \in M$ form a ...
1
vote
0answers
63 views

Euclidean metric in spherical coordinates [closed]

I apologize if this question is not research level, but it has been asked on MSE before, and not received really satisfactory answers, for example, see here, and googling does not reveal anything ...
4
votes
0answers
420 views

geodesic computation: “energy” minimization versus arc length minimization [migrated]

Is it true that applying the Euler-Lagrange equation to the integral $E(\gamma)=\int_{t_1}^{t_2} g_{\alpha\beta}(\gamma^{\alpha})'(\gamma^{\beta})'\operatorname{d}\!t$ rather than the arc length ...
6
votes
2answers
238 views

Hodge map and the Cohomology Ring of a Riemannian Manifold

For a compact Riemannian manifold $M$, we know that the Hodge map $\ast$ and Laplacian $\Delta$ commute. From Hodge decomposition and its implied isomorphism between harmonic forms and cohomology ...
3
votes
0answers
92 views

Uniform continuity of length function on geodesic currents

I'm starting to study geodesic currents and I have a question concerning uniform continuity. Let's take $S$ a closed surface of genus $g$ and $GC(S)$ the space of geodesic currents on $S$ (as it is ...
7
votes
2answers
200 views

What kind of geometric object is the Pauli spin matrix vector $\vec{\sigma} = (\sigma_1, \sigma_2, \sigma_3)$?

Physicists routinely wrote all 3 Pauli spin matrices as a vector. $$ \sigma_1 = \left( \begin{array}{cc} 0 & 1 \\ 1 & 0\end{array} \right) \hspace{0.25in} \sigma_2 = \left( ...
2
votes
2answers
150 views

Intersection of Subspaces with $O(3)$

Sorry for the confusion from earlier. I tried to fix the thread. The old version can be found below. For $6$-dimensional subspaces $V$ of the space $\mathbb{R}^{3\times 3}$ of real three-times-three ...
4
votes
0answers
90 views

Deligne-Hitchin twistor space

Let $M$ be the moduli space of stable holomorphic Higgs bundles on a Riemann surface $\Sigma$. By Hitchin s work it is equipped with a hyper-kaehler structure, and one can define its twistor space, a ...
3
votes
0answers
84 views

Spectrum of the Laplace-Beltrami operator on a domain of finite volume in the hyperbolic space $H^n$

What is known about the ($L^2$) spectrum of the minus Laplace-Beltrami operator ($- \Delta$) with zero boundary conditions on $B =H^n/\Gamma$, where $H^n$ is $n$-dimensional hyperbolic space ...
1
vote
1answer
104 views

Transferring connection information to associated bundles and back

This might not be research level but I've tried more than once to ask about this in MSE and it got nowhere. So I thought It's fair to at least try. At the risk of repeating well known stuff I tried ...
3
votes
1answer
88 views

Carre du Champ, Subunit Paths and CC-metrics

Let the operator $L$ be given by $Lf(x):=\nabla\cdot (A\nabla f(x))$, where $f:\mathbb{R}^d\rightarrow \mathbb{R}$ belongs to a suitable class of functions $\mathcal{A}$. The carre du champ operator ...
8
votes
2answers
223 views

Example of a non-Kähler manifold with varying plurigenera

Let $X \stackrel{\pi}{\to} \mathbb{D}$ be a proper holomorphic family with fibres $X_t = \pi^{-1}(t)$. Siu proved, when the $X_t$'s are projective, that the plurigenera $h^0(X_t, mK_{X_t})$ are ...
4
votes
1answer
177 views

Is there an example of a Killing vector field on a complete Riemannian manifold with finite volume?

Is there a Killing vector field on a complete Riemannian manifold $M$ with finite volume that satisfies the condition $$\displaystyle\liminf_{r\rightarrow +\infty} \displaystyle\frac{1}{r} ...
30
votes
1answer
646 views

A dictionary of Characteristic classes and obstructions

I apologize in advance as this is not a research level question but rather one which could benefit from expert attention but is potentially useful mainly to novice mathematicians. In an effort to ...
4
votes
0answers
113 views

Why $M \times S^1 $ becomes a manifold with G_2 structure, when $M$ is CY?

My question is about Calabi-Yau manifolds and G_2's. Let M be a 6 dim'l CY manifold. Then, the claim is $M \times S^1 $ becomes a manifold with G_2 structure. I really want to understand how this ...
1
vote
1answer
79 views

Are symplectic realizations of a Poisson manifold unique?

If $(M, P)$ is a (Hausdorff) Poisson manifold, then there exist a surjective Poisson submersion $\pi : (S, \omega) \to (M, P)$ with $(S, \omega)$ a symplectic manifold. I am in a situation where I ...
15
votes
1answer
241 views

Does a Riemannian manifold have a triangulation with quantitative bounds?

Suppose that $M$ is a closed Riemannian manifold with bounded geometry, i.e., curvature between $-1$ and $1$ and injectivity radius at least $1$. Since $M$ is a smooth manifold, it has a ...
5
votes
0answers
66 views

Regularity of the distance from the boundary in singular riemannian manifolds

I am looking for references related with the regularity of the distance from the boundary in singular Riemannian manifolds. I assume the following setting. $(M,g)$ is a Riemannian manifold, with ...
4
votes
1answer
136 views

Lie functor preserves “surjections” in synthetic differential geometry?

In classical finite-dimensional differential geometry, the Lie functor preserves surjections, sending a surjective Lie group homomorphism to a surjective Lie algebra homomorphism. As pointed out ...
2
votes
1answer
141 views

Compact Riemann manifolds with constant injectivity radius

I'm interested in compact Riemann manifolds which have that property that the injectivity radius at a point $p$ doesn't depend on $p$. Another way to put this is that the function $$p \mapsto d(p, ...
3
votes
0answers
71 views

Flows associated with Killing fields

Let $M$ be a Riemann manifold and $p, q$ two points on a geodesic $\sigma$ which are isotropically conjugate. That is, there is a Jacobi field along $\sigma$ vanishing at $p$ and $q$ which is the ...
3
votes
0answers
81 views

Weak form of the Laplace-Beltrami operator on closed manifolds

Suppose we are dealing with diffusion over a boundaryless manifold $M$ (for simplicity let's say it's a surface). In that case, we have \begin{align} \int_M W \Delta U \mathrm{d} x & = -\int_M ...
7
votes
1answer
226 views

Recovering a smooth manifold from its tensor fields

1) Consider the algebra $\mathcal T (M) = \bigoplus \limits _{p, q \ge 0} \mathcal T ^{p, q} (M)$, where $\mathcal T ^{p, q} (M)$ is the space of tensor fields of type $(p,q)$. I should endow it with ...
3
votes
2answers
171 views

Upper bound for Willmore energy

Good day to everyone! Does anybody know if there are upper bound estimates for Willmore energy for a given surface?
1
vote
0answers
112 views

Harmonic and Primitive Forms on a Kaehler Manifold

Let $M$ be a compact Kaehler manifold, and $p$ a primitive form, which is to say it is contained in the kernel of the adjoint of the Lefschetz operator $L$ associated to the Kaehler form. If $p$ is ...
3
votes
0answers
83 views

Differentiability of a map to the free loop space

While reading Morse theory, closed geodesics, and the homology of free loop spaces, the author claims the following: Given the $S^{n-1} \hookrightarrow Y_1 \rightarrow T^1S^n$ bundle over $T^1S^n$, ...
2
votes
1answer
195 views

Moduli of stable bundles - analytic approach

Consider a compact Riemann surface $X$ of genus $\ge 2$, and consider the set $M$ of stable holomorphic vector bundles of rank $n$ and degree $d$ on $X$, up to isomorphism. At that point, one states ...