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

learn more… | top users | synonyms (1)

5
votes
1answer
115 views

Isotropic subvarieties of $ V(x_1^2+\dots+x_n^2-t_1^2-\dots-t_n^2) $

Let $ K $ be a field, $ \operatorname{char} K = 0, $ let $ Q = x_1^2+\dots+x_n^2-t_1^2-\dots-t_n^2 $ be the totally isotropic form, then the maximal linear isotropic subspaces of $ V(Q) \subset ...
4
votes
1answer
134 views

Non-flat totally geodesic surfaces

I'd like to know whether a Riemannian symmetric space of compact type admits a non-flat totally geodesic surface. I've found an article by Mashimo on the classification of these surfaces for certain ...
9
votes
2answers
282 views

References on quaternionic geometry

Is there any analog, in the quaternionic setting, of Kahler potentials? In particular I'm interested in a similar construction of the Fubini-Study 2-form on $\mathbb{P}^1(\mathbb{C})$ over the ...
3
votes
0answers
75 views

Why is a negatively curved cone surface locally CAT(-1)?

Recently I'm reading a paper about the rigidity of negatively curved cone surfaces written by S. Hersonsky and F. Paulin. The authors said that a negatively curved cone surface is locally CAT(-1). But ...
2
votes
0answers
73 views

What dimension bound is known on the singular set of a linear combination of eigenfunctions of Laplacian?

Let $(M,g)$ be a smooth, closed Riemannian manifold and suppose that $\phi_1,\dots,\phi_m$ are eigenfunctions of the Laplacian on $M$. Write $f = \phi_1 + \dots + \phi_m$. How big can the set ...
1
vote
0answers
36 views

Huisken's distance comparison principle and type II singularities

I've been reading Huisken's paper on his distance comparison principle and he remarked that in particular his theorem rules out the formation of type II singularities. These are singularities where in ...
1
vote
0answers
71 views

Limiting behaviour of the symplectic form

It is well known that the coadjoint orbits of the Heisenberg group (with a suitable choice of coordinate system) are the planes $z=c\ne 0$ parallel to the $xy$-plane, and the points in the $xy$-plane. ...
3
votes
1answer
117 views

Regularity of maps in algebraic topology for manifolds

Let $M$ be a $n$ manifold such that $\pi_k(M)$ is non trivial. What can we expect about the regularity of a representant $f:S^k\rightarrow M$ of a non-trivial cycle? For example, if $M$ is a manifold ...
0
votes
1answer
99 views

Gradient on $SU(n)$

I'm trying to calculate the gradient (wrt to the bi-invariant metric) of the following functions $F_1, F_2 : SU(n) \rightarrow \mathbb{R}$ defined by $F_1(U) = | Tr (G^{\dagger} U) |^2$, $F_2(U) = \Re ...
5
votes
0answers
63 views

Ring of SO(n)-invariant differential operators on M_n,m

I'm reading through Stephen Gelbart's paper "A Theory of Stiefel Harmonics." (http://www.ams.org/journals/tran/1974-192-00/S0002-9947-1974-0425519-8/). There comes a point in the paper (Lemma 2.8) ...
4
votes
0answers
101 views

Difference between parallel transport composed with exponential maps along two different geodesics starting at the same point?

I asked this question on math.stackexchange too: it's not a homework problem, but something that came to my mind while thinking of commutation: ...
2
votes
1answer
193 views

Construction of appropriate Morse functions

I am interested in the properties of connectedness of level sets of Morse functions. Let $M$ a compact smooth $n$-manifold, and $1\leq k<n$. Is it possible to construct $k$ Morse functions ...
4
votes
0answers
125 views

Lie algebra cohomology with values in the ring of smooth functions of a $G$-manifold

Let $G$ be a connected Lie group with Lie algebra $\mathfrak{g}$ acting faithfully on a smooth, finite-dimensional manifold $M$. Let $C^\infty(M)$ and $\mathcal{X}(M)$ denote the ring of smooth ...
1
vote
1answer
114 views

Reference request: $\mathcal{C}^\infty_c(M)$ is a topological vector space with the Whitney topology

Let $M$ be a smooth manifold and let $\mathcal{C}^\infty(M)$ be the space of all smooth real valued functions with the (strong) Whitney topology. This space is a topological vector space iff $M$ is ...
0
votes
1answer
102 views

Prove that the holonomies along any two homotopic paths are the same if the curvature of the connection vanishes [closed]

The proof is trivial in the Abelian case by the Stokes' theorem.How to prove it in the non-Abelian case?
3
votes
1answer
93 views

The sign of the mean curvature on convex cones in three dimensions

my question is as follows. It is known that a closed smooth curve in $R^2$ is convex iff its (signed) curvature has a constant sign. I wonder if one can characterize smooth convex cones in $R^3$ in a ...
6
votes
1answer
398 views

Analytic Chern classes

I have two questions on Chern classes, following Huybrechts' Complex Geometry. Are the analytic Chern forms just the elementary symmetric polynomials of the eigenvalues of the curvature? I googled ...
3
votes
0answers
76 views

Bochner-Weitzenbock formula for flat bundle Laplacian

Suppose $(M,g)$ is a compact Riemannian manifold and $(E, \nabla, \lambda, B)$ is the following data: 1) $E$ is a complex vector bundle over $M.$ 2) $\nabla$ is a flat connection. 3) $B$ is a ...
3
votes
0answers
81 views

Does null geodesic flow live on a natural compact bundle?

Let $(M,g)$ be a compact pseudo-Riemannian manifold (closed or with boundary). A geodesic $\gamma:(a,b)\to M$ is called null if $g_{ij}\dot\gamma^i\dot\gamma^j=0$. The geodesic flow can be seen as a ...
1
vote
0answers
147 views

Proof of Arnold-Liouville theorem in classical mechanics [closed]

I am currently reading Arnold's book "Mathematical Methods of classical mechanics" on page 278 and I don't see through his arguments there at a point. Especially, I am talking about the part that ...
4
votes
1answer
113 views

Differential Operators On A Curve And On Osculating Circle

Given a 1D Riemannian manifold $\Gamma$ embedded in 2D Euclidean space (e.g. a parametric curve on a plane $\mathbb{R}^{2}$ ), and point $x_{0}\in \Gamma$, we denote $S^{1}(x_{0})$ the circle ...
0
votes
1answer
155 views

Non Hamiltonian vector field

Let $\Phi: G \times M \rightarrow M$ be a group action on a symplectic manifold $M$ and $G$ be a Lie group. Furthermore, $x$ is a solution of the Hamilton equation $\dot{x}(t) = X_H(x(t))$ and for a ...
1
vote
1answer
198 views

Convex polyhedron and its Gauß-curvature [closed]

I have asked this question on MathSE and no one could give me an answer. So I'll post my question here. What I am trying to prove: A convex polyhedron has positive Gauß-Curvature at every vertex. ...
9
votes
1answer
337 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 ...
5
votes
1answer
167 views

Automorphism group of a fiber bundle surjects onto diffeomorphism group?

This should surely be well-known by I have not been able to find a good reference to the following question: Given a smooth fiber bundle $\pi\colon P \longrightarrow M$ over a smooth manifold $M$ with ...
0
votes
0answers
45 views

Largest Set of Special Unitary Matricies With Invariant Subspace For Adjoint Action

I am trying to solve the following. Given the special unitary group $SU(n)$ and its adjoint action $Ad_{U}: \mathfrak{su}(n) \rightarrow \mathfrak{su}(n)$, what is the largest subset of $SU(n)$ such ...
1
vote
1answer
88 views

Gradient of distance function at cut points on Alexandrov spaces

Let $M$ be an $n$-dim Alexandrov space with curvature bounded below $sec \geqslant k$, possibly non-compact. We assume that $M$ has no boundary for simplicity. For a compact subset $K \subset M$, the ...
2
votes
0answers
106 views

Steepest descent path and Picard-Lefschetz theory

Assume that an ordinary integral of the form $$I=\int_{-\infty}^{\infty}dx e^{-f(x)} $$ for some real function $f(x)$ is given where $f(x)$ is well defined over all $\mathbb{R}$ and the integral is ...
2
votes
0answers
110 views

Gauge freedom in the tetrad

I'm reading the following paper about Petrov type D space times called "Type D vacuum metrics": http://scitation.aip.org/content/aip/journal/jmp/10/7/10.1063/1.1664958 by Kinnersley. I have a ...
5
votes
0answers
177 views

How to get a polygon from a translation surface $(X,\omega)$

Let $S_g$ be a compact topological surface of genus $g$. I know there is the correspondence $\{$Abelian differentials on compact Riemann surfaces of genus g$\}\leftrightarrow\{$ Translation surfaces ...
0
votes
0answers
55 views

Characterisation of vector fields solution to a simple equation

This question is complementary to another question I asked on math.stackexchange. I believe it is more subtle than it seems - it will become clearer when I provide more context - and probably hides ...
53
votes
2answers
4k views

Complex structure on $S^6$ gets published in Journ. Math. Phys

A paper by Gabor Etesi was published that purports to solve a major outstanding problem: Complex structure on the six dimensional sphere from a spontaneous symmetry breaking Journ. Math. Phys. 56, ...
6
votes
0answers
165 views

Smooth morse theory of Riemannian distance functions

Let $(M,g)$ be a Riemannian manifold, and $p\in M$. As $R>0$ increases, the topology of the ball $B(p,R)$ changes, but the changes happen only at a Lebesgue measure zero set of $R$. For instance, ...
1
vote
1answer
101 views

Decomposition of a closed surface

I know that I can decompose an hyperbolic closed surface of genus $g>1$ into $2(g−1)$ pants bounded by $3$ geodesics. It seems reasonable to think the same can be done for a closed surface of genus ...
2
votes
0answers
99 views

Do smooth manifolds create colimits for complex manifolds?

Suppose we have a diagram $D$ in the category $\textrm{Diff}_\mathbb{C}$ of complex manifolds, and suppose this diagram has a colimit $L$ after inclusion in the category $\textrm{Diff}$ of smooth ...
3
votes
1answer
334 views

Monge–Ampère with drift

Let $I\subseteq \mathbb{R}$ be an interval. Let smooth $M(x,y):I\times(0,\infty) \to \mathbb{R}$ satisfies PDE: $$ M_{xx}M_{yy}-M_{xy}^{2}+\frac{M_{y}M_{yy}}{y}=0. $$ My question is to ...
10
votes
2answers
261 views

Volume-minimizing submanifold implies calibrated?

Let $X$ be a smooth manifold of dimension $d$ and $M$ an oriented submanifold of dimension $p < d$ so that the multiples k⋅M are absolutely minimizing $p$-volume in their integral homology ...
0
votes
1answer
138 views

Marcel Berger's “Sur les groupes d'holonomie homogènes de variétés à connexion affine et des variétés riemanniennes.”

I would appreciate any reference that contains either a translation or proof of the main theorem in this paper. Thank you in advanced.
2
votes
0answers
65 views

Bounding distance between geodesics in manifolds with nonpositive curvature

This is a duplicate of a question at the stackexchange which was not answered. I've recently read (in some notes by Mark Pollicott) the following related claims, which, although quite intuitive, I ...
1
vote
0answers
61 views

Volume element of symmetric definite matrices in polar coordinates

I have a difficulty to understand the following statement. I don't ask for a proof but just understand the statement concretely (what it does mean, how to apply it...) Let $\mathcal P_n$ be the ...
1
vote
0answers
112 views

Taylor expansions of Riemannian exponential map and Jacobi fields? [closed]

Apologies if this is not exactly a research-level questions, but I've no known reference where I can figure it out myself. I asked this on math.stackexchange.com, ...
0
votes
1answer
176 views

Positive solutions to Yamabe problem?

Yamabe problem ensures that for any Riemannian metric $g$, in its conformal class $[g]$ there always exists a metric $\bar g$ whose scalar curvature $\bar R$ is constant. I was wondering whether ...
1
vote
1answer
166 views

Spherical harmonics and ellipticity of the Laplacian

Let us consider the sphere $S^n$ and the Laplacian $-\Delta$ on it. Let $L^2(S^n) = \bigoplus_k V_k$, where $V_k$ represents the eigenspace of the Laplacian with eigenvalue $k(k + n - 1)$. We know ...
3
votes
1answer
157 views

Reference request: Intrinsic definition of the strong Whitney topology on $\mathcal{C}^{\infty}(M,\mathbb{R})$ without using charts or jets

Let $M$ and $N$ be smooth manifolds. There is a description of the strong Whitney topology on $\mathcal{C}^{\infty}(M,N)$ in terms of partial derivative in charts (using locally finite sets of charts ...
2
votes
0answers
354 views

Differential and pre-differential of Jacobi identity

Let M be a manifold. To what extent all Lie algebra structures with tensorial property on $\chi^{\infty}(M)$ are studied? That is a Lie algebra structure for which $[X,fY]=f[X,Y]$. (For ...
2
votes
1answer
196 views

existence of totally geodesic hypersurfaces

Assume we are on a smooth, complete Riemannian manifold $(M,g), dim(M) \geq 3$. What are the specific geometric/topological constraints for such a manifold to admit complete, totally geodesic ...
0
votes
0answers
58 views

Kerr metric affine parameter

I'm going through the chapter about Kerr space-time of Chandrasekhar's "Mathematical theory of black holes", and have a question about the following transformation: the idea is, that one wants to ...
3
votes
0answers
66 views

Are maps homotopic with respect to a uniform number of local homotopies

I've encountered the following problem that I'm sure someone more topologically inclined can answer: Say that a homotopy of maps $f:X\times[0,1)\to Y$ between two compact smooth manifolds $X$ and $Y$ ...
4
votes
2answers
186 views

Exponential rule for Whitney-$\mathcal{C}^{\infty}$-topology

Let $M,N,X$ be smooth manifolds. Equip the space of smooth functions between two manifolds with the (strong) Whitney- $\mathcal{C}^\infty$-topology. The evaluation map $$ev\colon ...
0
votes
0answers
117 views

Lie derivative and taking trace

Let $(M,\omega)$ be a complex Kahler manifold, and $g$ is a smooth function such that $\int_Mg\omega^n=0$. It is obvious that there exists a smooth function $f$ such that $\triangle_\omega f=g$. ...