**2**

votes

**1**answer

170 views

### Sobolev Multiplication theorem for Fibre bundles

Let $X$ be a compact, oriented, four dimensional Riemannian manifold and $Q\longrightarrow X$ be a principal $G$-bundle over $X$ for a smooth, compact Lie group $G$. Let $M$ be a smooth, Riemannian ...

**4**

votes

**1**answer

171 views

### Kunneth formula of Cartesian product modulo orders of coordinates

Let $X$ be a topological space and $F$ a field. Let the $n$-th permutation group $\Sigma_n$ act on
$$
\prod_n X
$$
by
$$
\sigma(x_1,\cdots,x_n)=(x_{\sigma(1)},\cdots,x_{\sigma(n)}), \sigma\in ...

**4**

votes

**1**answer

172 views

### Zeta-Determinant Theorem

Recently, someone asked on MO about lecture notes from Graeme Segal's "Stanford lectures" on TQFT, and the answer was to check here.
When scrolling over the notes, I stumpled of Prop. 2.8.2 in ...

**1**

vote

**0**answers

115 views

### Green's function on sphere

Consider radial (normal) coordinates on a sphere $S^n, n \geq 2$. Let the "origin" be the north pole $(0, 0,..., 1)$ and the coordinates be denoted by $(r, \theta)$. We know that the Laplacian ...

**5**

votes

**0**answers

310 views

### Prerequisites for reading Gregory Perelman's work

What are the prerequisites for understanding the work of Perelman concerning the Poincaré conjecture?
I am referring to the last three papers here.

**6**

votes

**3**answers

268 views

### Are compact, complex, affinely flat manifolds geodesically complete?

Let $M$ be a real, even dimensional, compact manifold endowed with a symplectic form $\omega$ and a flat, torsionless connection $\nabla$ compatible with $\omega$, that is $$\nabla \omega=0.$$
Under ...

**7**

votes

**0**answers

233 views

### Question about theorem in Arnold's book on action-angles variables

I have a question about the action-angle theorem on p. 283 in Arnold's textbook on classical mechanics.(I added the link to this book in the last part of this question)
If you don't have the book or ...

**2**

votes

**0**answers

100 views

### Changing frames of the tangent bundle with Schwartz functions [closed]

Let's consider two global frames $\{v_{1},....v_{N}\}$ and $\{u_{1},....u_{N}\}$ of the tangent bundle $T\mathbb{R}^N$.
Now consider the matrix $\{f_{i,j}\}$that change the frame $\{v_k\}$ to ...

**9**

votes

**1**answer

177 views

### Diameter of hyperbolic 3-manifolds

Is there a good method to estimate the diameter of a closed hyperbolic 3-manifold?
I am particularly interested in know the diameter of the Weeks manifold.

**0**

votes

**0**answers

54 views

### Complex structure of a torus [migrated]

Given the definition of complex structure for a complex manifold:
the real $(1,1)$ type tensor $J_p : T_p M \rightarrow T_p M $ defined by
$$ J_p (\frac{\partial}{\partial x^\mu}) = ...

**0**

votes

**1**answer

82 views

### Estimate for differential of inverse map

Let $f: M \to N$ be a diffeomorphism between two riemannian Manifolds. Suppose there exist constants $0 < c \leq C$ such that for all $p \in M$, we have $c \leq |df_p| \leq C$. Here, $df$ denotes ...

**5**

votes

**0**answers

140 views

### Time-separation function on “globally hyperbolic” spacetimes with everywhere timelike boundary

It is well-known that, in globally hyperbolic spacetimes, the time separation function $\tau$ (aka Lorentzian distance function) enjoys the following property: fix a point $p$ and a point $q \in ...

**1**

vote

**2**answers

134 views

### The completeness assumption in some comparison theorems in Riemannian geometry

There is a family of comparison theorems in Riemannian geometry (Rauch, Günther-Bishop, Gromov, Toponogov-Cheng) that all rely on two hypotheses: some boundedness of the sectional or Ricci curvature, ...

**3**

votes

**0**answers

72 views

### Cohomology of the classifying space of some Super Lie group

Are there any papers on the cohomology of the classifying space of the general linear supergroup $GL(n, m)$ or unitary supergroup $U(n, m)$?
I know basically nothing about supergeometry. It seems ...

**2**

votes

**1**answer

43 views

### Calculating the Upper Bound on the Sphere Radius of Knotted Channel Surfaces

This question is motivated by trying to determine the upper bound on the thickness of a rope of fixed length (w.l.o.g. $2\pi$), with which a knot of given topology can be realized under the further ...

**3**

votes

**1**answer

129 views

### Local symplectomorphisms become global ones?

It is widely known that a local diffeomorphism is not necessarily a global diffeomosphism and so on.
Now, I stumbled over the question whether in some particular cases, as I will describe below, ...

**4**

votes

**2**answers

224 views

### Riemannian metric of hyperbolic plane

I'm fishing for the origin of the idea to consider "trace scalar product" on the space of ($G$-)orthogonal projectors as means of defining a Riemannian metric on some subset of lines in a vector ...

**0**

votes

**0**answers

36 views

### Dini type hyper/hypo pseudospheres

What ode or pde should be used to find Dini type hypo/hyper pseudosphere coordinates?
Kindly indicate references to obtain negative Gauss curvature twisted surfaces in this manner.
The link ...

**2**

votes

**2**answers

190 views

### Eigenfunctions of the Laplacian on singular spaces

Consider a compact manifold $M$ with boundary and corner. As an example, we could have the cube $\{(x_1, x_2,..x_n) \in \mathbb{R}^n : x_i \in [0,1]\}$. We could very well define the Laplacian ...

**1**

vote

**1**answer

60 views

### Negativity of a quadratic form on $L^2(M)$

Let $M$ be a compact Riemannian manifold and $V=L^2(M)$. Let $\Delta$ be the negative-definite Laplacian. Let $f \in V$ and $x \in M$ be arbitrary, but fixed.
Is it true that ${\rm Re} \ (\Delta f) ...

**2**

votes

**0**answers

42 views

### $|\exp_p(x)\exp_q(T(x))|$ controlled by $|pq|?$ $T$ is parallel transportation in Alexandrov space

Let $M$ be an Alexandrov space with $sec \geqslant 0$. Let $p$ and $q$ be points of shortest path $\gamma$ in $M$, that are not end point. Then the tangent cone can split as $C_p=L_p \times ...

**1**

vote

**0**answers

41 views

### Possibility Of Curvature and/or Mellin based approach to (Non-linear) system Identification?

I have some experience in non-linear system identification (from an experimental point of view) using higher oder spectral analysis. I see this is the most popular way of identifying non-linearities ...

**6**

votes

**1**answer

186 views

### Stiefel-Whitney class of unordered configuration space

Let $S^m$ be the $m$-sphere and $$F(S^m,2)/\mathbb{Z}_2=\{(a,b)\mid a,b\in S^m, a\neq b\}/(a,b)\sim (b,a)$$ be the $2$-nd unordered configuration space on $S^m$. How to compute the total ...

**0**

votes

**0**answers

50 views

### Homogeneous regular manifolds

In order to solve the well-known Plateau-Problem on a general (non-compact) Riemannian 3-manifold, Morrey first introduced the condition of homogeneous regularity and defined it in the following way:
...

**0**

votes

**1**answer

152 views

### Is the map $\exp_x(\nabla_x \sum_{i=1}^m d^2(x_i,x))$ Lipschitz?

The last question is too general, this is a modification.
Let $M$ be an $n$ dimensional Riemannian manifold. Fix $m$ points $x_1,...,x_m$. Suppose $y$ is not in the cut locus of $x_i$ for $1 ...

**2**

votes

**0**answers

37 views

### Mathematical Billiards: Set of starting points and velocities hitting boundary at time t

In the simplest setting $\Omega$ smooth compact and convex in $R^n$ with linear constant speed trajectories that is ($q_t=q_0+t\cdot v$ until the collision point). What is known about the structure ...

**1**

vote

**0**answers

44 views

### How to calculate Chern class for reflexive sheaf?

Let $(X,\omega)$ be a Kahler manifold of dimension $n$ and $\mathcal{F}$ a reflexive sheaf on $X$. Since there is no global resolution of sheaf by vector bundles in the non-projective manifolds. It ...

**2**

votes

**1**answer

98 views

### Conditions for existence of Penrose diagrams

A Penrose diagram (also known as a conformal diagram or Carter-Penrose diagram) is a technique for visualizing the causal (light-cone) structure of a 3+1-dimensional manifold. Usually the diagram is ...

**28**

votes

**0**answers

325 views

### Does $\Bbb{CP}^{2n} \# \Bbb{CP}^{2n}$ ever support an almost complex structure?

This question has been crossposted from Math.SE in the hopes that it reaches a larger audience here.
$\Bbb{CP}^{2n+1} \# \Bbb{CP}^{2n+1}$ supports a complex structure: $\Bbb{CP}^{2n+1}$ has an ...

**2**

votes

**1**answer

197 views

### Simultaneous integral equation on $SU(n)$

Consider a smooth curve $U_s:[0,T] \rightarrow SU(4)$ which solves:
$\frac{d U_s}{ds} = (a + w(s)b)U_s$
for some given $a,b \in \mathfrak{su}(4)$ (which generate $\mathfrak{su}(n)$) and a smooth ...

**2**

votes

**1**answer

104 views

### The Laplacian of an expression involving the Ricci tensor

While doing some computations on a compact Riemannian manifold I have reached the following expression:
$$ \Delta_y \big( Ric_y (\exp_y ^{-1} x, \exp_y ^{-1} x) \big) (x)$$
where $\Delta_y$ is the ...

**4**

votes

**1**answer

152 views

### Laplace-Beltrami and averaging

For a Riemannian manifold $M$ with metric $g$ and Laplace-Beltrami operator $-\Delta_{g}$, what conditions on $M$ guarantee that $-\Delta_{g} u(x)$ measures the difference between $u(x)$ and the ...

**2**

votes

**1**answer

130 views

### Second order estimates of Monge-Ampere equations

In order to prove existence of solutions of real and complex Monge-Ampere equations in various modifications (e.g. as in the Calabi problem) one often uses the method of a priori estimates. One of the ...

**1**

vote

**1**answer

127 views

### Curves on $SU(4)$ whose adjoint action on $\mathfrak{su}(4)$ integrates to $0$

Given $\xi \in \mathfrak{su}(4)$ and positive $T \in \mathbb{R}$, is it possible to find all smooth curves $U_s \in SU(4)$ with $U_0 = I$ such that
$$\int_0^T U_s \xi U_s^{\dagger} ds =0\; ?$$

**1**

vote

**0**answers

49 views

### Definition of $k$-precosymplectic manifold

A precosymplectic manifold of rank $2r$ is a triple $(M,\omega,\eta)$ where $M$ is a smooth manifold of dimension $2m+1$, $\omega$ is a closed 2-form on $M$ and $\eta$ is a closed 1-form on $M$ such ...

**3**

votes

**0**answers

79 views

### Perturbations to a vector field

I ran into some problems while working through a proof of the Poincare-Hopf theorem that essentially boiled down to the following question: given a smooth vector field $V$ on a (compact Riemannian) ...

**4**

votes

**0**answers

122 views

### Non trivial rank 2 holomorphic vector bundles in complex dimensions greater than or equal 2

Does every compact complex manifold of complex dimension greater than or equal two
possess a nontrivial rank 2 holomorphic vector bundle?

**13**

votes

**0**answers

254 views

### Research situation in the field of Information Geometry

I am now doing an article survey on the field of information geometry started by S.Amari and Barndorff-Nielson. I want to know some research situation in this field.
I have read (4) and parts of (3). ...

**3**

votes

**1**answer

124 views

### Anosov representations and boundaries of (harmonic) maps

Let $\Sigma_g$ be a closed hyperbolic surface and $\rho\colon\pi_1\Sigma_g\to G$ an Anosov representation into a suitable Lie group. By definition of Anosovness, one has a $\rho$-equivariant ...

**21**

votes

**9**answers

2k views

### Advanced Differential Geometry Textbook

I tried this post on StackExchange with no luck. Hopefully the experts at MathOverflow can help.
In algebraic topology there are two canonical "advanced" textbooks that go quite far beyond the usual ...

**1**

vote

**0**answers

63 views

### A compact Alexandrov space with curvature bounded below has curvature bouneded above? [closed]

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 ...

**7**

votes

**2**answers

294 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

**0**answers

76 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

**0**answers

77 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

**0**answers

135 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

**2**answers

117 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

**0**answers

88 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

**1**answer

124 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 ...

**6**

votes

**2**answers

500 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 ...

**5**

votes

**2**answers

313 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 ...