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

learn more… | top users | synonyms (1)

0
votes
0answers
8 views

Preimage of singular points of smooth map between vector space and $SU(n)$

(Moved from Math SE as no answer was forthcomming: http://math.stackexchange.com/q/1294521/161684) Given a smooth ($C^{\infty}$) map $\phi: V \rightarrow SU(n)$ (which is taken to be surjective) ...
6
votes
1answer
94 views

Is every closed curve in 3D a geodesic on a genus-0 surface?

Let $\gamma$ be a smooth, closed, unknotted curve embedded in $\mathbb{R}^3$. Q. Does there always exist a smooth, embedded, genus-zero surface $S \subset \mathbb{R}^3$ such that $\gamma$ is a ...
0
votes
0answers
13 views

Estimation of connection ignoring the inverse parallel transport in manifolds open in Euclidean space

Let $(M,g)$ be a Riemannian manifold, with parallel transport $P_{t_1,t_2}$ from time $t_1$ to time $t_2$. We know that, along a curve $c$: $$ \nabla_{c} V(t)= lim_{h\to 0} ...
-1
votes
1answer
48 views

Exponential map and convergence

I posted this question on Math Stack Exchange, but nobody answered so I decided to ask this question here. Suppose that $M$ is smooth compact manifold and let $y \to x$. Let also $f \in C^{\infty}(M)$ ...
0
votes
1answer
56 views

Is the space of smooth maps $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology locally compact, if $M$ is compact

The title says it all: Let $M$ be a compact manifold and $N$ a (possible non compact) manifold. Equip the space of smooth functions $C^{\infty}(M,N)$ with the Whitney $C^{\infty}$ topology. (The ...
6
votes
1answer
125 views

Does the Riemann-Christoffel curvature determine the connection?

I am looking for the integrability condition of the following system of pde: ...
2
votes
0answers
35 views

Sobolev embedding on warped product

Consider the warped product $X = M \times \mathbb{R}$, with the metric $g = dr^2 + \varphi(r) g_M$, where $M$ is a compact manifold. Consider the Sobolev space $H^1(X)$ and let $H^1_{rad}(X)$ denote ...
1
vote
1answer
224 views

Explicitly describing the region of the plane “outward of” a simple, open, oriented, cubic curve $c:(0,1)\to\mathbb{R}^2$

Some Context: I'm working with some data given in the form of Bezier curves. I need to sort these (partially ordered) Bezier curves by "outwardness" (described below) and have come across an ...
2
votes
1answer
91 views

Perturb a given smooth function to a Morse function relative to fixed level sets, which are already fine

This question was not answered on math.stackexchange. Let $M$ be a manifold (not necessarily compact) , for the sake of clearness embedded in $\mathbb{R^n}$ and $f\colon M\rightarrow \mathbb{R}$ a ...
0
votes
1answer
95 views

Generalization of the Lie group exponential map and its derivative

Let $\mathfrak{g}$ be the Lie algebra of a Lie group $G$, and $exp:\mathfrak{g}\to G$ be its exponential map. The group $G$ could be finite or infinite dimensional. Let $G$ have the property that ...
-1
votes
0answers
35 views

Which spaces admit bump functions? [migrated]

Let me first fix terminology. Let $X$ be a topological space and $A\subseteq B\subseteq X$ be subsets. Let's say X admits a bump function relative to $A\subseteq B$ if there's a continuous function ...
3
votes
0answers
55 views

Integrability of Continuous Tangent Subbundles

Are there any field of mathematics, except dynamical systems, where one needs to integrate continuous sub-bundles of the tangent space? More specifically given a smooth manifold of $M$ and a ...
4
votes
1answer
239 views

Flat Riemannian manifold

Is it true that a Riemannian manifold is flat, if and only if a coordinate transformation $f$ exists, such that the geodesics after transformation is in linear form ...
7
votes
0answers
66 views

Kinematics of rolling knots

It is well known that there are trefoil knots without tritangent planes, and with 3d printers one can print these beautiful objects and make them roll on planes. (An ...
5
votes
2answers
199 views

Where is the exponential map a diffeomorphism?

Let $M$ be a closed compact Riemannian manifold. The exponential map $\mathrm{exp}:TM\to M\times M$ takes $(p,v)$ to $(p,\gamma_v(1))$, where $\gamma_v$ is the geodesic flow at $p$ in the direction ...
1
vote
1answer
66 views

Coxeter Isometry groups whose center has torsion

I'm looking for examples of Riemannian manifolds M of dimension $\geq 2$ such that the isometry group $Isom(M)$ contains as subgroup a finite Coxeter group $G$ such that $Tor(Z(G))$, the torsion group ...
2
votes
4answers
524 views

Intrinsic definition of arc length [on hold]

Is there an intrinsic way of defining the arc length of a curve in $\mathbb{R}^{3}$, that is without resorting to a parametrization of the curve?
14
votes
3answers
505 views

When can a class in $H^1(M;\mathbb{Z})$ be represented by a fiber bundle over $S^1$

For a topological space M, It is known from homotopy theory that the elements of the first cohomology $H^1(M;\mathbb{Z})$ are in 1-1 correspondence with homotopy classes of maps $[M,S^1]$ In my case ...
4
votes
0answers
128 views

Fundamental groups of stably parallelizable manifolds

Is it possible to realize every finitely presented solvable group as a fundamental group of a stably parallelizable closed n-manifold? If not, are there any known counterexamples?
6
votes
2answers
313 views

Is there a nice “synthetic” way for doing differential geometry on infinite dimensional vector spaces?

If $V$ is an infinite dimensional vector space, for example the space of smooth functions on $\mathbb{R}$, we can introduce some differential geometry concepts by choosing a topology on $V$ and doing ...
2
votes
1answer
51 views

Does convex hypersurface necessarily bound a convex domain?

Let $H\in M$ be a convex hypersurface, where $M$ is a complete Riemannian manifold and $H$ is an embedded (complete as a induced metric space) hyper surface without boundary and with positive definite ...
0
votes
0answers
25 views

Nonzero partial derivative and injectivity [closed]

Let $p,q,x,y:(a,b)\to\mathbb{R}$ be $C^1 ((a,b))$ functions. Knowing that the function: $F_v:(a,b)\times (a,b)\to\mathbb{R};\ v\in (0,1),\ F_v ...
0
votes
0answers
29 views

Non-Trivial Kernel of the Dolbeault--Dirac on a Compact Kahler Manifold

Let $V$ be a holomorphic vector bundle over a compact Kahler manifold. For a choice of Hermitian structure on $V$, let $\Delta$ be the Laplacian on $V \otimes \Omega^{(0,\bullet)}$. ...
5
votes
1answer
175 views

Kernel of flux homomorphism (Calabi invariant) for volume-preserving maps on a compact manifold

Good morning everybody, I am currently reading through the book of Banyaga "Structure of classical diffeomorphism groups" link, and I am particularly interested in the question of factorizing ...
3
votes
1answer
87 views

Is every positive $(n-1,n-1)$ form almost decomposable?

Suppose $(X,\omega)$ is a compact hermitian manifold of complex dimension $n$, and $\alpha$ is a smooth $(n-1,n-1)$ positive form, i.e., $\alpha = a \omega ^{n-1} + \displaystyle \sum _{i=1} ^m ...
4
votes
2answers
107 views

What is the space for the coefficients of the connection 1-form of a connection in a vector bundle?

Let $E\to X$ is a a (smooth real) vector bundle with structure group some Lie group $G$. Suppose we have a (linear) connection $\nabla$ on $E$. Is it true that if $A$ is the connection 1-form of ...
9
votes
1answer
238 views

Sard's Theorem For Banach Spaces

Given a smooth map from $\phi: B \rightarrow M$ where $B$ is a Banach Space and $M$ is a finite dimensional smooth manifold (for example, the end point map for a control system), what is the strongest ...
1
vote
1answer
96 views

Tensoring by Line Bundles to Produce Holomorphic Sections

Inspired by the line bundle case, I have the following question: Given an equivariant holomorphic vector bundle over complex projective space, is it true that tensoring it by line bundles often ...
-1
votes
0answers
49 views

Gradient of the distance function on a manifold [closed]

On a Riemannian manifold, it is known that the function $d(x, p)$, where $p \in M$ is a fixed point, has gradient almost everywhere, with $|\nabla_x d(x, p)| = 1$. Now, if we replace $p$ by an open ...
-3
votes
1answer
165 views

Loop space of manifold [closed]

Question A: The free loop space of a manifold is also a manifold? Question B: The free loop space of an algebraic variety is also a algebraic variety ? Are these questions asked or answered anywhere ...
13
votes
2answers
282 views

Differential operators are coKleisli morphisms of the jet co-monad

The following statement may be "well known but not well known enough", and my question is which reference would state it explicitly: The construction of Jet bundles is a comonad on suitable bundles ...
3
votes
2answers
284 views

Smooth paths on affine varieties

I have the following question which is in some way related to an application of Randell Isotopy Theorem to complex hyperplane arrangements. Let $h,k\geq1$ be integer numbers and let ...
0
votes
0answers
32 views

Exactness in the zeroth term and (relative) vector field

Recently I've asked the following question: Contraction with a vector field and pullback bundle When I already know how $i_X$ should be understood (please see the discussion; recall that we are ...
5
votes
0answers
184 views

Intersections of open balls in manifolds

This question is motivated by the post Uncountable intersections of open balls in a separable metric space. The general problem is the following: given a connected Riemannian manifold $M$, what are ...
11
votes
0answers
181 views

A variation on the local Günther inequality

This question is about a variation on the Günther (also known as Günther-Bishop) inequality for manifolds of sectional curvature bounded from above. With Greg Kuperberg, we would deduce from it a ...
1
vote
0answers
110 views

General procedure to find the determinant of an operator?

I want to learn to find the determinant of an operator. I am given an operator like $\Sigma _{\alpha\beta}=-k^2g_{\alpha\beta}+i\theta\epsilon_{\alpha\beta\gamma} k^\gamma$ $k^2=k^μk_μ$, $g^{αβ}$ ...
1
vote
1answer
70 views

Dimension of Span of Adjoint orbit in $\mathfrak{su}(n)$

Given two elements $A,B \in \mathfrak{su}(n)$ what is the dimension of the span of the following adjoint orbit: $\{Ad_{e^{sA}}(B) \ | \ s \in [0,t]\}$ for different values of $t$. Does it ever change ...
0
votes
2answers
95 views

Example of a covariant derivative on a non-projective bundle

I was looking for a simple example of a covariant derivative on a bundle, where the bundle is not projective. If necessary, the example could be from complex or noncommutative geometry, but I would ...
0
votes
0answers
79 views

Tetrad transformation

I have been reading an article about Type D gravitational fields, and came across the tetrad transformation that I cannot understand. The author evidently introduced a new coordinate, but just a ...
15
votes
4answers
469 views

Is the space of immersions of $S^n$ into $\mathbb R^{n+1}$ simply connected?

The title is the question. Sorry, this isn't quite research level. I imagine the answer is well-known, just not to me. Thanks for any help!
1
vote
2answers
117 views

Principal bundles and Subriemannian Geometry

In sub-Riemannian geometry, one considers manifolds $P$ equipped with a subbundle $\mathcal{H}$ of $TP$, the horizontal distribution. One then has a Riemannian metric only on this distribution ...
2
votes
1answer
102 views

Nowhere vanishing, normalized vector field with bounded derivatives

It is well-known that any non-compact manifold admits a nowhere vanishing vector field. If we have a Riemannian metric we may pick such a vector field and normalize it so that at every point it has ...
0
votes
0answers
116 views

Gromov's defenition of Content of Ball

Let $B(p, R)$ denote the metric ball of radius $R$ centered at $p$ in a manifold. Then Gromov defined the content of the ball by $$Cont(B(p,R))=rank(H_*(B(p, R/5))\to H_*(B(p,R))) $$ and he remark ...
1
vote
0answers
57 views

Largest dimensional Lie subgroup of $SU(N)$ [duplicate]

What is the largest (Lie) subgroup of $SU(n)$ in the sense of its dimension. I am aware of this potential duplicate subgroup of SU(N) with maximal manifold dimension , however, the title of this ...
8
votes
1answer
325 views

Two surfaces with zero gaussian curvature

There is classical result of Hartman and Nirenberg: Theorem. Every point of a $C^2$ surface of Gauss curvature zero has a neighborhood which admits a parameterization of the form $x=a(u)v+b(u)$ where ...
0
votes
1answer
70 views

About Kahler curvature operator

I have problems on how to consider the Kahler curvature operator. I know that one can consider the Riemannian curvature operator $R$ as a linear transformation from $\mathfrak{so}(n,\mathbb{R})$ to ...
1
vote
1answer
71 views

Cayley Subspaces in a Calibrated 8-Space

Suppose we are given $(\mathbb{R}^8,\Phi)$, where $\Phi$ is the self-dual 4-form that defines $Spin(7)\subset SO(8)$ (Cayley calibration, see Notes on the Octonians, page 23). Now some 4-subspaces $V$ ...
1
vote
0answers
64 views

Proximal point avoids a subvariety

I have a seemingly easy problem about the proximal point in a variety of a general point in the ambient space, which I don't have a proof: Let $X \subset \mathbb{C}^N$ be the affine cone over some ...
1
vote
1answer
85 views

Null geodesic congruence

I came across a statement in Chandrasekhar's "Mathematical Theory of Black Holes" that I don't understand (rather say disagree): Assume we have a Newman Penrose tetrad $\lbrace l, ...
0
votes
0answers
91 views

Linearization of An Eikonal Equation

I would appreciate any help with the following problem: Suppose $(\Omega,g)$ is a three dimensional Riemannian manifold with smooth boundary where $\Omega \subset \mathbb{R}^3$ and assume that there ...