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

learn more… | top users | synonyms (1)

7
votes
3answers
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
1answer
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
2answers
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
2answers
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
0answers
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
1answer
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
1answer
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
2answers
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
5answers
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
2answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
4answers
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
1answer
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
1answer
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
1answer
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
5answers
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
1answer
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
3answers
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
2answers
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
0answers
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
0answers
201 views

How can we formulate maximal time $T$ in Hyperbolic Kahler Ricci flow

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
0answers
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
1answer
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
3answers
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
1answer
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
4answers
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
0answers
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
2answers
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
5answers
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
2answers
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
1answer
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 ...