Questions tagged [dg.differential-geometry]

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

Filter by
Sorted by
Tagged with
1 vote
1 answer
83 views

Naturality of Lie bracket - alternate proof

Let $M$ and $N$ be smooth manifolds, and let $F: M \to N$ be a smooth map. Let $X$ and $Y$ be vector fields on $M$, and let $\tilde{X}$ and $\tilde{Y}$ be vector fields on $N$. We say that $X$ and $\...
Zhang Yuhan's user avatar
-3 votes
0 answers
96 views

On unitary manifold [closed]

For integer $d$, we can define unitary matrices $\mathbb{U}:=\{U\mid U^*U=UU^*=I_d\}$. This forms a manifold of dimension $d^2$. Suppose we are given a submanifold of $\mathbb{U}$, denoted as $\mathbb{...
gondolf's user avatar
  • 1,487
0 votes
0 answers
73 views

Can a Tangent Space always be expressed with “more structure” than just a vector space (e.g. a choice of basis for Stiefel manifold)

I'm currently trying to read about the Stiefel manifold, or set of all $p$ orthonormal $n$-dimensional vectors embedded in $\mathbb{R}^{n\times p}$. $$\mathcal{V}_p(\mathbb{R}^n) = \{U \in \mathbb{R}^{...
Moo's user avatar
  • 1
1 vote
0 answers
83 views

Expressing the union of principal orbits as a disjoint union of global slices for proper group actions

Setup: I was reading about slices and principal orbit theorems (Theorem 3.4.6) from these notes. Let the Lie group $G$ act on a complete Riemannian manifold $(M,g)$ isometrically on $M$, i.e. $\phi^{*}...
Learning math's user avatar
5 votes
0 answers
46 views

Approximation of triply periodic minimal surfaces with trigonometric level sets

Some triply periodic minimal surfaces are known to be approximated by trigonometric level sets very accurately. To see this, let's sample a gyroid scaled to the bounding box $[0, 1]^3$ exactly through ...
Greg Hurst's user avatar
1 vote
0 answers
78 views

Compactification of a Cartan-Hadamard manifold

Let $X$ be a simply connected manifold with nonpositive sectional curvature. It is standard that $X$ is uniquely geodesic, i.e., for any distinct points $p$ and $q$, there is a unique geodesic ...
ZZZ's user avatar
  • 11
0 votes
0 answers
37 views

Prove the orthogonality of vector spherical harmonics

We define $S_a^{lm} = \Big( - \frac{1}{\sin \theta} Y^{lm}_{,\varphi}, \sin \theta\ Y^{lm}_{,\theta} \Big)$ $Y_a^{lm} = \Big( Y^{lm}_{,\theta}, Y^{lm}_{,\varphi} \Big)$ to be the axial vector ...
AleNekro97's user avatar
6 votes
1 answer
150 views

Coarse embeddings and Gromov products in (Gromov) hyperbolic spaces

I am new into geometric group theory and I have recently started reading the book "Sur les Groupes Hyperboliques d’après Mikhael Gromov" by Ghys and de la Harpe. The following inequality ...
Steve's user avatar
  • 61
5 votes
0 answers
197 views

Theories of manifolds w/ extra structure and singularities

Many different objects in mathematics can be described as manifolds with extra structure. Among the most famous examples of these are smooth manifolds, Riemannian manifolds, complex manifolds, and ...
Will Sawin's user avatar
  • 135k
1 vote
1 answer
141 views

Proving that $H^1(X,\mathcal{Hom}(\mathcal{G},\mathcal{E})) \cong \text{Ext}^1(\mathcal{G},\mathcal{E})$ holds for locally free sheaves

The following passage is from a thesis I'm reading: Suppose we have a short exact sequence of vector bundles $$0 \to \mathcal{E} \to \mathcal{F}\to \mathcal{G} \to 0.$$ Since these sheaves are ...
Johannes's user avatar
3 votes
1 answer
180 views
+100

Systems of (hyperbolic) 2nd order PDEs with lower order constraints

Certain surfaces in mechanics are endowed with the fundamental forms \begin{align} \text{I} &= \mathrm{d}u^2+\mathrm{d}v^2+2\cos\gamma\: \mathrm{d}u\: \mathrm{d}v \\ \text{II} &= \alpha\left(\...
Daniel Castro's user avatar
0 votes
1 answer
99 views

Regular value theorem for Banach manifolds without surjectivity

It is well-known (e.g. Lang, Fundamentals of differential geometry, Prop. 2.3 in Chapter II) that the following extension of the regular value theorem holds for Banach manifolds: Let $\phi : M\...
Martin's user avatar
  • 141
0 votes
1 answer
118 views

Vector bundles over a homotopy-equivalent fibration

I think this question is related to what is known as "obstruction theory", but I'm not very familiar with this field of mathematics, so I am asking here. Let $\pi:N\rightarrow M$ be a smooth ...
Bence Racskó's user avatar
0 votes
0 answers
65 views

Convergence of metric implies convergence of eigenvalues?

Consider the metric $g_\varepsilon=d\theta^2 + \varepsilon^2 \sin(\theta)^2 \, d\varphi^2$ on the hemisphere $S^2_+.$ I had two naive questions: Does $g_\varepsilon$ converge to the flat metric on ...
Student's user avatar
  • 653
6 votes
1 answer
198 views

Densities, pseudoforms, absolute differential forms and measures, differential forms, etc

Apologies if this question is too basic, but I figured I first heard of most of these concepts on MO, so perhaps I can ask here. Gelfand’s definition, copied from AlvarezPaiva [My edit, could be ...
D.R.'s user avatar
  • 741
1 vote
0 answers
97 views

Dolbeault class of the curvature of the Chern connection equaling the Atiyah class

The following is a proposition from Complex Geometry by Huybrechts. Proposition $4.3.10$. For the curvature $F_\nabla$ of the Chern connection on an hermitian holomorphic vector bundle $(E,h)$ one ...
Johannes's user avatar
3 votes
0 answers
61 views

Surface terms in the calculus of variations on jet bundles

Let $\pi:N\rightarrow M$ be a fibered manifold with $m=\dim M$ and $m+n=\dim N$. The variational bicomplex on the infinite jet space $J^\infty(\pi)$ is denoted $(\Omega^{k,l}(\pi),\delta,\mathbf d)$ ...
Bence Racskó's user avatar
1 vote
1 answer
107 views

Does a Riemannian submersion map horizontal geodesics to geodesics, and a relevant question?

I asked this question on MSE, but I didn't receive a response yet, so I'm asking here. Apologies if the question is not exactly a research level question, but I'm having some trouble in figuring them ...
Learning math's user avatar
0 votes
1 answer
45 views

Handling degenerate planes in pseudo-Riemannian geometry: impact on sectional curvature and comparison theorems

I've been studying Riemannian and pseudo-Riemannian manifolds and came across an intriguing point regarding the definition of sectional curvature in both geometries. In pseudo-Riemannian geometry, for ...
lming2's user avatar
  • 45
2 votes
2 answers
165 views

Relationship between Frobenius theorem, curvature, and integrability

In this answer to References for "modern" proof of Newlander-Nirenberg Theorem John Hubbard alluded to something called the "Frobenius integrability form" $\phi\mapsto\bar\partial\...
level1807's user avatar
  • 469
1 vote
0 answers
84 views

Extend a circle action on $3$-manifolds

Let $M$ be an oriented closed $3$-manifold equipped with an effective smooth circle action. Can we have a classification of all such $M$ such that there exists a $4$-manifold $N$ with $\partial N=M$, ...
Zhiqiang's user avatar
  • 881
4 votes
0 answers
89 views

Regularity of exponential map for $C^{2,\alpha}$ Riemannian metrics

Let $g$ be a $C^{2,\alpha}$ Riemannian metric and $0<\alpha<1$. Would the exponential map $\mathrm{exp}_p$ be $C^{1,\alpha}$ as the point $p$ varies? Since $\mathrm{exp}_p$ is defined by the ...
user486255's user avatar
0 votes
0 answers
36 views

Construct compact submanifold containing non-compact Nash embedded submanifold

$$ \newcommand{\R}{\mathbb{R}} \newcommand{\geu}{g_{\text{Eu}}} \newcommand{\X}{\mathcal{X}} \newcommand{\iX}{\mathring{\X}}$$ Let $\X$ be a closed bounded convex set in some Euclidean space. Its ...
DavideL's user avatar
  • 111
13 votes
0 answers
254 views

Which G-structures lead to analyticity?

It’s well known that integrability conditions on $G$-structures sometimes force a unique analytic structure on the underlying manifold: A Lie group structure (a 1-structure with equivariantly ...
level1807's user avatar
  • 469
2 votes
0 answers
42 views

Under what conditions principal directions define an integrable distribution?

Consider a hypersurface $M^n \subset \mathbb{R}^{n+1}$ which is compact without boundary. Assume that its second fundamental form $A$ has distinct eigenvalues $\lambda_1<\ldots<\lambda_k$ (with $...
Dorian's user avatar
  • 331
5 votes
0 answers
49 views

The universal cover and embedding

Whether there exists a non-simply connected complete Riemannian manifold $(M^n, g)$ such that it can be $C^2$-isometric (globally) embedded into some Euclidean space $\mathbb{E}^p$, but its ...
Jialong Deng's user avatar
  • 1,749
1 vote
0 answers
71 views

Metric of negative curvature on connected sum

Let $(M_1,g_1)$ and $(M_2,g_2)$ be two Riemannian manifolds of dimension $n\geq 2$. If we consider the connected sum $M=M_1\mathbin{\#}M_2$ of the two manifolds; can one get a smooth metric $g$ on $M$ ...
User5's user avatar
  • 11
4 votes
1 answer
188 views

A complex version of the Cahiers topos

Has anyone tried defining a complex version of the Cahiers topos? If we take the definition of $C^\infty$-rings, replace "smooth" with "holomorphic" (of course, one has to take ...
xuq01's user avatar
  • 1,054
2 votes
0 answers
233 views

Convergence of metric and eigenvalues on a tubular neighbourhood

Background: Consider the sphere $S^2$ with the round metric $g$ and let $\gamma$ be one half of a great circle of length $\pi.$ Let $T_\epsilon$ denote a geodesically convex tube around $\gamma$ of ...
Student's user avatar
  • 653
2 votes
0 answers
45 views

Growth/Decay of conformal Killing fields in cone metrics

Let $\gamma$ be a smooth metric on $S^2$ of positive curvature. Consider the metric $$g= dr^2 + r^2 \gamma$$ on $[1,\infty) \times S^2$. Does there exist a nontrivial conformal Killing field vanishing ...
Laithy's user avatar
  • 865
2 votes
1 answer
150 views

Gluing local holomorphic connections

On page $180$ of Complex Geometry by Daniel Huybrecths, he defines the so called Atiyah class of a holomorphic vector bundle by the Čech cocycle $$A(E)=\{U_{ij}, \psi^{-1}_j \circ (\psi^{-1}_{ij}d\...
Johannes's user avatar
2 votes
1 answer
89 views

For a closed Riemannian manifold $M$, must the set of points with non-unique closest points to a closed submanifold $S$ of $M$ be of 0 volume measure?

Let $(M,g)$ be a closed (compact without boundary) Riemannian manifold of finite dimension, with the volume measure $\mu:= \mu(E):=\int_{E}dvol_g \forall E \in \mathcal{B}(M),$ the Borel sigma algebra ...
Learning math's user avatar
0 votes
0 answers
139 views

Kähler manifold with negative sectional curvature

Goldberg's theorem states that every almost Kähler manifold of constant curvature is Kähler if and only if the curvature is zero. This seems to contradict the fact that the sectional curvature of the ...
Samir's user avatar
  • 43
1 vote
0 answers
72 views

Total curvature of a conjugate minimal surface

Let $s: S \to \Bbb R^3$ be an immersed minimal surface with finite total curvature and a proper annular end (possibly with other types of ends). What is exactly meant by a proper annular end? It is an ...
Annetta's user avatar
  • 11
3 votes
1 answer
251 views

Ricci flow and curvature

I am trying to read about geometric flows mainly Ricci flows. I have a question in mind, which I am not sure whether it's possible or not. So my question is if one starts with a metric that has mostly ...
Emmie's user avatar
  • 31
2 votes
1 answer
178 views

Frobenius theorem and the size of integral manifold

Let $X =(X_0,X_1)\in \mathbb{R}^2$ and $Y=(Y_0,Y_1)\in \mathbb{R}^2$ be two vector fields on $\mathbb{R}^2$ such that $X,Y$ are independent on each tangent plane and $[X,Y]:=XY-YX=0$. Then by ...
George's user avatar
  • 465
2 votes
1 answer
84 views

Parameterizing Teichmüller spaces of punctured surfaces

Let $S_{g,n}$ denote a genus $g$ surface with $n$ punctures. There is a map $F$ from the Teichmüller space of the punctured surface $T(S_{g,n})$ to the Teichmüller space of the compact surface $T(S_{g}...
Yousuf Soliman's user avatar
9 votes
0 answers
317 views

Mappings of the sphere (to itself) defined by homogeneous polynomials

Preamble $\DeclareMathOperator\SO{SO}$Let $\mathbb{S}^m\subset \mathbb{R}^{m+1}$ be the standard unit sphere. An observation of Do Carmo and Wallach states that If $G$ is a subgroup of $\SO(m+1)$ ...
Willie Wong's user avatar
  • 37.4k
1 vote
0 answers
85 views

Describing the hyperbolic structure of punctured torus in terms of the period lattice

Let $T$ be a torus, $T^* = T - \{p\}$ be the complement of a point $p$. Let's fix a pair of generators $x,y\in\pi_1(T^*)$. Their images in $\pi_1(T)$ also generate, and will also be denoted by $x,y$. ...
stupid_question_bot's user avatar
1 vote
0 answers
62 views

Extending $G$-equivariant local diffeomorphisms on principal bundles to local bundle maps

Consider a principal $G$-bundle $P$ over the base space $M$ equipped with a connection 1-form $\omega$. Let $\mathcal{U}$ and $\mathcal{V}$ be open subsets of $P$, and suppose $F: \mathcal{U} \to \...
Amin's user avatar
  • 83
5 votes
1 answer
230 views

Bochner Laplacian in coordinates

Sorry if this is a too basic question, but I didn't find an answer anywhere: The connection Laplacian, or Bochner Laplacian, is the differential operator acting on $k$-tensor fields $T\in\Gamma^{\...
B.Hueber's user avatar
  • 987
0 votes
0 answers
44 views

How do I find an algebraic expression for the function $F(ξ, \bar{ξ})$ from this paper?

I am working on understanding the paper "On $C^2$-smooth Surfaces of Constant Width" by Brendan Guilfoyle and Wilhelm Klingenberg. As part of their definition of equations for a 3D surface, ...
Lawton's user avatar
  • 105
2 votes
0 answers
46 views

Smoothness of the Fréchet Function

Let $M$ be a compact Riemannian manifold and $d$ be the induced distance function. Suppose $\mu$ is a probability measure on $M$ with continuous density. The Fréchet function is defined as $$ F(x) = \...
Yueqi's user avatar
  • 21
7 votes
3 answers
605 views

A continuous version of Carathéodory's convex hull theorem

A well-known theorem of Caratheodory states that any point in the convex hull of a set $X\subset R^n$ lies in the convex hull of at most $n+1$ points of $X$. I am wondering about a version of this ...
Mohammad Ghomi's user avatar
3 votes
0 answers
92 views

On the linearized evolution equations in general relativity

The following puzzles me already for quite some time: In mathematical relativity, especially in the discussion of the Cauchy problem, one usually works in the so-called ADM-Formalism, in which one ...
G. Blaickner's user avatar
  • 1,137
5 votes
1 answer
123 views

Regularity requirements for Sard's Theorem

The most common formulation of Sard's Theorem is that for $f\in C^{n-m+1}(\mathbb R^n, \mathbb R^m)$ with $n\ge m$, the set $f(C_f)$ has Lebesgue measure 0, where $C_f=\{x, df(x)=0\}$. Question. Is it ...
Bazin's user avatar
  • 15.1k
0 votes
0 answers
21 views

Is it possible to find the intersection of this involute and roulette, given their parametric equations?

Background I have two parametric curves, and I want to find the parameter values of their intersection point closest to zero under certain conditions. The first curve is an involute of a circle with ...
Lawton's user avatar
  • 105
4 votes
0 answers
289 views

Milnor’s smoothed corners technique for a product of manifolds with boundary and boundary defining functions

Let $M$ be a smooth manifold that we view as the interior of a compact manifold with boundary $\overline{M}$. Let $\rho$ be a boundary defining function for $\overline{M}$, i.e. $\rho$ is smooth, $\...
zarathustra's user avatar
4 votes
0 answers
412 views

A 4th-order linear PDE

I am interested in the following type of $4$-th order linear PDE with $2$ variables (i.e., $x$ and $t$): $x^3 f_{xxxt}+ f =0$ Does anyone know if this type of PDE already appeared in the literature? ...
Math2024's user avatar
1 vote
0 answers
60 views

Does the local family index theorem hold for compact manifolds with corners?

Let $\pi:X\to B$ be a submersion with closed, oriented and spin fibers of even dimension. Suppose $X$ and $B$ are compact, and let $E\to X$ be a complex vector bundle over with a Hermitian metric $g^E$...
Ho Man-Ho's user avatar
  • 1,087

1
2 3 4 5
173