# Tagged Questions

**8**

votes

**1**answer

657 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

245 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

268 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

186 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

294 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

92 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

101 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

212 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

487 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

121 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

195 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

301 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

131 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

73 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

2k 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

131 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

67 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

97 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

284 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

43 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

99 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

136 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

57 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

336 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

86 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

216 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

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

**5**

votes

**1**answer

244 views

### Killing vector fields on sphere

Let $u$ be a smooth function on $\mathbb S^2$, and assume that for every killing vector field $V$ on $\mathbb S^2$.
$$\int_{\mathbb S^2} V(u) x_j dS=0\text{,}\forall j=1,2,3$$
Is $u$ necessarily ...

**3**

votes

**1**answer

126 views

### Left invariant Riemannian metrics which are symmetric and Einstein

Is there a list of connected Lie groups which admit a left invariant Riemannian metric which is Einstein, locally symmetric and its infinitesimal holonomy is irreducible?

**16**

votes

**3**answers

912 views

### How mirror of quintic was originally found?

In the 90-91 pager
"A PAIR OF CALABI-YAU MANIFOLDS AS AN EXACTLY SOLUBLE SUPERCONFORMAL THEORY",
Candelas, De La Ossal, Green, and Parkes, brought up a family of Calabi-Yau 3-folds, canonically ...

**0**

votes

**2**answers

137 views

### Can simply or not simply connected maximally symmetric (Semi-)Riemannian manifold be completely classified?

A m-dimensional completed and connected (Semi-)Riemannian manifold which has $m(m+1)/2$ independent global Killing vector fields is called maximally symmetric space.
Then what are all possibilities ...

**1**

vote

**0**answers

53 views

### Bogomol’nyi’s Formula for the Critical Action

I'm studying Aigner's paper 'Existence of the Ginzburg-Landau Vortex Number' (2001) and I have some difficulties to prove the equality (3.1) , which is
...

**-1**

votes

**1**answer

206 views

### Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension.
I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...

**7**

votes

**0**answers

263 views

### Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...

**1**

vote

**0**answers

131 views

### Question on a paper of Schoen and Yau

I am trying to understand the paper "Conformally flat manifolds, Kleinian groups and scalar curvature" by Schoen and Yau. In P.56, it says:
This implies that $\partial M$ has a zero $q$-capacity, ...

**9**

votes

**1**answer

182 views

### When are the Dolbeault and de Rham dgas homotopy equivalent?

Let $M$ be a compact Kahler manifold. Then the Hodge decomposition says that the Dolbeault dga (of forms of all bidegree) and the de Rham dga on $\Omega_{\mathbb C}^\bullet(M)$ have isomorphic ...

**1**

vote

**1**answer

129 views

### Topology of surfaces and mean curvature

The Gauss-Bonnet theorem characterizes topology of surfaces by their Gaussian curvature.
Do there exist results characterizing topology of surfaces embedded in $\mathbb{R}^3$ by their mean ...

**1**

vote

**0**answers

42 views

### General reparameterization of a b-spline

Say I have a bspline function (or curve) of order $k_1$, defined over some knot vector
$\mathbf{t} = \{ t_i\}_1^{n_1}$, i.e. $$f(x) = \sum_i a^i B_{i,k_1}(x).$$
Do you know of a process of finding ...

**1**

vote

**1**answer

184 views

### Symplectic and Holomorphic Vector Bundles

As is well known, every Kaehler manifold can canonically be given the structure of a symplectic manifold. Is it naive to assume that holomorphic vector bundles over a Kaehler manifold can be given the ...

**3**

votes

**0**answers

81 views

### A technical question in Feix's construction of hyperkahler metric on cotangent bundles

I am now reading Feix's paper Hyperkahler metrics on cotangent bundles
and I have a technical question to ask.
In his paper, for an analytic Kähler manifold $(X,J,\omega)$, Feix considered its ...

**4**

votes

**2**answers

240 views

### What is the Explicit Relationship between Coadjoint Orbits and Flag Manifolds?

Given a complex semi-simple Lie group $G$, it acts smoothly on the dual $\frak{g}^*$ of its Lie algebra $\frak{g}$ by the coadjoint action. The orbits of that action are called coadjoint orbits.
A ...

**4**

votes

**1**answer

188 views

### semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity.
For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in ...

**8**

votes

**2**answers

538 views

### Is there some Riemannian manifold's version of Whitney theorem?

Given any Riemannian or Semi-Riemannian manifold $(M,g)$, does there exist a Eucildean space $(E,g^\prime)$ of enough high dimension with metric $g^\prime=diag\{-1,-1,...,+1,+1,...\}$ with any n ...

**27**

votes

**0**answers

507 views

### Are there periodicity phenomena in manifold topology with odd period?

The study of $n$-manifolds has some well-known periodicities in $n$ with period a power of $2$:
$n \bmod 2$ is important. Poincaré duality implies that odd-dimensional compact oriented manifolds ...

**2**

votes

**1**answer

141 views

### Lower regularity version of Moser's theorem on volume elements

A theorem of Moser, published in "On the Volume Elements of a Manifold" (Transactions of the Americal Mathematical Society 120, 1965), shows that if a $C^\infty$ compact manifold $M$ has two ...