**7**

votes

**1**answer

685 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

124 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

202 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

127 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

51 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

155 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

366 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

107 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

62 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

198 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

104 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

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

**11**

votes

**3**answers

729 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

310 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

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

**1**

vote

**0**answers

62 views

### Branch point and alexandrov embeddedness

This is a question I have asked on mathstackexchange with a bounty but without any answer; it is probably more adapted to mathoverflow:
Let us assume that $\Sigma_n$ is a sequence of topological ...

**2**

votes

**0**answers

98 views

### the algebraic theory of obstruction of a homology theory

In general homology group of a complex is $Ker d/ Im d$(regardless of grading). However, in many case the square $d\circ d$ is not zero. For example, the study of Floer thoery needs A infinity ...

**0**

votes

**1**answer

66 views

### Is the extrinsic metric and intrinsic metric equivalent if second fundamental form is bounded

Let $M$ be a hypersurface in $\mathbb{R}^{n+1}$ with bounded second fundamental form
$|A|\leq C$. Does intrinsic distance satisfy $d_g(p,q)\leq C'|p-q|$, where $C'$ only depends on $C$. Here ...

**4**

votes

**2**answers

147 views

### The necessary and sufficient condition for $\textbf{global}$ conformal flatness of a n-dim (pseudo-)Riemannian manifold

There is a theorem :
1) 2-dim (pseudo-)Riemannian manifold must be local conformal flat;
2) 3-dim (pseudo-)Riemannian manifold is local conformal flat iff the Cotton tensor vanishes.
3) n-dim (n>3) ...

**5**

votes

**1**answer

138 views

### Laplacian eigenfunction $L^p$ norms

Suppose I have a compact surface (possibly with boundary), and consider the eigenfunctions of the Laplacian, normalized so that their $L^2$ norms are $1.$ Is there some general result or conjecture on ...

**2**

votes

**1**answer

266 views

### Do lower dimensional spheres always lie on higher dimensional spheres?

At a certain stage of my research work, I require the following fact to hold true.
A surface $S$ satisfies certain conditions so that it lies on a 4-sphere in $R^{21}$ (I have used the results proved ...

**1**

vote

**0**answers

83 views

### This weaker version of CR-structure: is it studied somewhere

When I study 5-dimensional $\mathcal{N} = 1$ supersymmetry, I came across such structure as follows.
$(R, \kappa, \Phi, M)$ is an almost contact 5-manifold, such that
\begin{equation}
\kappa ...

**0**

votes

**1**answer

75 views

### Extending connections [closed]

Usually, one views the connection $\nabla$ on a vector bundle $E \to M$ as a map $\Gamma(M, E) \to \Gamma(M,T^*M) \otimes \Gamma(M,E)) \simeq \Gamma(M,T^*M\otimes E)$. One can extend this to the ...

**1**

vote

**1**answer

172 views

### Hamiltonian Isotopy class of Lagrangian Submanifold

Let $(X,\omega)$ be a symplectic manifold, $L\subset X$ be a Lagrangian submanifold, $[L]$ denotes the Hamiltonian isotopy class. How to represent $L'\in[L]$ via $L$ (for example, a graph over $L$)? ...

**0**

votes

**1**answer

120 views

### Dimension of Inverse image

Suppose we have a smooth map between two smooth manifolds $f:M→N$ such that $\dim M>\dim N$, and let $p∈N$ be a critical value. Suppose we know that $X:=f^{-1}(p)$ is a differentiable manifold (or ...

**13**

votes

**0**answers

287 views

### Does $S^4$ have a “symplecto-homeomorphic” structure?

The 4-sphere cannot be a symplectic manifold. In particular, it does not admit an atlas whose transition maps are symplectomorphisms ...

**14**

votes

**2**answers

593 views

### Vanishing eigenvalues of Jacobian

Let $f: \mathbb{R^2}\to \mathbb{R^2}$ be a Schwartz function. If the eigenvalues of $Df$ vanish everywhere, must $f$ be constant? Does an analogous result hold when we replace $2$ by $n$?
Any ...

**6**

votes

**0**answers

232 views

### Geometric meaning of the black hole horizon

It is widely accepted that the singularity of the Schwarzschild metric at the event horizon is purely an artifact of the coordinates and no physical singularity exists at the horizon. However, as ...

**5**

votes

**1**answer

376 views

### Differential Geometric Aspects of Rubber Bands

What happens, if a rubber band ( of length $l_0$ that has been stretched to length $l_1:=l_0+\Delta l\;$ and brought into the shape of a closed curve in $\mathbb{R}^3$ ) is released and if the only ...

**2**

votes

**3**answers

251 views

### Can the Einstein Field Equations be written as Difference Equations? [closed]

Does anyone know if the Einstein Field equations have ever been written as Difference Equations, and if so does that simplify anything or produce solutions not available in the usual Differential ...

**5**

votes

**1**answer

163 views

### Tensor product of certain Sobolev spaces on non-compact manifolds

Let $M$ be a non-compact Riemannian manifold of bounded geometry (i.e., its injectivity radius is uniformly positive and the curvature tensor and all its covariant derivatives are bounded in ...

**1**

vote

**0**answers

58 views

### Cover a set with balls centered at smooth functions (Ascoli theorem)

Assume $M$ to be a compact $n$-dimensional manifold, endowed with a complete metric.
Let us consider the space $C^\infty(M)$ endowed with the standard $C^\infty$ topology, i.e. generated by the ...

**12**

votes

**0**answers

239 views

### Artin L-function and Zeta function of twisted Dirac operator

If one thinks of a Frobenius as an element in the fundamental group of an arithmetic curve and of a Galois representation $\sigma$ as a flat connection on the curve, then the definition of the Artin ...

**9**

votes

**0**answers

125 views

### Invariant definition of the space of symbols on a vector bundle (pseudo-differential operators)

Normally, in the context of pseudo-differential operators, a symbol on a vector bundle $E$ is defined as a smooth function on $E$ which in each trivializing chart fulfills the usual symbol estimates
...

**3**

votes

**0**answers

97 views

### Focal points for the exponential map and Jacobi fields

It is known that in a Riemannian manifold $(M,g)$, if there is a closed geodesic and a non-zero, periodic, non-constant Jacobi field along it, then M has a focal point. Is the converse true? That is ...

**0**

votes

**2**answers

165 views

### Holomorphic vector fields on blow-ups of CP^2

On $X=CP^2\#k{(-CP^2)}$ in $k$ generic points, let $h^i=\dim H^i(T^{1,0}X)$, for $i\ge 0$. First, we know $h^i=0$ for $i\ge 2$. By Riemann–Roch formula, I obtain that $h^0-h^1 = 8-2k$. Would someone ...

**3**

votes

**1**answer

136 views

### Rational homogenous spaces and symmetric spaces

What are the complex rational homogenous spaces $G/P$ ($G$ a semi-simple complex Lie group, $P$ a parabolic subgroup) such that the set of real points $(G/P)(\mathbb R)$ is a (compact) riemannian ...

**0**

votes

**0**answers

151 views

### Hermitian metric on $f_*(\Omega_{X/X_{can}}^{n-k})$

Let $X$ be an n- dimensional algebraic manifold . Suppose that its canonical line bundle $K_X$ is semi-positive and $0<k=Kod(X)<n $ . Let $f: X\to X_{can}\subset \mathbb CP^N$
Here $X_{can}$ ...

**0**

votes

**1**answer

69 views

### equation for geodesics of a right invairant Finsler metric on $SU(n)$ which are parallel to a linear affine distribution

I am looking for an equation analogous to the Euler-Poincare equations for a right invariant Finlser metric except I want the geodesics which are parallel to a linear affine distribution on $SU(n)$. ...

**3**

votes

**0**answers

204 views

### A lifting problem

Let $E\overset{\pi'}{\longrightarrow} B'$ and $E\overset{\pi}{\longrightarrow} B$ be vector bundles.
For $i=0,1$, let $f_i$ be a fiber-preserving open embeddings of $\pi'$ into $\pi$, with $g_i$ the ...

**1**

vote

**1**answer

43 views

### Converting Dirichlet boundary conditions for E-L equations on a Lie group into an equivilent condition for EP equaiton

I need to find a specific geodesic of a right invariant Finsler geodesic on a Lie group ($SU(n)$) that connects $I$ to some desired $O$. These are Dirichlet boundary conditions for the E-L equations ...

**0**

votes

**1**answer

191 views

### First chern class of fibers of compact Kaehler algebraic variety

Let $M$ be an compact Kähler algebraic variety and suppose $K_M$ is semi-ample. Consider the holomorphic map $\pi:X\to \Sigma \subset \mathbb CP^N$ with $Kod(M)=dim_\mathbb C\Sigma$ (here $Kod$ means ...

**4**

votes

**3**answers

284 views

### Generic absence of non-trivial first integrals of geodesic flows

Is it true that given a smooth manifold M (with or without boundary), a "generic" metric g on M does not possess any non-trivial (non-constant) first integral for the geodesic flow induced by g on the ...

**4**

votes

**0**answers

130 views

### On the cohomology of Kontsevich graph complex

Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...

**1**

vote

**0**answers

75 views

### Singular leaf of Strebel differential

Let $R$ be a Riemann surface.Let $\gamma$ be a loop which is non-trivial in $H_{1}(R,\mathbb{Z})$. By the Jenkins–Strebel Theorem we know the following: there exists a holomorphic quadratic ...

**3**

votes

**3**answers

289 views

### Canonical Metric on Grassmann Manifold

I was curious and quite clueless as to how we can equip the Grassmann Manifold with a canonical metric - I have yet to find anything upon this subject.

**8**

votes

**1**answer

159 views

### Construction of the Lie functor: left vs. right invariant vector fields on Lie groups and Lie groupoids

When constructing the Lie algebra $L(G)$ of a Lie group $G$, one usually uses the identification of the tangent space $T_1 G$ with left invariant vector fields $\mathcal{V}^l(G)$ to construct the Lie ...

**2**

votes

**2**answers

318 views

### All Kähler metrics on a complex manifold?

Let $M$ be a complex manifold of complex dimension 2. What do we know about the set all Kähler metrics on $M$ in general and in the case of 4-torus $C^2/Z^4$?
For the case of surfaces ($dim_C=1$), ...

**4**

votes

**1**answer

352 views

### Are constant connection coefficients uniquely determined by the (1,3) curvature coefficients?

Suppose that on a certain coordinate system the coefficients $\Gamma^i_{jk}$, $i,j,k=1,\cdots, n$, of a linear connection are constant. We do not require compatibility with a metric, however I am ...

**4**

votes

**0**answers

155 views

### Atlas of a manifold as a Sheaf

--Hopefully this question does not dublicate another--
In this question Tom Goodwillie pointed out, that the 'atlas part' of
the definition of a smooth manifold can be redefined in terms of
sheaves. ...