**1**

vote

**0**answers

146 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

124 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

202 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

166 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

103 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

137 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

86 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

94 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

441 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

258 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

61 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

155 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

185 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

688 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

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

**5**

votes

**2**answers

201 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

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

**5**

votes

**4**answers

303 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

97 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

105 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

214 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

502 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

125 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

203 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

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

**29**

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

137 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

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

**4**

votes

**0**answers

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

**1**

vote

**0**answers

44 views

### Representing a Pullback as an Infinite Matrix

Let $M$ and $N$ be manifolds and let $T: M \to N$ be a bijective map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) be the space of all functions from $M$ (resp. $N$) to ...

**1**

vote

**0**answers

105 views

### Properties of a function from its pullback

Edit: I have now removed the duplication previously referred to. Thank you.
Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ ...

**2**

votes

**1**answer

139 views

### Inverse Problem for Pullback

Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) denote the space of smooth functions from $M$ (resp. $N$) ...

**0**

votes

**0**answers

66 views

### existence of locally translation-invariant Borel measure on Frechet manifolds

It is well known that the only locally finite, translation-invariant Borel measure on an
infinite-dimensional, separable Frechet space is the trivial measure. I am wondering about an analogous ...

**0**

votes

**4**answers

367 views

### Which are the recommended books for an introductory study of complex manifolds? [closed]

Are there any good introductory type of books that is focus on complex manifolds?
Thanks.

**1**

vote

**0**answers

93 views

### stein structure of cotangent bundles

Let $M$ be a compact manifold with dimension $\geq 3$. By a theorem of ELIASHBERG,
the cotangent bundle of $M$ admits an integrable complex structure $J$ such that
$(T^*M, J)$ is a stein manifold. ...

**4**

votes

**0**answers

242 views

### Isometries of hyper-Kähler manifolds

For the purposes of this question, a hyper-Kähler manifold will be a complete connected Riemannian manifold $(\mathcal{M},g)$ whose holonomy representation is isomorphic to the natural representation ...

**11**

votes

**1**answer

578 views

### Thurston geometries in dimension 4

In the sense of W. Thurston here, there is 3 geometries in dimension 2 and there is 8 geometries in dimension 3.
Question: How many different geometries (in the sense of Thurston) do we have in ...