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

learn more… | top users | synonyms (1)

25
votes
9answers
4k views

Why differential forms are important?

Importance of differential forms is obvious to any geometer and some analysts dealing with manifolds, partly because so many results in modern geometry and related areas cannot even be formulated ...
0
votes
0answers
21 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 ...
16
votes
2answers
486 views

Eversion of the 6-sphere in 7-space

Say that $S^n$ "admits eversion" if the inclusion $S^n \rightarrow \mathbb{R}^{n+1}$ is regularly homotopic to the antipodal map (where a "regular" homotopy is a continuous path through immersions). ...
3
votes
0answers
43 views

“Integrating” solenoidal vector fields

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
2answers
469 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 - ...
3
votes
1answer
108 views

Containment of two varieties with a lot of intersection

Given a projective variety $X\subset \mathbb P^n$ and a curve $C\subset \mathbb P^n$, when can I conclude that $C\subset X$, from the fact that $C$ and $X$ have 'many' points in common. I.e., is there ...
-3
votes
0answers
84 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 ...
4
votes
0answers
155 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 ...
4
votes
1answer
248 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 ...
8
votes
1answer
670 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 ...
0
votes
0answers
95 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 ...
11
votes
3answers
701 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 ...
4
votes
1answer
341 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
133 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
582 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, ...
4
votes
2answers
304 views

on Brieskorn Manifolds

Brieskorn showed that $X_{k}=\{(z_0, \dots, z_k)\in \mathbb{C}^{k+1}| -z_{0}^{3}+\sum_{i=1}^{k} z_{i}^{2}=0\}$(k odd, k>2) is a topological manifold. Is it a smooth manifold? In general, let $a_1, ...
2
votes
0answers
56 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} ...
2
votes
2answers
296 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 ...
3
votes
1answer
117 views

Global conformal equivalence of two regions of Minkowski spacetime

I am wondering whether the region $H:=\{(t,x):x^2−t^2<1\}$ of $(1+1)$-dimensional Minkowski spacetime, equipped with the restriction $g_H$ of the standard Minkowski metric $g=−\mathrm{d} t\otimes ...
1
vote
1answer
92 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 ...
1
vote
1answer
177 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 ...
3
votes
1answer
157 views

Approximating the action of the U(N) exponential map

Let's say that I have a curve in $\mathbb{C}^N$ given by the action of the unitary group: $$x(t) = e^{Ht}x_0,~ H \in \mathfrak{u}(N),~ ||x_0||=1$$ Here, $H$ is an NxN skew-Hermitian matrix (for very ...
9
votes
1answer
489 views

On bi-invariant metrics on groups

I'm looking for a quick, snap-your-fingers proof of the following result: A continuous length metric on $\mathbb{R}^n$ that is invariant under translations comes from a norm. To be clear about ...
1
vote
1answer
140 views

Derivability properties of the distance function in a Finsler Manifold

We know that, in a Riemannian manifold, the geodesic distance between a point O and a point P, when we fix O, is a function of P that is $C^\infty$ everywhere on a local neighborhood, except in P=O. ...
0
votes
1answer
140 views

Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$

I'll first state the question as concisely as I can and then provide some motivation. Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...
6
votes
1answer
219 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 ...
3
votes
1answer
143 views

Extension of pseudodifferential operators

I'm very sorry if this is the wrong place to ask this question, but I've asked it on StackExchange and received no answers. ( ...
5
votes
1answer
368 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 ...
3
votes
2answers
130 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) ...
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
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 ...
0
votes
1answer
57 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 ...
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 ...
5
votes
1answer
127 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 ...
3
votes
1answer
502 views

Are (Frobenius) integrability conditions covariant?

Starting with a system of partial differential equations for functions on $\mathbb{R}^n$, Frobenius' theorem gives a bunch of integrability conditions (on e.g. functions which are 'data' for the ...
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 ...
12
votes
0answers
264 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 ...
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 ...
8
votes
1answer
150 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 ...
14
votes
2answers
570 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 ...
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 ...
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 ...
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 ...
4
votes
2answers
467 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
218 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
157 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 ...
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 ...
1
vote
1answer
212 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
285 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.