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

learn more… | top users | synonyms (1)

0
votes
1answer
12 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 ...
1
vote
2answers
162 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
0answers
29 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
68 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
273 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
137 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 ...
5
votes
2answers
511 views

Internal equivalence implies weak equivalence for Frechet Lie groupoids?

It is a known theorem that an internal equivalence of Lie groupoids (finite dimensional manifolds!) - that is an equivalence in the 2-category of Lie groupoids, smooth functors and transformations - ...
-3
votes
0answers
32 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 ...
3
votes
0answers
362 views

The twisted kiss of the curvaceous cubic and the staid tetrahedron (references)

(Migrated from MSE) While investigating some operators, I came across some relations between the twisted cubic curve and the tetrahedron that link together some notions in differential geometry, ...
2
votes
1answer
88 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 ...
7
votes
2answers
314 views

Morse lemma with least amount of regularity.

I recently came across with $C^2$ Morse functions in my work and as I was reviewing some of the stuff I learned about Morse theory, I noticed that all the proofs of the Morse lemma I could come across ...
9
votes
1answer
819 views

Central extension of the algebraic loop group

I'm doing some constructions with the universal central extension $\widehat{\Omega G}$ of the loop group $\Omega G$ (here $G$ is a matrix group), where a priori the loops involved are just smooth, but ...
2
votes
0answers
325 views
+50

The integral of torsion

I found the following * exercise(exercise *9) in page 407 of the book of Do Carmo "Differential geometry of curves and surfaces". This problem is a classical theorem which is referenced in the book ...
10
votes
1answer
852 views

Reference request for TQFT, functoriality

I am reading Turaev's blue book Quantum Invariants of Knots and 3-manifolds. It is difficult for me to understand the proof of Theorem 1.9 in chapter 4, which says; The function $(M, \partial_{-}M, ...
3
votes
1answer
121 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 ...
2
votes
0answers
109 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 ...
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 ...
4
votes
0answers
191 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 ...
6
votes
2answers
250 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
98 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? ...
1
vote
1answer
585 views

The gauge group versus the diffeomorphism group of a manifold

Let M be an m dimensional differentiable manifold. Define Gauge(M):=C^{\infty}(M, Aut(TM)) to be the group of all (smooth) fiberwise linear transformations of the tangent bundle. This is the natural ...
6
votes
0answers
233 views

Is the heat kernel more spread out with a smaller metric?

Suppose M is a smooth manifold, and we have two Riemannian metrics on M, say g and h, with g bigger than h (i.e. for every tangent vector at every point, the norm according to g is bigger than the ...
0
votes
1answer
141 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
412 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: ...
11
votes
3answers
535 views

How to draw a Zoll surface?

I take into account that lots of questions on Zoll surfaces have already been asked on the forum. But I will stubbornly continue asking. Are there any chances to draw explicitely at least one Zoll ...
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
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 ...
12
votes
4answers
524 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 ...
1
vote
1answer
363 views

Hamiltonian potentials of holomorphic vector fields on modifications of Kahler manifolds

let $(M,\omega)$ be a compact Kähler manifold. Let $\mathfrak{g}=H^{0}(M,T_{M})$ be the Lie algebra of holomorphic vector fields on $M$.We can decompose $\mathfrak{g}$ as ...
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 ...
0
votes
1answer
217 views

Existence of $n$-connected topological groups with $m$-dimensional action extending that of $GL(m)$ on $\mathbb{R}^m$

I'll first state the question as concisely as I can and then provide some motivation. Consider two positive integers $m$ and $n$ such that $m < n+2$. Does there exist a topological group $G$ ...
15
votes
5answers
2k views

Flux through a Mobius strip

A friend of mine asked me what is the flux of the electric field (or any vector field like $$ \vec r=(x,y,z)\mapsto \frac{\vec r}{|r|^3} $$ where $|r|=(x^2+y^2+z^2)^{1/2}$) through a Mobius strip. It ...
3
votes
5answers
388 views

Variation of curvature with respect to immersion?

Let $M$ be a smooth surface and let $f: M \to \mathbb{R}^3$ be a family of immersions given by $$ f(t) = f_0 + tuN_0, $$ where $f_0$ is some initial immersion, $N_0$ is the associated Gauss map, and ...
4
votes
1answer
157 views

semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity. For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in ...
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
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 ...
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
73 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}$ ...
1
vote
0answers
89 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 ...
9
votes
1answer
389 views

Examples of Einstein four-manifolds of negative sectional curvature

Are there any nontrivial compact Einstein four-manifolds of negative or nonpositive sectional curvature? by nontrivial we mean not quotients of $\mathbb{H}^4$, $\mathbb{C}H^2$, ...
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
133 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)$ ...
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 ...
2
votes
2answers
265 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 ...
23
votes
10answers
2k views

Determining a surface in $\mathbb{R}^3$ by its Gaussian curvature

A curve in the plane is determined, up to orientation-preserving Euclidean motions, by its curvature function, $\kappa(s)$. Here is one of my favorite examples, from Alfred Gray's book, Modern ...
0
votes
0answers
80 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?
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
1answer
179 views

Dimension of Inverse image

Suppose we have a smooth map between two smooth manifolds $f:M→N$ such that $\dim M>\dim N$, and let $p∈N$ be a critical value. Suppose we know that $X:=f^{-1}(p)$ is a differentiable manifold (or ...