**7**

votes

**3**answers

425 views

### nth term in the Baker-Campbell-Hausdorff formula

I am trying to prove a result for which I need the nth term of the Baker-Campbell-Hausdorff formula. I came at this particular result (which is not of significance for the question, but mentioning for ...

**0**

votes

**1**answer

141 views

### Computing the Chern class of $S^6$

I am trying to calculate the Chern class of the tangent bundle of the sphere $S^6$. I am told that this is an interesting case, since $S^6$ is not a complex manifold, but it has an almost complex ...

**2**

votes

**2**answers

112 views

### Is the hypersurface satisfying $\langle x-x_0,\nu\rangle>0$ diffeomorphic to sphere?

Let $p:M\to \mathbb{R}^{n+1}$ be the immersed hypersurface. Is the following thing right? If there exists a point $x_0$ in $\mathbb{R}^{n+1}$ such that $\langle x(p)-x_0,\nu(p)\rangle>0$ for all ...

**13**

votes

**2**answers

566 views

### If there is a dense geodesic, are almost all geodesics equidistributed? Dense?

Let $M$ be a complete finite volume Riemannian manifold and $\gamma : \mathbb{R}^{\geq 0} \to M$ a geodesic. Suppose that $\mathrm{im}(\gamma)$ is dense. Is it equidistributed in the Riemannian ...

**1**

vote

**0**answers

64 views

### why is this result about Gaussian analytic functions equivalent to the Crofton formula

I am reading Zeros of Gaussian Analytic Functions by Mikhail Sodin and he gives an much-too-easy proof of density of zeros of a Gaussian Analytic function.
Definition A Gaussian analytic function ...

**4**

votes

**1**answer

61 views

### Point of maximal distance on a non-positively curved PL surface

I just posted this question as a comment to the question Hypersurfaces and Elliptic Points
but I don't know how many people will see it.
It's well known and easy to prove that a point on a closed ...

**6**

votes

**1**answer

267 views

### Complex geometry text/research introduction for the analyst

To give some background, I am mainly an analyst trained in harmonic/functional and do work on geometric pde's and spectral multipliers. Of late, I am trying to learn more about (research level) ...

**5**

votes

**2**answers

439 views

### Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...

**5**

votes

**5**answers

1k views

### Structure of Kähler cone

Are there examples of Kähler manifolds whose Kähler cone can be described explicitly, say spanned by certain cohomology classes? As far as I know, Hirzebruch Surface has a complete description for ...

**3**

votes

**2**answers

316 views

### Hypersurfaces and Elliptic Points

I'm reading a paper, in which we have $M^n$ an n-dimensional compact hypersurface embedded in $\mathbb{R}^{n+1}$. We take the scalar cuvature $R$ to be the elementary symmetric polynomial of degree 2 ...

**5**

votes

**1**answer

256 views

### The surjectivity of the exponential map for the isometry group

Little is known on general conditions guaranteeing that the exponential map between a Lie algebra and an associated Lie group is surjective.
Let $M$ be a noncompact connected Riemann manifold, and ...

**5**

votes

**1**answer

548 views

### Central extension of the algebraic loop group

I'm doing some constructions with the universal central extension $\widehat{\Omega G}$ of the loop group $\Omega G$ (here $G$ is a matrix group), where a priori the loops involved are just smooth, but ...

**0**

votes

**0**answers

48 views

### the push forward of the differential idea of sheaf

This is about the differential idea of a sheaf as a vector bundle $E$ (not necessarily locally trivial) on a real manifold $M$ with a zero curvature connection $\nabla$. The zeroth cohomology is then ...

**3**

votes

**1**answer

195 views

### Mathematica package for supergravity and string theory

I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...

**0**

votes

**1**answer

85 views

### Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...

**1**

vote

**1**answer

230 views

### A question about the first eigenvalue for two Kahler metrics

While reading the paper of Gang Tian, "Kähler-Einstein metrics with positive scalar curvature". In the proof of Theorem 1.6, he pointed that if two Kahler metrics $\omega $ and $\omega'$ satisfies ...

**2**

votes

**1**answer

125 views

### Norms on Clifford algebra (C^* norm)

Basically I'm interested in operator algebras such as $C^*$ or von Neumann algebras. However I decided to learn a bit about noncommutative geometry (in particular spectral triples). Before doing this ...

**0**

votes

**1**answer

85 views

### both convex and superharmonic function on manifold concave?

M is a non-compact Rimannian manifold without boundary.
$f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e.
$$
-\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M ...

**-3**

votes

**0**answers

79 views

### Holomorphic vector fields tangential to a divisor [closed]

The work of Song-Wang http://arxiv.org/abs/1207.4839v1 pointed that while $D$ is a smooth simple divisor in $|-mK_X|$ for $m\in \mathbb{Z}^+$, then there is no any holomorphic vector field tangential ...

**0**

votes

**0**answers

76 views

### Estimate of Mean curvature

If $\varphi: \Sigma\hookrightarrow (\mathbb{R}^{n+1} ,g)$ is an embedded convex hypersurface, can we estimate the mean curvature growth or integral in terms of intrinsic geometry, such as the ...

**3**

votes

**3**answers

2k views

### Integration of differential forms using measure theory?

Setup: Let $(M,g)$ be a (possibly non-compact) Riemannian manifold with volume density $d_gV$. Then one may think of $(M,g)$ as a measure space $(\Omega,\mathcal{A},\mu)$, where $\Omega:=M$, ...

**3**

votes

**0**answers

296 views

### Solving $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ equation

Is there a way to solve the equation: $T^2 = -\kappa\, \mathrm{Tr}\, (\log(e^{i T \hat{H}_0} \hat{O}) )^2$ for $T$?
Here $\kappa$ is an arbitrary positive constant, $\hat{H}_0 \in \mathfrak{su}(N)$ ...

**4**

votes

**1**answer

71 views

### The Chern connection on a Hermitian symmetric domain

There's a connection (the Chern connection) on the Tangent Bundle of a Kahler Manifold which is compatible with both the hermitan metric, and the holomorphic structure. In general, I guess there's no ...

**5**

votes

**1**answer

363 views

### On bi-invariant metrics on groups

I'm looking for a quick, snap-your-fingers proof of the following result:
A continuous length metric on $\mathbb{R}^n$ that is invariant under translations comes from a norm.
To be clear about ...

**0**

votes

**0**answers

105 views

### How to prove this inequality of heat flow from Weitzenbock formula?

Let $(M,g), (N,h)$be a compact Riemannian manifolds, $m:=\dim M, n:=\dim N\geq 2$,
and $N$ is a non-positive curvature $K_N\leq 0$. All connections which appear below are the Levi-Civita connections. ...

**6**

votes

**1**answer

205 views

### Lifting a Diffeomorphism to the Cotangent Bundle

Both Abraham-Marsden and Da Silva seem to imply that given a symplectomorphism $g:T^\ast X\to T^\ast X$ which preserves the tautological $1$-form $\alpha$, it must be that $g$ is fibre preserving.
...

**4**

votes

**1**answer

159 views

### cell decomposition of real homogeneous hypersurfaces

Let $f(x_1,\ldots,x_n)\in\mathbf{R}[x_1,\ldots,x_n]$ be a homogeneous polynomial
and consider the real hypersurface $H=\{(x_1,\ldots,x_n)\in\mathbf{R}^n:f(x_1,\ldots,x_n)=1\}$. Assume to simplify ...

**19**

votes

**1**answer

491 views

### Ellipses on spheres (and other surfaces)

Define an ellipse $E$ on a sphere as the locus of points whose sum of
shortest geodesic distances to two foci $p_1$ and $p_2$ is a constant $d$.
There are conditions on $\{ p_1, p_2, d \}$ for this ...

**5**

votes

**2**answers

404 views

### Cotangent bundle lift theorem

Let $M$ be a smooth manifold and $T^\ast M$ be its cotangent bundle. Consider the tautological 1-form $\theta$ on $T^\ast M$ ($\theta=\sum y_i dx^i$ in local canonical coordinate systems).
A ...

**2**

votes

**1**answer

137 views

### How to find Darboux coordinates?

I would like to find local Darboux coordinates for symplectic structures on coadjoint orbits of some nilpotent Lie group. At first, I thought that this would be not very hard, and that it would be ...

**7**

votes

**4**answers

3k views

### Role for generalized geometries in string theory

What role do generalized geometries (in terms of Dirac structures, for instance, symplectic, Poisson, complex, and generalized complex structures in the sense of Hitchin, Cavalcanti, and Gualtieri) ...

**4**

votes

**1**answer

463 views

### The space of diffeomorphisms on a manifold

It is well known that given a compact connected smooth manifold without boundary $M$, the set of diffeomorphisms $Diff^{r}(M)$ of $M$ for $r≥1$, is open in $C^{r}(M)$, the set of continuous functions ...

**4**

votes

**1**answer

193 views

### What is an element of an iterated tangent bundle?

An element of the tangent bundle $T M$ of a manifold is called a "(tangent) vector". An element of its dual $T^* M$ is called a "covector" or a "1-form". An element of the exterior square ...

**2**

votes

**1**answer

189 views

### The points of half area of a triangle

Let $S$ be a simply connected Riemannan surface . Suppose $\Delta ABC$ is a triangle on $S$. The Area of a triangle is denoted by $\mathcal{A}$. A point $P$ in the interior of $\Delta ABC$ is ...

**18**

votes

**5**answers

3k views

### Why differential forms are important?

Importance of differential forms is obvious to any geometer and some analysts dealing with manifolds, partly because so many results in modern geometry and related areas cannot even be formulated ...

**-6**

votes

**1**answer

70 views

### Non Linear PDE's [closed]

I want to solve two systems of questions being
$$\frac{C(r,y)''}{C(r,y)} + \frac{C(r,y)'^2}{C(r,y)^2}=0$$
and
$$A(r,y)'' + 2A(r,y)' \frac{C(r,y)'}{C(r,y)}=0$$
where ' is differentiating with respect ...

**7**

votes

**3**answers

681 views

### Pullback map in homology

I'm interested in a concrete description of the "wrong way maps" in homology/cohomology.
$\textbf{Question 1:}$ Let $X, Y$ be compact smooth manifolds of dimensions $n, m$ respectively, and $\phi: X ...

**5**

votes

**2**answers

2k views

### The geometry behind the ICM 2010 Logo

The logo for this year's ICM show the inequality $ |\tau(n)| \leq n^{11/2} d(n)$ where $\sum \tau(n)q^n = q \prod_{n \neq 1} (1 - q^n)^{24}$ is the tau function. Wikipedia says this bound was ...

**0**

votes

**0**answers

66 views

### The limit of a sequence of embedded minimal disks in $\mathbb{R}^3$

Let $\Sigma_n,n\ge 1$ be a sequence of embedded minimal disks in $\mathbb{R}^3$ such that:
(1) $0\in\Sigma_n\subset B(0,r_n)$ with $r_n\to\infty$ as $n$ tend to $\infty$,
(2) ...

**0**

votes

**0**answers

201 views

### How can we formulate maximal time $T$ in Hyperbolic Kahler Ricci ﬂow

In general, the exact maximal time $T$ of a Riemannian Ricci flow may not be easy to find. However, fortunately, for Kähler-Ricci flows, the maximal time of existence $T$ is explicitly determined by ...

**5**

votes

**0**answers

103 views

### The geometric shape of domains of flows

Consider a smooth (non-compact) manifold $M$ with a vector field $X$. Then we know that there is a open neighbourhood $U \subseteq M \times \mathbb{R}$ of $M \times \{0\}$ such that on $U$ the flow ...

**3**

votes

**1**answer

145 views

### Regular singularities and the infinitesimal site

Suppose I have a smooth non-proper algebraic variety $X/\mathbb{C}$.
A vector bundle with flat connection (``differential equation'') on $X$ extends, as was noted by Grothendieck, to a coherent ...

**11**

votes

**3**answers

477 views

### Is there a “unique” homogeneous contact structure on odd-dimensional spheres?

Let $S^{2n-1}\subset\mathbb{C}^{n}$, and denote by $\langle\,\cdot\,,\,\cdot\,\rangle$ the Hermitian product. Then
$$
\mathcal{C}_p:=\{\xi\in T_pS^{2n-1}\mid\langle p,\xi\rangle=0\},\quad p\in ...

**0**

votes

**1**answer

54 views

### Calculate GPS coordinates at x meters [closed]

I want to calculate a pair of GPS coordinates(lat,long) that is at x meters N/S/E/W from a known point (lat_old,long_old).
I have found the Haversine formula
...

**51**

votes

**4**answers

6k views

### When can a Connection Induce a Riemannian Metric for which it is the Levi-Civita Connection?

As we all know, for a Riemannian manifold $(M,g)$, there exists a unique torsion free connection $\nabla_g$, the Levi-Civita connection, that is compatible witht metric.
I was wondering if one can ...

**1**

vote

**0**answers

60 views

### Structure of the zero set of analytic maps (Lojasiewicz’s Structure Theorem for Varieties)

The Lojasiewicz’s Structure Theorem for Varieties states that for $\Phi:\mathbb{R}^n\rightarrow \mathbb{R}$ real analytic with $\Phi(0)=0$ the set $\Phi^{-1}(0)$ is locally a union of subvarieties of ...

**11**

votes

**2**answers

848 views

### Obstructions to Einstein metrics in high dimensions

It is well known that there exists three and four manifolds that do not admit an Einstein metric, but I wonder if this question is still open for manifolds of dimension higher than four. That is, does ...

**27**

votes

**5**answers

2k views

### $G_2$ and Geometry

In a recent question Deane Yang mentioned the beautiful Riemannian geometry that comes up when looking at $G_2$. I am wondering if people could expand on the geometry related to the exceptional Lie ...

**18**

votes

**2**answers

2k views

### Which Kahler Manifolds are also Einstein Manifolds?

Is it known which Kahler manifolds are also Einstein manifolds? For example complex projective spaces are Einstein. Are the Grassmannians Einsein? Are all flag manifolds Einstein?

**2**

votes

**1**answer

80 views

### Projectively flat Hermitian curvature proportional to Kähler form?

Is there a classification of the holomorphic Hermitian vector bundles $\pi:E\rightarrow M$, over a given complex Hermitian manifold, which are projectively flat and the curvature is proportional to ...