**1**

vote

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**2**answers

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

**7**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

506 views

### differential geometry using Robinson's infinitesimals?

Is there a detailed treatment of differential geometry using Robinson's infinitesimals?

**4**

votes

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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 ...