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

learn more… | top users | synonyms (1)

9
votes
3answers
441 views

Maryam Mirzakhani's works

Maryam Mirzakhani has made several contributions to the theory of moduli spaces of Riemann surfaces. Mirzakhani was awarded the Fields Medal in 2014 for "her outstanding contributions to the dynamics ...
1
vote
1answer
96 views

Upper bound of derivative of exponential map

We know that for any simply connected surface $M$,whose Gaussian curvature $K\leq 0$, for any $p\in M$, $exp_p: T_pM\to M$ is diffeomorphism. We know that for any $v\in T_pM$ and $w\in ...
2
votes
1answer
132 views

Manifold with corners [on hold]

Iam looking at the following situation of a manifold $Z$ with corners. More specifically a product of a smooth manifold X with a standard $k$-simplex $\Delta^k$. I wish to study certain formulas for ...
1
vote
0answers
143 views

How rigid can a rigid object be in GR?

Consider a cubic lattice of space probes, with rocket motors and lasers to measure distance, and a clock to measure time. As they more from free space to the vicinity of some black hole, they try to ...
1
vote
0answers
104 views

Characterization of the Riemann curvature tensor

Let $(M^n,g)$ be a Riemannian manifold, $a\in M$ be a fixed point. It it well known that there exists a coordinate system near $a$ (e.g. the normal one) such that $$g_{ij}(x)=\delta_{ij}+O(|x|^2).$$ ...
5
votes
0answers
156 views

Is there a citeable reference for star-shaped open subsets of R^n being diffeomorphic to R^n?

A folk theorem says that star-shaped open subsets of R^n are diffeomorphic to R^n. Is there a citeable reference for this result? For the sake of being definite, let's say that “citeable” means ...
0
votes
0answers
30 views

Unitary derivative and countable set

Let $\mathbf{r}:I\to\mathbb{R}^2$, where $I\subseteq\mathbb{R}$ is an open interval, be a continuous function that is not constant on any subinterval $J\subseteq I$ such that at each point $t\in I$ ...
1
vote
4answers
343 views

Tensor calculus on the frame bundle

Let $M$ be a manifold and let $g$ be a tensor on it, say for example a metric $g\in\Gamma(T^{\ast}M\otimes T^{\ast}M)$. I know how to perform any computation on $g$. For instance, taking its ...
2
votes
1answer
110 views

Unitary representation with fixed Casimir

Let $G$ be a connected reductive real Lie group with Lie algebra $\mathfrak{g}$. We denote by $\widehat{G}_u$ the unitary dual, that is the set of isomorphism classes of unitary reprensentation of ...
1
vote
1answer
135 views

Are there compact Riemannian manifolds whith Q-curvature negative?

Are there known examples of compact Riemannian manifolds with Q-curvature negative?
2
votes
2answers
170 views

boundary homomorphism in the homotopy exact seqeunce of principal $SO(9)$ bundle over $S^8$

Consider principal $SO(9)$ bundles over $S^8$.They are in 1-1 correspondence with $$[S^8,BSO(9)]\cong \pi_7(SO(9))\cong \mathbb{Z}$$ Now pick up one such bundle $\xi$,we have the long exact sequence ...
0
votes
1answer
70 views

How to minimize this sparse quadratic function?

There is a problem when I'm reading a paper. Equation: $min_p|p-p^*|^2+\alpha |R(p)|^2 + \beta |D(p)-\delta|^2$, where $p, p^*, R(p), D(p), \delta$ are all $M\times N$ matrices, and $p^*, R(), D(), ...
0
votes
0answers
64 views

Integral geometry and curvature of surfaces

I'll stick to 2-surfaces in $\mathbb{R}^3$ for simplicity. Higher dimensions generalizations welcome. In classical integral geometry, we may obtain up to a scaling factor, for example, the surface ...
5
votes
1answer
110 views

Foliations of Lorentzian manifolds by Spacelike Hypersurfaces

Suppose that $M$ is a Lorentzian manifold (not necessarily satisfying Einstein's equations). What conditions do we need in order to guarantee that $M$ admits a foliation by codimension-$1$ spacelike ...
0
votes
0answers
67 views

Rolling map as a diffeomorphism?

Let $M$ be a (compact) Riemannian manifold and $x \in M$. For a piecewise smooth path $\gamma: [0, T] \longrightarrow M$, we can define Cartan's development map (or rolling map) $$(\Phi\gamma)(t) = ...
10
votes
1answer
228 views

Piecewise linear (PL) structures on $\mathbf R^4$

One can read in Wikipedia that the 4-dimensional affine space $\mathbf R^4$ has uncountably many piecewise linear structures (in contrast with other dimensions, where it has exactly one). A reference ...
0
votes
0answers
111 views

On Gromov's Theorem on Symplectic Homotopy

I want to understand the proof of the following theorem due to Gromov which I'll state in the context of Euclidean spaces. While I tried to read the proof from Macduff-Salamon, it turned out that my ...
4
votes
2answers
414 views

Based loop groups as stacks?

I have been stuck for some time, thinking about the following question. Let $G$ be a Lie group. Its classifying space $BG$ can be seen as the differentiable stack $[pt/G]$, which is of dimension ...
3
votes
1answer
256 views

Existence and uniqueness of a quasi-linear pde system on a surface

I have the following system of first order quasi-linear pde: $$ -(\Delta+1) a^{\alpha\beta} [b_{\beta\rho} I_{\alpha;\sigma}+b_{\beta\sigma} I_{\alpha;\rho}] + a^{\alpha\beta} [(\Delta+1) ...
-1
votes
1answer
157 views

Reductive space & Reductive Lie algebra

If $M=G/H$ is a reductive space and $\mathfrak{g}=\mathfrak{h}+\mathfrak{m}$ be the canonical decomposition, then are $\mathfrak{g}$ or $\mathfrak{h}$ or both reductive lie algebras? (in this case, ...
-1
votes
0answers
52 views

Intuition for Killing vectors in negative-definite Ricci tensor

Theorem 4.3 from Chapter II of Kobayashi's Transformation Groups in Differential Geometry states that, if $(M,\mathrm{g})$ is a Riemannian manifold with negative definite Ricci tensor, then any ...
2
votes
1answer
182 views

Do all surfaces (2d riemanian manifolds) admit constant curvature? [closed]

There seems to be a lot of theorems allowing to prove restricted cases of this (eg. uniformization, classification theorem for compact surfaces) . Intuitively, it seems true, but I've never seen a ...
3
votes
1answer
192 views

Boundary geometry of a contact manifold

Let $(M, \xi = \text{ker}\,\alpha)$ be a compact contact manifold with non-empty boundary. Vaguely asked, is there any natural geometric structure on the boundary $\partial M$ induced from the contact ...
5
votes
1answer
263 views

Geodesics on manifolds with boundary

Let $(M,g)$ be a Riemannian manifold with non-empty boundary. Is there any notion of injectivity radius on $(M,g)$ in points away from the boundary? By this I mean points lying in $M- \partial M$. ...
17
votes
1answer
402 views

Super-cobordisms

One can construct the $d$-dimensional bordism category by declaring the objects to be the $(d-1)$-dimensional compact manifolds without boundary and the morphisms the $d$-dimensional bordisms between ...
5
votes
2answers
251 views

Alternative proof of Varadhan's formula on Riemann manifolds

Consider Varadhan's famous formula for the kernel of the heat equation on a manifold: $$ \lim_{t \rightarrow 0} t \log h(t,x,y) = - \frac{d(x,y)^2}{4} .$$ I do not have access to his 1967 two ...
2
votes
1answer
225 views

Triviality of holomorphic vector bundles over contractible Stein manifolds

If I have correctly undrestood,it is a result of the so called Grauert-Oka principle that all holomorphic vector bundles over contractible Stein manifolds are holomorhically trivial.Does any one knows ...
1
vote
2answers
295 views

Line bundles over Kähler–Hodge manifolds

A Kähler–Hodge manifold $M$ can be defined as a Kähler manifold whose Kähler form $\omega$ is integral, namely $\omega\in H^{2}(M,\mathbb{Z})$. It is known then that there always exists a Hermitian ...
0
votes
1answer
60 views

Fundamental solution to the heat equation with zero boundary values

let $\Omega\subset M$ be an open and unbounded set in a smooth manifold $M$ with boundary $\partial \Omega$. Now let $p_t(x,y)$ be a non-negative fundamental solution to the heat equation on $\Omega$ ...
0
votes
0answers
96 views

Continuous isometries on Ricci flat compact manifolds

If I am not mistaken, a compact Ricci-flat manifold can have at most torus isometries. What is the name of the corresponding theorem or where can I find this result proven? It is known that ...
1
vote
1answer
176 views

Linearisation of Einstein operator

Let $(M,g)$ be a $(m+1)$-dimensional Riemannian manifold with Levi-Civita connection $\nabla$. The Ricci curvature can be viewed as a differential operator ...
22
votes
2answers
833 views

fake $S^{2k}\times S^{2k}$

Let $X$ be a fixed closed manifold,$S(X)$ the structure set and $Aut(X)$ the group of self homotopy equivalence of $X$. surgery theory tells us that $\mathcal{M}(X):=S(X)/Aut(X)$ is in bijection ...
1
vote
1answer
86 views

A question about horizontal lifts for an Ehresmann connection

I was just reading the Ehresmann connection wikipedia page and noticed that it defines an Ehresmann connection to be complete if a curve in the base can be horizontally lifted over its entire domain. ...
4
votes
1answer
165 views

The heat kernel as an exponential of an integral

In $\mathbb{R}^n$, if $\gamma$ is a line segment between $x_0 = \gamma (0)$ and $x = \gamma (t)$, one has the following formula: $$\frac {\mathbb{e}^{- \frac{1}{4} \int_0^t <\dot{\gamma}, ...
2
votes
1answer
194 views

An identity for Futaki-Donaldson invariant

Let $(X,L)$ be a polarized projective variety Given an ample line bundle $L\to X$, then a test configuration for the pair $(X,L)$ consists of : a scheme $\mathfrak X$ with a $\mathbb C^*$-action a ...
2
votes
2answers
212 views

Length of non-horizontal curve

Let $M$ be a sub-Riemannian space. Consider a smooth curve $\gamma:[0,1]\to M$ such that $\dot\gamma(t)\not\in H_{\gamma(t)}$, where $H_{\gamma(t)}$ is the horizontal subbundle ( i.e. $\gamma$ is ...
2
votes
2answers
164 views

Complex manifolds with trivial canonical bundle

It is known that a compact Calabi-Yau manifold can be defined as a compact Kahler manifold $M$ with trivial canonical bundle, or alternatively, a reduction of the structure group from $U(n)$ to ...
6
votes
0answers
178 views

The open problem of finding the explicit metric on a compact Calabi-Yau manifold

If I am not mistaken, no explicit metric on a compact Calabi-Yau manifold is known. I guess part of the difficulty is due to the fact that compact Calabi-Yau manifolds do not admit continuous ...
1
vote
1answer
145 views

Is $M=E_{7(7)}/SU(7)\times\mathbb{R}^{+}$ a Kahler-Hodge manifold? (possible open problem)

I have been told that the following is an open problem in mathematics, but I am pretty sure that experts in the topic surely know the answer. The problem is: Is the manifold ...
4
votes
1answer
173 views

dual of the Lie derivative

Let $\Omega^p(M)$ be the smooth degree $p$ differential forms on an $n$-dimensional manifold $M$. The Hodge $\ast$ operator maps $\ast : \Omega^p(M) \to \Omega^{n-p}(M)$. Using the Hodge dual we can ...
4
votes
1answer
218 views

Obstruction to a $SU(4)$-structure in eight dimensions

What is the obstruction for the existence of a $SU(4)$-structure on a spin, eight-dimensional manifold $M$? This is equivalent to the existence of two nowhere vanishing global sections of the ...
1
vote
1answer
81 views

Lifting quadratic forms on the cotangent bundle to higher level forms

Backround In several complex variables, an essential tool is Hormander's machinery for solving the $\overline{\partial}$ problem with $L^2$ estimates. If $\alpha$ is a $(p,q+1)$ form on a domain ...
2
votes
3answers
200 views

Computing the coefficients of the polynomial $\dim H^0(X,L^k)$ in non-smooth case

Let $(X,L,\omega)$ be a projective variety with polarization $L$. then we can write $$\dim H^0(X,L^k)=a_0k^n+a_1k^{n-1}+...$$ If $X$ is smooth then $a_0=Vol(X)$ and we can compute $a_i$. If $X$ is ...
3
votes
0answers
148 views

“Parallel translate” of a geodesic in the following sense [closed]

Since I'm lazy, I'm shamelessly referring to the following question: Derivative of Exponential Map Given a Riemannian manifold $M$, let $\gamma: (a,b) \to M$ be a geodesic and $E$ a parallel vector ...
2
votes
1answer
103 views

Locally conformal Kahler manifolds with SU(4) structure

I would like to know if there exist eight-dimensional manifolds such that: It has SU(4)-structure. It is locally conformal Kahler. It is not a Calabi-Yau four-fold. A weaker question that also ...
3
votes
1answer
103 views

Distance function from a topological submanifold

Let $(M,g)$ be a Riemannian manifold, and let $N\subset M$ be an embedded sphere that is everywhere smooth except for a single point at which the embedding will only be $C^0$. How much regularity can ...
1
vote
1answer
117 views

How to find isothermal coordinates equivalent to circles in far limit?

I am trying to find the most general rotational coordinate systems for Euclidean 3-space, with the following two defining characteristics: 1) being equivalent to spherical coordinates in the limit of ...
2
votes
1answer
139 views

Lorentzian metrics on the torus up to continuos deformations

Any two Riemannian metrics can easily be deformed into each other, only obtaining positive definite metrics in between. However, for metrics of other signatures this might not be possible. Which ...
-1
votes
0answers
146 views

Flat vector bundles and constant transition functions [migrated]

Let $E\to M$ be a vector bundle endowed with a flat connection. Then, does $E$ admit a bundle atlas with constant transition functions? For a vector bundle with constant transition functions, are ...
15
votes
1answer
356 views

Integrals of pullbacks and the Inverse function theorem(s?)

The usual story goes like this: Smooth picture (?): For a smooth bijection $\phi: M \to N$ between $n$-manifolds the following is true: $\phi^{-1}$ is a local diffeomorphism a.e. ...