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

learn more… | top users | synonyms (1)

-3
votes
0answers
78 views

Relation between $\text{Hom}_{\mathsf{Alg}_{\mathbb{R}}}(\mathcal{C}^\infty(M),A) $ and $ X \otimes_\mathbb{R} A$? [on hold]

This question is a little bit of a shot in the dark, but maybe someone stumbled over it before... Let $M$ be a (simply connected) smooth manifold modelled on a locally convex space $X$ over ...
3
votes
1answer
236 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
0answers
89 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
0answers
50 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
1answer
176 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 ...
0
votes
1answer
90 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
0answers
151 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 ...
10
votes
3answers
691 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
2answers
294 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 ...
5
votes
1answer
216 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 ...
0
votes
0answers
55 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
0answers
94 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 ...
1
vote
1answer
56 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 ...
3
votes
2answers
129 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
1answer
126 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
1answer
263 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
0answers
80 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
1answer
74 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
1answer
142 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
0answers
69 views

Instrinsic Distance on Hypersurface

Let $\Sigma=\{(x, u(x))\in\mathbb{R}^{n+1}| u: \mathbb{R}^{n}\rightarrow \mathbb{R}\}$ be a convex graph. How to estimate the intrinsic distance or compare the intrinsic distance with the extrinsic ...
0
votes
1answer
93 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 ...
12
votes
0answers
261 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
2answers
568 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
0answers
217 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
1answer
364 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
248 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
1answer
156 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
0answers
56 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
0answers
233 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 ...
3
votes
0answers
220 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 ...
9
votes
0answers
121 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 ...
2
votes
0answers
91 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 ...
3
votes
1answer
132 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
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}$ ...
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 ...
0
votes
1answer
65 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
0answers
197 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
1answer
42 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
1answer
189 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 ...
3
votes
3answers
275 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
0answers
119 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
73 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
3answers
283 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
1answer
149 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
2answers
303 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
1answer
347 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
0answers
149 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. ...
21
votes
1answer
664 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 ...
0
votes
0answers
145 views

connections and curvature

Let $(M, g)$ be a Riemannian manifold. Is it possible to construct two different affine (or metric) connections, say $\nabla$ and $\nabla'$, which induce the SAME curvature tensor, i.e. $R(X, ...
2
votes
0answers
49 views

Almost sure transversality of smooth random maps

I still am novice as far as probability is concerned and after fruitlessly Googling for an answer for a few days I thought I might have a better chance with MO. Let me first formulate the ...