**0**

votes

**2**answers

50 views

### is there a global obstruction for a diffeomorphism to be an isometry?

Let $V$ be a finite dimensional vector space.
Let us call an automorphism $T:V\rightarrow V$ admissible if there exists an inner product $\langle , \rangle$ on $V$ making $T$ an isometry.
We know ...

**6**

votes

**1**answer

190 views

### Acyclicity of the sheaf of real analytic differential forms

Let $M$ be a real analytic manifold. In the book "Sheaves on Manifolds" by Kashiwara and Schapira it is claimed on p. 127 (without reference or proof) that
the Poincare lemma holds for the de Rham ...

**2**

votes

**1**answer

87 views

### Parallelizable nearly-Kahler manifolds

In this question, we have discussed how the following bundle:
$E_{d} = TS^{d}\oplus \Lambda^2 T^{\ast}S^{d}$
is always trivial, where $S^{d}$ is the $d$-dimensional standard sphere. Now, let us take ...

**5**

votes

**1**answer

1k views

### Existence, uniqueness, and smoothness of a solution to a first order PDE on Riemannian M

Let $\mathcal{M}$ be an $n$-dimensional compact Riemannian manifold, and let $\mathcal{A} \subset \mathcal{M}$ be an $n$-dimensional Riemannian submanifold. I wish to determine the local existence, ...

**0**

votes

**1**answer

71 views

### Existence of a Lie algebra element orthogonal to the adjoint orbit of another element

Consider a compact, semi-simple, connected Lie group $G$ and its Lie algebra $\mathfrak{g}$. Denote the Killing form by $K$.
Given a single $A \in \mathfrak{g}$ when (i.e. which groups and which $A$) ...

**6**

votes

**1**answer

189 views

### Making the identification $\tau M\approx TM\oplus (TM\odot TM)$

Given a smooth manifold $M$, there is a vector bundle over $M$, denoted $\tau M$, known as the second-order tangent bundle. The fiber $\tau_mM$ at $m\in M$ is the collection of linear operators ...

**10**

votes

**1**answer

197 views

### Factoring constant rank maps into a submersion and an immersion

Let $X$ and $Z$ be smooth manifolds and $\phi: X \to Z$ a smooth map so that the differential $D \phi$ is everywhere of rank $d$. Is there necessarily a $d$-fold $Y$ so that $\phi$ factors as a ...

**2**

votes

**0**answers

99 views

### (co)limits in the category of diffeological spaces vs. category of smooth manifolds

I am wondering which (co)limits that exist in the category of smooth manifolds are preserved by the inclusion into the category of diffeological spaces? Are there any results that allow us to ...

**2**

votes

**0**answers

120 views

### Fiber bundle in smooth category and topological category

Let $M$ be a smooth manifold and $G$ be a Lie group. Denote by $Bun(M,G)$ the set of all equivalent smooth Principal bundles on $M$ with structural group $G$ in smooth category. And denote by ...

**1**

vote

**0**answers

40 views

### Is there an action functional for the s-dependent Floer equation?

The usual Floer equation (in local coordinates)
\begin{equation*}
\partial_su+J(t,u)(\partial_tu-X_{H_t}(u))=0
\end{equation*}
is derived as the gradient flow of the symplectic action functional ...

**0**

votes

**0**answers

143 views

### Complex submanifold has minimal volume

I know that the following theorem is true:
If $W$ is a purely $k$-dimensional analytic subvariety of a domain in
$\mathbb{C}^n$, $sngW$ is the set of its singular points, $V \subset
W$ is open, ...

**9**

votes

**1**answer

134 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

**3**answers

266 views

### A conjecture about parallelizable generalized spheres

Let $S^{d}$ denote the standard $d$-dimensional sphere. I heard from a physicist that from physical arguments they have been able to show that the vector bundle:
$E_{d} = TS^{d}\oplus \Lambda ...

**3**

votes

**1**answer

144 views

### Spectrum of the Laplacian on p-forms on the sphere

In this paper the authors give an explicit description of the eigenforms and spectrum of the Laplacian acting on $p$-forms on the round sphere $S^n$, apparently citing an unpublished computation of ...

**2**

votes

**1**answer

144 views

### Old Peano theorem (demonstration is missing details) [on hold]

Let $A, B :[a,b]\subset\mathbb{R}\to\mathbb{R}^2$ be two functions of class $C^{1}([a,b])$ such that two segments (or intervals) $[A(t_1),B(t_1)]$ and $[A(t_2), B(t_2)]$ never intersect for $t_1, ...

**1**

vote

**1**answer

90 views

### Are sections of $\tau M$ differential operators on the exterior algebra?

Let $M$ be a smooth manifold and $\tau M$ its second-order tangent bundle. A second-order vector field $A\in \Gamma(\tau M)$ can locally be expressed as a finite sum of operators ...

**0**

votes

**0**answers

28 views

### Reparametrization with non-vanishing lateral derivatives [on hold]

Let $\mathbf{r}:I\subseteq\mathbb{R}\to\mathbb{R}^2$ be a $C^{1}(I)$ function, non-constant on any subinterval, such that $\forall\ t_0\in I$, the following limits exist:
$\lim\limits_{t\nearrow ...

**24**

votes

**5**answers

3k views

### Maryam Mirzakhani's works

Maryam Mirzakhani has made several contributions to the theory of moduli spaces of Riemann surfaces.
Mirzakhani was awarded the Fields Medal in 2014 for "her outstanding contributions to the dynamics ...

**0**

votes

**0**answers

44 views

### Dimension of a trajectory in $\mathfrak{su}(n)$

Consider $a,b \in \mathfrak{su}(n)$, a fixed positive real number $t$ and the equation:
$\frac{d U(s,t)}{ds} = \left(a + \omega(s)b \right) U(s, t)$ (where $U(t,t)=I$)
and the definition:
$B(s) = ...

**5**

votes

**2**answers

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

**10**

votes

**2**answers

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

**4**

votes

**1**answer

110 views

### Diffusion semigroup generated by Laplacian

Let $M$ be a complete Riemannian manifold and $\Delta$ denote the Laplacian on it. Also assume that the spectrum of $-\Delta$ lies inside $[a, \infty)$. Let $P_t, t > 0$ denote the diffusion ...

**59**

votes

**4**answers

7k views

### When can a Connection Induce a Riemannian Metric for which it is the Levi-Civita Connection?

As we all know, for a Riemannian manifold $(M,g)$, there exists a unique torsion free connection $\nabla_g$, the Levi-Civita connection, that is compatible witht metric.
I was wondering if one can ...

**5**

votes

**0**answers

304 views

### Correspondence between line bundles and $U(1)$-bundles: a possible mistake from physicists? [closed]

I am reading a paper written by physicists and they say the following:
Let $(L,h,\nabla)$ be an holomorphic Line bundle equipped with a hermitian metric $h$ and Chern connection $\nabla$. If ...

**-3**

votes

**0**answers

112 views

### Does the diffeomorphism group of an open manifold act naturally on the compactification of the manifold? [closed]

I need help regarding this question please:
Does the diffeomorphism group of an open manifold act trnsitively/freely on the compactification of the manifold?
any recommended references!

**1**

vote

**3**answers

527 views

### How do I see sectional curvature in the principal bundle (or in Cartan's) approach to riemannian geometry?

Many books on differential geometry develop the geometry in the setting of principal bundles or moving frames. But when it comes the time to do riemannian geometry they leave all that nice machinery ...

**14**

votes

**4**answers

845 views

### Equations satisfied by the Riemann curvature tensor

It is well known that the Riemann curvature tensor of a metric satisfies
\begin{eqnarray}
R_{jikl}=-R_{ijkl}=R_{ijlk},(1)\\
R_{klij}=R_{ijkl},(2)\\
R_{i[jkl]}=0 \mbox{(1st Bianchi identity)}.(3)
...

**0**

votes

**0**answers

127 views

### Existence of a special Kahler structure on the contangent bundle

It is known that the total space of the cotangent bundle $T^{\ast}M\to M$ of any manifold $M$ can be equipped with a Kahler structure. My question is, it is known when $T^{\ast}M$ admits a Special ...

**0**

votes

**0**answers

60 views

### Classification of line bundles by Griffiths and Harris [migrated]

I am reading pages 132 and 133 of Principles of Algebraic Geometry by Griffiths and Harris. They consider an holomorphic line bundle $L\to M$ over a manifold $M$ and an open cover $\left\{ ...

**1**

vote

**1**answer

76 views

### Space of invariant sections

I have a principal bundle $\pi: M \to B$ with structure group $G$ and a vector bundle $p: V\to M$. I need to work with $\Gamma_G(V,M)$, the space of invariant (under the fiber action on $M$) sections ...

**4**

votes

**2**answers

918 views

### A question about Marsden-Weinstein reduction theory

Let $G$ be a compact Lie group and $\frak g$ be its Lie algebra. Then by Marsden-Weinstein reduction theory we know that if we take $M=T^*G$ and $J \colon M\to \frak g^*$ be its moment map then the ...

**8**

votes

**3**answers

473 views

### Rigorous justification that overdetermined systems do not have a solution

There is the following well known and very useful heuristic principle: Assume one has a natural map from the space of $k$-tuples of functions in $n$ variables into the space of $K$-tuples of functions ...

**1**

vote

**1**answer

117 views

### A subalgebra of the Virasoro algebra

Let $L_n$ ($n\in\mathbb{Z}$) and $c$ be the standard generators of the Virasoro algebra ${\rm Vit}$. In the literature one usually considers the involutive authomorphism given by $\tau(L_n)=-L_{-n}$, ...

**1**

vote

**0**answers

41 views

### sharp conditions characterizing the vanishing of scalar Jacobi fields

Let $T>0$, let some function $\kappa(t)$ smooth on $[0,T]$, and let $b$ the unique solution to the ODE $\ddot b + \kappa(t) b = 0$ with initial conditions $b(0)=0$ and $\dot b(0) = 1$.
I was ...

**0**

votes

**0**answers

65 views

### Compact locally conformal Kahler manifolds with non-zero Euler characteristic

I would like to know if there exist eight-dimensional compact manifolds such that:
It has SU(4)-structure (and hence it is spin).
It is locally conformal Kahler (and not Kahler).
Its Euler ...

**0**

votes

**0**answers

106 views

### Moduli space of holomorphic sections

Let $(L,M,\omega,\nabla)$ be an holomorphic line bundle over a Kahler manifold $(M,\omega)$ equipped with the Chern connection $\nabla$. Let $\Gamma(L)$ denote the space of holomorphic sections of ...

**0**

votes

**0**answers

66 views

### Equivalence of holomorphic line bundles from Kahler potentials

Let $(M.\omega)$ be a Kahler manifold with fundamental form $\omega$. Then $\omega$ is closed and by the $\partial\bar{\partial}$-lemma on every contractible open set $U\subset M$ we can write
...

**1**

vote

**1**answer

116 views

### Chern classes of three (two) dimensional complex vector bundles

Let $M$ be a manifold.
Let $F(M,3)=\{(m_1,m_2,m_3)\mid m_1, m_2, m_3\in M, m_i\neq m_j, \text{ for any } i\neq j\}$.
Let $S_3$ be the symmetric group of order $3$.
Let $S_3$ act on $F(M,3)$ by ...

**2**

votes

**0**answers

102 views

### Heat semigroup estimate on complete Riemannian manifold

Consider a complete noncompact Riemannian manifold $M$ such that the heat kernel $h_t(x, y)$ satisfies
$h_t(x, y) \leq Ct^{-n/2}$. Consider a function $u \in L^p(M)$. How can we prove that ...

**7**

votes

**1**answer

128 views

### Boundary values of boundary value problems

Let $M$ be a manifold with smooth boundary. We can consider the Dirichlet or the Neumann problem on $M$. Let $(\phi_k)$ be an orthonormal basis of eigenfunctions to the Dirichlet problem and let ...

**9**

votes

**0**answers

193 views

### Reference for a proof of the fiberwise Stokes theorem

The fiberwise Stokes theorem says that given a differential form on a smooth fiber bundle whose fibers have boundary,
the difference between the fiberwise integral of the differential and the ...

**15**

votes

**8**answers

887 views

### Examples of categorical adjunctions in analysis, Lie theory, and differential geometry?

In introductory texts on category theory, it seems like the majority of examples come from algebraic topology, algebra, and logic. Are there any good examples of adjunctions in analysis, Lie theory, ...

**1**

vote

**0**answers

63 views

### Characterization of locally conformally flat manifolds: strange application of Frobenius theorem

(Crossposted from math.SE because of the lack of replies)
In Hamilton's Ricci Flow (by Chow, Lu, Ni, pp. 29-31, see here) they show that a Riemannian manifold $(M^n,g)$ is locally conformally flat ...

**3**

votes

**3**answers

266 views

### Conjugate or focusing points on null geodesics imply chronality

Theorem
Let $\beta\colon [0,1] \to M$ be a null geodesic. If $\beta(t_0)$ is conjugate to $\beta(0)$ along $\beta$ for some $t_0\in (0,1)$, then there is a timelike curve from $\beta(0)$ to ...

**0**

votes

**0**answers

73 views

### Relative canonical sheaf of an Abelian Scheme over a noetherian base

Let $A$ be an abelian scheme over a noetherian base $S$ of relative dimension $r$, i.e., $A$ is a smooth, proper group scheme over $S$ with geometrically connected fibers of dimension $r$. The ...

**-1**

votes

**0**answers

67 views

### Relative line bundle along divisor $D$

Let $X$ and $B$ be a compact Kahler manifolds and $\pi:X\to B$ be a holomorphic surjective map and $D$ be a divisor in $B$ how can we define relative canonical line bundle on $B$ along a divisor $D$?
...

**0**

votes

**1**answer

216 views

### Shrinking $\mathcal{C}_c^{\infty}(M)$ to obtain a first countable space

This is a follow-up to this question.
Let $M$ be manifold (Hausdorff, countable base, finite dimensional, if it simplifies anything embedded in $\mathbb{R}^n$).
I'm interested in the topological ...

**2**

votes

**2**answers

161 views

### Connected complement manifold

I'm working on some problem in algebraic geometry. I need a reference to the following result:
Let $h\in\mathbb{N}$ with $h\geq1$ and let $F\in\mathbb{C}\left[x_{1},\ldots,x_{h}\right]$
be a non ...

**1**

vote

**1**answer

125 views

### Image of any curve can be parametrized without zero derivative?

Let $\gamma :[a,b]\to\mathbb{R}^2$ be a $C^{1} ([a,b])$ injective application. Is it true that there is another continuous parametrization $\rho:[c,d]\to\mathbb{R}^2$ such that the following two sets ...

**1**

vote

**0**answers

116 views

### Products between metrics in a product of manifolds

In the "Einstein Manifold" book written by Arthur Besse, chapter 16, there is a notation of a manifold composed by the Cartesian product between two others:
$(M_1\times M_2, f^p(g_1 \times g_2))$
...