**0**

votes

**0**answers

25 views

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

The 4-sphere $S^4$ cannot be a symplectic manifold. In particular, it does not admit an atlas whose transition maps are symplectomorphisms $(\mathbb{R}^4,\omega_0)\to(\mathbb{R}^4,\omega_0)$. A ...

**25**

votes

**9**answers

2k views

### Are there some other notions of “curvature” which measure how space curves?

I am learning differential geometry and have a few questions on curvature. -- Background:
Gauss invented "Gauss curvature" to measure how surface curves.
Riemann gives an ingenious generalization ...

**12**

votes

**1**answer

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

**4**

votes

**2**answers

453 views

### A question about Marsden-Weinstein reduction theory

Let $G$ ba a compat Lie group and $\frak g$ be its Lie algebra, then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J:M\to \frak g^*$ be its moment map then the reduced ...

**6**

votes

**0**answers

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

**0**

votes

**0**answers

30 views

### Sign of Laplacian in a N-Dimensional Space Under Other Specific Conditions

Consider that $f: \mathbb{R}^N \to \mathbb{R} $ is infinite times differentiable and is smooth over the entire domain. Take $N$ to be large. Also at point $\mathbf{x_0}$:
$$
...

**5**

votes

**1**answer

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

**4**

votes

**1**answer

272 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

236 views

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

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

**1**

vote

**1**answer

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

**3**

votes

**3**answers

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

**0**

votes

**1**answer

233 views

### Compatible connection on the associated vector bundle

Assume $E\rightarrow X$ is a holomorphic vector bundle of rank $n$ with a linear connection $\nabla=\nabla^{1, 0}+\bar\partial_E$ which is compatible with the complex (somewhere the literature says ...

**0**

votes

**0**answers

147 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}$ ...

**9**

votes

**0**answers

116 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

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

**12**

votes

**0**answers

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

**1**

vote

**0**answers

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

**2**

votes

**0**answers

84 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

**1**answer

59 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

**1**answer

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

**2**

votes

**0**answers

45 views

### How to prove that all smooth vector bundles on a given vector bundle are the pull back of a vector bundle on the base [migrated]

Recently, during a conversation, I heard about the result (previously mentioned also here on MO), whose statement is reported below. Not having the specific background necessary to reconstruct a proof ...

**3**

votes

**0**answers

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

**2**

votes

**1**answer

242 views

### Lifting analytic map

I believe the following statement is true:
Given a complex analytic map $f:\Delta\to V/G$, where $\Delta$ is a disc in $\mathbb{C}$, $V$ a finite dimensional complex vector space and $G$ a finite ...

**2**

votes

**1**answer

338 views

### a question about geometric quantization background

I don't understand why for geometric description of a regular system, we take always the classical phase space as a symplectic manifold?

**54**

votes

**16**answers

7k views

### Are there examples of non-orientable manifolds in nature?

Whilst browsing through Marcel Berger's book "A Panoramic View of Riemannian Geometry" and thinking about the Klein bottle, I came across the sentence:
"The unorientable surfaces are never discussed ...

**1**

vote

**1**answer

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

**5**

votes

**1**answer

783 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, ...

**3**

votes

**3**answers

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

**0**

votes

**1**answer

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

**7**

votes

**1**answer

222 views

### How does the kernel of the map $\Omega^{\bullet}(X)\rightarrow \Omega^{\bullet}(G\times X)$ relate to equivariant cohomology?

This question may be trivial for experts. Consider a (compact, connected) smooth manifold $X$ and a (compact connected) Lie group $G$ act on $X$. Then we have the action map
$$
\mu: G\times ...

**4**

votes

**1**answer

174 views

### Causal+Imprisonment Condition+Compact Clausure -> Stably Causal?

My question arose after studying the article "John K. Beem: Conformal Changes and Geodesic Completeness". (http://projecteuclid.org/euclid.cmp/1103899983) One of the results there is:
Let $(M,g)$ ...

**17**

votes

**2**answers

1k views

### Does it make sense to talk about smooth bundles of Hilbert spaces?

Is there a notion of "smooth bundle of Hilbert spaces" (the base is a smooth finite dimensional manifold, and the fibers are Hilbert spaces) such that:
1• A smooth bundle of Hilbert spaces ...

**1**

vote

**1**answer

125 views

### Euler-Poincare equations with constraints

It is well known that the stationary curves (say $\Xi(t)$) of a regular Lagrangian $\mathcal{L}$ on a compact, semi-simple Lie group $G$ have the property that $\xi(t) = \frac{d \Xi(t)}{dt} ...

**5**

votes

**1**answer

292 views

### Homotopy equivalent Morse functions

my question is the following: given a smooth manifold $M$, take a homotopy of maps $f_{t}:M \rightarrow \mathbb{R}, \quad t \in [0,1]$ such that every $f_{t}$ is a Morse function. Do $f_{0}$ and ...

**5**

votes

**2**answers

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

**4**

votes

**1**answer

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

**8**

votes

**1**answer

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

**3**

votes

**1**answer

281 views

### Mathematica package for supergravity and string theory

I am looking for a Mathematica package that can manipulate tensors for supergravity, string theory or M-theory. I am particularly looking for a package that can do spinor and Clifford algebra ...

**0**

votes

**1**answer

107 views

### Decay of weak solutions to degenerate parabolic PDEs on manifolds without boundary

I'm interested in degenerate parabolic equations posed on compact manifolds without boundaries and in particular decay estimates of the weak solution of such equations of the form
$$|u(t)|_{L^p} \leq ...

**10**

votes

**1**answer

507 views

### Reference request for TQFT, functoriality

I am reading Turaev's blue book Quantum Invariants of Knots and 3-manifolds.
It is difficult for me to understand the proof of Theorem 1.9 in chapter 4, which says;
The function $(M, \partial_{-}M, ...

**3**

votes

**0**answers

110 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

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

**0**

votes

**1**answer

104 views

### both convex and superharmonic function on manifold concave?

M is a non-compact Rimannian manifold without boundary.
$f\in W_{loc}^{1,2}(M)$ satisfies $\Delta f \leq c$ in the weak sense, i.e.
$$
-\int_M \langle \nabla f,\nabla \psi \rangle dvol \leq c\int_M ...

**21**

votes

**1**answer

649 views

### What is the analogue of simple prime closed geodesic for prime numbers?

The prime geodesic theorem (of Margulis?) states that on a compact surface of (constant?) negative curvature, the number of prime closed geodesics of length at most $L = \log x$ is approximately ...

**2**

votes

**2**answers

297 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$), ...

**6**

votes

**0**answers

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

**1**

vote

**0**answers

79 views

### Homological properties with discontinuity

I am trying to find information about modeling discontinuous fields over a manifold.
In particular, I have a manifold that may change its homology class, for instance I can have a growing circular ...

**8**

votes

**0**answers

392 views

### How does duality of symmetric spaces explain the hyperbolic cosine theorem?

There is a well-known duality between compact symmetric spaces and symmetric spaces of noncompact type. Basically it goes as follows: If $G/K$ is a symmetric space of noncompact type, $g=k+p$ the ...

**4**

votes

**0**answers

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

**2**

votes

**1**answer

156 views

### simple explanation of simplicial volume=4g-4 when genus $\ge 1$

In Gromov's famous book, it says "simplical volume of every oriented surface of genus $ \ge 1$ satisfies ${\left\| {\left[ S \right]} \right\|_\Delta } = 4g - 4 = - 2\chi \left( S \right) = - ...