**1**

vote

**0**answers

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

**0**

votes

**1**answer

49 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

131 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

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

**3**

votes

**2**answers

97 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

147 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

118 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

154 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

297 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

38 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

592 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

67 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

148 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

176 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

163 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

87 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

354 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

385 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

185 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

68 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

117 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

149 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

178 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

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

**2**

votes

**1**answer

250 views

### Perimeter of ellipse: Combination of two geometries

Is there a Riemannian metric $g$ on $\mathbb{R}^{2}$ such that for every ellipse $\gamma$ in the plane we have:$$\text{The Euclidien perimeter of}\; \gamma=\lambda (g\text{-diameter ...

**2**

votes

**1**answer

132 views

### Is there a characterization of Riemannian manifolds that split off two factors?

Some Riemannian manifolds are expressed as a product manifold. Recently, I have read two articles about space-times. In both articles, the authors prove that a Riemannian manifold $\bar{M}^n$ is ...

**3**

votes

**2**answers

243 views

### Boundary geometry of a contact manifold

Let $(M, \xi = \text{ker}\,\alpha)$ be a compact contact manifold with non-empty boundary. Vaguely asked, is there any natural geometric structure on the boundary $\partial M$ induced from the contact ...

**0**

votes

**0**answers

79 views

### Positive curvature of the boundary away from a point implies regularity?

In a paper I'm refereeing, the authors make use of the following geometric fact:
Let $U$ be an open subset of $\mathbb{R}^2$. If there is a point $p\in \partial U$ so that $\partial U \backslash p$ ...

**5**

votes

**2**answers

563 views

### Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...

**2**

votes

**0**answers

130 views

### Formula for the distance in noncommutative geometry

Probably the most famous formula in noncommutative geometry is the following formula allowing one to compute distance of two points using the operator theoretic data:
$$(1) \ \ ...

**9**

votes

**1**answer

923 views

### Central extension of the algebraic loop group

I'm doing some constructions with the universal central extension $\widehat{\Omega G}$ of the loop group $\Omega G$ (here $G$ is a matrix group), where a priori the loops involved are just smooth, but ...

**0**

votes

**0**answers

68 views

### Diffusion on a semi-Riemannian manifold?

A great deal of literature exists on the heat equation and heat kernel for a Riemannian manifold. The Laplace-Beltrami operator in the given metric replaces the flat Laplacian in the heat equation, ...

**1**

vote

**0**answers

126 views

### How the exceptional simple Lie groups/ algebras were first discovered and by whom?

I am wondering whether exceptional simple Lie groups/ algebras were first discovered in order to obtain a complete list of such objects, or they appeared as answers to completely different questions.
...

**3**

votes

**1**answer

272 views

### If $X$ fails to be holomorphic, what is $\mathcal{L}_X \bar\partial - \bar\partial \mathcal{L}_X$?

I present a simplified version of the problem, and if that's easy to answer then someone can try answering the more complicated version.
Simplified version
Suppose $X$ is a tangent vector field on a ...

**1**

vote

**1**answer

85 views

### Uniqueness affine curvature

Let $\gamma_1,\gamma_2: \mathbb{S}^1 \to \mathbb{R}^2$ be two smooth, closed, convex curves that their (special)affine curvature, $\mu_1,\mu_2$ are equal, that is $\mu_1(\theta)=\mu_2(\theta)$, for ...

**1**

vote

**0**answers

97 views

### Estimates of eigenvalues of elliptic operators on compact manifolds

The classical Weyl law says that if $\Delta$ is the Laplace operator on functions on a compact Riemannian manifold $(M^n,g)$, $n>2$, then its $k$th eigenvalue satisfies the asymptotic formula
...