All Questions
9,159 questions
1
vote
0
answers
53
views
Generalization of Connes metric on state space
Let we have a spectral triples $(A,H,D)$
The Connes distance on the space of states of $A$ is the following:
$$d(\phi,\psi)=sup_{ |[D,a]|\leq 1} |\phi(a)-\psi(a)|\quad (*)$$
Is this metric ...
- 366
1
vote
0
answers
98
views
Examples of nontrivial morphism between simple bundles but not isomorphism
We know stable bundles have a good property:
If $f: E\longrightarrow E'$ is a nontrivial morphism where $E,E'$ have the same rank and degree, then $f$ must be an isomorphism.
I'm wondering does this ...
- 111
7
votes
2
answers
405
views
Kobayashi-Nomizu "Foundations of differential geometry" on page 117 wrong?
$\DeclareMathOperator\GL{GL}$Let $M$ be a smooth manifold, $G$ a Lie group and $P(M,G)$ a principal $G$-bundle and $\rho: G \to \GL(V)$ of $G$ a representation with $V$ finite-dimensional $\mathbb{F}$-...
- 331
1
vote
0
answers
112
views
Zariski Connectedness Theorem: From Analytic & Topological Viewpoint
Let $p:Y \to X$ be a proper, flat (see later why) surjective map between smooth connected complex varieties $Y,X$, esp. $X$ unibranch. Assume that there exist a Zariski open (esp. dense) $U \subset X$ ...
- 6,038
0
votes
0
answers
85
views
Is there a symbolic computation program that can deal with differential forms, Stokes theorems, the Hodge * operator, etc
I am looking at a messy series of computations of integrals of differential forms on manifolds with boundary, involving repeated application of Stokes' theorem, and also involving the Hodge * operator....
- 1
2
votes
1
answer
155
views
Converse of Scherk–Segre theorem on the number of vertices of a convex space curve
It is well known that any smooth simple closed convex curve $\gamma$ in $\mathbb{R}^{3}$ that meets no plane in more than 4 points has exactly 4 vertices, i.e., points of vanishing torsion; here "...
- 985
14
votes
4
answers
2k
views
The ten most fundamental topics in geometric group theory
What are the ten most fundamental topics in geometric group theory?
This is a pedagogical question prompted by the fact that I am teaching geometric group theory to undergraduates. They are expected ...
8
votes
1
answer
318
views
Fibers of generic smooth maps between manifolds of equal dimension
I have heard that the following is a "well-known"
Claim. Let $M$ and $N$ be smooth manifolds with equal dimensions and $M$ compact. Then a generic smooth map $f\colon M\to N$ has finite ...
- 501
0
votes
0
answers
35
views
Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter
I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...
- 1,467
-2
votes
1
answer
61
views
On the correspondence between infinitesimal and integral description of connections
It is the title of an article by Petko Nikolov Triste Sissa 1981. I cannot access this pdf yet I remember that it was once avaliable on libgen and now I cannot find it. Please help.
- 19
1
vote
0
answers
47
views
What do we know about Poisson boundaries of arbitrary Riemannian manifolds?
For closed manifolds, we know that the Poisson boundary is trivial due to compactness and for radially symmetric manifolds for which diffusion is one dimensional, there are A Brief Introduction to ...
- 168
5
votes
0
answers
97
views
Is the pullback of differential forms on a compact manifold smooth tame as a map of Fréchet manifolds?
In Hamilton's paper on the Nash-Moser inverse function theorem he shows that if $M$ is a smooth compact manifold and $V\to M$ a smooth vector bundle then its smooth sections $\Gamma(V)$ equipped with ...
- 51
0
votes
0
answers
91
views
+100
Uniqueness of bubbling points in Struwe's global compactness theorem
I am reading the following paper of Struwe in which he proves the following result:
Proposition 2.1:
Let $n\geq 3$, $\lambda \in \mathbb{R}$ and $\Omega$ be a smoothly bounded domain in $\mathbb{R}^{n}...
- 537
8
votes
0
answers
256
views
+300
Maps with small fibers between manifolds of equal dimension
The following question is an attempt to revise this one into what I intended.
Important revisions are shown in bold.
Are there any known examples of a compact Riemannian manifold $M$ with (possibly ...
- 501
3
votes
0
answers
102
views
Understanding the Lie derivative by multivector fields
For a vector field $X$ on a manifold there are two ways to define a Lie derivative: an algebraic one using Cartan's formula $\mathcal{L}_X \alpha = i_X d \alpha + d i_X \alpha$ and a dynamical one ...
- 161
3
votes
0
answers
128
views
Orbit space of the action of $\mathrm{GL}(V)$ on the Grassmannian of $V\wedge V$
$
\newcommand{\K}{\mathbb{K}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\N}{\mathbb{N}}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\Grass}{Grass}
$Consider $\K\in\{\R,...
- 126
4
votes
0
answers
73
views
Integration of volume forms over manifolds with corners
Suppose that $M$ is a (compact, oriented, smooth) manifold with corners.
Let $M_{\leq 1}$ the manifold with boundary of all points of index $\leq 1$ (following the notations here). This manifold is an ...
- 1,035
1
vote
0
answers
39
views
Currents with logarithmic poles compared with those with no poles
I am learning Deligne homology via U. Jannsen, "Deligne homology, Hodge-$\mathscr{D}$-conjecture, and motives." There, the currents with logarithmic poles are given in Definition 1.4 by
$$
'\...
- 161
-1
votes
1
answer
238
views
Almost Complex Structure extending to Complex Structure, aka "Integrable"
Let $M$ be a smooth manifold of (real) dimension $2n$. An almost complex structure $J$ on $M$ is a linear vector bundle isomorphism $J \colon TM\to TM$ on the tangent bundle $TM$ such that $J^2 = − 1 \...
- 6,038
5
votes
0
answers
240
views
Classification of principal $\mathrm{SO}(3)$-bundles on a 4-manifold via characteristic classes
I am interested in a reference with a detailed (as simple and topological as possible) proof of the following fact:
Theorem. A principal $\mathrm{SO}(3)$-bundle on a compact oriented 4-manifold are ...
- 6,962
11
votes
2
answers
320
views
Cohomology of foliations and closed forms along the leaves
Let $M$ be a manifold equipped with a codimension one, transversely orientable, regular foliation $F \subset M$. Let $\alpha\in \Omega^k(M)$ be a differential form on $M$ that is not closed on $M$ ...
- 2,818
3
votes
1
answer
271
views
$\mathrm{SL}(2,\mathbb{Z})$ finitely generated by using the Schwarz-Milnor lemma
Recently, I have been studying the modular group $G=\mathrm{SL}(2,\mathbb{Z})$, and I am trying to prove $G$ is finitely generated by using the Schwarz-Milnor lemma in geometric group theory.I am ...
- 111
3
votes
0
answers
110
views
Wedge of curvature and subsequent trace
I am currently reading https://arxiv.org/abs/1901.10322. More specifically, I am interested in understanding the equation
$$i\partial\overline{\partial}\omega = \frac{\alpha'}{4}Tr(R\wedge R-F\wedge F)...
7
votes
2
answers
343
views
Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$
I am looking for proof of the "well-known" result that for a $4$-dimensional Riemannian manifold $(M, g)$, we have an isomorphism
$$
\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \...
- 113
2
votes
0
answers
85
views
On the trajectory followed by a point P on a planar convex region C when P is mapped repeatedly to the farthest point to it on C
Consider a planar convex region $C$. Let us define a mapping of a point $P$ on $C$ to that point on C that is farthest from $P$. Obviously, if from an initial position of $P$, we do this mapping ...
- 5,979
4
votes
0
answers
179
views
Recognize this metric? Do you have a name for this metric on the product of spheres?
Take the product $S^2 \times S^2$ of two two-spheres,
but perturb the product metric as follows.
Think of each $S^2$ as the unit two-sphere in Euclidean 3-space
in the standard way
so that for $p ...
- 8,336
3
votes
0
answers
107
views
The existence of a harmonic diffeomorphism on a punctured surface
Let $\bar{X}$ be a compact Riemann surface of genus $g$, and let $D:=\{p_{1},p_{2},\cdots,p_{n}\}$ be $n$ distinct points on $\bar{X}$. Define $X:=\bar{X}-D$ to be the punctured Riemann surface given ...
- 401
6
votes
1
answer
173
views
Mass minimizing current in real homology class
It is a well-known results by Federer and Fleming that there exists at least one mass-minimizing normal current in every real homology class of a closed $n$-dimensional Riemannian manifold $M$. Their ...
- 61
4
votes
1
answer
550
views
Question on Lorentzian geometry
I apologize in advance if this is a too basic question.
Let $(M,g)$ be a Lorentzian manifold with signature convention $(-,+,\dots,+)$. Now, lets suppose $X\in\Gamma(TM)$ defines a global time-...
- 1,171
2
votes
1
answer
83
views
Causality of Killing vector fields in a Lorentzian Ricci flat spacetime
In a connected Lorentzian spacetime that is Ricci flat and also nice (say smooth, global hyperbolic, etc), can a global Killing vector field be null in an open subset and timelike (or spacelike) in ...
- 169
2
votes
1
answer
163
views
Existence of Kähler metric of bounded geometry on the Hermitian vector bundle on projective spaces
$\DeclareMathOperator\Tot{Tot}$A Riemannian manifold $(M,g)$ is said to be of bounded geometry if the Riemannian curvature tensor and its derivatives are bounded, and it has positive injectivity ...
- 21
3
votes
1
answer
215
views
Geodesic flows and Killing fields
How well-known is the following result:
Let $(M,g)$ be a closed Riemannian manifold and define $D:C^\infty(M,Sym^mT^*M)\to C^\infty(M,Sym^{m+1}T^*M)$, $D\alpha:=\mathbb S(\nabla\alpha)$ where $Sym^m$ ...
5
votes
0
answers
181
views
Deformations of cotangent bundles
Let $M$ be a smooth variety of even dimension over $\mathbb C$. I am interested in necessary or sufficient conditions such that $X$ is a deformation of a family of cotangent bundles.
In other words, ...
- 6,622
5
votes
1
answer
325
views
An inequality that may be of isoperimetric nature
I am trying to prove the following inequality: let $f,g:S^1\to R$ (here $S^1$ is the unit circle parametrized by arc-length) be differentiable and have zero mean. Then
$$
4\pi \int f(t) g(t)\, dt \le \...
- 797
1
vote
1
answer
158
views
Comparison of special metrics on Riemann surfaces with the hyperbolic one
Let $X$ be a complex algebraic curve, or equivalently a compact Riemann surface, of genus $a\ge2$. Denote $\omega_1, \dots , \omega_a$ a basis of holomorphic differentials, and consider the Riemaniann ...
- 31
1
vote
1
answer
117
views
Is every connection locally flat for an other connection?
Consider a $C^{\infty}$ connection $d_A = d+A$ on the unit ball $B^n\subset \mathbb{R}^n$. Does there exists another connection $d_{\tilde{A}} = d+\tilde{A}$ such that $d_{\tilde{A}} A = 0$? That is ...
- 363
2
votes
1
answer
386
views
Is it always possible to connect the endpoints of a smooth injective path, so the resulting path is smooth, closed and simple?
Motivation
The motivation for this question arises from the following problem: Is there a closed, simple, and infinitely differentiable path on the (complex) plane such that every straight line has a ...
16
votes
1
answer
977
views
Pedagogically intuitive reformulation of Zorn's Lemma for functional analysis
While teaching an applied functional analysis class, I’ve noticed that students often struggle to develop an intuitive understanding of Zorn’s lemma. It’s relatively straightforward to explain why ...
- 5,824
5
votes
2
answers
300
views
Non-semisimple Lie groups and Higgs bundles
$\DeclareMathOperator\SO{SO}\DeclareMathOperator\SL{SL}\DeclareMathOperator\GL{GL}$Let $X$ be a compact Riemann surface. Let $G$ be a real reductive Lie group, $H$ be a maximal compact subgroup of $G$ ...
- 151
2
votes
2
answers
427
views
Questions about some parallel between polynomial and differential equation
Do the relations between Galois groups and solutions to polynomial equations with one variable have a counterpart between Lie groups and solutions to differential equations ?
Do the relations between ...
- 3,104
3
votes
1
answer
257
views
Asymptotic parametrization for negatively curved surfaces
Let $S$ be a complete simply connected negatively curved surface immersed in Euclidean space $\textbf{R}^3$. Does there exist a parametrization $f\colon\textbf{R}^2\to\textbf{R}^3$ for $S$ such that ...
- 7,179
3
votes
1
answer
307
views
Approximate square root of Dirac delta function on $\mathrm{SL}_2(\mathbb{R})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\AdS{AdS}$I hope to find a sequence of complex-valued functions $\{f_i(g)\}$ on the group element $g$ of a locally compact group $\SL(2,\mathbb{R})$ so ...
- 175
2
votes
0
answers
71
views
Laplace spectrum on $U(n)$
Consider $\psi:SU(n)\times U(1)\to U(n)$, $(w,z)\mapsto \bar{z}\cdot w$. One can show that $\psi$ serves as a projection and $SU(n)\times U(1)$ is a principal $\mathbb Z_n$-bundle over $U(n)$.
Suppose ...
0
votes
0
answers
76
views
Existence solutions of the system of equations on Riemannian manifold
Is there a way to show that the following system of two equations has a solution? I don't want to find an explicit solution, but just verify its existence.
$$f''(r) + \beta \coth(r) f'(r) = \rho_0 e^{-...
- 272
3
votes
1
answer
137
views
$L^\infty$-bound on Laplace-eigenfunctions
Suppose we are on a closed Riemannian manifold $M$. Any function $f\in C^\infty(M)$ may be decomposed as $$f = \sum_{j = 0}^\infty f_j\phi_j,$$ where $\phi_j\in C^\infty(M)$ are the Laplace ...
1
vote
0
answers
118
views
'Uniformity' of surfaces of 3D convex solids
We try to go a little further from Which convex solids have geodesics on the surface that lie entirely in a plane?
Definitions: The surface of a finite 3D convex body may be called a convex surface. ...
- 5,979
4
votes
0
answers
178
views
Basis of topology on space of properly embedded smooth manifolds
In A Short Exposition of the Madsen-Weiss Theorem, Hatcher discusses (starting at p.6) a basis for a topology on the space $\mathcal{C}^n$, the space of all smooth oriented $d$-dimensional ...
- 141
4
votes
0
answers
128
views
Errata for "Foliations and Geometric Structures" by Aurel Bejancu and Hani Reda Farran
I'm reading "Foliations and Geometric Structures" (2006) by Aurel Bejancu and Hani Reda Farran and have been looking for an errata sheet. Unfortunately Prof. Bejancu has passed away. I ...
4
votes
0
answers
237
views
Jacobian of exponential map
I am playing around with the coarea formula and came across the problem of finding the Jacobian of the exponential map.
Let $G$ be a compact, semisimple Lie group with associated Lie algebra $\...
- 133
1
vote
1
answer
145
views
An application of min-max characterization of eigenvalues
Let $(M,g_0)$ be a $n$-dimensional closed Riemannian manifold with a Riemannian covering $(\widetilde{M},\widetilde{g}_0)$. Let
$$
\mathcal{V}_{ab}=\{g\colon a^2 g_0\leq g\leq b^2 g_0\}, \quad \text{...
- 563