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

learn more… | top users | synonyms (1)

1
vote
1answer
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
2answers
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
3answers
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
2answers
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
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 ...
6
votes
1answer
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
1answer
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
0answers
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
1answer
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
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
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
1answer
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
1answer
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
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 ...
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
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
1answer
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
1answer
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
1answer
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
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) ...
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 ...
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
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
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 ...
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 ...
1
vote
0answers
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
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
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
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 ...
5
votes
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
3answers
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
0answers
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
3answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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 ...