**3**

votes

**0**answers

114 views

### when are local quasigeodesics global in CAT(0)

It is well-known (and easily shown) that a local quasi-geodesic (for some value of "local") in a $\delta$-hyperbolic space is global (one can compute the constants, as well, from local data). This is ...

**0**

votes

**0**answers

107 views

### What is the symplectic manifold whose Delzant polytope is a trapezoid?

What is the symplectic form on the manifold whose associated Delzant polytope is a trapezoid? I am trying to find it by using the Marsden–Weinstein theorem, but I have been unable to do so. If ...

**1**

vote

**1**answer

226 views

### The existence of differential operator of the form $AB=0$

We define $\mathcal A$ is a differential operator of order $n$ with variable coefficients if
$$ \mathcal A:=\sum_{|\alpha|\leq n}A_\alpha (x) D^\alpha $$
where $\alpha$ is an muti-index and ...

**3**

votes

**2**answers

170 views

### Totally geodesic submanifold of a hyperbolic 3-manifold

If $M$ is a convex-cocompact hyperbolic 3-manifold, and $S$ is a closed surface with genus $\geq$ 2. Suppose $f:S\to M$ is a minimal immersion, and $f(S)$ is negatively curved. I know that all the ...

**2**

votes

**1**answer

141 views

### Constant spinors from constant forms

Let $(X,g)$ be a $m$-dimensional complex, hermitian, spin manifold and let us denote by $S_{\mathbb{C}}$ its complex spinor bundle. Then:
$S_{\mathbb{C}}\simeq \Lambda_{\mathbb{C}}(X)$
Let $\nabla$ ...

**1**

vote

**0**answers

84 views

### Connection and reduction of the structure group

I apologize for this question which is not really research-level, but I don't get any answer on mathStackExchange, and I asked a professor in my university... which couldn't find the solution.
I am ...

**1**

vote

**1**answer

139 views

### Using Jacobi fields to approximate parallel transport along geodesic:is the following limit true?

I apologize if this is not a research level question (already tried asking http://math.stackexchange.com/questions/1303288/relation-between-parallel-transport-and-jacobi-field-iion stack exchange with ...

**0**

votes

**2**answers

146 views

### Special connection of vector bundle over real manifold

Let $E \rightarrow M$ be a vector bundle over a smooth manifold $M$ and let $g$ be a bundle metric. Does there exists a conection (maybe unique) $\nabla$ which is compatible with $g$. By this I mean: ...

**0**

votes

**0**answers

117 views

### There is no quasiregular diffeomorphism from punctured ball into ring (on the plane)

The idea is to use l2 cohomology as a quasiregular map invariant.
It is easy to see that there are closed 1-forms on the ring which are not exact, but it occures that every closed l2-form
$f_1(x,y)dx ...

**6**

votes

**2**answers

259 views

### Lower bound on the first eigenvalue of the Laplace-Beltrami on a closed Riemannian manifold

It has been proved by Li-Yau and Zhong-Yang that if $M$ is a closed Riemannian manifold of dimension $n$ with nonnegative Ricci curvature, then the first nonzero eigenvalue $\lambda_1(M)$ of the ...

**11**

votes

**1**answer

216 views

### How many Fréchet manifolds are there?

Clearly the title needs clarifying. Allow me to let "how many" to mean a set larger than a skeleton of the category of Fréchet manifolds and smooth maps, if this category is indeed essentially small.
...

**4**

votes

**3**answers

339 views

### $A \wedge A \wedge A$ in Chern-Simons

I am confused with the wedging operations of Lie algebra valued differential forms. Especially, for instance, I have some problems with the Chern-Simons 3-form
$$A \wedge dA + \frac{2}{3}A \wedge A ...

**0**

votes

**1**answer

153 views

### Cohomology of Homogeneous Complex Manifolds

Let $M$ be compact $G$-homogeneous manifold, equipped with the equivariant complex structure, when $G$ is a semi-simple algebraic group. The obvious example is every flag manifold. In that case, all ...

**0**

votes

**0**answers

71 views

### How does one express a Lagrangian via differential forms? [duplicate]

I asked this question here on Physics.SE; and I accepted an answer, which thinking about it later I was dis-satisfied with; to save clicking on the link I'm reproducing the question below:
In ...

**1**

vote

**0**answers

115 views

### Spherical cap is the only compact constant mean curvature surface bounded by a circle

I would like to see that the only compact rotationally invariant constant mean curvature surfaces with boundary a planar circle, are either a planar disk or a spherical cap.
This is stated in the ...

**2**

votes

**0**answers

84 views

### When an envelope of a family of lines exists?

Given a family of lines $(\gamma_t): a(t)x+b(t)y+c(t)=0,\ t\in I$ (interval in $\mathbb{R}$), where $ a,b,c:I\to\mathbb{R},\ a^2(t)+b^2(t)\neq 0,\ \forall t\in I$ , what conditions should we impose ...

**-2**

votes

**1**answer

138 views

### Finding Riemannian metric for this geodesic [closed]

In a $d$-dimensional manifold, given a geodesic equation $\gamma^i(t)=a^i\phi(tb^i),i\in 1\ldots d$, where $\phi:\mathbb{R}\rightarrow\mathbb{R}^+$ is an increasing function, $a^i>0,b^i$ are ...

**0**

votes

**1**answer

62 views

### Regular curve given implicitly

Let $F:D\subseteq\mathbb{R}^2\to\mathbb{R}$, $D$ open and connected set, be a $C^1 (D)$ application.
What are the minimum requirements for $F$ such that the solutions of the equation $F(x,y)=0$ are ...

**2**

votes

**0**answers

96 views

### The most general set-up for tensors and connections

This is maybe a too vague question, so I will try to be as specific as possible. My question is:
What is the most general set-up where one can define tensors and connections?
For example, we know ...

**0**

votes

**0**answers

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

**20**

votes

**2**answers

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

**-2**

votes

**1**answer

78 views

### Exponential map and convergence [closed]

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

**1**answer

108 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

**1**answer

251 views

### Does the Riemann-Christoffel curvature determine the connection?

I am looking for the integrability condition of the following system of pde:
...

**2**

votes

**0**answers

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

**2**

votes

**1**answer

342 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

**1**answer

171 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

**1**answer

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

**3**

votes

**0**answers

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

**3**

votes

**1**answer

274 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

**0**answers

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

**6**

votes

**2**answers

252 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

**1**answer

72 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

**4**answers

576 views

### Intrinsic definition of arc length [closed]

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?

**15**

votes

**3**answers

561 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

**0**answers

134 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

**2**answers

361 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

**1**answer

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

**5**

votes

**1**answer

194 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

**1**answer

100 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

**2**answers

124 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

**1**answer

254 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

**1**answer

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

**-3**

votes

**1**answer

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

**14**

votes

**2**answers

580 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

**2**answers

292 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

**0**answers

34 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

**1**answer

351 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

**0**answers

187 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

**0**answers

115 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^{αβ}$ ...