3
votes
1answer
263 views

Holomorphic coordinates on a Kähler manifold

Let $(X,J,\omega)$ be a Kähler manifold. Let $\dim_{\mathbb{R}}(X)=2n$ and we also know that $X$ splits as $X=M\times \mathbb{R}$, where $\dim_{\mathbb{M}}=2n-1$. My question is now: does there exists ...
4
votes
0answers
250 views

Averaging lengths and distances

A natural way in which Finsler metrics appear in Riemannian geometry is as averages of Riemannian metrics (e.g., the average of the arc-length elements $\sqrt{dx^2 + dy^2}$ and $\sqrt{2dx^2 + 3dy^2}$ ...
0
votes
0answers
101 views

Area on the unit sphere swept out by big circles corresponding to a curve

For a point on the unit sphere, we know the plane perpendicular to the line through the origin and the point cuts the sphere with a big circle. When the point moves along a sphere curve, the ...
3
votes
1answer
116 views

Existence of Simple Closed Straightest Geodesics

There are at least three distinct simple closed quasigeodesics on convex polyhedra [Mat. Sb. (N.S.), 1949, 25(67) :2, 275–306 Quasi-geodesic lines on a convex surface Pogorelov]. Is the same true ...
4
votes
1answer
182 views

Zoll Flat Finsler tori and convex bodies on a starry night

The starry night. The "celestial sphere" is given by set of non-zero vectors in $\mathbb{R}^n$ modulo positive dilations (i.e., $v \equiv w$ if $v = \lambda w$ for some $ \lambda > 0$) and the ...
0
votes
0answers
123 views

Optimal paintbrush geodesics

Let $S$ be a smooth, closed surface in $\mathbb{R}^3$, and $\gamma$ a geodesic segment on $S$, i.e., a finite-length piece of a geodesic. Define $\gamma(w)$ as all the points of $S$ within a distance ...
3
votes
2answers
236 views

Constructing a special infinite-dimensional vector bundle

Let $M$ and $N$ be finite dimensional smooth manifolds and $p: E \rightarrow N$ a finite rank vector bundle. $M$ can be assumed to be compact if necessary but I would prefer to work without this ...
1
vote
0answers
53 views

Lorentzian isoparametric hypersurfaces of ads

A hypersurface of a pseudo-Riemannian manifold is said to be isoparametric if its shape operator has the same characteristic polynomial at all points. Xiao has classified Lorentzian isoparametric ...
0
votes
0answers
196 views

About the parallel transport and choice of connection

Thought Experiment Consider a 2-sphere, $S^2$, and let $p$ be a point at the equator. Case 1 Let us parallel transport a vector, $V$ from $p$ using the recipe: Move one unit of length East. Move ...
3
votes
1answer
217 views

Are all null curves of a Lorentzian metric extrema?

Suppose $g$ is a Lorentzian metric on $\mathbb{R}^4$, then consider the variational problem of finding extrema of $$F(\gamma) = \int_a^b \| \dot{\gamma}(s) \|_g ds$$ The so-called "null curves" are ...
1
vote
0answers
133 views

Relationship between stabilizers of a general point and a boundary point

Let $V$ be an n-dimensional complex vector space, and $u\in S^nV$ be a polynomial, $G(u)$ be the stabilizer of $u$ in $GL(V)$. Let $[v]\in\overline{GL(V)\cdot[u]}\subset\mathbb{P}(S^nV)$, but $v\notin ...
6
votes
2answers
404 views

Relating curvature and torsion of a connection to those of a curve

I'm currently trying to relate two descriptions of the curvature and torsion of a connection and am running into some confusion. I know that an affine connection $A$ on an $n$-dimensional manifold ...
11
votes
5answers
502 views

To what extent does trajectory determine gravity sources?

Suppose one has in-hand an accurate time-space trajectory in $\mathbb{R}^3$ of a (small) body, say an asteroid or satellite—effectively a point. To what extent does this trajectory determine the ...
1
vote
0answers
199 views

Pencils of circles and Liouville's theorem

Is there any relation (maybe implicit) between the conformal geometry in the space of circles and spheres and the study of harmonic functions? In the original question I was musing whether the ...
4
votes
0answers
225 views

Symmetric matrices and Hilbert's fourth problem

From the analytic viewpoint, the Busemann-Pogorelov solution of Hilbert's fourth problem is summarized in the following result: Theorem. All straight lines are extremals of the variational problem $$ ...
4
votes
0answers
141 views

Can a simple Riemannian metric on the disc be extended to a Zoll metric on the sphere?

Given a simple Riemannian metric $(D,g)$ on the two-disc---its geodesics have no conjugate point and the boundary of the disc is strictly convex---, is it possible to embed $(D,g)$ isometrically into ...
2
votes
1answer
274 views

Reversibility vs geodesic reversibility for Finsler metrics on the two-sphere

Problem. To give a concrete example of a geodesically reversible Finsler metric on the two-sphere that is not just the sum of a reversible Finsler metric and an exact $1$-form. Some background may be ...
1
vote
1answer
161 views

Orbits of Product Lie Groups Action

Hi to all, Let $G$ be a Lie group of linear isometries of $\mathbb{R}^n_{\nu}$ ($\mathbb{R}^n_{\nu}$ is the semi-Euclidean space) and $G_1$ ,$G_2$ two Lie subgroups of $G$. Let $G_1 \times G_2$ as ...
0
votes
1answer
211 views

Smooth maps transverse to a foliation

Let $M$ and $N$ be smooth manifolds and let $S$ be a submanifold of $N$ ($\dim S < \dim N$). Let $\mathfrak S$ be a foliation of $S$. We say that a map between $M$ and $N$ is transverse to ...
11
votes
2answers
935 views

There are two points on the Earth's surface that … ?

At every moment in time, there are two points on the Earth's surface that have the same $\lbrace x, y, z, ... \rbrace$...? What is the strongest, most impressive statement one can make here? The ...
8
votes
2answers
882 views

About MF Atiyah and R Bott's 1983 paper

I am a theoretical physics major student working on string theory. I want to understand the work of MF Atiyah and R Bott, "The Yang-Mills equations over riemann surfaces" . What kinds of mathematical ...
6
votes
3answers
338 views

Herringbone partitions of regions and surfaces

Let $R \subset \mathbb{R}^2$ be a region of the plane bounded by a Jordan curve. The boundary $\partial R$ could be a polygon, or a smooth curve—there are variations depending upon boundary ...
7
votes
4answers
595 views

Surfaces that can be rolled by a ball

Let $S$ be a smooth solid body in $\mathbb{R}^3$, and $B$ a ball of radius $r$. Say that $B$ is in contact with $S$ if (1) they share a point $x$ that is on the surface of each, $x \in \partial S$ ...
4
votes
1answer
231 views

When is the hull of a space curve composed of developable patches?

Let $C$ be a smooth curve in $\mathbb{R}^3$ that lies entirely on its convex hull, $\cal{H}(C)$. Under what conditions on $C$ is $\cal{H}(C)$ the union of developable surface patches? I believe ...
2
votes
0answers
157 views

Variations of the mean curvature

Good evening everyone, I am facing a technical problem, maybe one of you can help. Given a spacelike surface $S$ with mean curvature 0 in a lorentzian $3$-manifold with constant sectionnal curvature ...
9
votes
1answer
528 views

A strange question about closed geodesics on a closed manifold

I'm studying a particular kind of curve evolution on Riemannian manifolds. It would help me to know the answer to the following kinda weird question: Does there exist a closed Riemannian manifold $M$ ...
6
votes
3answers
1k views

Are properties of geodesics on a cylinder unique to cylinders?

The geodesics on a cylinder (a cylinder infinite in both directions) are either (1) simple (non-self-intersecting) closed geodesics, or (2) simple infinitely long geodesics (infinite in both ...
11
votes
2answers
605 views

For what metrics are circles solutions of the isoperimetric problem?

A classical result is that solutions of the isoperimetric problem on the plane, the sphere, and the hyperbolic plane are circles. Are there any other Riemannian metrics on these spaces that share this ...
1
vote
0answers
285 views

Simple development of simple curve on a cone

Let $\Lambda$ be a cone with apex $a$ and apex angle $\alpha$. Draw a simple (non-self-intersecting) curve $C=(x,y)$ on $\Lambda$, and then develop it to a curve $\overline{C}$ on a plane by rolling ...
0
votes
1answer
168 views

relation with jacobifields in a small neighbourhood

hi, I have the following question: Let $(M,g)$ be a complete Riemannian manifold with all sectional curvatures non-positive. Let $p \in M$ and consider the function $d(x)=dist_{g}(x,p)$ in a ...
11
votes
5answers
2k views

Why do I need densities in order to integrate on a non-orientable manifold?

Integration on an orientable differentiable n-manifold is defined using a partition of unity and a global nowhere vanishing n-form called volume form. If the manifold is not orientable, no such form ...
-2
votes
1answer
262 views

Manifold with no Finsler structure?

Is there a good example for a smooth manifold to which one cannot give a Finsler structure in any meaningful way? Ideal the example should be of low dimension and not too bizarre.
1
vote
1answer
279 views

triangle equality in manifold

For a generilized triangle on a manifold, (distance can be regarded as geodesic length)it is well known that for Eucilidean Geometry,the following is true: Consider a triangle $ABC$, $D$ is the ...
3
votes
4answers
1k views

space of geodesics

hallo, i have the following problem: Let $(M,g)$ be a compact Riemannian manifold with metric $g$ and $\nabla$ be the Levi-Civita Connection. Denote by $G(M) =${$\gamma: \mathbb{R} \rightarrow M | ...
0
votes
1answer
1k views

Tangent lines to 2 circles, tangent planes to 3 spheres, and so on.

Although it is known the solution to the first two questions, somebody may have different nice answers, so I include them: Given two circles in the plane, there is (at least) a line which is tangent ...
4
votes
0answers
272 views

degenerating surface II

In degenerating surface, Robert Bryant give us an example of a sequence of minimal immersions which converges (in $C^2$- topology) to $z\mapsto z^{2k+1}$ on the unit disc $\mathbb{D}$. My question is ...
5
votes
1answer
1k views

Good Surface,Bad Surface-Surface classification

Maybe this question be very simple, but I don't know why it is hard for me. Thanks for any guide and help. We say a surface $S$ (2-dimensional metric(compact) Riemannian surface) is good (denote by ...
17
votes
2answers
1k views

Probing a manifold with geodesics

Supposed you stand at a point $p \in M$ on a smooth 2-manifold $M$ embedded in $\mathbb{R}^3$. You do not know anything about $M$. You shoot off a geodesic $\gamma$ in some direction $u$, and learn ...
3
votes
0answers
131 views

Is there an ellipsoid with given outer normals?

Pick two points $(x,0)$ and $(0,y)$ (say $x>0$ and $y>0$). Pick a unit vector $u = (u_1,u_2)$, $v = (v_1, v_2)$, and attach one to each of the points. Provided $u$ and $v$ are "nice" ($v$ needs ...
6
votes
1answer
269 views

Constructing a hypersurface with given outer normals

Pick a point on each of the positive half-axes in $\mathbb{R}^n$. Put a (unit-norm?) vector at each of the n points. (a) Is there a hypersurface in the orthant $\mathbb{R}^n_+$ going through these n ...
22
votes
2answers
1k views

Why is the half-torus rigid?

The half-torus surface that results from slicing a torus like a bagel, depicted below (left), is isometrically rigid.       I know this from a remark of Alexandrov in Mathematics: ...
3
votes
4answers
623 views

Relationship between the focal locus and the cut locus

I am seeking clarification of the relationship between the focal locus and the cut locus of a curve $C$ in $\mathbb{R}^2$, and of a surface $S$ in $\mathbb{R}^3$. Essentially my question is, Under ...
4
votes
5answers
453 views

Developable 3-manifolds in $\mathbb{R}^4$

Is there a classification of the equivalent of a "developable surface" in $\mathbb{R}^4$? Analogous to: planes, cylinders, cones, and tangent developables in $\mathbb{R}^3$? Edit: Here I am imagining ...
5
votes
2answers
421 views

Shortest paths on linked tori

I will make this question specific at first, and general later. Suppose we have two linked tori, $T_1$ and $T_2$, each of radii $(2,1)$, meaning that each torus is the result of sweeping a circle of ...
8
votes
1answer
520 views

$G$-structures of finite type.

A $G$-structure $\pi : B_G \rightarrow M$ is said to be of $finite$ $type$ if $\mathfrak{g}^{(k)} = 0$ for some $k \in \mathbb{N}$, where $\mathfrak{g}^{(k)}$ denotes the $k$th prolongation of the Lie ...
8
votes
4answers
2k views

Eigenvalues of Laplacian-Beltrami operator

I am interested in the first non zero eigenvalue of the Laplace-Beltrami operator in a 2D compact manifold, and if there is a geometric characterization of its value. I am interested in the case when ...
7
votes
2answers
2k views

Geometric interpretation of Cartan's structure equations

Given a linear connection on a Riemmanian manifold $M$ and $\phi^1,...,\phi^n$ a local frame for $T^*M$ we can define the connection 1-forms $\omega^j_i$. We define the curvature 2-forms by ...
4
votes
1answer
335 views

analogues of Cayley plane as homogenous spaces

The Cayley projective plane $\mathbb{OP}^2$ can be defined as a homogenous space $\mathrm{F_4/Spin(9)}$, where $\mathrm{F_4}$ is the compact exceptional simple Lie group. The other possible approach ...
10
votes
4answers
715 views

Is there a complete classification of constant mean curvature surfaces?

I'm no expert in this field, but I am familiar with the classification of rotationally symmetric surfaces with constant mean curvature by Delaunay. I am aware that once we drop embeddedness and ...
12
votes
3answers
723 views

orientations for zero-dimensional manifolds

I am teaching a course on manifolds, and soon I will have to prove the Stokes' theorem which, of course, involves defining oriented manifolds. There are many ways to define an oriented manifold. My ...