**3**

votes

**0**answers

99 views

### An example of mean curvature flow that does not preserve embeddedness

Let $F: M^n \to \mathbb R^{n+k}$ be an embedding and $F_t$ be a families of immersions so that $F_0=F$ and
$$\frac{\partial F_t}{\partial t} = \vec H$$
It is known that in hypersurface case ...

**0**

votes

**0**answers

93 views

### Log of heat kernel for positive time

A well-known theorem by Varadhan relates the logarithm of the heat kernel on a manifold and the geodesic distance function. In particular, if $d(x,y)$ is geodesic distance from $x$ to $y$ and ...

**10**

votes

**3**answers

768 views

### Manifolds admitting flat connections

For each Riemannian manifold one can construct the Levi-Civita connection. While this connection is unique, we can call a (Riemannian) manifold flat if the Levi-Civita connection is flat. However when ...

**2**

votes

**2**answers

278 views

### Monge-Ampere type PDE

NB: I have edited this question to clarify what the OP is asking – Robert Bryant
Problem: Find a holomorphic function $f$ where where $f(x+iy) = u(x,y) + i\,v(x,y)$, such that the graph $\Gamma_u = ...

**4**

votes

**2**answers

151 views

### Reference for when a metric on a four-manifold is Kahler?

In a paper of Derdzinski (Proposition 5), he proved that if $\delta W^+=0$ and $W^+$ has at most two distinct eigenvalues, then the metric is (locally) conformally Kahler, and if in addition the ...

**3**

votes

**0**answers

103 views

### Surfaces ruled through a subset of points

One common definition of a
ruled surface
$S$ is that, through every point $p \in S$, there passes a line $L(p)$ that lies
in $S$: $L(p) \subset S$.
My question is:
Q0. Is there any loosening of ...

**2**

votes

**2**answers

139 views

### Holomorphic Line Bundles over a Homogeneous Space

Let $M=G/H$ be (compact) homogeneous complex manifold, and let $L$ be a line bundle over $M$. Can one always equip $L$ with a holomorphic structure? Can there be more then one such holomorphic ...

**3**

votes

**1**answer

77 views

### Horizontal lift of differential operator

On a Riemannian manifold $M$, there is a canonical horizontal lift $X^{\mathrm{hor}}$ of vector fields $X$ to $TM$, which is characterized by the two properties that
$X^{\mathrm{hor}}$ is a ...

**0**

votes

**1**answer

146 views

### Hilbert's Theorem relevance to positive curvature

In differential geometry, Hilbert's theorem (1901) states that there exists no complete regular surface S of constant negative Gaussian curvature K immersed in $ R^3 $. This theorem answers the ...

**7**

votes

**0**answers

109 views

### Topological restrictions from mean curvature bounds

Alexandrov's Theorem says that a compact constant mean curvature hypersurface embedded in $\mathbb{R}^{n+1}$ must be a round sphere.
What happens when the mean curvature is small, or bounded? (For ...

**2**

votes

**0**answers

117 views

### Symplectic form on moduli space of connections

Let $M$ be the moduli space of flat $GL(n,\mathbb{C})$ connections on a compact oriented surface, and $\alpha$ the natural symplectic form on it.
Is there any known construction of a bundle with a ...

**3**

votes

**1**answer

88 views

### Does this squared distance functional have a unique critical point on geodesically convex manifolds?

Let $M$ be a Riemannian manifold with distance function $d$, $C \subset M$ a geodesically convex set, $a=(a_i)_{i=1}^n \in C^n$, $W \in \mathbb{R}_{\geq 0}^{n \times n}$ and $J\colon C^n \rightarrow ...

**3**

votes

**5**answers

289 views

### Variation of curvature with respect to immersion?

Let $M$ be a smooth surface and let $f: M \to \mathbb{R}^3$ be a family of immersions given by
$$ f(t) = f_0 + tuN_0, $$
where $f_0$ is some initial immersion, $N_0$ is the associated Gauss map, and ...

**8**

votes

**2**answers

529 views

### Are there nontrivial involutions of $S^7\times S^7$ with fixed point set homeo to $S^7$?

The group $\mathbb{Z}_2$ acts on $S^7\times S^7$ by switching the coordinates with fixed point set $\Delta(S^7\times S^7)\cong S^7$. I want to know whether there are some other $\mathbb{Z}_2$ actions ...

**-3**

votes

**1**answer

151 views

### The logarith map as a contraction [closed]

Two Questions:
(1) Under what conditions(if any) can the logarithm map from a point on a Riemannian manifold, $q_1\in Q$, to the Tangent Space $T_{q_0}Q$, locally, be a contraction mapping?
Or more ...

**8**

votes

**1**answer

320 views

### Examples of Einstein four-manifolds of negative sectional curvature

Are there any nontrivial compact Einstein four-manifolds of negative or nonpositive sectional curvature? by nontrivial we mean not quotients of $\mathbb{H}^4$, $\mathbb{C}H^2$, ...

**13**

votes

**1**answer

327 views

### Higher Cerf Theory

Morse functions on a manifold $M$ are defined as smooth maps $f:M \rightarrow \mathbb{R}$, such that at the critical points we can find local coordinates so that ...

**1**

vote

**0**answers

106 views

### The relation between Gromov hausdorff convergence and inverse limit of compact metric spaces [closed]

The relation between Gromov hausdorff convergence and inverse limit of compact metric spaces.

**2**

votes

**1**answer

244 views

### Is the identification between symmetric tensors and homogeneous polynomials useful?

The general question:
Given an $n$-dimensional vector space $V$ over a field $k$, there exists an identification
$$\mathrm{Sym}^d(V) \sim k[x_1, \dots, x_n]_d$$
between the space of symmetric order ...

**8**

votes

**1**answer

189 views

### Dubins car shortest paths: Decidable?

A Dubins car follows a
Dubins path
in $\mathbb{R}^2$, with constant wheel speed and
limited turning radius.
It is known that the shortest Dubins path in the absence
of obstacles follows circular
arcs ...

**1**

vote

**0**answers

142 views

### A simple question in Hitchin's paper “The Geometry of Three-forms in Six Dimensions”

I am reading Hitchin's beautiful paper "The Geometry of Three-forms in Six Dimensions".
Everything goes smooth up to now except for a tiny problem in Section 6.2, which can be formulated as follows. ...

**11**

votes

**3**answers

1k views

### (Very) High dimensional manifolds

Usually one regards manifolds up to dimension 4 as a part of low dimensional topology. There are plenty of various results which work only in low dimensional topology; especially in dimension 4. ...

**4**

votes

**1**answer

285 views

### Smooth and $GL(n)$-equivariant implies algebraic?

Context: Let $B_n$ be the space of symmetric bilinear forms on $\mathbb{R}^n$ and $L_n\subset B_n$ be the subset of non-degenerate forms of Lorentzian signature $(-,+,\ldots,+)$. Let $T$ be a finite ...

**5**

votes

**0**answers

177 views

### Noncommutative geometry and line length

I would like to understand, in some formal sense, the relation between the Dirac operator and the line length introduced by Connes in noncommutative geometry. If $D$ is the Dirac operator, he sets $ds ...

**3**

votes

**1**answer

326 views

### The complex structure on $S^{2n}$

Assuming that there is a complex structure on $S^{2n}$ and it
becomes a complex manifold, also assuming there are complex
coordinate $z, w$ on $U, V$ respectively, where $U, V$ are open
cover of ...

**3**

votes

**0**answers

279 views

### How to estimate $|\nabla T|^2\geq c|\delta T|^2$ besides Cauchy-Schwarz inequality?

Let $T$ be a $(0,k)$-tensor on a Riemannian manifold. I was wondering how to improve the estimate $|\nabla T|^2\geq c|\delta T|^2$ for special metrics besides Cauchy-Schwarz inequality?
The question ...

**0**

votes

**2**answers

182 views

### Gradient Ricci soliton

I am reading Cao and Chen's paper "On Bach-flat gradient shrinking Ricci solitons".
A complete Riemannian manifold $(M^n,g_{ij})$ is called a gradient shrinking Ricci soliton if there exists a smooth ...

**2**

votes

**1**answer

180 views

### Is the centralizer $Z_G(A)=\{g\in G| a g= g a\}$ of a finite $A\subset G$ connected for a connected compact Lie group?

Let $G$ be a connected compact Lie group, consider the left/right action on itself.
For any finite $A\subset G$, consider the centralizer
$Z_G(A):=\{g\in G| a g= g a\}$.
Q: is $Z_G(A)$ a connected ...

**3**

votes

**1**answer

204 views

### Dirichlet polyhedra for hyperbolic manifolds

Let $H$ be a simply-connected, complete
space of constant negative curvature, that
is, a hyperbolic space, $\Gamma$ a discrete group of
isometries, and and $M=H/\Gamma$ its quotient space;
we assume ...

**3**

votes

**1**answer

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

**2**

votes

**0**answers

256 views

### Symmetry on a sphere

Let $u$ be a smooth function on the sphere $S^2$. Suppose there exists $C>0$ such that for all $R \in SO(3)$, the area of every nonempty connected component of $\{x\in S^2: u(x)> u(Rx)\}$ is at ...

**1**

vote

**0**answers

92 views

### Riemann curvature of $S^1$-principal bundle

Let $(M,g)$ be a Riemannian manifold and $\pi:P \to M$ be $S^1$- principal fiber bundle endowed with a connection $\Gamma$. For every $p\in P$ we have,
$$T_pP \simeq T_pV\oplus\Gamma_p$$
Where $V$ ...

**2**

votes

**0**answers

116 views

### Questions about transformation or integral transformation

I have asked several mathematicians about the following questions,but all of them think they are good questions,but can not give a complete answer.Now I have to come here to ask mathematicians all ...

**1**

vote

**1**answer

113 views

### Affine differential geometry. Is Calabi's hypersurface isotropic?

I am in the framework of (equi)affine differential geometry. Let $E$ be a centro-equiaffine space, that is a real vector space of dimension $n$, together with the special linear group $SL_n(R)$. Let ...

**20**

votes

**1**answer

615 views

### Does the Pfaffian have a geometric meaning?

While reviewing the proof of Gauss-Bonnet in John Lee's book, I noticed the following paragraph:
"
...In a certain sense, this might be considered a very satisfactory generalization of Guass-Bonnet. ...

**7**

votes

**1**answer

715 views

### Did differential geometry undergo a notation change?

As a graduate student, I found the old books of differential geometry used a different set of notation from modern textbooks. For example, Chern and Milnor defined the curvature 2-form by ...

**2**

votes

**0**answers

136 views

### Finding a smooth 6-manifold with a closed 2-form which is degenerate only along some embedded 2-spheres

Given a symplectic 6-manifold $(M,\omega)$ and an embedded
symplectic 2-sphere $C\subset M$ whose normal bundle has the first
Chern class -2. How to find on $M$ another closed 2-form $\eta$ which
only ...

**9**

votes

**1**answer

215 views

### Isotropic Riemannian manifolds

Let $M$ be a Riemannian manifold and $G$ a closed connected subgroup of isometries of $M$. Call the pair $(M,G)$ an isotropic pair if $G$ acts transitively on the sphere bundle $SM$. As an example, ...

**3**

votes

**0**answers

131 views

### different proofs of the fact that compact riemann surface has a non-trivial meromorphic function

I would have like to have a list of different proofs of the fact that compact riemann surface has a non-trivial meromorphic function.This is certainly one of the main results of compact riemann ...

**0**

votes

**0**answers

55 views

### Localization on orbit type submanifolds (generalization of Atiyah-Bott-Berline-Vergne)

In equivariant cohomology, the Atiyah-Bott-Berline-Vergne localization theorem says roughly speaking that the integral of an equivariant cohomology class on the $G$-manifold $M$ has only contributions ...

**4**

votes

**0**answers

156 views

### Reference for Hodge decomposition

Let $U$ be a bounded open subset of $\mathbb{R}^d$ with Lipschitz boundary, and $g \in L^2(U,\mathbb{R}^d)$ be a solenoidal vector field (i.e. $\nabla \cdot g = 0$). Then $g$ can be written in the ...

**5**

votes

**2**answers

372 views

### Besides the tracioid are there other surfaces of revolution that have a constant negative curvature?

There is no surface in $ R^3 $ that can represent the complete hyperbolic plane (Hilberts theorem) so we always have to do with a surface that is not completely equivalent, has a cusp somewhere, but ...

**0**

votes

**0**answers

113 views

### Does exterior product commute functor Hom?

Let $M$ be an module over the commutative ring $R$. I'd like to ask do we have the following isomorphism?
$$Hom_R(\wedge^n_RM,R)\simeq \wedge^n_R Hom_R(M,R)$$
We can obviously see it's true for the ...

**2**

votes

**0**answers

63 views

### Normal-like coordinates for weakly differentiable metrics

Let $(M,g)$ be a Riemannian $W^{2,p}$ metric, with $p>n/2$. Thus $g$ is at least continuous. At any point $P\in M$, do there exist local coordinates $x^i$ such that $g$ can be decomposed as $g_{ij} ...

**1**

vote

**1**answer

205 views

### When does a moduli space admit a spin structure?

This is a very vague question.
Is there any example of spin structures on a moduli space? References are requested.
I have vaguely heard that Witten discussed when a sigma model is spin. Somehow I ...

**1**

vote

**1**answer

110 views

### Large and Small Conformal Groups

It's well-known that on a Riemannian manifold $(M,g)$ with dimension larger than 2, the dimension of its conformal group $\text{conf}(M,g)$ is bounded above by ${n+2\choose 2}$. A Riemannian manifold ...

**4**

votes

**0**answers

179 views

### Differential ideals of Pfaffian forms on jet bundles (Integrability)

(I asked this question on math.stackexchange, but got no reaction in several weeks. So, my conclusion is, that it is harder to answer than I thought, and maybe admissible for the attribute 'research ...

**12**

votes

**3**answers

792 views

### Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for ...

**2**

votes

**2**answers

323 views

### Approximation theorem for Anti-Self-Dual Metrics

Rounge's Theorem states that any meromorphic function on a domain inside $\mathbb{C}$ can be approximated (over compact subsets) by a sequence of rational functions (meromorphic functions on ...

**6**

votes

**1**answer

238 views

### Idea and intuition behind Penrose transform

I would like to know what a Penrose transform is, or more precisely, what is it intended to be - I'm interested in ideas, intuition and some examples of application.
My knowledge of differential ...