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

learn more… | top users | synonyms (1)

-3
votes
0answers
57 views

metric geometry,geometric measure theory in riemannian geometry

I am interested in knowing the role played by Alexandroff geometry,geometry measure theory in riemannian geometry. I know 2 examples like proof of positive mass conjecture used geometric measure ...
1
vote
1answer
73 views

Dual connections for Information Geometry

In information Geometry, there is a definition of dual connection, which is: two affine connections $\nabla$ and $\nabla^*$ are called dual if they satisfied ...
0
votes
0answers
33 views

Is the blowing up the rectifiable set cone?

Let $M$ be a rectifiable set in $\mathbb{R}^N$. For any point $p\in M$, is the following true?: $\lambda_i M$ subconverges to a cone in $p$ for $\lambda_i\to\infty$, i.e. $(\lambda_i M)\cap B(p,R)$ ...
0
votes
0answers
77 views

A consequenc of a Lie group act on a Riemannian manifold by isometry

I am learning differential geometry for using this topic in my research. I am stuck to prove following Result which I got in a article. Formulation: Let $ f: [0, 1]\rightarrow \mathbb{R}^2$ be a ...
4
votes
1answer
279 views

Is the space of real conics with a singular point an orientable manifold?

Consider the space of non zero real homogeneous degree $2$ polynomials in three variables upto scaling. This space is $\mathbb{R} \mathbb{P}^5$. The zero set of such a polynomial gives a real curve ...
0
votes
1answer
141 views

A question in Sasakian geometry

Let $(S,\eta, \xi)$ be a Sasakian manifold with killing vector field $\xi$, then we have the following exact sequence $$0\to <\xi>\to TS\to \frac{TS}{<\xi>}\to 0$$. Can ...
-3
votes
0answers
34 views

Find examples non compact surface satisfy properties every point is hyperbolic for Gaussian curvature [on hold]

Find examples non compact surface satisfy the following properties for Gaussian curvature: (a) every point is hyperbolic. (b) every point is elliptic. (c) every point is parabolic. (d) that the point ...
2
votes
1answer
90 views

A surface on which all regular curves have nowhere vanishing curvature

Let $S$ be a surface in $\mathbb{R}^{3}$ such that every regular curve $\gamma\subset S$ has nowhere vanishing curvature, that is $\kappa(z)\neq 0$ for all $z\in \gamma$. Does this imply that ...
3
votes
1answer
122 views

Non-closed geodesics on a convex polyhedron in $\mathbb{R}^3$

Let $P$ be the surface of a closed convex polyhedron in $\mathbb{R}^3$. Q. Does every non-closed geodesic $\gamma$ fill $P$ densely? Of course $\gamma$ cannot pass through a vertex of $P$, but ...
1
vote
0answers
88 views

Continuous family of constant scalar curvature metrics

The question is as follows: Does there exist an example of a (continuous) family of metrics $g_t$ on a compact manifold such that the following properties hold? All metrics $g_t$ have constant ...
0
votes
0answers
35 views

second fundamental form of boundary of convex subset non-negative?

Let M be an n-dim non-compact Riemannian manifold without boudary and $Ric\geqslant-(n-1)$. Let $Y$ be a convex subset of M with smooth boundary, then the second fundamental form of the boundary ...
2
votes
0answers
110 views

Parallel Ricci condition - Status report and bibliography

First I'd like to point out that I'm not a mathematician but a physicist. Dealing with a (hopefully) new affine theory of gravity we have find that the equation of motion are not the usual Einstein's ...
6
votes
2answers
251 views

Moduli spaces of connections as representation spaces

It is well known that the moduli space of flat connections over a closed manifold $M$ can be identified with the representation space $Hom(\pi_1(M), G) / G$. Furthermore, Atiyah and Bott (1983) showed ...
0
votes
1answer
142 views

floer homology and viterbo's theorem

Let $M$ be a compact manifold. In their paper "On the Floer Homology of Cotangent Bundles", A. ABBONDANDOLO and M. SCHWARZ define the Floer homology of $T^*M$ by looking at 1-periodic Hamiltonian ...
5
votes
3answers
414 views

Using Stokes' theorem to define “area” enclosed by a curve

I am trying to figure out what the next calculation of the "area" (or "volume" in higher dimensional analogues) using Stokes' theorem really means. Here is my thought process: $2$-dimensional case: ...
2
votes
1answer
87 views

Is the on-diagonal heat kernel “local” with respect to the metric?

Question Let $X$ be a manifold, and $\mu_A$, $\mu_B$ two Riemannian metric on it which agree on an open subset $U\subset X$, i.e. $\mu_{A\,|U} = \mu_{B\,|U}$. Let $K_A(t;z,w)$ resp. $K_B(t;z,w)$ be ...
0
votes
1answer
100 views

Surjectivity of “nice maps” from local properties

What tools are available from real algebraic geometry, analysis and topology to check surjectivity of a map $f:M_{1}\rightarrow\mathbb{R}^{d}$ from local properties and maybe function values? ...
0
votes
2answers
127 views

Frobenius condition

Suppose X and Y are two unit length vector fields on a Riemannian manifold which are orthogonal at each point. Is it true that the lie bracket of X, Y belongs to the span of the vector fields at each ...
2
votes
2answers
77 views

Estimates on a heat process with fixed boundary data and zero initial conditions

Consider the following heat process: For a given (say, smooth) domain $\Omega$ on a closed manifold $M$ we construct $p(t,x):\mathbb R_+ \times \bar\Omega \rightarrow [0,1]$, so that $$ \partial_t ...
1
vote
2answers
205 views

Different definitions of spin structures

This is the definition of spin structure according to Wikipedia: which is supposed to be the standard definition. But in the book The Geometry of Four-Manifolds (Donaldson-Kronheimer, page 76) one ...
0
votes
1answer
88 views

Complex transport equation

Consider an n dimensional Riemannian manifold with boundary. Let $\Phi$ be a complex valued smooth function defined in M. Does there exist a NONE VANISHING complex valued function $u$ that solves the ...
0
votes
0answers
53 views

$\Delta$ is generator, $u\in D_{loc}(\Delta) \cap L_{loc}^{\infty}$ and $\varphi \in D(\Delta) \cap L^{\infty}$, then $u\cdot \varphi \in D(\Delta)$? [closed]

Let $X$ be an n-dim, non-compact Rimannian manifold without boundary, denote the measure $m=vol$ the Hasdorff volume. Let $\mathcal{E}$ be the canonical Dirichlet form on $X$ with domain ...
1
vote
0answers
90 views

How to find a invariant surface of a diffeomorphism

Recently, I read a paper about discrete Schrödinger operator. There is a map related to trace map from $C^3$ to $C^3$ as follows: $$T(x,y,z)=(y,z,yz-x).$$ We can calculated that $T$ has the folliwng ...
0
votes
0answers
74 views

Evolution of local oscillation of scalar curvature under Ricci flow

I apologize in advance if the question will turn out to have an obvious answer but my knowledge of Ricci flow is quite limited. Let $(M,g)$ be a smooth compact Riemannian manifold. I denote by $d_{g}$ ...
12
votes
4answers
525 views

Green's operator of elliptic differential operator

Let $P:\Gamma(E)\rightarrow\Gamma(F)$ be an elliptic partial differential operator, with index $=0$ and closed image of codimension $=1$, between spaces $\Gamma(E)$ and $\Gamma(F)$ of smooth sections ...
3
votes
1answer
98 views

Surfaces with specific types of second fundamental form

Given a three dimensional Riemannian manifold $(M,g)$ and a surface $\Sigma \subset M$ can one categorize surfaces where the second fundamental form of $\Sigma$ is a scalar multiple of the induced ...
5
votes
2answers
134 views

Compactly supported functions and Sobolev spaces on manifolds

It is well-known that if a complete Riemannian manifold has bounded curvature and injectivity radius bounded away from zero, then the space $C^\infty_c(M)$ is dense in the Sobolev spaces $W^{k, p}(M)$ ...
2
votes
1answer
148 views

Eigenfunction on surface with boundary

Suppose we have a two-dimensional surface $M$ with smooth boundary $\partial M$. Equip $M$ with a metric $g$ such that the Gauss curvature $K$ of $M$ and geodesic curvature $\kappa$ of $\partial M$ ...
0
votes
0answers
81 views

Closed Invariant Forms on Complex Projective $k$-Space

Considering complex projective $k$-space as the homogeneous space $SU_k/U_{k-1}$, is it true that every $SU_k$-invariant form is closed?
4
votes
0answers
192 views

Are there Zoll pancakes?

How flat (flat in pancake-style, not in curvature 0-style), in some extrinsic intuitive measure, can a Zoll surface of revolution (embedded in Euclidean three-space) be? I don't want to impose a ...
2
votes
2answers
266 views

Geometrical interpretation of a Schrödinger operator

Consider a $2 \times 2$ Hermitian (or symmetric) matrix-valued function $$g(x) = \{ g_{jk}(x)\}_{j,k=1,2}, \quad x \in \mathbb{R}^{2},$$ such that $0 < m_{-}I \leq g(x) \leq m_{+}I$, for some ...
1
vote
0answers
52 views

Besicovitch's covering theorem for ellipsoids and shadows

The usual Besicovitch's covering theorem concerns closed balls in $\mathbb{R}^d$. It relies on a property called "directionally limited metric space": the principal ingredient is to say that there ...
9
votes
1answer
685 views

Formula for the Perimeter of a spherical triangle?

Consider the ordinary sphere $\mathbb{S}^2\subset \mathbb{R}^3$ and a spherical triangle $T\subset \mathbb{S}^2.$ I'm looking for a formula from which the perimeter $P$ of $T$ is "computable" given ...
0
votes
0answers
83 views

kahler manifolds with positive holomorphic sectional curvature

It is well known that a compact Kahler manifold with positive holomorphic bisectional curvature is biholomorphic to $CP^n$. However, if we just assume positive holomorphic sectional curvature, is ...
5
votes
2answers
216 views

Poincare-like inequality on compact Riemannian manifolds

I am looking for a Poincare Inequality on balls but instead of euclidean space, I have a compact Riemannian manifold without boundary. The inequality I am looking for is the equivalent of $$ ...
2
votes
1answer
343 views

Symplectic quotient of projective variety is projective?

Let $G$ be a compact connected Lie group and $\mathfrak g^*$ be dual of Lie algebra $\mathfrak g$. Let $M$ be a compact projective variety and $G$ act on $M$ freely and $M$ is $G$ equivariant, and ...
1
vote
0answers
119 views

Electrodynamics modelled by U(1) gauge theory [closed]

As the article 'Electrodynamics in general spacetime' greatly explains, the U(1)-gauge theory is a good base for working in non-simply connected spaces. But I wonder whether there is a deep reason to ...
4
votes
1answer
108 views

Minimal surfaces + Semi-Geodesic Coordinates

Let $(M,g)$ be a three dimensional smooth Riemannian manifold and suppose that $\Gamma$ is an embedded minimal surface in $M$. Define the Fermi or semigeodesic coordinates around this surface through ...
3
votes
2answers
190 views

Isothermal-related functions in higher dimensions

I am interested in getting some geometrical or analytical perspective in studing the following complex pde. I would appreciate any help. Consider $ (M,g)$ to be a 3 dimensional Riemannian manifold ...
1
vote
2answers
142 views

Handle body of 3-manifold with boundary

We know from Morse theory that smooth manifold(with or without boundary) is a handlebody. However, I found a paper "Three-dimensional manifolds with boundary of nonnegative Ricci curvature" by Ananov, ...
0
votes
2answers
171 views

Frobenius Condition for a specific first order pde

I would appreciate it if Someone would be kind enough to share some insights about the following question: Suppose $(M,g)$ is a 3 dimensional Riemannian manifold. Consider the following system of ...
0
votes
1answer
196 views

Moment map coordinates in tours action

I am trying to understand the proof of lemma 3.1, in this paper In proof, they say that $g(dz_i,d\tau_k)=dz_i(\nabla\tau_k)=0$ I don't understand first and second equality.In second they say, ...
0
votes
1answer
88 views

A decomposition of incompressible vector fields

In Andrew, Majda- Vorticity and incompressible flow page 93, there is a theorem which is not proved: Take a smooth incompressible (free divergence) vector field $v$ in $\mathbb{R}^2$. Call $w$ its ...
5
votes
1answer
123 views

Averaging maps of Riemannian manifolds

Let $M$ be a compact Riemannian manifold. We know how to average functions $f\colon M\to {\mathbb R}$; the integral $\frac{\int_M f}{\int_M 1}$ returns a value in ${\mathbb R}$. If intead $f\colon ...
0
votes
0answers
79 views

Derivability of a function defined on the tangent bundle. Foundations of Finsler metrics

My question is linked to the foundations of Finsler metrics (with weak derivability assumptions). Let $M$ be a manifold of dimension $n$, and $F$ is a function from the tangent bundle $TM$ to ...
2
votes
0answers
88 views

“simulteneous eigenvectors” under the full set of weighted Laplacians on a $g$-fold product of the Poincare half plane

This question is closely related to the following MO question Characterizing the real analytic Eisenstein series Let $\mathfrak{h}=\{z=x+iy\in\mathbf{C}\}$ be the Poincare upper half plane endowed ...
-1
votes
0answers
26 views

If the linearization of a section is surjective on a slice, is the image under a submersion also a smooth manifold?

Let $V \rightarrow M \times N_1 $ be a vector bundle, where $M$ and $N_1$ are smooth manifolds and $s: M \times N_1 \rightarrow V$ a smooth section such that whenever $s(p,q) =0$ then $$ \nabla ...
8
votes
2answers
415 views

Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated?

Are there some tables or handbooks of homology and homotopy groups of every manifold which has been calculated? Or are there some tables or handbooks which list some common calculated results of ...
0
votes
0answers
29 views

Poisson bivector on the product of two manifolds [migrated]

Let $X, Y$ be two manifolds. Let $(U, x_1, \ldots, x_n)$ and $(V, y_1, \ldots, y_m)$ local coordinates of $X, Y$ respectively. A Poisson bivector on $X$ is defined by \begin{align} \pi_X = \sum_{i,j} ...
0
votes
1answer
99 views

Normals along a Sphere [closed]

Let $M \subset \mathbb{R}^d$ be a smooth 2-manifold that is homeomorphic to a sphere or a connected sum or tori. Does there always exists two points $x,y \in M$ such that the normals $\angle(n_x, n_y) ...