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

learn more… | top users | synonyms (1)

1
vote
1answer
75 views

Differential characters, Chern-Simons forms, and differential cohomology

I've read through the classic Chern-Simons paper where they introduce the Chern-Simons forms. These are differential forms whose exterior derivative gives you the characteristic forms for any given ...
3
votes
1answer
101 views

The fibration map $Diff(M) \rightarrow Emb(N,M)$

Let $M$ be a non-compact manifold, equipped with a (closed?) submanifold $N\subset M$. The action of $Diff(M)$ on the set of embeddings $N\hookrightarrow M$ induces a map $$ Diff(M) \rightarrow ...
4
votes
1answer
353 views

Algebraic Geometry needed for Kähler-Einstein metric

I am a Master's student interested in Differential Geometry / Geometric Analysis. Currently active research is going on in Kähler-Einstein / Extremal Kähler metric. I was wondering how much Algebraic ...
1
vote
0answers
28 views

Perturbating the boundary of a helicoid

I prepare a long helix (with many periods) as the boundary of a long helicoid. I unavoidably made some mistake and the helix is not perfect, some perturbation or even defect is happening somewhere. ...
21
votes
3answers
1k 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
75 views

Moduli space of complex Tori

Is there any explicit computation for the Weil-Petersson metric on moduli space of Tori of complex dimension n?
9
votes
2answers
1k views

Why “Classification” of 4 manifolds is NOT possible?

I know classification of 2 manifolds and geometrization for 3 manifolds. Why for dimension great or equal to 4, this task become impossible? edit: Or should I ask "why geometrization won't be ...
4
votes
0answers
36 views

Some questions on the nodal geometry of Dirac operators

Let me begin by quoting a well-known result of Christian Baer (see here). The result goes as follows: Theorem (Baer): Consider a connected $n$-dimensional Riemannian manifold with Dirac bundle $S$ ...
5
votes
1answer
201 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 ...
4
votes
2answers
110 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 ...
3
votes
1answer
160 views

On fundamental solutions to Poisson equation on 3-dimensional manifolds

I am interesting in solutions to Poisson equation $$\triangle \varphi = 4 \pi \rho \qquad (1)$$ defined on 3-dimensional oriented Riemannian manifold $(M,g)$, where $g$ is metric and ...
5
votes
0answers
170 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) ...
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 ...
3
votes
1answer
152 views

Regularity of Hodge Laplacian on bounded domains

I need a reference for the $W^{s,p}$ regularity of the Hodge boundary value problem on bounded domains. I need estimates $\lVert \omega \rVert_{W^{s+2,p}} \leq c \lVert f \rVert _{W^{s,p}}$, for ...
4
votes
1answer
91 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
73 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?
2
votes
2answers
166 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 ...
33
votes
7answers
7k views

Why are there so many smooth functions?

I do understand that my question might seem a little bit ignorant, but I thought about it a lot and still can't wrap my head around it. Analycity imposes very strong conditions on a map, from ...
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 ...
11
votes
1answer
386 views

Strong equivalence between intrinsic and extrinsic metrics on $GL_n^+$?

$\newcommand{\til}{\tilde}$ Lately, I have become interested in comparing intrinsic and extrinsic metrics on Riemannian manifolds. Consider $GL_n^+$ (invertible matrices , $\det >0$) as an open ...
9
votes
1answer
160 views

Optimal exponent in the Lojasiewicz-Simon gradient inequality

Lojasiewicz's theorem asserts that if $F: \mathbb{R}^n\to \mathbb{R}$ is a real-analytic function in a neighborhood of its critical point $0$, then there exist constants $\theta\in (0,1/2]$, ...
8
votes
2answers
506 views

differential geometry using Robinson's infinitesimals?

Is there a detailed treatment of differential geometry using Robinson's infinitesimals?
4
votes
2answers
542 views

Applications of Gauss-Bonnet theorem

In wikipedia,I was pretty amazed to find a proof of fundamental theorem of algebra using Gauss Bonnet theorem. I think given how central it is to mathematics with its far reaching generalizations ...
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 ...
21
votes
1answer
216 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 ...
3
votes
1answer
89 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 ...
4
votes
1answer
178 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} ...
5
votes
0answers
48 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$ ...
9
votes
1answer
541 views

Does the Riemann-Christoffel curvature determine the connection?

I am looking for the integrability condition of the following system of pde: ...
2
votes
1answer
857 views

Hamiltonian potentials of holomorphic vector fields on modifications of Kahler manifolds

let $(M,\omega)$ be a compact Kähler manifold. Let $\mathfrak{g}=H^{0}(M,T_{M})$ be the Lie algebra of holomorphic vector fields on $M$.We can decompose $\mathfrak{g}$ as ...
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 ...
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: ...
1
vote
1answer
251 views

Is the map $\exp_x(\nabla_x \sum_{i=1}^m d^2(x_i,x))$ Lipschitz?

The last question is too general, this is a modification. Let $M$ be an $n$ dimensional Riemannian manifold. Fix $m$ points $x_1,...,x_m$. Suppose $y$ is not in the cut locus of $x_i$ for $1 ...
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
137 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
384 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}$ ...
6
votes
1answer
591 views

semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity. For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in ...
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 ...
7
votes
2answers
673 views

Harmonic function with gradient of constant norm in hyperbolic 3-space

I investigate certain stationary charged perfect fluid solutions to the Einstein-Maxwell equations in general relativity. The classification of these solutions has led me to the following question: ...
7
votes
1answer
227 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 ...
7
votes
1answer
287 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 ...
-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) ...
8
votes
2answers
464 views

Vector bundles, finitely generated projective module?

Let $B$ be a Tychonoff space and let $\mathbb{R}(B)$ denote the ring of continuous real valued functions on $B$. For any vector bundle $\xi$ over $B$, let $S(\xi)$ denote the $\mathbb{R}(B)$-module ...
13
votes
1answer
513 views

Time averages and differentiability

Let $\varphi_t : M \rightarrow M$ be a smooth flow on a smooth manifold $M$. We may assume (although I'm not sure if this is important) that the flow preserves a smooth volume form on $M$. Given a ...
14
votes
1answer
958 views

Examples of Einstein four-manifolds of negative sectional curvature

Are there any nontrivial compact Einstein four-manifolds of negative or nonpositive sectional curvature? by nontrivial we mean not quotients of $\mathbb{H}^4$, $\mathbb{C}H^2$, ...
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 ...
4
votes
1answer
143 views

$|\exp_p(x)\exp_q(T(x))|$ controlled by $|pq|?$ $T$ is parallel transportation in Alexandrov space

Let $M$ be an Alexandrov space with $sec \geqslant 0$. Let $p$ and $q$ be points of shortest path $\gamma$ in $M$, that are not end point. Then the tangent cone can split as $C_p=L_p \times ...
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
1answer
350 views

Is there any open Ricci-flat ALE 4-manifold other than Hyper-Kahler ALE 4-manifolds?

Concerning my previous question Non simply connected HyperKähler 4-manifolds without ALE metrics the following question occurred to me: Is there any open Ricci-flat ALE 4-manifold other than ...