**0**

votes

**0**answers

88 views

### Closed Invariant Forms on Complex Projective $k$-Space

Considering complex projective $k$-space as the homogeneous space $SU_k/U_{k-1}$, is it true that every $SU_k$-invariant form is closed?

**4**

votes

**0**answers

195 views

### Are there Zoll pancakes?

How flat (flat in pancake-style, not in curvature 0-style), in some extrinsic intuitive measure, can a Zoll surface of revolution (embedded in Euclidean three-space) be?
I don't want to impose a ...

**2**

votes

**2**answers

282 views

### Geometrical interpretation of a Schrödinger operator

Consider a $2 \times 2$ Hermitian (or symmetric) matrix-valued function
$$g(x) = \{ g_{jk}(x)\}_{j,k=1,2}, \quad x \in \mathbb{R}^{2},$$
such that $0 < m_{-}I \leq g(x) \leq m_{+}I$, for some ...

**2**

votes

**0**answers

70 views

### Besicovitch's covering theorem for ellipsoids and shadows

The usual Besicovitch's covering theorem concerns closed balls in $\mathbb{R}^d$. It relies on a property called "directionally limited metric space": the principal ingredient is to say that there ...

**9**

votes

**1**answer

755 views

### Formula for the Perimeter of a spherical triangle?

Consider the ordinary sphere $\mathbb{S}^2\subset \mathbb{R}^3$ and a spherical triangle $T\subset \mathbb{S}^2.$ I'm looking for a formula from which the perimeter $P$ of $T$ is "computable" given ...

**0**

votes

**0**answers

103 views

### kahler manifolds with positive holomorphic sectional curvature

It is well known that a compact Kahler manifold with positive holomorphic bisectional
curvature is biholomorphic to $CP^n$. However, if we just assume positive holomorphic
sectional curvature, is ...

**5**

votes

**2**answers

250 views

### Poincare-like inequality on compact Riemannian manifolds

I am looking for a Poincare Inequality on balls but instead of euclidean space, I have a compact Riemannian manifold without boundary. The inequality I am looking for is the equivalent of
$$ ...

**2**

votes

**1**answer

387 views

### Symplectic quotient of projective variety is projective?

Let $G$ be a compact connected Lie group and $\mathfrak g^*$ be dual of Lie algebra $\mathfrak g$. Let $M$ be a compact projective variety and $G$ act on $M$ freely and $M$ is $G$ equivariant, and ...

**1**

vote

**0**answers

142 views

### Electrodynamics modelled by U(1) gauge theory [closed]

As the article 'Electrodynamics in general spacetime' greatly explains, the U(1)-gauge theory is a good base for working in non-simply connected spaces. But I wonder whether there is a deep reason to ...

**4**

votes

**1**answer

120 views

### Minimal surfaces + Semi-Geodesic Coordinates

Let $(M,g)$ be a three dimensional smooth Riemannian manifold and suppose that $\Gamma$ is an embedded minimal surface in $M$. Define the Fermi or semigeodesic coordinates around this surface through ...

**3**

votes

**2**answers

200 views

### Isothermal-related functions in higher dimensions

I am interested in getting some geometrical or analytical perspective in studing the following complex pde. I would appreciate any help.
Consider $ (M,g)$ to be a 3 dimensional Riemannian manifold ...

**1**

vote

**2**answers

163 views

### Handle body of 3-manifold with boundary

We know from Morse theory that smooth manifold(with or without boundary) is a handlebody.
However, I found a paper "Three-dimensional manifolds with boundary of nonnegative Ricci curvature" by Ananov, ...

**0**

votes

**2**answers

176 views

### Frobenius Condition for a specific first order pde

I would appreciate it if Someone would be kind enough to share some insights about the following question:
Suppose $(M,g)$ is a 3 dimensional Riemannian manifold. Consider the following system of ...

**0**

votes

**1**answer

204 views

### Moment map coordinates in tours action

I am trying to understand the proof of lemma 3.1, in this paper
In proof, they say that $g(dz_i,d\tau_k)=dz_i(\nabla\tau_k)=0$ I don't understand first and second equality.In second they say, ...

**0**

votes

**1**answer

101 views

### A decomposition of incompressible vector fields

In Andrew, Majda- Vorticity and incompressible flow page 93, there is a theorem which is not proved:
Take a smooth incompressible (free divergence) vector field $v$ in $\mathbb{R}^2$.
Call $w$ its ...

**5**

votes

**1**answer

133 views

### Averaging maps of Riemannian manifolds

Let $M$ be a compact Riemannian manifold. We know how to average functions $f\colon M\to {\mathbb R}$; the integral $\frac{\int_M f}{\int_M 1}$ returns a value in ${\mathbb R}$. If intead $f\colon ...

**0**

votes

**0**answers

83 views

### Derivability of a function defined on the tangent bundle. Foundations of Finsler metrics

My question is linked to the foundations of Finsler metrics (with weak derivability assumptions).
Let $M$ be a manifold of dimension $n$, and $F$ is a function from the tangent bundle $TM$ to ...

**2**

votes

**0**answers

93 views

### “simulteneous eigenvectors” under the full set of weighted Laplacians on a $g$-fold product of the Poincare half plane

This question is closely related to the following MO question Characterizing the real analytic Eisenstein series
Let $\mathfrak{h}=\{z=x+iy\in\mathbf{C}\}$ be the Poincare upper half plane endowed ...

**8**

votes

**2**answers

439 views

### Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated?

Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated? Or are there some tables or handbooks which list some common calculated results of ...

**0**

votes

**1**answer

103 views

### Normals along a Sphere [closed]

Let $M \subset \mathbb{R}^d$ be a smooth 2-manifold that is homeomorphic to a sphere or a connected sum or tori. Does there always exists two points $x,y \in M$ such that the normals $\angle(n_x, n_y) ...

**19**

votes

**0**answers

256 views

### Can one properly embed a differential manifold into numerical space of double dimension? [duplicate]

If $X$ is a $ C^\infty$ differential manifold of dimension $n$, then there exists an embedding $f:X\to \mathbb R^{2n+1}$.
This is a not too difficult theorem due to Whitney, proved in many textbooks.
...

**3**

votes

**1**answer

60 views

### Density for Translated Process

Let $M$ be a (compact) Riemannian manifold. Let $v$ be a smooth vector field on $M$ with flow $\Theta_t$. Let $L$ be an elliptic second order differential operator on $M$ that generates the Ito ...

**-1**

votes

**1**answer

197 views

### Are compact complete geodesics closed? [closed]

note: I find this question In stackexchange math, I would be interest to know how I could be answer this kind of question,I pasted it here as I see it appropriate For MO.
check this link: ...

**1**

vote

**0**answers

76 views

### Extending integrable almost-complex structure

Suppose $(X,I)$ is an almost-complex real analytic manifold where $I$ is a real-analytic almost complex structure. Suppose there exists an $I$-almost complex submanifold $M\subset X$ where this means ...

**1**

vote

**1**answer

154 views

### Normal Variation on Manifolds

Let $M$ be a smooth surface and let $x,y \in M$. Let $d_{M}(\cdot, \cdot)$ be the geodesic distance metric on $M$, that is the length of the shortest geodesic curve on $M$. Let $\kappa$ be the maximum ...

**7**

votes

**0**answers

181 views

### Flat manifolds and irreducible representations

Let $M$ be a compact Riemannian manifold with vanishing curvature of Levi-Civita connection. Such manifolds were classified by Bieberbach; sometimes they are called Bieberbach manifolds. According to ...

**8**

votes

**1**answer

671 views

### How large can you draw an island on a map?

A cartographer friend asked me this question: could you classify (shapes of) islands by how much space they occupy on a map (comparatively to how much space is occupied by water) if you draw them as ...

**5**

votes

**0**answers

1k views

### Question on Atiyah-Patodi-Singer on $T^3$

I wanted to test my understanding of the Atiyah-Patodi-Singer theorem by studying flat bundles on $T^3$ explicitly, and miserably failed.
Namely, I computed the eta invariant explicitly for flat ...

**4**

votes

**0**answers

257 views

### If 2-manifolds are homeomorphic and smooth, are they diffeomorphic? [closed]

Perhaps this question has already been asked on Mathoverflow. I mean this question in a global sense. A friend mentioned it to me today, and I started thinking about it. I'm not sure how to prove it. ...

**1**

vote

**2**answers

272 views

### Notion of manifold curvature?

Consider a particular embedding of a $C^2$ manifold $\mathcal{M}\subseteq\mathbb{R}^m$. Given $p\in\mathcal{M}$, suppose $\epsilon>0$ is small enough that the portion $U$ of $\mathcal{M}$ which is ...

**4**

votes

**2**answers

198 views

### Stability of minimal surfaces

Let $\Gamma$ be a prescribed $n-2$ dimensional set and assume $S \subset R^n$ is a minimal hyper-surface with respect to some smooth metric $g$ on $R^n$, and $\partial S= \Gamma$. Is $S$ is stable ...

**0**

votes

**0**answers

38 views

### An obstruction to existence of invariant trivializations of central extensions in the presence of a group action

This is sort of a follow up question to this.
My real question is a particular case of the following abstract situation. Let $G$, $\pi$ be groups and assume $\pi$ acts on $G$ by automorphisms. Assume ...

**4**

votes

**0**answers

49 views

### Bi-Lipschitz classification of germs of conformal metrics at a singularity

First let me introduce some definitions.
By a germ of conformal metrics at a singularity, or simply a germ, I mean a conformal Riemannian metric $g$ defined on a punctured neighborhood $U$ of $0$ in ...

**4**

votes

**4**answers

301 views

### Breaking up the free Lie algebra into Gl irreps

The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the
language of https://en.wikipedia.org/wiki/Free_Lie_algebra ,
the free Lie algebra generated by any choice of ...

**4**

votes

**0**answers

96 views

### Gromov width of cotangent disk bundle

Given a symplectic manifold $(M^{2n},\omega)$, the Gromov width of $M$ is defined to be
$w(M)=sup\{{\pi r^2| B^{2n}(r) \rightarrow M}\}$
My question is: what is the explicit value of $w(D^*S^n)$, ...

**1**

vote

**0**answers

103 views

### Quantization of Chern number $c_1^n$ on 2n dimensional spin manifold [closed]

All orientable 2-manifolds are spin manifolds, and we know that the quantization of the first Chern number $c_1$ of a complex line bundle on 2-manifold is $\mathbb{Z}$.
For 4-manifolds, the second ...

**6**

votes

**1**answer

213 views

### Inverted pair of complex analytic families

I read the following "problem" in an old set of notes of Morrow and Kodaira which focused on deformations of complex manifolds:
Find a pair of complex analytic families $\lbrace M_t\rbrace$ and ...

**3**

votes

**1**answer

108 views

### Transitivity of the action of the group of gauge transformations on the space of hermitian metrics

This is a cross-post from math.SE
Let $E \to M$ be a complex vector bundle with $P$ the associated $GL(n,\mathbb C)$ frame bundle. The group of gauge transformations is the space of sections of ...

**15**

votes

**1**answer

497 views

### Soft and hard part of geometry [duplicate]

While listening to some lecture of Alain Connes about noncommutative geometry, he spoke about various generalizations of the classical concepts from geometry and divided it into "soft" and "hard" ...

**1**

vote

**1**answer

130 views

### Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that

Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite areas such that for each simply finite area there exist a diffeomorphic map that ...

**3**

votes

**1**answer

124 views

### Gaussian Curvature of Exponentiated 2-Planes

Consider a Riemannian manifold $M$ with sectional curvatures $K\ge 0$ and let $\Pi$ be a 2-plane in the tangent space of $M$ at a point $p$. In a small enough neighborhood $U$ of 0 the exponential map ...

**5**

votes

**0**answers

201 views

### Gompf's invariant of $2$-plane fields

I am interested in low dimensional contact topology. These days I read "Handlebody construction of Stein surfaces" written by R. E. Gompf, and study an invariant $\theta (\xi)$. This invariant is ...

**4**

votes

**1**answer

303 views

### When is a `1-form' with continuous coefficients exact?

Let $\Omega$ be a convex, bounded open subset of $\mathbb{R}^d$, and let $C^1(\bar \Omega)$ be usual space of continuous functions on $\bar \Omega$ which are $C^1$ in $\Omega$ and whose partials in ...

**0**

votes

**1**answer

141 views

### Green's function and eigenvalues with multiplicity

Green's function of a differential operator contains a lot of information of that operator. In particular, if we have a differential operator on a compact manifold with discrete spectrum, then Green's ...

**0**

votes

**1**answer

74 views

### Is the kernel of a map between finite dimensional vector bundles still of finite type?

I'm not sure whether the level of this question is suitable for Mathoverflow.
Let $M$ be a smooth manifold, $E$ and $F$ are finite dimensional (smooth) vector bundles on $M$. Let $\phi: E\rightarrow ...

**28**

votes

**6**answers

3k views

### Synthetic vs. classical differential geometry

To provide context, I'm a differential geometry grad student from a physics background. I know some category theory (at the level of Simmons) and differential and Riemannian geometry (at the level of ...

**2**

votes

**0**answers

134 views

### Why does Hodge decomposition fail in the pseudo-Riemannian case?

Why does Hodge decomposition fail in the pseudo-Riemannian case? Does there exist a special class of pseudo-Riemannian manifolds for which it does not fail, for example Lie groups?

**0**

votes

**0**answers

68 views

### computation of floer homology of cotangent bundle of spheres

I am wondering the computation of the floer homology of cotangent bundle of spheres.
By a theorem of Viterbo, it is isomorphic to the homology of free loop space of sphere.
However, I am wondering ...

**3**

votes

**0**answers

115 views

### When does a leaf space admit a (non-Hausdorff) manifold structure?

If $f:M \to N$ is a submersion with connected fibers, then the fibers of $f$ foliate $M$. This is called a simple foliation of $M$ and the leaf space can be identified with $N$. Suppose that a ...

**5**

votes

**1**answer

289 views

### The properness of a submersion

Let $M$ and $N$ be two differential manifolds and there is a surjective submersion $f$ from $M$ to $N$ such that $f^{-1}(p)$ is compact and connected for any $p$ on $N$. Can we conclude that $f$ is ...