# Tagged Questions

**0**

votes

**0**answers

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

**0**

votes

**0**answers

70 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

131 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

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

**6**

votes

**1**answer

156 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

185 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

331 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

131 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

95 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

388 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

175 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

201 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

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

**4**

votes

**2**answers

309 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

46 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

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

**4**

votes

**1**answer

164 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

89 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

307 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

254 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

70 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

107 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

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

**5**

votes

**2**answers

124 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

192 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

219 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

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

**6**

votes

**0**answers

121 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

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

**10**

votes

**1**answer

449 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

175 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

117 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

45 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

104 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

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

**3**

votes

**1**answer

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

**3**

votes

**1**answer

198 views

### Let $X$ be a projective variety and let $Pic(X) \cong \mathbb Z$, then $(X, −K_X) $ is $K$-semistable

Is there any approach for the following conjecture?
Let $X$ be a projective Fano manifold and let $Pic(X) \cong \mathbb Z$, then $(X, −K_X) $ is $K$-semistable.

**4**

votes

**0**answers

150 views

### Is there an example of a holomorphic vector bundle whose Atiyah class vanishes and does not admit a flat connection?

Let $E\to X$ be a holomorphic vector bundle over a Kähler manifold. The vanishing of the Atiyah class, $At(E)=0$, is equivalent to the existence of a holomorphic connection on $E$.
Moreover, it is ...

**14**

votes

**1**answer

173 views

### Smooth manifolds as idempotent splitting completion

The nlab has a particularly interesting thing to say about the category of smooth manifolds: it is the idempotent-splitting completion of the category of open sets of Euclidean spaces and smooth maps.
...

**7**

votes

**1**answer

71 views

### Convergence of functions on Alexandrov spaces

Consider a sequence of $n-$dim Alexandrov spaces with curvature $\geq$ -1 $\{(M_i,p_i)\}$ Gromov-Hausdroff converging to an $n-$dim Alexandrov space $(M,p)$. Let $f:M\mapsto \mathbb R$ be a Lipschitz ...

**0**

votes

**1**answer

106 views

### Local diffeomorphism from a torus to a Lie group

Let $G$ be a simple Lie group of dimension $n$ (connected or even simply connected). Let $T$ be a maximal torus of dimension $d$. Notice that $\frac{n}{d}$ is an integer which I will denote by $m$. ...

**2**

votes

**1**answer

198 views

### To what extent are toric manifolds and principal torus bundles “the same thing”?

I am a little confused by the different definitions for toric manifolds/varieties. Depending on the definition of toric manifolds and principal torus bundles that one chooses, when is a toric manifold ...

**18**

votes

**2**answers

753 views

### how do you visualize characteristic class?

For cohomology, there are some equivalent definitions when the object we consider is sufficiently nice. Since I mainly work with algebraic variety, I will restrict the objects I am considering to be ...

**3**

votes

**1**answer

96 views

### Reference: Finsler Derivative?

On the wikipedia page "Generalizations of derivative" the author mentions: " in Finsler geometry, one studies spaces which look locally like Banach spaces. Thus one might want a derivative with some ...

**6**

votes

**1**answer

140 views

### geodesic of $\rm SO(3)$ as a compact Lie group vs as a Riemannian symmetric space

I got a little bit confused about the definition of geodesic for $\rm SO(3)$ as
a compact Lie group
a Riemannian symmetric space
In the former case, it is given by the usual matrix exponential:
$$
...

**1**

vote

**1**answer

95 views

### Hermitian manifold with harmonic holomorphic volume form

Let M be a compact complex 3-manifold with trivial canonical line bundle and Ω be the non-vanishing holomorphic 3-form.
If the real and imaginary part of Ω are both harmonic with respect to the ...

**5**

votes

**3**answers

430 views

### Determining geodesics between two points in curved space [closed]

In order to determine the geodesics between two points, one must solve the geodesic differential equations, which are as following
\begin{align}
p &= u'(s)\\
q &= v'(s)\\
p' + \Gamma^0_{00}p^2 ...

**1**

vote

**2**answers

191 views

### Geodesic on Banach Manifold [closed]

Is there a way of defining a geodesic on a Banach Manifold $M$ which is not itself a Hilbert Manifold?

**0**

votes

**0**answers

39 views

### Hilbert Manifold structure on global sections of a sheaf

Let $<U_i,\phi_i>$ be an atlas on a Hilbert manifold $M$. If $F(M,U_i)$ is a Hilbert space for every $U_i$ then does this imply that $F(M,M)$ can be made into a Hilbert manifold also with ...

**3**

votes

**0**answers

55 views

### smooth topos as generalized smooth space

I'm interested in generalized smooth spaces. I know there are several spaces such as Deffeological space, Frölicher space, Chen space, etc... and there are some papers compare them. However, I haven't ...