# Tagged Questions

**0**

votes

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**3**answers

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

**3**answers

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

**1**answer

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

**2**answers

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

**4**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**5**answers

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

**5**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**2**answers

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

**10**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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