Tagged Questions

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

learn more… | top users | synonyms (1)

0
votes
0answers
68 views

Are compact complete geodesics closed?

note: I find this question In stackexchange math, I would be interest to know how I could be answer this kind of question,I pasted it here as I see it appropriate For MO. Let $(M,g)$ be a compact ...
1
vote
0answers
53 views

Extending integrable almost-complex structure

Suppose $(X,I)$ is an almost-complex real analytic manifold where $I$ is a real-analytic almost complex structure. Suppose there exists an $I$-almost complex submanifold $M\subset X$ where this means ...
0
votes
0answers
66 views

Integral of Weingarten Map / Shape Operator [on hold]

This Paper states that the Weingarten Map / The Shape operator $W_p$ of a two-dimensional surface $S\subset\mathbb{R}^3$ at a point $p$ can be expressed in the following way: ...
1
vote
1answer
108 views

Normal Variation on Manifolds

Let $M$ be a smooth surface and let $x,y \in M$. Let $d_{M}(\cdot, \cdot)$ be the geodesic distance metric on $M$, that is the length of the shortest geodesic curve on $M$. Let $\kappa$ be the maximum ...
7
votes
0answers
120 views

Flat manifolds and irreducible representations

Let $M$ be a compact Riemannian manifold with vanishing curvature of Levi-Civita connection. Such manifolds were classified by Bieberbach; sometimes they are called Bieberbach manifolds. According to ...
7
votes
1answer
533 views

How large can you draw an island on a map?

A cartographer friend asked me this question: could you classify (shapes of) islands by how much space they occupy on a map (comparatively to how much space is occupied by water) if you draw them as ...
4
votes
0answers
478 views

Question on Atiyah-Patodi-Singer on $T^3$

I wanted to test my understanding of the Atiyah-Patodi-Singer theorem by studying flat bundles on $T^3$ explicitly, and miserably failed. Namely, I computed the eta invariant explicitly for flat ...
4
votes
0answers
207 views

If 2-manifolds are homeomorphic and smooth, are they diffeomorphic? [on hold]

Perhaps this question has already been asked on Mathoverflow. I mean this question in a global sense. A friend mentioned it to me today, and I started thinking about it. I'm not sure how to prove it. ...
1
vote
2answers
243 views

Notion of manifold curvature?

Consider a particular embedding of a $C^2$ manifold $\mathcal{M}\subseteq\mathbb{R}^m$. Given $p\in\mathcal{M}$, suppose $\epsilon>0$ is small enough that the portion $U$ of $\mathcal{M}$ which is ...
3
votes
2answers
147 views

Stability of minimal surfaces

Let $\Gamma$ be a prescribed $n-2$ dimensional set and assume $S \subset R^n$ is a minimal hyper-surface with respect to some smooth metric $g$ on $R^n$, and $\partial S= \Gamma$. Is $S$ is stable ...
0
votes
0answers
31 views

An obstruction to existence of invariant trivializations of central extensions in the presence of a group action

This is sort of a follow up question to this. My real question is a particular case of the following abstract situation. Let $G$, $\pi$ be groups and assume $\pi$ acts on $G$ by automorphisms. Assume ...
4
votes
0answers
38 views

Bi-Lipschitz classification of germs of conformal metrics at a singularity

First let me introduce some definitions. By a germ of conformal metrics at a singularity, or simply a germ, I mean a conformal Riemannian metric $g$ defined on a punctured neighborhood $U$ of $0$ in ...
4
votes
4answers
269 views

Breaking up the free Lie algebra into Gl irreps

The free Lie algebra $L(V)$ generated by an $r$-dimensional vector space $V$ is, in the language of https://en.wikipedia.org/wiki/Free_Lie_algebra , the free Lie algebra generated by any choice of ...
2
votes
0answers
68 views

Gromov width of cotangent disk bundle

Given a symplectic manifold $(M^{2n},\omega)$, the Gromov width of $M$ is defined to be $w(M)=sup\{{\pi r^2| B^{2n}(r) \rightarrow M}\}$ My question is: what is the explicit value of $w(D^*S^n)$, ...
0
votes
0answers
87 views

Quantization of Chern number $c_1^n$ on 2n dimensional spin manifold [closed]

All orientable 2-manifolds are spin manifolds, and we know that the quantization of the first Chern number $c_1$ of a complex line bundle on 2-manifold is $\mathbb{Z}$. For 4-manifolds, the second ...
6
votes
1answer
197 views

Inverted pair of complex analytic families

I read the following "problem" in an old set of notes of Morrow and Kodaira which focused on deformations of complex manifolds: Find a pair of complex analytic families $\lbrace M_t\rbrace$ and ...
3
votes
1answer
90 views

Transitivity of the action of the group of gauge transformations on the space of hermitian metrics

This is a cross-post from math.SE Let $E \to M$ be a complex vector bundle with $P$ the associated $GL(n,\mathbb C)$ frame bundle. The group of gauge transformations is the space of sections of ...
15
votes
1answer
457 views

Soft and hard part of geometry [duplicate]

While listening to some lecture of Alain Connes about noncommutative geometry, he spoke about various generalizations of the classical concepts from geometry and divided it into "soft" and "hard" ...
1
vote
1answer
124 views

Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite area such that

Can any bounded area defined by polynomial inequality in $\mathbb{R}^n$ be partitioned into simply connected finite areas such that for each simply finite area there exist a diffeomorphic map that ...
3
votes
1answer
113 views

Gaussian Curvature of Exponentiated 2-Planes

Consider a Riemannian manifold $M$ with sectional curvatures $K\ge 0$ and let $\Pi$ be a 2-plane in the tangent space of $M$ at a point $p$. In a small enough neighborhood $U$ of 0 the exponential map ...
5
votes
0answers
154 views

Gompf's invariant of $2$-plane fields

I am interested in low dimensional contact topology. These days I read "Handlebody construction of Stein surfaces" written by R. E. Gompf, and study an invariant $\theta (\xi)$. This invariant is ...
4
votes
1answer
285 views

When is a `1-form' with continuous coefficients exact?

Let $\Omega$ be a convex, bounded open subset of $\mathbb{R}^d$, and let $C^1(\bar \Omega)$ be usual space of continuous functions on $\bar \Omega$ which are $C^1$ in $\Omega$ and whose partials in ...
-3
votes
0answers
59 views

Verification of Gauss Bonnet Theorem on Beltrami pseudosphere and bent sphere patches [closed]

Given that boundary geodesic curvature k_g and Gauss curvature K are constant, patch area = A and perimeter length = p. $ K\, A + k_g\, p = 2 \pi $ For a flat circle patch $ k_g= 1/R, $ $ ...
0
votes
1answer
97 views

Green's function and eigenvalues with multiplicity

Green's function of a differential operator contains a lot of information of that operator. In particular, if we have a differential operator on a compact manifold with discrete spectrum, then Green's ...
0
votes
1answer
66 views

Is the kernel of a map between finite dimensional vector bundles still of finite type?

I'm not sure whether the level of this question is suitable for Mathoverflow. Let $M$ be a smooth manifold, $E$ and $F$ are finite dimensional (smooth) vector bundles on $M$. Let $\phi: E\rightarrow ...
25
votes
6answers
2k views

Synthetic vs. classical differential geometry

To provide context, I'm a differential geometry grad student from a physics background. I know some category theory (at the level of Simmons) and differential and Riemannian geometry (at the level of ...
2
votes
0answers
119 views

Why does Hodge decomposition fail in the pseudo-Riemannian case?

Why does Hodge decomposition fail in the pseudo-Riemannian case? Does there exist a special class of pseudo-Riemannian manifolds for which it does not fail, for example Lie groups?
0
votes
0answers
49 views

computation of floer homology of cotangent bundle of spheres

I am wondering the computation of the floer homology of cotangent bundle of spheres. By a theorem of Viterbo, it is isomorphic to the homology of free loop space of sphere. However, I am wondering ...
3
votes
0answers
82 views

When does a leaf space admit a (non-Hausdorff) manifold structure?

If $f:M \to N$ is a submersion with connected fibers, then the fibers of $f$ foliate $M$. This is called a simple foliation of $M$ and the leaf space can be identified with $N$. Suppose that a ...
5
votes
1answer
269 views

The properness of a submersion

Let $M$ and $N$ be two differential manifolds and there is a surjective submersion $f$ from $M$ to $N$ such that $f^{-1}(p)$ is compact and connected for any $p$ on $N$. Can we conclude that $f$ is ...
1
vote
0answers
39 views

Representing a Pullback as an Infinite Matrix

Let $M$ and $N$ be manifolds and let $T: M \to N$ be a bijective map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) be the space of all functions from $M$ (resp. $N$) to ...
1
vote
0answers
86 views

Properties of a function from its pullback

Edit: I have now removed the duplication previously referred to. Thank you. Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ ...
2
votes
1answer
122 views

Inverse Problem for Pullback

Let $M$ and $N$ be smooth manifolds and $T: M \to N$ be a smooth map. Let $ \mathcal{F}(M,\mathbb{R})$ (resp.$ \mathcal{F}(N,\mathbb{R})$) denote the space of smooth functions from $M$ (resp. $N$) ...
0
votes
0answers
49 views

existence of locally translation-invariant Borel measure on Frechet manifolds

It is well known that the only locally finite, translation-invariant Borel measure on an infinite-dimensional, separable Frechet space is the trivial measure. I am wondering about an analogous ...
0
votes
4answers
303 views

Which are the recommended books for an introductory study of complex manifolds? [closed]

Are there any good introductory type of books that is focus on complex manifolds? Thanks.
1
vote
0answers
81 views

stein structure of cotangent bundles

Let $M$ be a compact manifold with dimension $\geq 3$. By a theorem of ELIASHBERG, the cotangent bundle of $M$ admits an integrable complex structure $J$ such that $(T^*M, J)$ is a stein manifold. ...
-1
votes
0answers
110 views

Minimal surfaces are area-minimizing in small balls

A known fact about minimal surfaces is that they minimize the area functional on small balls. What proofs do you know of this? Update. Perhaps I should have been more explicit. My intention with this ...
4
votes
0answers
191 views

Isometries of hyper-Kähler manifolds

For the purposes of this question, a hyper-Kähler manifold will be a complete connected Riemannian manifold $(\mathcal{M},g)$ whose holonomy representation is isomorphic to the natural representation ...
11
votes
1answer
475 views

Thurston geometries in dimension 4

In the sense of W. Thurston here, there is 3 geometries in dimension 2 and there is 8 geometries in dimension 3. Question: How many different geometries (in the sense of Thurston) do we have in ...
5
votes
1answer
173 views

Killing vector fields on sphere

Let $u$ be a smooth function on $\mathbb S^2$, and assume that for every killing vector field $V$ on $\mathbb S^2$. $$\int_{\mathbb S^2} V(u) x_j dS=0\text{,}\forall j=1,2,3$$ Is $u$ necessarily ...
3
votes
1answer
115 views

Left invariant Riemannian metrics which are symmetric and Einstein

Is there a list of connected Lie groups which admit a left invariant Riemannian metric which is Einstein, locally symmetric and its infinitesimal holonomy is irreducible?
16
votes
3answers
878 views

How mirror of quintic was originally found?

In the 90-91 pager "A PAIR OF CALABI-YAU MANIFOLDS AS AN EXACTLY SOLUBLE SUPERCONFORMAL THEORY", Candelas, De La Ossal, Green, and Parkes, brought up a family of Calabi-Yau 3-folds, canonically ...
0
votes
2answers
129 views

Can simply or not simply connected maximally symmetric (Semi-)Riemannian manifold be completely classified?

A m-dimensional completed and connected (Semi-)Riemannian manifold which has $m(m+1)/2$ independent global Killing vector fields is called maximally symmetric space. Then what are all possibilities ...
1
vote
0answers
52 views

Bogomol’nyi’s Formula for the Critical Action

I'm studying Aigner's paper 'Existence of the Ginzburg-Landau Vortex Number' (2001) and I have some difficulties to prove the equality (3.1) , which is ...
-1
votes
1answer
197 views

Creating topological spaces with portals [closed]

I'm trying to rigorously describe an object that I'm calling a "portal". The situation is easiest to describe in two dimension. I start with a line segment $pq$ in $\mathbb{R}^2$. I want to remove ...
3
votes
0answers
128 views

Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...
1
vote
0answers
127 views

Question on a paper of Schoen and Yau

I am trying to understand the paper "Conformally flat manifolds, Kleinian groups and scalar curvature" by Schoen and Yau. In P.56, it says: This implies that $\partial M$ has a zero $q$-capacity, ...
9
votes
1answer
179 views

When are the Dolbeault and de Rham dgas homotopy equivalent?

Let $M$ be a compact Kahler manifold. Then the Hodge decomposition says that the Dolbeault dga (of forms of all bidegree) and the de Rham dga on $\Omega_{\mathbb C}^\bullet(M)$ have isomorphic ...
1
vote
1answer
119 views

Topology of surfaces and mean curvature

The Gauss-Bonnet theorem characterizes topology of surfaces by their Gaussian curvature. Do there exist results characterizing topology of surfaces embedded in $\mathbb{R}^3$ by their mean ...
1
vote
0answers
35 views

General reparameterization of a b-spline

Say I have a bspline function (or curve) of order $k_1$, defined over some knot vector $\mathbf{t} = \{ t_i\}_1^{n_1}$, i.e. $$f(x) = \sum_i a^i B_{i,k_1}(x).$$ Do you know of a process of finding ...