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

learn more… | top users | synonyms (1)

0
votes
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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
2answers
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
3answers
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
1answer
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
2answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
2answers
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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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
1answer
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
3answers
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
2answers
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
0answers
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
0answers
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 ...