**1**

vote

**1**answer

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

**3**

votes

**2**answers

143 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 closed 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$ ...

**7**

votes

**3**answers

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

**13**

votes

**2**answers

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

**6**

votes

**1**answer

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

**4**

votes

**1**answer

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

**0**

votes

**0**answers

49 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

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

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

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

**2**

votes

**1**answer

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

**5**

votes

**1**answer

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

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

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

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

**2**

votes

**1**answer

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

**19**

votes

**1**answer

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

**-6**

votes

**1**answer

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

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

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

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

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

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

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

**1**

vote

**0**answers

74 views

### Computing the Frenet-Serret trihedron in $\Bbb L^3$ (Lorentz-Minkowski space)

Consider $\Bbb L^3 = (\Bbb R^3, \langle , \rangle)$, with the convention $$\langle (x_1,y_1,z_1), (x_2,y_2,z_2)\rangle = x_1x_2+y_1y_2 - z_1z_2$$
and $\| v \| = \sqrt{|\langle v, v \rangle|}$.
Let ...

**2**

votes

**1**answer

177 views

### What is the difference between $\delta W^{\pm}=0$ and Einstein?

Maybe this is a vague question. In Besse's book Einstein manifolds, $\delta W^{\pm}=0$ is considered as a generalization of Einstein metrics on four-manifolds. I was wondering what is the difference ...

**1**

vote

**2**answers

215 views

### Schwarzian derivative of a diffeomorphism is zero iff Linear-fractionals?

I have found the following derivation of the Schwarzian derivatives in the book of Ovsienko and Tabachnikov:
For a diffeomorphism $\gamma$ which acts on 4 points $t_1,t_2,t_3,t_4 \in \mathbb{RP}_1$, ...

**0**

votes

**0**answers

81 views

### Does diff$(M)$ act transitively on the set of integrable $G$-structures?

Let $M$ be a compact manifold and diff$(M)$ its diffeomorphism group. Let $G$ be a Lie subgroup of $GL(n,\mathbb{R})$.
In general, the topology of a manifold may prevent it from having an integrable ...

**9**

votes

**1**answer

232 views

### Decomposition of $\mathrm{O}(n)$-modules coming from differential geometry

Let $V$ be a $n$-dimensional real vector space equipped with a positively definite scalar product $g$ and let $\mathrm{O}(n)$ be the automorphism group of $(V,g)$. View $V^{\otimes k}$ as a ...

**2**

votes

**1**answer

169 views

### The stability of vector bundle with trivial Chern classes is independent of ample divisor, a direct proof?

Let $X$ be a smooth projective variety over $\mathbb{C}$. For an ample divisor H, we can define the slop of vector bundle with respect to $H$, then we can define stablilty of vector bundle with ...

**4**

votes

**1**answer

161 views

### Analytic representatives for Kahler classes

If we are given compact complex manifold $X$ and a Kahler class $[\omega]$,
can we always find a positive definite representative $\omega \in [\omega]$ that is
real analytic?

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

160 views

### Universal bundles: construction of the map associated to a group homomorphism

For a Lie group $G$ let $EG \to BG$ denote the universal bundle. A Lie group homomorphism $\rho: G \to H$ determines a map $B \rho: BG \to BH$ as the classifying map for the principal $H$-bundle $EG ...

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

**5**

votes

**1**answer

247 views

### A geometric characterization of smooth points of a complex algebraic variety

Let $X^m\subset \mathbb{C}^n$ be an irreducible $m$-dimensional complex algebraic subvariety. Let $\mathbb{C}^n$ be equipped with the standard Hermitian metric.
Fix an arbitrary point $p\in X$. Let ...

**1**

vote

**0**answers

141 views

### Computation with the Legendre Transform

Let $M$ be a manifold and fix a Lagrangian $L\in C^\infty(T M )$. Let $x_1,\dots x_n$ be local coordinates for $M$ and equip the tangent bundle and cotangent bundle with standard coordinates ...

**1**

vote

**0**answers

187 views

### The integral of torsion

I found the following * exercise(exercise *9) in page 407 of the book of Do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...

**6**

votes

**1**answer

89 views

### Integrating representations of Lie algebroids

If $A \to M$ is a Lie algebroid over a smooth manifold $M$ then a representation of $A$ is a vector bundle $E \to M$ with a flat $A$-connection
$$
\nabla : \Gamma(E) \to \Gamma(E\otimes A^*).
$$
If ...

**11**

votes

**1**answer

216 views

### Analog of Newlanderâ€“Nirenberg theorem for real analytic manifolds

It is well known that one can specify a complex structure on a real $C^\infty$ manifold in two equivalent ways: an atlas with holomorphic transition functions between charts and an integrable almost ...

**5**

votes

**1**answer

119 views

### Curvature and Failure to return to starting point

Assume I have a geodesic polygon $P$ in a Riemannian manifold $M$ that is given by the image of a piecewise geodesic closed curve $\gamma(t)$ (parametrized by arclength), with vertices $x_i = ...

**6**

votes

**0**answers

92 views

### Bundles over Function Spaces

Is there any reference on bundles over function spaces? In particular, I am interested in Banach-bundles over function spaces like $W^{k,r}(M)$, where $M$ is a Riemannian manifold. Separable ...

**3**

votes

**3**answers

215 views

### Is the group of isometries of a homogeneous Riemannian manifold maximal?

I have a homogeneous Riemannian manifold X with isometry group Iso. Is Iso a maximal group? By maximal group, I mean that there does not exist another group G such that:
Iso is a proper subgroup of ...

**2**

votes

**0**answers

104 views

### Variational inequality on Manifold

Let $(M,g)$ be a Riemannian manifold. Consider $A : W^{1,r}(M,\mathbb{R}) \rightarrow W^{-1,r'}(M,\mathbb{R}), k \mapsto Ak$, where $Ak$ is defined by $(Ak)(\varphi) = \int_{M}g(\nabla k, \nabla ...

**11**

votes

**3**answers

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

**5**

votes

**1**answer

249 views

### Equivalence of exterior forms

Let us start with the following definition.
Let $1\leqslant k\leqslant n$ and let $\omega_1,\omega_2\in\Lambda^k(\mathbb{R}^n)$. We say that $\omega_1$, $\omega_2$ are equivalent, if there exists ...

**0**

votes

**0**answers

99 views

### Gromov-Floer compactness for C^0 convergence of complex structure/ C^1 convergence of Hamiltonian

Let $M$ be a compact symplectic manifold, $J$ a possibly surface dependent complex structure, and $H$ a Hamiltonian on $M$. I am interested in a variant of Gromov-Floer convergence for solutions of ...

**5**

votes

**2**answers

184 views

### Local maxima and minima of the trace of a product of $SL_2^\pm(\mathbb{R})$-matrices

I am working on a problem relating to Lyapunov exponents of products of random matrices, and this has led me to the following question which I suspect is best approached using techniques outside my ...

**7**

votes

**1**answer

126 views

### When are quotients of the diffeomorphism group Fréchet manifolds?

Let $M$ be a compact manifold and $\text{diff}(M)$ its diffeomorphism group. Various quotients of $\text{diff}(M)$ appear in the literature, oftentimes with geometric significance. A well-known ...

**0**

votes

**0**answers

142 views

### An inequality on closed manifolds

Excuse me again, I am not sure what kind of question the following is. Any suggestion is appreciated!
Let $(M,g)$ be a closed Riemannian manifold, $g$ is real analytic. Let $u,v$ be two nonnegative ...