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

learn more… | top users | synonyms (1)

1
vote
0answers
48 views

A compact Alexandrov space with curvature bounded below has curvature bouneded above?

For a compact Riemannian manifold, Since the curvature tensor is continuous, we know that the sectional curvature is bounded, i.e. bounded above and below. Now let $M$ be a compact Alexandrov space ...
-1
votes
0answers
84 views

Curvature in geometry-interpretation

Previously this question was asked on stack exchange: the answer contained only reference to the wikipedia page which I already read (as mentioned in my post). So here is the question: The are ...
6
votes
2answers
203 views

For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature? An obvious case is when $Y$ ...
3
votes
0answers
68 views

Representing rational homotopy class by geometric objects

Given a smooth manifold $M$, we can study its rational homotopy type by looking at differential forms. I am wondering if there is a way to represent each $rational$ homotopy class by geometric ...
1
vote
0answers
57 views

Comparing Dirichlet energy and area of a Surface-immersion

Let $(F,g)$ be a closed Surface, $(M,h)$ a Riemannian 3-Manifold and $f: F \to M$ a smooth immersion. Denote by $f^*(h)$ the pullback metric on $TF$ induced by $f$ and let $dV_g$ and $dV_{f^*(h)}$ be ...
5
votes
0answers
113 views

Detecting torsion-classified bundles by differential invariants

The following is based on a loose understanding of the nuts and bolts that go into Chern-Simons theory, so bear with any vagueness on my part. Suppose I have a principal $G$-bundle $P\to M$ and I ...
0
votes
2answers
102 views

Does an analytic tensorial Lie structure on $S^2$ gives a fiberwise Abelian Lie algebra structure?

Motivated by the answer to this question we ask: Is it true to say that for every real analytic tensorial Lie algebra structure $\alpha$ on $\chi^{\infty}(S^2)$, all fibers are necessarily ...
3
votes
0answers
79 views

Are ultralimits the Gromov-Hausdorff limits of a subsequence?

Let $(M_i,p_i)$ be a sequence of $n$-dimensional Riemannian manifolds with lower Ricci curvature bound $-1$. Fix a non-orincipal ultrafilter and let X be the ultralimit of the sequence. Does there ...
1
vote
1answer
110 views

Manifold_Lie algebra compatibility

In this question we try to improve some parts of this post as follows: What is an example of a manifold $M$ and a Lie algebra $L$ (with the same dimension) such that $M$ does not admit ...
5
votes
2answers
432 views

Square of the distance function on a Riemannian manifold

Let $(M^n,g)$ be a smooth Riemannian manifold. Consider the square of the distance function $$dist^2\colon M\times M\to \mathbb{R}$$ given by $(x,y)\mapsto dist^2(x,y)$. It is easy to see that this ...
0
votes
0answers
56 views

How to estimate the Lipschitz constant of $\exp_x(\nabla f(x))$?

Let $M$ be a compact Riemannian manifold, $f$ is a $C^2$ function on $M$. Then how to estimate the Lipschitz constant of the function $\exp_x (\nabla f(x))$? Since $|\nabla^2 f| \leqslant C$, then ...
4
votes
2answers
258 views

Riemannian metrics preserved by diffeomorphisms

Let $f \neq Id$ be a diffeomorphism (of a smooth manifold $M$) which admits some Riemannain metric on $M$ making it an isometry. How many different metrics are preserved by $f$? Note that ...
4
votes
3answers
184 views

Parameterizing rotations of a cube [on hold]

For $g\in\mathrm{SO}(3),S\subseteq \mathbb{R}^3,$ define $g\cdot S:=\{g\cdot p : p\in S\}.$ In words, if $g$ is a rotation of $\mathbb{R}^3$, $g\cdot S$ is the set of elements of $S$ rotated by $g$. ...
1
vote
0answers
94 views

When is a conformal class equal to a conformal orbit?

Let $(M,g)$ be a Riemannian manifold of dimension $n$. Let $\text{conf}(M,g)$ denote the conformal group, i.e. the subgroup of diffeomorphisms of $M$ that acts by conformal transformations relative to ...
6
votes
1answer
211 views

Differential geometry without the Hausdorff condition or the second axiom of countability

I would like to know how the standard differential geometry of manifolds would change if we didn't assume the Hausdorff condition and/or the second axiom of countability. There are some simple things ...
6
votes
1answer
165 views

How does one identify flow lines on a vector bundle with those on the base in Morse theory?

In Chapter 4.2 of Schwarz's book on Morse homology there is a brief discussion of Morse theory on the total space of a smooth vector bundle $E \to M$. In particular, one can take the Morse function ...
4
votes
2answers
242 views

Vector Fields in a Riemannian Manifold

Suppose $(M,g)$ is a Riemannian manifold. Is there a way to classify manifolds where there exists a vector field that commutes with the laplace beltrami operator? Thanks
5
votes
1answer
282 views

Is there a geometric proof for the upper semicontinuity of fiber dimension in algebraic geometry?

One of the first theorems encountered in algebraic geometry is the upper semicontinuity of fiber dimension: Let $ f : X \to Y $ be a surjective regular map between irreducible varieties with ...
14
votes
1answer
673 views

Is it possible for a metric on a smooth manifold to be smooth?

Are there any smooth manifolds $M$ with the following property: There exist a realizing metric $d$ (i.e $d$ induces the topology on $M$), and $d$ is smooth on all of $M \times M$? If not, is it ...
1
vote
0answers
116 views

Was this particular case of the tube formula known before Weyl and Hotelling?

The tube formula is a really nice result in differential geometry which relates the volume of the tubular neighborhood of a submanifold to its intrinsic geometry. It has been proved by Weyl in 1939 ...
1
vote
1answer
65 views

Are non-linear connections with linear holonomy, linear?

Let $\pi\colon TM\to M$ be the tangent bundle of a differentiable manifold, let $E=TM\backslash 0$ be the slit tangent bundle, and let $V_eE$ be the kernel of $\pi_*$ at $e\in E$. The set ...
1
vote
0answers
73 views

Integral curves on non compact manifolds [closed]

Define a vector field on $\mathbb{R}^d$ by $X = \frac{\partial}{\partial x_{d}}$. That is a vector field that always points upward along the $x_{d}$-axis. Consider starting at any point $p \in ...
1
vote
0answers
31 views

Normal fields of geodesic spheres

This question is related to this one (http://math.stackexchange.com/questions/1383511/normal-curvature-of-geodesic-spheres) I've asked at math.stackexchange. Let $(M,g)$ be a compact Riemannian ...
0
votes
1answer
119 views

Volume form on pair (X,D)

Let $X$ be a singular Kahler variety with Kahler current $\omega $ then the volume form is $\omega^n$. Now let $D$ be a divisor then how can we define volume form on pair $(X,D) $?
3
votes
0answers
133 views
+100

Generalising the parametric transversality theorem to a foliation

The parametric transversality theorem states that, given a parameterised family of smooth maps of $C^{\infty}$ manifolds $\phi_s:M \rightarrow N$ and a submanifold $R < N$ then for almost all ...
1
vote
1answer
144 views

Orientability of Surfaces and the Fundamental Group [closed]

Let $(M,g)$ be a compact riemannian 3-manifold and $\Sigma \subset M$ an embedded compact surface homeomorphic to the projective plane. Consider the application $i_\#:\pi_1(\Sigma)\to \pi_1(M)$ given ...
3
votes
1answer
158 views

Orbits of Metrics under the Action of the Diffeomorphism Group

Consider the $n$-sphere $$ S^n = \{x\in\mathbb{R}^{n+1}: 1 - \sum_{k=1}^{n+1} x_k^2 = 0\}, $$ and let $g_1$ be the induced metric. Given $\lambda\in\mathbb{R}^{n+1}_{>0}$, we have the ellipsoid $$ ...
4
votes
0answers
154 views

Open questions in “Spin geometry”

This is a very naive question. I have the impression that the area of "Spin geometry" is not an active research field. Sure Spin geometry is used in many different branches of mathematics and physics ...
1
vote
0answers
109 views

How can we define constant scalar curvature Kahler or cscK on pair $(X,D)$

A Kahler metric $\omega$ with cone singularities along divisor $D$ with cone angle $2\pi\beta$ is said to be of constant scalar curvature Kahler or cscK if its scalar curvature $S(\omega)$, which is ...
2
votes
0answers
107 views

Poisson Manifold Structures on Even Dimensional Spheres

The $2n$-sphere, for $n=1,2,3$, possess a (non-trivial) Poisson manifold structure. Is this still true for $n > 3$? Describing the spheres as homogeneous spaces $SO(n)/S(n-1)$, are there Poisson ...
2
votes
1answer
76 views

Limited expansion of mean curvature of geodesic spheres

I am working with the Laplacian on a Riemannian manifold $(M,g)$ (compact, without boundary). In spherical geodesic coordinates $(r, \sigma)$ around some arbitrary $x \in M$ (where $\sigma$ denotes ...
0
votes
0answers
70 views

Automorphism group of closed projective surface of negative Euler characteristic

Let $M$ be a smooth surface and $[\nabla]$ a projective structure on $M$, that is, an equivalence class of torsion-free connections on $TM$, where two such connections are called projectively ...
1
vote
0answers
33 views

A questions related to the Markus conjecture for special affine manifolds

An affine manifold $M$ is called special if there is a parallel volume form $\omega$ on $M$, and a nowhere vanishing vector field $\mathcal{V}.$ Here we need to point out that any affine manifold of ...
2
votes
2answers
157 views

Conditions on a Lorentzian manifold to ensure existence of global proper-time foliation?

I am wondering what conditions a Lorentzian manifold $(M,g)$ must satisfy to ensure the existence of a global proper-time foliation (i.e. a decomposition of $M$ into spacelike Cauchy hypersurfaces and ...
2
votes
0answers
49 views

Group of real analytic isometries of $g$-fold product of the Poincare upper half plane

Let $\mathfrak{h}^g$ be the cartesian product of $g$ copies of the Poincare upper half plane. We endow $\mathfrak{h}^g$ with the usual Poincare metric given in local coordinates by $ds^2=\sum_{i=1}^g ...
7
votes
2answers
328 views

Generalising the Penrose Twistor Fibration

As is well known, there exists a fibration $\mathbb{CP}^3 \to S^4$, of the four sphere by complex projective $3$-space, called the Penrose twistor fibration. Does this fibration admit a "canonical" ...
6
votes
1answer
223 views

Four-dimensional vector bundles over $S^4$, intuition?

I know that $\pi_3(SO(4)) = \mathbb{Z} \oplus \mathbb{Z}$. We can choose an explicit identification as follows: given $(i, j) \in \mathbb{Z}$, we have a map $\phi: S^3 \to SO(4)$ which sends a unit ...
6
votes
0answers
145 views

Intuition behind the following theorem of Reeb?

What is the intuition behind the following theorem of Reeb? If a compact manifold admits a function with only two critical points which are non degenerate, it is homeomorphic to the sphere.
4
votes
1answer
78 views

Submersion theorem for smooth tame Frechet manifolds

If $M$ and $N$ are Banach manifolds, $f:M\rightarrow N$ is a smooth map, and $q\in N$ is a regular value, so $f$ is a submersion on $f^{-1}(q)$, it is well known that the level set $f^{-1}(q)$ is a ...
3
votes
0answers
71 views

What is an intuitive explanation of the Hopf fibration and the twisted Hopf fibration? [migrated]

As the question suggests, what is an intuitive explanation of the Hopf fibration and the twisted Hopf fibration? I not a topologist by trade and I find the concept kind of hard to understand... Thanks ...
2
votes
0answers
58 views

Parametrices for the wave equation on manifolds with boundary

I am trying to understand parametrices for the solution operator $G_t = \sin(t\Delta)/\Delta$ to the wave equation $$(\partial_{tt} + \Delta)u_t=0, ~~~~~~~ u_0 =0, ~~~~~~\partial_tu_0 = f$$ on a ...
0
votes
0answers
156 views

Bigness of a symplectic form on pair $(X,D)$

Let $(M,\omega_M)$ be a compact Kähler manifold. We say that a semi-positive $(1,1)$ form $\omega$ is big iff $$\int_M\omega^n>0$$. Now let we have the pair $(X,D)$ where $D$ is a divisor on ...
1
vote
0answers
85 views

Invariance of torsion and curvature [closed]

Let $f:Q(M,G)\to P(N,G)$ be a homomorphism between two principal bundles such that the structure group is preserved. Then, given a connection form $\omega$ on $P$, we know that there exists a unique ...
3
votes
1answer
202 views

Example of a triangulable topological manifold which does not admit a PL structure

I know there are some examples of manifolds which don't admit a PL structure (combinatorial triangulation), and that it has been recently proven that in dimension $n\geq5$ there are manifold which are ...
6
votes
0answers
94 views

Harmonic map heat flow in positive curvature

Suppose I wish to relax/smooth a map $\phi:M\rightarrow N$ between two surfaces $M,N$ embedded in $\mathbb{R}^3$. I could try flowing the map using harmonic heat flow, which (as I understand it) is ...
2
votes
2answers
166 views

Comparision theorem for distance function

Assume that $\rho$ and $\rho'$ are conformal metrics on the unit disk which is a geodesic disk of radius $1$ w.r.t. both metrics $\rho$ and $\rho'$, and assume that $\rho'$ has a constant Gauss ...
1
vote
0answers
101 views

understanding geometry of eigen values of Ricci tensor [closed]

As per I can visualize the eigen value $\lambda$ of a linear map $T:V \rightarrow V$, defined by $Tv=\lambda v$, is actually the scaling factor of the vector in the same direction as of $v$.My ...
0
votes
1answer
231 views

Steps in paper on sympl. geometry unclear

I am currently reading a paper on symplectic geometry: Periodic orbits for Hamiltonian systems in cotangent bundles by Christopher Golé. It deals with the question how the stability properties of a ...
1
vote
0answers
69 views

Poisson algebra automorphisms of a symplectic manifold

Let $(M,\omega)$ be a symplectic manifold. Let $V=\mathcal{C}^\infty(M)$ be the Lie algebra of smooth real valued functions. Suppose $f:\rightarrow V$ be an Lie-algebra isomorphism (an algebra ...
3
votes
1answer
127 views

Symplectic geometry and stability of orbits

I am looking for a theorem (read it once, but forgot about it and would now like to find a reference with proof): In symplectic geometry (at least for some particular subset of $\mathbb{R}^2$), there ...