**0**

votes

**0**answers

22 views

### Some examples of non trivial principal bundles

1.Is there a nontrivial pricipal bundle $P(M,G)$, with $G$ connected, such that the total space $P$ admit a foliation such that each leaf is diffeomorphic to $M$(Not necessarily via projection ...

**15**

votes

**3**answers

382 views

### All compact surfaces $S\subseteq \mathbb{R}^3$ are rigid?

Recently I've come across a lecture in differential geometry by Fernando Codá (in portuguese!) in which he stated that the following problem is (at least, up to 2014) open:
Given ...

**2**

votes

**3**answers

227 views

### Classification of open subset of $\mathbb{R}^{3}$ [on hold]

There is a theorem which gives a classification of connected open sets of $\mathbb{R}^{2}$. Unfortunately, I don't remember the correct statement, but it looks like this
Theorem ? Let ...

**1**

vote

**1**answer

108 views

### Schauder estimate for the heat equation on compact manifolds

I asked this question on math.stackexchange.com, however I didn't get any answers so I'll try it here.
Let $M$ be a compact manifold without boundary. Consider $Lu:=\partial_tu-\Delta u$. Let $f\in ...

**2**

votes

**0**answers

89 views

### Structure of $C^k$ ($k<\infty$)Riemannian metrics on a manifold

$M$ is a smooth manifold. It's known that if $M$ is compact, then the space of smooth Riemannian metrics has a Frechet manifold structure. For the space of $C^k$($k<\infty$) Riemannian metrics, ...

**3**

votes

**0**answers

91 views

### Obtaining the metric from the mixed Ricci tensor $R^i{}_j$

In chapter 5 of the book "Einstein Manifolds", Arthur Besse discusses the possibility to find the metric $g$ when knowing the Ricci curvature tensor $Ric(g)$ ($=R_{ij}$).
But what do we know about ...

**0**

votes

**1**answer

134 views

### about the horizontal lift in a principal bundle [on hold]

I'm currently studying Fibre Bundle by Nakahara's book, and I'm a bit confused about the following:
Imagine we have a Principal Bundle $P(M,G)$ with open chart {$U_i$} and a local section ...

**1**

vote

**0**answers

79 views

+50

### Shape-related vector fields

Assume that $M$ is a surface in $\mathbb{R}^{3}$. We denote its shape operator by $S$. A vector field $X$ is shape related to $Y$ if $S(X)=Y$.
(of course it is not an equivalent relation).
...

**1**

vote

**0**answers

23 views

### Relation between Aitchison Distance on a Simplex and Geodesic distance on the multinomial manifold [on hold]

I am trying to understand the difference/relation between the Aitchison distance on a simplex
$$\left[ \sum^D_{k=1} (\log{\frac{x_{ik}}{g(\mathbf{x}_i)}} - \log{\frac{x_{jk}}{g(\mathbf{x}_j)}})^2 ...

**0**

votes

**0**answers

26 views

### The non-singular controls always in neighbourhood of singular controls?

Consider the case of a right invariant affine distribution: $D_{U} = \{ aU + \lambda bU | a,b \in \mathfrak{su}(n), \lambda \in \mathbb{R} \}$ on $SU(4)$.
Consider the equations:
...

**3**

votes

**0**answers

118 views

### Integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of varieties of general type is a rational numbers?

It is known that the integrations of Ricci curvature of the Weil-Petersson metric on the moduli space of Calabi-Yau varieties is a rational numbers
My question is on moduli space of varieties of ...

**0**

votes

**0**answers

60 views

### Modifying tensor to be positive definite everywhere [on hold]

Consider a (0,2)-tensor. It is known that it is positive definite somewhere and it is negative definite otherwise. Is there a theory how to "make" that tensor positive definite everywhere, while ...

**0**

votes

**0**answers

64 views

### Divergence free vector field on compact surface

I get a free divergence field $X$ on a compact surface $(\Sigma, g)$ and I would like to integrate it.
On the sphere $X=\nabla^\bot f$ since the spher is simply connected.($\nabla^\bot =J\circ ...

**6**

votes

**0**answers

257 views

+100

### “The” natural double complex associated to a principal $G$-bundle?

Let $\pi: P \to M$ be a principal $G$-bundle. We have the associated adjoint bundle $ad(P)= P \times_{ad} \mathfrak g$ whose sections correspond to infinitesimal guage trasformations.
Consider the ...

**0**

votes

**0**answers

53 views

### a question on warped product

This question is on J.Cheeger and Tobias H.Colding's paper "lower bound on Ricci curvature and the almost rigidity
of warped products".
For a warped product $M=(a,b)\times_f N^{n-1}$ with metric $g$. ...

**3**

votes

**1**answer

108 views

### A clarification regarding analytic perturbation of metrics and Laplacian

This question is in reference to the following Mathoverflow question and the accepted answer to it. It seems to me that it is taken for granted that if the metric $g_t$ perturbs real analytically in ...

**2**

votes

**1**answer

77 views

### Prescribing an induced metric

We know that, if we have a surface $z=f(x,y)$ with Euclidean space being ambient manifold, the induced metric is as follows (in matrix form):
$$g=\begin{bmatrix}
1+\left ( \frac{\partial ...

**0**

votes

**0**answers

65 views

### Pair (X,D) model of Iitaka fibration

Let $(X,D)$ be a pair with simple normal crossing divisor $D$, then is there any Iitaka fibration on pair $(X,D)$?

**6**

votes

**1**answer

138 views

### Sections of the conormal bundle

Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$.
Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and ...

**4**

votes

**1**answer

171 views

### Compact open topology on the space of geodesics

I'm new in the field, so I'm sorry in advance if my question is too naive.
Let's consider $S$ a surface of genus $g\ge 2$ with an hyperbolic metric $g$. Let's call $\mathcal{S}(S)$ the set of closed ...

**2**

votes

**1**answer

301 views

### embeddings of product of spheres in Euclidean spaces [closed]

I notice that $T^2=S^1\times S^1$ can be embedded in $\mathbb{R}^3$ as a hypersurface (submnaifolds of codimension 1).
In general,
(1). could the product of spheres $S^{m_1}\times\cdots\times ...

**6**

votes

**0**answers

116 views

### Two proofs of the Cheeger-Müller theorem

In the late 1970's, Cheeger and Müller independently proved the equality of analytic torsion and Reidemeister torsion for orthogonal representations, which had been conjectured by Ray-Singer. Their ...

**4**

votes

**0**answers

70 views

### Smooth perturbation of a positive self-adjoint operator with compact resolvent

Consider a one-parameter family $A_t$ of unbounded positive self-adjoint operators with discrete spectrum (for example, one can consider a one-parameter family of Laplacians on a compact Riemannian ...

**4**

votes

**2**answers

353 views

### A systematic canonical construction of the Hodge star operator

I'm struggling to make sense of the Hodge star as a global canonical object. Here are my struggles so far and some questions:
Let $M$ be a finitely generated projective $R$-module (hence locally free ...

**4**

votes

**2**answers

163 views

### Compact surface with arbitrarily large eigenvalue

Consider a compact surface $M$ with genus $\gamma \geq 2$ and fix a positive real number $V$. Is it known whether it is possible to produce a metric $g$ on the surface $M$ such that $(M. g)$ has ...

**1**

vote

**3**answers

172 views

### 1-parameter group of a vector field

Let $(M,g)$ be a Riemannian manifold and $\nabla$ be the Levi-Civita connection of $g$ and let $X,Y$ be vector fields on $M$. If $\lbrace \phi _t \rbrace $ is the 1-parameter group of $X$ then what is ...

**3**

votes

**1**answer

160 views

### Exterior derivative as only (up to multiple) natural operator $\Lambda ^kT^\ast \rightsquigarrow \Lambda ^{k+1}T^\ast$

In Kolar, Michor, & Slovak's book Natural Operations in Differential Geometry, it is proved the exterior derivative is universal in the following sense.
Proposition 25.4. For $k>0$ all natural ...

**3**

votes

**2**answers

272 views

### Natural operators in differential geometry - why are they natural?

I'm reading bits and pieces of Kolar, Michor, & Slovak's Natural Operations in differential Geometry, and I'm having "doubt" about some of the definitions. All I'm trying to do is sheafify some of ...

**0**

votes

**0**answers

40 views

### Christoffel symbols on a loop group in Riemann normal coordinates

Christoffel symbols on a Lie group in Riemann normal coordinates
My question is a generalization of the question in the link above. How does one find the explicit form of the Christoffel symbols and ...

**1**

vote

**1**answer

270 views

### On Harmonic Unit Vector Fields

When we restrict the Dirichlet energy functional to the set of all unit vector fields on a compact Riemannian manifold $(M,g)$, then the critical points of this functional are satisfied in $\Delta_g ...

**3**

votes

**0**answers

88 views

### Is this distribution completely non integrable?

We consider the usual Riemannian metric on $S^{n}$. Its corresponding LC connection gives us a distribution on $TS^{n}$. Is this distribution completely nonintegrable?
In general, what type of ...

**1**

vote

**1**answer

72 views

### Lamination as limit of arcs

I am reading Bonahon's notes on closed curves, in particular the part about hyperbolic laminations. In his notes Bonahon illustrates some examples as why laminations should be "limit curves" on ...

**6**

votes

**0**answers

294 views

### Smoothing a piecewise smooth manifold

Let $M \subset \mathbb{R}^d$ be a piecewise smooth $2$-manifold. Let $C$ be a polyhedral complex that covers $\mathbb{R}^d$ and contains faces of dimension $[0,d]$. Since $M$ is a $2$-manifold, we can ...

**5**

votes

**2**answers

239 views

### Which surfaces admit unbounded-length simple geodesics?

Let $S$ be a surface embedded in $\mathbb{R}^3$.
A simple geodesic on $S$ is one that does not self-intersect.
Some surfaces have simple geodesics whose length exceeds any
given bound $L$. For ...

**8**

votes

**0**answers

65 views

### Holomorphic natural bundles and operators

I am wondering up to what extent the classical theory of (smooth) natural bundles and natural operations extends to the holomorphic setting.
After a quick thought, I've gone through the standard ...

**3**

votes

**2**answers

101 views

### Covering derivations of a quotient algebra

Let $(\mathcal{A},+,·)$ an algebra and $\mathcal{I}$ an ideal of $\mathcal{A}$.
Is easy to check that if $D\in Der(\mathcal{A})$ with $D(\mathcal{I})\subseteq I$ then $D$ induces a derivation $D_I$ ...

**1**

vote

**0**answers

67 views

### What is this 2-form on a Lagrangian torus fibration?

Suppose we are given a regular $2n$-dimensional Lagrangian fibration $\pi : (M,\omega) \to B$ with connected, compact fibers. Then it is well-known (Arnold-Liouville) that each fibre is a Lagrangian ...

**4**

votes

**1**answer

82 views

### Relationship between the Lie functor applied to a Lie group action, and the fundamental vector field mapping?

Let $M$ be a smooth manifold, and $G$ a Lie group with Lie algebra $\mathfrak{g}$. The Lie algebra of the diffeomorphism group of $M$ is the Lie algebra of vector fields on $M$; that is ...

**2**

votes

**1**answer

178 views

### Is it true that given any two point in $M$ if there exists an unique geodesic joining those two points, then $M \sim \mathbb{R^n}$ [closed]

This following doubt initially came to my mind while thinking the relationship between number of genus of a manifold and number of geodesic between given two points.
DOUBT: Suppose $M\subset ...

**4**

votes

**1**answer

213 views

### Triviality of a fiber bundle

Is the principal fiber bundle $GL^+(6,\mathbb R)$ over $GL^+(6,\mathbb R)/SL(3,\mathbb C)$ trivial ?

**0**

votes

**0**answers

112 views

### when is “fibering” preserved under homotopy equivalence

Suppose I have an oriented $F$ bundle over $B$ with total space $E$ (all of the three are closed manifolds) and i have a closed manifold $E'$ which is homotopy equivalent to $E$.Is there any condition ...

**5**

votes

**0**answers

112 views

### Mirror Symmetry for Homogeneous Spaces other than Flag Manifolds

Mirror symmetry is (reasonably) well understood for the general flag manifolds, due to the work of Kim, Givental, Rietsch, and others. Do there exist other homogeneous spaces for which mirror symmetry ...

**29**

votes

**2**answers

922 views

### Polynomial $g:\mathbb R^n \rightarrow\mathbb R^n$ with no critical point may have no root

Version 1 (solved): If $g$ : $\mathbb R^n \rightarrow \mathbb R^n$ is a polynomial, $Dg(x)$ is non-degenerate for every $x$, then there exists $x$, such that $g(x)=0$.
Version 2: If $f$ : $\mathbb R^n ...

**9**

votes

**1**answer

404 views

### A tricky tractrix question about vertical tangents

This is raised by a recent question occurring in combinatorial geometry.
It is about a sort of tractrix, but instead of a line, the pulling end moves along a circle of radius $r>\frac12$ ...

**4**

votes

**2**answers

158 views

### 1st Chern class is invariant under choice of section?

How do I see that the 1st Chern class is invariant under choice of section? I know metric invariance follows from how two metrics on line bundle have to be conformally equivalent, but how do we show ...

**3**

votes

**1**answer

108 views

### Singular curves of affine distributions on a Lie group

Are there any results about the rigidity of singular curves of rank 1 affine distributions on a connected compact Lie group?
Specifically the case of a right invariant affine distribution: $D_{U} = ...

**1**

vote

**0**answers

39 views

### numerical test of constant scalar curvature Kahler metrics (Csck) on non-compact manifolds

On compact Kahler manifolds, Calabi functional $C(\omega)$ and Futaki invariant $F([w],h)$ and also Mabuchi energy $M(\phi(t))$ are useful numerical test for the existence of Csck.
However in the ...

**2**

votes

**0**answers

84 views

### Intermediate quotient for a Hermitian Symmetric Spaces of $Sp(n)$

We know that $U(N)$ can be embedded into $SU(n+1)$ and that the quotient is isomorphic to complex projective space:
$$
SU(n+1)/U(n) \simeq {\mathbb CP}^{n}.
$$
We can split this process into two ...

**2**

votes

**1**answer

117 views

### SU(2) invariant Kahler metrics on products of Riemann surfaces

Let $\Sigma$ is a compact Riemann surface with the trivial action of SU(2) and let $\mathbb{P}^1$ be equipped with the standard SU(2) action. Then $X=\Sigma \times \mathbb{P}^1$ has an SU(2) action. ...

**2**

votes

**1**answer

84 views

### Regularity of Hodge Laplacian on bounded domains

I need a reference for the $W^{s,p}$ regularity of the Hodge boundary value problem on bounded domains. I need estimates
$\lVert \omega \rVert_{W^{s+2,p}} \leq c \lVert f \rVert
_{W^{s,p}}$, for ...