# Tagged Questions

**0**

votes

**0**answers

32 views

### Carathéodory's theorem for $SO(3)$?

Let $Q \in \operatorname{Conv} SO(3)$.
Is there a way to retrieve an explicit representation of $Q$ as convex combination $Q=\sum_{k=1}^{r}{\lambda_{i}R_{i}},
R_{i} \in SO(3)$?
An approximation ...

**7**

votes

**1**answer

726 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 $\...

**0**

votes

**1**answer

81 views

### Convergence of Discrete Geodesic

Let $M$ be a Riemmanian manifold, $p\in M$ and $V\in T_p(M)$.
Suppose $f^{-1}:U_p \mapsto U$ is a diffeomorphism of a neighborhood of p to an open subset of $\mathbb{R}$ and define the sequence:
\...

**1**

vote

**0**answers

219 views

### Canonical metric on moduli space of singular Calabi-Yau varieties

Let $\pi:X\to Y$ be a surjective holomorphic map with connected fibers
and let fibers are singular Calabi-Yau varieties (i.e. numerical dimension is zero) then is it possible to construct canonical ...

**2**

votes

**0**answers

78 views

### Negative-curvature behaviour of higher-rank symmetric spaces

Let $X$ be a symmetric space of noncompact type with $rk\ X\geq 2$ and let $G$ be the identity component of the isometry group. Pick points $p\in X$ and $\xi\in\partial_{\infty}X$, with $\xi$ regular, ...

**0**

votes

**0**answers

88 views

### Definition of formal adjoint of covariant derivative [migrated]

I read in Einstein Manifolds, L. Besse that the covariant derivative $D: \mathcal{J}^{(r,s)}(M)\to \Omega^1(M)\otimes\mathcal{J}^{(r,s)}(M)$ admit an formal adjoint $D^*:\Omega^1(M)\otimes\mathcal{J}^{...

**7**

votes

**3**answers

773 views

### Are there examples of Fano manifolds such that Tian's alpha invariant satisfies $\alpha_G(X)=\frac{n}{n+1}$ but without a Kähler-Einstein metric?

The alpha invariant $\alpha(X)$ of a Fano manifold $X$ of dimension $n$ is defined as the infimum of log canonical thresholds of (effective) $\mathbb{Q}$-divisors $D\sim_{\mathbb{Q}}-K_X$. Similarly, ...

**-3**

votes

**0**answers

71 views

### Is a surjective mapping of R2 to itself with full rank derivative everywhere injective? [on hold]

Let $f:\mathbb R^2 \rightarrow \mathbb R^2$, and $rank(\frac{df}{dx}) = 2$ everywhere. If $f$ is surjective $f$ necessarily injective?
Also, what if $f$ maps $\mathbb R^{2+}$ (i.e. $\{x_1>0, x_2&...

**19**

votes

**1**answer

704 views

### Time averages and differentiability

Let $\varphi_t : M \rightarrow M$ be a smooth flow on a smooth manifold $M$. We may assume (although I'm not sure if this is important) that the flow preserves a smooth volume form on $M$. Given a ...

**6**

votes

**0**answers

415 views

+100

### Counting limit cycles via curvature in Riemannian geometry

In this post we would like to give a possible new approach to the second part of the Hilbert 16th problem
First we give a short introduction:
A quadratic system is a polynomial vector field on ...

**0**

votes

**1**answer

507 views

### Is there any open Ricci-flat ALE 4-manifold other than Hyper-Kahler ALE 4-manifolds?

Concerning my previous question Non simply connected HyperKähler 4-manifolds without ALE metrics the following question occurred to me:
Is there any open Ricci-flat ALE 4-manifold other than ...

**0**

votes

**0**answers

165 views

### Can some exotic sphere be diffeomorphically embedded into some $R^n$?

Can some (or perhaps every) exotic sphere be diffeomorphically embedded into some $R^n$? How does such an embedding (if it exists) look like? I.e., what are the equations for a particular embedding?
...

**1**

vote

**0**answers

76 views

### Ellipticity of Bott-Chern Laplacian

I want to prove that Bott-Chern Laplacian
$$\tilde{\Delta}_{BC}^{p,q}=(\partial\bar\partial)(\partial\bar\partial)^*+(\partial\bar\partial)^*(\partial\bar\partial)+(\bar\partial^*\partial)(\bar\...

**6**

votes

**1**answer

145 views

### The radially symmetric isoperimetric problem

A solution to the $l$-isoperimetric problem on a Riemannian surface $(M,g)$ is a smooth closed curve $\gamma \subset M$ of length $l$ which minimizes the isoperimetric constant:
$$h(\gamma) = \frac{l}{...

**0**

votes

**1**answer

69 views

### Exterior derivative on principal bundle [on hold]

In Nakahara's Geometry, Topology and Physics on page 375, he constructs a Lie-algebra-valued one-form $\omega$ on a principal bundle $P$ by "lifting" a Lie-algebra-valued one-form $\mathcal A_i$ on an ...

**5**

votes

**2**answers

509 views

### Can a Morse function define a unique structure on a closed manifold?

I was thinking about the doubt that if $M$ and $N$ are closed manifold and if there exists two Morse function $f$ and $g$ respectively on $M$ and $N$ with the following property that they both have ...

**5**

votes

**1**answer

186 views

### Question on period map, Gauss-Manin connection and complex coordinates of $\mathcal{H}^1(k)$

Let $\mathcal{L}_g$ be the space of abelian differentials on Riemann surfaces of genus $g\ge 2$ and $\mathcal{TH}_g:=\mathcal{L}_g/Diff_0^+(S_g)$ be the Teichmuller space of abelian differentials on ...

**4**

votes

**1**answer

210 views

### Hodge decomposition for Bott-Chern cohomology

$\DeclareMathOperator{im}{im}$
I want to prove that Bott-Chern cohomology group $H^{p,q}_{BC}=\frac{\ker\partial\cap \ker\bar{\partial}}{\im\partial\bar{\partial}}$ has finite dimension via Hodge ...

**8**

votes

**1**answer

440 views

### Which sections of $T^*M\odot T^*M$ have reproducing kernel “primitives”?

Given a smooth reproducing kernel $\kappa:M\times M\rightarrow \mathbb{R}$ on a manifold $M$, we can construct a section, $\alpha_{\kappa}$, of the symmetric tensor product $T^*M\odot T^*M$ by taking ...

**2**

votes

**1**answer

166 views

### Scheme of Higgs reductions

I'm reading the Bruzzo and Graña Otero's paper Semistable and Numerically Effective Principal (Higgs) Bundles; here: $X$ is a smooth, complex, projective variety; $G$ is a connected, complex, ...

**4**

votes

**1**answer

278 views

### How to tell if it's a Moishezon morphism

Suppose that $f \colon X\rightarrow S$ is a proper morphism of reduced and irreducible complex spaces and $f$ is a smooth deformation in the sense of Kodaira and Spencer. If we know each fiber $X_s$, ...

**1**

vote

**0**answers

103 views

### Name for the Quotient $SU(m+1)/(SU(k) \times SU(m-k))$

The sphere $S^{2m-1} \simeq SU(m+1)/SU(m)$ has a canonical $U(1)$-action, and quotienting by this action give complex projective space $CP^m$. We can generalise the family of sphere to the family of ...

**1**

vote

**1**answer

101 views

### Gaussian bounds on Dirichlet heat kernel

Let $(M, g)$ be a compact Riemannian manifold and let $p(t, x , y)$ be the heat kernel of $M$. Then there exist constants $c, C > 0
$ such that $$\frac{c}{t^{n/2}}
e^{-\frac{1}{4t}d(x, y)^2} \leq ...

**6**

votes

**0**answers

169 views

### Jets of sections of vector bundles expressed by symmetrized iterated covariant derivatives - who did it first?

The (non-unique) bundle isomorphism between the bundle $J^r E$ of $r$-th order jets of sections of a vector bundle $\pi:E\rightarrow M$ and the direct sum $$\bigoplus^r_{k=0}\vee^kT^*M\otimes E\...

**1**

vote

**1**answer

180 views

### An answer to this system of PDE's

Planning of the question:
Let $(M,g)$ be a Riemannian manifold and $TM$ be its tangent bundle
The isotropic almost complex structures $J_{\delta , \sigma}$ were introduced by Aguilar on the ...

**12**

votes

**2**answers

405 views

### Is SO(2n+1)/U(n) a symmetric space?

I am a physics student with only a rudimentary knowledge of differential geometry, so please feel free to point out if I miss something elementary / trivial.
According to https://arxiv.org/abs/1408....

**4**

votes

**1**answer

530 views

### Aysmptotic comparison of $L^2$ sections versus generating sections

Let $s_1,\ldots, s_k$ be linearly independent global holomorphic sections of a holomorphic line bundle $E$ over a compact algebraic manifold $X$, with volume form $\Omega$.
For $m$ large, let $\{e_1,\...

**9**

votes

**3**answers

480 views

### Moduli spaces of connections as representation spaces

It is well known that the moduli space of flat connections over a closed manifold $M$ can be identified with the representation space $Hom(\pi_1(M), G) / G$.
Furthermore, Atiyah and Bott (1983) ...

**3**

votes

**1**answer

431 views

### Representation variety vs. space of flat connections

The holonomy provides a bijection from
the space of flat $G$-connections (modulo gauge equivalence) on a trivial $G$-bundle over $M$
to
a connected component of the representation variety $Hom(...

**4**

votes

**0**answers

116 views

### Question on Weil-Petersson metric on Teichmuller space

I'm reading Ahlfors' original articles about Weil-Petersson metric: "Some remarks on Teichmüller's space of Riemann surfaces" and "Curvature properties of Teichmüller's space".
The tangent space at ...

**-2**

votes

**0**answers

42 views

### Embedded submanifold [closed]

Show that an embedded submanifold is closed if and only if the inclusion map is proper.

**1**

vote

**0**answers

44 views

### Second Countability hypothesis for a Banach manifold

Is the second countability hypothesis necessary to rigoruosly define a Banach Manifold (say in infinite dimension)?
In the finite-dimensional theory of manifolds, that request is included in the ...

**1**

vote

**0**answers

106 views

### Gravitational instantons metric (change variables)

I'm trying to understand the paper by Hitchin called: ''Polygons and gravitons". I'm stuck at page 471. At this point, he does some computations and obtains a metric:
$$
\gamma dz d\bar{z}+\gamma^{...

**0**

votes

**0**answers

39 views

### Half strip neighbourhoods for regular surfaces [closed]

Let $S$ be a regular compact surface in $\mathbb{R}^3$. It is well known that such surfaces admit a global tubular neighborhood, of thickness $\epsilon>0$ (for a suitable $\epsilon>0$).
In ...

**1**

vote

**1**answer

236 views

### A Geometric proof of the Gauss Lucas theorem

Motivated by a geometric proof of the Fundamental Theorem of Algebra we ask:
Is there a geometric proof for the Gauss-Lucas theorem ?Since we are working on a half plane, can one imagine a possible ...

**2**

votes

**0**answers

426 views

### Space of derivations of holomorphic (analytic) functions

Let $M$ be a (real) smooth manifold, and $p \in M$.
The space of (linear) derivations $D:C^{\infty}(p) \to \mathbb{R}$ (i.e., maps satisfying $D(f+g) = D(f)+ D(g)$ and $D(fg)=D(f)g(p) + f(p)D(g)$) ...

**4**

votes

**1**answer

341 views

### Decomposition of linear partial differential operators

I was wondering about the following:
Let $M$ be a smooth, second-countable (possibly noncompact) manifold and let $E$ and $F$ be smooth vector bundles over $M$.
Can every smooth linear partial ...

**3**

votes

**1**answer

294 views

### “Polygons and gravitons” and Kodaira's theorem

I'm trying to understand the paper by Hitchin called: ''Polygons and gravitons". I'm stuck at page 470. At this point, he does some computations and obtains the conformal structure of the real ...

**3**

votes

**0**answers

62 views

### Various definitions of the odd Chern character form

I am asking this question from my possibly defected memory, so the things below may not be accurate.
I want to know how many different definitions of the odd Chern character form using differential ...

**1**

vote

**0**answers

391 views

### A question related to the degree of vector field

Let $M$ is a $2n$-dim smooth Riemannian manifold, $\eta$ is a vector
field on $M$, $p\in M$ is a isolated zero of $\eta$. Then we can define a
map from $\partial B_{p}(\varepsilon)$ to $S^{2n-1}(1)$ ...

**2**

votes

**1**answer

62 views

### Set of singular points for momentum map (with coisotropic action)

Let $G$ be a Lie-group acting on a connected symplectic manifold $M'$ in a hamiltonian way, with an $\operatorname{Ad}^*_G$-equivariant momentum map. Assuming $G$ acts properly on $M'$, we can ...

**4**

votes

**0**answers

172 views

### Origin of the name ''momentum map''

Why is the momentum map in the differential geometry of symmetries called the ''momentum'' (or ''moment'') map?

**0**

votes

**0**answers

57 views

### charts for some riemannian embedding

Let $(M,g)$ be some riemannian manifold with some Lie group $G$ acting properly, freely and by isometries. So $M/G$ is a manifold and using the projection $\pi \colon M \to M/G$, we get a smooth ...

**2**

votes

**1**answer

143 views

### Surfaces of constant Gauss curvature K spanned by two helices and two straight lines

A surface is bounded by four lines parametrised as $(x,y,z)=$
$$ (0,u,- 1), (-1<u<1); \, (0,u,1), (-1<u<1); $$
$$(\cos v, \sin v, 2 v/ \pi), (- \pi/2 < v< \pi/2); \, (-\cos ...

**10**

votes

**0**answers

293 views

### What is known about the Yang-Mills stratification over 3-manifolds?

Rade proved in his thesis (Crelle's Journal, 1992, available here: digizeitschriften.de/dms/toc/?PPN=PPN243919689) that if $E\rightarrow M$ is a $U(n)$-bundle over a 3-manifold, then the gradient flow ...

**5**

votes

**1**answer

108 views

### Geometric interpretation of splitting of sequence associated to a homogeneous space

Let $G$ be a Lie group acting transitively on a smooth manifold $M$. Let $\mathfrak{g}$ be the Lie algebra of $G$ and let $\xi : \mathfrak{g} \to \Gamma(TM)$ be the Lie algebra homomorphism sending $...

**4**

votes

**1**answer

195 views

### On Johansson's Theorem on homotopy equivalences of 3-manifolds

Johansson's theorem states the following:
Given $f:M_1\rightarrow M_2$ (not a pair map) an homotopy equivalence between 3-manifolds with incompressible boundary.
Let $V_i$ be the components of the ...

**4**

votes

**1**answer

152 views

### Does Alexandrov space satisfy a reverse doubling condition?

Let $X$ be an $n-$dim Alexandrov space with curvature $\geq k$. Does $X$ satisfy a reverse doubling condition? That is, does there exist a constant $C>1$, s.t., for any $x\in X$, $0<r<\...

**14**

votes

**5**answers

602 views

### Smoothness of the closest point on a submanifold

Let $(M,g)$ be a smooth Riemannian manifold, and let $S \subseteq M$ be a compact submanifold.
Assume that for each $p \in M$, there exist a unique closest point on $S$, i.e a unique point $\tilde s(...

**6**

votes

**1**answer

188 views

### Short examples that are/are not quantum-ergodic

Are there any considerably short examples of manifolds that are/aren't quantum ergodic, or quantum unique ergodic?
Note that a (compact) Riemannian manifold is said to be quantum ergodic if almost ...