Complex, contact, Riemannian, pseudo-Riemannian and Finsler geometry, relativity, gauge theory, global analysis.

learn more… | top users | synonyms (1)

0
votes
0answers
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
9answers
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
3answers
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
1answer
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
3answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
16answers
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
1answer
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
1answer
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
3answers
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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) = - ...