**1**

vote

**0**answers

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

**4**

votes

**0**answers

119 views

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

Disclaimer: Part of the purpose of this question is to make sure i'm not terribly wrong about some of these constructions.
Let $\pi: P \to M$ be a principal $G$-bundle. We have the associated ...

**1**

vote

**4**answers

443 views

### Perturbation of Morse function

The following question is probably classic in Morse theory, so a reference to an existing result should be sufficient. I don't know much about Morse theory and I am dealing with the following ...

**0**

votes

**0**answers

48 views

### Modifying tensor to be positive definite everywhere

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

40 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

44 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$. ...

**2**

votes

**1**answer

422 views

### Aysmptotic comparison of L^2 sections versus generating sections

Let $s_1,\ldots, s_k$ be linearly independent global holomorphic sections of a holomorphic line bundle $E$ over a compact algebraic manifold $X$, with volume form $\Omega$.
For $m$ large, let ...

**3**

votes

**1**answer

88 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

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

**4**

votes

**1**answer

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

**4**

votes

**3**answers

398 views

### Generic absence of non-trivial first integrals of geodesic flows

Is it true that given a smooth manifold M (with or without boundary), a "generic" metric g on M does not possess any non-trivial (non-constant) first integral for the geodesic flow induced by g on the ...

**0**

votes

**0**answers

59 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)$?

**42**

votes

**7**answers

7k views

### What is the symbol of a differential operator?

I find Wikipedia's discussion of symbols of differential operators a bit impenetrable, and Google doesn't seem to turn up useful links, so I'm hoping someone can point me to a more pedantic ...

**4**

votes

**2**answers

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

**31**

votes

**2**answers

1k views

### Example of a compact Kähler manifold with non-finitely generated canonical ring?

A celebrated recent theorem of Birkar-Cascini-Hacon-McKernan and Siu says that the canonical ring $R(X)=\oplus_{m\geq 0}H^0(X,mK_X)$ of any smooth algebraic variety $X$ over $\mathbb{C}$ is a finitely ...

**4**

votes

**2**answers

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

**0**

votes

**1**answer

226 views

### Volume form on pair (X,D)

Let $X$ be a singular Kahler variety with Kahler current $\omega $ then the volume form is $\omega^n$. Now let $D$ be a divisor then how can we define volume form on pair $(X,D) $?

**5**

votes

**2**answers

1k views

### Space with 720° / not 2$\pi$ rotational symmetry?

Is there a space with a 720°, but no 360° rotational symmetry? Possibly one that can be mapped onto something more conventional like R(3) or R(3,1)?
The reason I am asking is because in quantum ...

**6**

votes

**1**answer

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

**2**

votes

**1**answer

297 views

### embeddings of product of spheres in Euclidean spaces [on hold]

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

**3**

votes

**2**answers

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

**17**

votes

**0**answers

835 views

### Milnor's cartography problem

Let $\Omega$ be a round disc of radius $\alpha<\pi/2$ on the unit sphere $\mathbb{S}^2$.
It is easy to construct a $(1,\tfrac{\alpha}{\sin\alpha})$-bi-Lipschitz map from $\Omega$ to the plane.
Is ...

**7**

votes

**2**answers

305 views

### first Chern class of complex vector bundles and first Pontrjagin class of quaternionic vector bundles

Let $\xi$ be a (real) vector bundle of dimension $n$. Then the first Stiefel-Whitney class
$$
w_1(\xi)=0
$$
if and only if $\xi$ is orientable, i.e. the structure group of $\xi$ can be reduced to ...

**1**

vote

**1**answer

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

**32**

votes

**3**answers

2k views

### When is a submanifold of $\mathbf R^n$ given by global equations?

Let $M \subset \mathbf R^n$ be a (smooth) submanifold of dimension $d$. Under which conditions does there exist global equations defining $M$? By global equations I mean : does there exist a smooth ...

**3**

votes

**1**answer

159 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

**1**answer

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

**6**

votes

**0**answers

112 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

**2**answers

352 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

**1**answer

175 views

### when are local quasigeodesics global in CAT(0)

It is well-known (and easily shown) that a local quasi-geodesic (for some value of "local") in a $\delta$-hyperbolic space is global (one can compute the constants, as well, from local data). This is ...

**4**

votes

**0**answers

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

**5**

votes

**2**answers

190 views

### Are periodic billiard trajectories stable on a manifold with strictly convex boundary?

Let $(M,g)$ be a compact Riemannian manifold with strictly convex boundary.
Let $\gamma:S^1\to M$ be a periodic billiard trajectory (geodesic in the interior and reflects specularly at the boundary).
...

**1**

vote

**3**answers

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

**29**

votes

**2**answers

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

**5**

votes

**0**answers

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

**8**

votes

**2**answers

294 views

### Isometric imbedding of a sphere with positively curved metric

QUESTION. Given a Riemannian metric on the sphere $S^n$ with positive sectional survature. Can it be isometrically imbedded into $\mathbb{R}^{n+1}$ (of any class of regularity) as a boundary of a ...

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

**3**

votes

**0**answers

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

**70**

votes

**11**answers

9k views

### Is it possible to capture a sphere in a knot?

You and I decide to play a game:
To start off with, I provide you with a frictionless, perfectly spherical sphere, along with a frictionless, unstretchable, infinitely thin magical rope. This rope ...

**9**

votes

**1**answer

399 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$ ...

**15**

votes

**1**answer

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

**5**

votes

**2**answers

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

**2**

votes

**2**answers

321 views

### How to compute the index of such operator?

Let $M$ be a compact Riemannian manifold, with $R$ nowhere-vanishing vector field on $M$(whose orbit may be closed/ not closed). $E$ and $F$ are two vector bundle (Edit: which are sub-bundles of ...

**3**

votes

**2**answers

100 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$ ...

**8**

votes

**0**answers

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

**18**

votes

**2**answers

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

**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

212 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 ?

**4**

votes

**1**answer

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