Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.

learn more… | top users | synonyms (1)

0
votes
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
3answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
42 views

Embedded submanifold [closed]

Show that an embedded submanifold is closed if and only if the inclusion map is proper.
1
vote
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
5answers
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
1answer
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 ...