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

learn more… | top users | synonyms (1)

1
vote
1answer
99 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 ...
6
votes
1answer
209 views

Does the Riemann-Christoffel curvature determine the connection?

I am looking for the integrability condition of the following system of pde: ...
18
votes
2answers
565 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 ...
65
votes
17answers
9k 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 ...
5
votes
1answer
310 views

Factors of automorphy from Chern connection

This question is inspired by a recent question about holomorphic bundles and factors of automorphy. Suppose $X$ is a compact, complex manifold whose universal cover $\widetilde{X}$ is Stein (the ...
0
votes
0answers
61 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
0answers
84 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 ...
0
votes
1answer
59 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
0answers
75 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 ...
0
votes
1answer
82 views

Finding Riemannian metric for this geodesic

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 ...
2
votes
0answers
77 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 ...
8
votes
11answers
3k views

Textbook for undergraduate course in geometry

I've been assigned to teach our undergraduate course in geometry next semester. This course originally was intended for future high-school teachers and focused on axiomatic, Euclid-style geometry ...
0
votes
0answers
35 views

Estimation of connection ignoring the inverse parallel transport in manifolds open in Euclidean space [on hold]

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} ...
0
votes
0answers
25 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) ...
-1
votes
1answer
64 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
75 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 ...
10
votes
2answers
423 views

Flows of vector fields and diffeomorphisms isotopic to the identity

Let $M$ be a compact manifold and $\varphi : M \longrightarrow M$ be a diffeomorphism which is isotopic to the identity. Does there exist a vector field $ X $ on $M$ such that $\varphi$ is the flow at ...
2
votes
1answer
97 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
126 views

Riemann isometry vs Euclidean bi-Lipschitz mapping

Assume that $\gamma$ is a rectifiable Jordan curve in the complex plane of length $2\pi$. Then there exists a Riemann isometry $f$ between $\gamma$ and the unit circle $T$. My question is, does this ...
1
vote
1answer
264 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
0answers
53 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 ...
0
votes
1answer
97 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 ...
18
votes
5answers
865 views

Historical use of figures in geometry

I was surprised to learn from John Stillwell's comment in answer to the question, "Can the unsolvability of quintics be seen in the geometry of the icosahedron?", that There is not a single ...
-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
59 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
248 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 ...
2
votes
4answers
533 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?
7
votes
0answers
69 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
1answer
1k 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, ...
6
votes
2answers
209 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 ...
13
votes
2answers
310 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 ...
1
vote
1answer
69 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 ...
14
votes
3answers
521 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 ...
0
votes
1answer
128 views

Diffusion on a semi-Riemannian manifold?

A great deal of literature exists on the heat equation and heat kernel for a Riemannian manifold. The Laplace-Beltrami operator in the given metric replaces the flat Laplacian in the heat equation, ...
2
votes
1answer
103 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 ...
11
votes
1answer
225 views

Harmonic spinors on closed hyperbolic manifolds

Does anyone know an example of a closed spin hyperbolic manifold of dimension 3 or greater such that the kernel of the Dirac operator is non-trivial? I'm mainly interested in the 3-dimensional case ...
4
votes
0answers
129 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
317 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 ...
5
votes
2answers
588 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 - ...
2
votes
1answer
52 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 ...
9
votes
1answer
240 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 ...
5
votes
1answer
178 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 ...
0
votes
0answers
30 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)}$. ...
4
votes
2answers
108 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 ...
11
votes
0answers
182 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 ...
8
votes
3answers
869 views
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 ...
1
vote
1answer
98 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
vote
0answers
232 views

When a Spherical variety is $K$-stable

Let $X=G/H$ for a reductive group $G$ and $X$ is normal and has an open $B$-orbit, for a Borel subgroup $B$ then we call $X$ spherical. My question is When a Spherical variety is $K$-stable? Is ...