**6**

votes

**0**answers

64 views

### Interplay between Loop Quantum Gravity and Mathematics

It is known that there are many interesting connections between String Theory and modern Mathematics, with a rich feedback going on in both directions: there have been advances in mathematics thanks ...

**3**

votes

**2**answers

248 views

### Eta Invariant of Spherical Space Form

Is the eta invariant of spherical space form $\eta(S^3/\Gamma)$ always nonegative?
Can we calculate it with the information of $\Gamma\in SO(4)$ explicitly?
In fact, i need a reference for the ...

**13**

votes

**6**answers

1k views

### Polynomial contact structures on $RP^3$

Let us consider polynomial contact structures on $\mathbb RP^3$, i.e. contact structures on $\mathbb R^3$ defined by a form $w=Pdx+Qdy+Rdz,\ P,Q,R\in \mathbb R[x,y,z]\ $ in an affine part and then ...

**1**

vote

**1**answer

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

**0**

votes

**0**answers

35 views

### Why $C^0$ - Convergence gives Gromov-Hausdorff convergence?

Let $(M,\omega (t)) $ be a family of kahler forms , why $C^0$ - Convergence gives Gromov-Hausdorff convergence?

**1**

vote

**0**answers

49 views

### freedom in choosing a smooth function of compact support [migrated]

Suppose $\Omega$ represents a bounded domain in $\mathbb{R}^n$. For ease, let $\Omega$ be a ball around the origin. Let $\varphi$ be a smooth radial function defined on $\Omega$. I am trying to ...

**0**

votes

**2**answers

132 views

### orbit space of $\mathbb{Z}_p$ action over complex projective space by permuting the homogeneous coordinates

$Z_p$:=cyclic group of order $p$.
I want to understnd $H_\ast(\mathbb{C} P^{n}/Z_{n+1};Z)$ with $(n+1)$ being a prime number,and the action is given by permuting the homogeneous coordinates.
For ...

**29**

votes

**4**answers

3k views

### What, precisely, does Klein's Erlangen Program state?

People write that the Erlangen Program is a "program" (like the "Langlands Program"), i.e. a series of related conjectures, which in this case were all solved. There are various intuitive accounts, ...

**-1**

votes

**0**answers

37 views

### Problems concerning meromorphic 1 form on Riemann surface [on hold]

1. For a compact Riemann surface $X$, let the genus of $X$ be the dimension of the space of holomorphic one forms on $X$. How to compute the genus of the Riemann sphere and a complex torus.
2. ...

**0**

votes

**0**answers

48 views

### Derivative of Log_p map

If $\mathscr{M}$ is a $(d-dimensional)$ Riemann Manifold and $p$ is a point therein. What is the derivative of $Log_p$ function?

**0**

votes

**0**answers

63 views

### Does a (non-closed) differential 1-form define a curve? [on hold]

I am trying to understand under what conditions the following procedure properly defines a curve. Take a manifold $M$ with a (non-closed) 1-form $B$ and an exact 1-form $dA$. Define the functions ...

**2**

votes

**0**answers

57 views

### Lower boundedness of the Ricci curvature [on hold]

I know that this is going to be slightly vague, but it's itching me: why is lower boundedness of the Ricci curvature required by some of the very important theorems in Riemannian geometry? The ...

**4**

votes

**2**answers

451 views

### Why not develop a Hamiltonian-based Morse theory?

I have begun to learn the basics of Morse theory and Floer homology. I understand that Floer homology is the natural theory for symplectic manifolds, but from my preliminary knowledge of Morse theory ...

**3**

votes

**2**answers

119 views

### distributional Hessian for semiconvex functions on non-smooth manifolds

Let $f:R^n \to R$ be convex. Then there exist signed Radon measures $\mu^{ij}=\mu^{ji}$ such that
$$
\int_{R^n} f \frac{\partial^2 \varphi}{\partial x_i \partial x_j} dx= \int_{R^n} \varphi d\mu^{ij} ...

**1**

vote

**1**answer

67 views

### Are normal deformations of an embedding open in the $C^{\infty}$-space of embeddings of a compact smooth manifold`

Let $M$ be a compact smooth manifold (closed, for simplicity), $n\in\mathbb{N}$ and equip the space of embeddings $Emb(M,\mathbb{R^n})$ wih the Whitney-$C^{\infty}$-topology. (The weak and the strong ...

**0**

votes

**1**answer

136 views

### Hermitian form, fundamental $2$-form of Kahler structure on $\mathbb{C}^n$

I've come across the following (it is an excerpt of Stolzenberg's lecture notes 19):
Wirtinger's Inequality.
Let $L$ be a complex linear space and let $M$ be a real
even-dimensional ...

**4**

votes

**1**answer

211 views

### Differential forms along the fiber

Let $E \to M$ be a smooth fiber bundle. Instead of differential forms defined on the whole tangent bundle $TE$ one could also consider forms on the vertical tangent bundle $VE$, i.e. forms defined on ...

**1**

vote

**1**answer

151 views

### Moduli space of flat connections over a torus

Let us fix a principal bundle $G\hookrightarrow P\to T^{2}$, where $T^{2}$ is a torus. Is the moduli space of flat connections on $P$ known? At least, it is known for some particular gauge groups, ...

**-5**

votes

**1**answer

134 views

### Stiefel-Whitney class of complex projective spaces [on hold]

Let $T\mathbb{C}P^m$ be the tangent bundle of complex projective space. What is the total Stiefel-Whitney class $w(T\mathbb{C}P^m)$?
Let $a_m$ be the maximal integer such that the $a_m$-th dual ...

**3**

votes

**1**answer

157 views

### invariant measure of uniquely ergodic horocycle flow

Let $S$ be a compact connected orientable surface of variable negative curvature, and let $M=T^1S$ be the unit tangent bundle of $S$. Then, we know from the paper of Brian Marcus (*) that the negative ...

**3**

votes

**2**answers

301 views

### Distributing the Hodge map over the wedge product

Let $(V,\langle,\rangle)$ be a finite dimensional inner product space, $V^{\wedge}$ it exterior algebra, and $\ast$ the Hodge star arising from $\langle,\rangle$. Does there exist any formula to ...

**4**

votes

**1**answer

250 views

### Factors of automorphy from Chern connection

This question is inspired by a recent question about holomorphic bundles and factors of automorphy. Suppose $X$ is a compact, complex manifold whose universal cover $\widetilde{X}$ is Stein (the ...

**0**

votes

**0**answers

42 views

### Two surfaces with zero gaussian curvature [on hold]

According to Hartman's article every surface $f(s,t)$ with zero gaussian curvature locally admits parametrization
$f = a_1(u) v + b_1(u),$
$s = a_2(u) v + b_2(u),$
$t = a_3(u) v + b_3(u).$
Now let's ...

**0**

votes

**1**answer

47 views

### Principal bundle associated to a Courant algebroid

A Courant algebroid is defined as a real vector bundle equipped with a product and a symmetric bilinear on its space of sections satisfying a particular set of conditions. What would be the definition ...

**5**

votes

**3**answers

319 views

### Are negatively pinched manifold locally conformally flat?

One knows that hyperbolic manifolds are locally conformally flat.
How about those negatively pinched manifolds, i.e. the sectional curvature $K$ satisfy:
$$
-\Lambda \le K \le -\lambda$$
for ...

**5**

votes

**1**answer

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

**13**

votes

**2**answers

604 views

### Are there any natural differential operators besides $d$?

Let $\lambda = (\lambda_1, \ldots, \lambda_r)$ and $\mu = (\mu_1, \ldots, \mu_r)$ be partitions such that $\mu_j = \lambda_j +1$ for one index $j$ and $\mu_i = \lambda_i$ for all other $i$. Then there ...

**4**

votes

**0**answers

68 views

### Finitely generated projective modules over the algebra of sections of the Clifford bundle

Consider a (pseudo-)Riemannian manifold $(M,g)$ and the corresponding Clifford bundle $Cl_g(T^*M)$. Let $R$ be the algebra of sections of $CL_g(T^*M)$, with point-wise multiplication. What are the ...

**2**

votes

**2**answers

149 views

### Connections having the same holonomy along loops at a point

I find myself stuck with the following question, which seems very classical but for which I have not been able to find a reference.
Consider a smooth vector bundle $E$ of rank $r$ over a compact ...

**5**

votes

**1**answer

180 views

### Strange problem about triplets of differential forms

Suppose we have the following map:
$$(\Omega^1(\mathbb{R}^n))^3\longrightarrow(\Omega^2(\mathbb{R}^n))^3$$
...

**17**

votes

**11**answers

5k views

### Geometric imagination of differential forms

In order to explain to non-experts what is a vectorfield, one usually describes an assignemnt of an arrow to each point of space, and this works quite well, also when moving to manifolds (where a ...

**1**

vote

**2**answers

122 views

### Courant algebroids which are not exact

Does somebody have some interesting examples of Courant algebroids which are not exact? By exact I mean one which is of the form $TM\oplus T^\star M$ with the standard bracket twisted by a closed ...

**3**

votes

**3**answers

165 views

### Are linearizations of involutive PDEs locally solvable?

A possibly soft question for you guys and gals. Say a system of analytic PDEs has been completed to involution (in the sense that it's geometric symbol has a Pommaret basis, or has vanishing ...

**0**

votes

**1**answer

88 views

### Existence of a special Kahler structure on the contangent bundle

It is known that the total space of the cotangent bundle $T^{\ast}M\to M$ of any manifold $M$ can be equipped with a Kahler structure. My question is, it is known when $T^{\ast}M$ admits a Special ...

**2**

votes

**0**answers

56 views

### A question about lagrangian submfd of Calabi-Yau manifold

In the paper 'Special Lagrangians, stable bundles and mean curvature flow' by R. P. Thomas and S.-T. Yau, page 2. They said
A Lagrangian submanifold $L$ of the Calabi-Yau manifold $(X,\Omega)$, we ...

**3**

votes

**1**answer

355 views

### Is $M=E_{7(7)}/SU(7)\times\mathbb{R}^{+}$ a (pseudo)Kähler-Hodge manifold? Open problem

I have been told that the following is an open problem in mathematics, but I am pretty sure that experts in the topic surely know the answer.
Is the manifold
$$M=\frac{E_{7(7)}}{SU(7)}\times ...

**6**

votes

**5**answers

386 views

### In a contact manifold, is every tranverse 1-foliation given by some Reeb vector field?

Let $M$ be a contact manifold, and let $F$ be an oriented 1-dimensional foliation that is transverse to the contact structure.
Is there a contact form $\alpha$ whose associated Reeb vector field ...

**1**

vote

**1**answer

186 views

### Is there a way to define a Lie derivative of a connection?

I've been reading a little bit about the definition of symmetries on General Relativity, and they are related with the concept of Killing vector, i.e., vectors along which the Lie derivative of the ...

**2**

votes

**1**answer

69 views

### distance formula of warped products

Given a warped product, I want to compute the ditance of any two points. First get the equation for the geodesic, then compute the length of the geodesic.
Consider the two-dimensional surface
$$
...

**3**

votes

**1**answer

224 views

### 'Unitary' charts on odd-dimensional spheres

Consider the odd-dimensional sphere $S^{2n+1} \subset \mathbb{C}^{n+1}$. One may talk variously about its structure as a contact, CR or Einstein-Sasaki manifold, but I'm looking for some specific ...

**1**

vote

**1**answer

131 views

### Symplectic reduction: from indefinite signature to Riemannian signature

Let $(M,g,\omega)$ be a $d$-dimensional manifold equipped with a metric $g$ of signature $(t,s)$, $d = t+s$, and a symplectic form $\omega$. Let us assume that a Lie group $G\subset Isometries(M,g)$ ...

**3**

votes

**1**answer

118 views

### structure of metrics on a compact manifold

is there a reference on the structure of the space of metrics on a compact manifold that induce a given measure $\mu $?
i have a given manifold $M$, a given measure $\mu$ with an everywhere positive ...

**5**

votes

**1**answer

1k views

### Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...

**2**

votes

**0**answers

55 views

### Analogue of the Euler class of a circle bundle and the global angular form

This is a general question that asks whether there is geometric significance to differential forms that restrict to G-invariant volume elements on the fibers of a principal G-bundle.
For an SO(2) ...

**0**

votes

**0**answers

65 views

### Functional involving Ricci curvature: convex and coercive?

Let $(M,g)$ be a Riemannian manifold with Levi-Civita connection $\nabla$, volume form $\mu_g$, and Ricci curvature $\text{Rc}_g$.
Question: Given a fixed vector field $V\in\Gamma(TM)$, under what ...

**13**

votes

**17**answers

11k views

### Undergraduate Differential Geometry Texts

Can anyone suggest any basic undergraduate differential geometry texts on the same level as Manfredo do Carmo's Differential Geometry of Curves and Surfaces other than that particular one?
(I know a ...

**4**

votes

**0**answers

150 views

### Curvature estimates for Kaehler-Einstein and Hermitian, Einstein four-manifolds

Four-dimensional Kaehler-Einstein manifolds and Hermitian, Einstein manifolds with positive scalar curvature have been classified by Tian and LeBrun respectively. I was wondering are there any ...

**7**

votes

**1**answer

394 views

### $\pi_0${plane fields}$\to\mathbb{Z}_2$

On a 3-manifold $Y$, oriented 2-plane fields $\xi$ are oriented rank-2 subbundles of $TY$. Denote the set of such (up to homotopy) by $\Theta=\pi_0\lbrace\xi\rbrace$. What is an explicit canonical map ...

**3**

votes

**0**answers

179 views

### Complex symplectic reduction

Oddly I find about zero resources talking about "complex symplectic reduction" upon a web search. Is there anything wrong with it?
I guess maybe there are two competing settings a priori: a complex ...

**10**

votes

**1**answer

504 views

### Associativity of Kontsevich's star product up to second order

In Deformation quantization of Poisson manifolds, Kontsevich gives the quantization formula
$$f \star g = \sum_{n=0}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma,\alpha}(f,g).$$
He gives ...