Questions tagged [dg.differential-geometry]

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

Filter by
Sorted by
Tagged with
2 votes
0 answers
39 views

Progess on conjectures of Palis

I came across a "A Global Perspective for Non-Conservative Dynamics" by Palis. He has some conjectures "Global Conjecture: There is a dense set $D$ of dynamics such that any element of ...
NicAG's user avatar
  • 217
2 votes
1 answer
59 views

Jacobi fields in singular metric on quotient space

Consider the square $\Omega = (0,\pi) \times (0,\pi/2) \ni (r,\theta)$ endowed with the Riemannian metric \begin{equation} f^2 \big(\mathrm{d} r^2 + \sin^2(r) \, \mathrm{d} \theta^2 \big), \end{...
Leo Moos's user avatar
  • 4,852
0 votes
0 answers
236 views

Serre's theorem for sheaves [closed]

Serre's theorem for (algebraic) vector bundles (VB) says that a VB over an affine variety is the same thing as finitely generated projective module over the ring of algebraic functions $\mathcal{O}(V)$...
Yilmaz Caddesi's user avatar
1 vote
0 answers
42 views

Does any warped product metric with harmonic Weyl curvature admit a structure of zero radial Weyl curvature?

A Riemannian manifold $(M, g)$ has harmonic Weyl curvature iff its Schouten tensor is Codazzi, and if there exists $f: M \to \mathbb{R}$ such that $W(\bullet, \bullet, \bullet, \nabla f) = 0$, one ...
Matheus Andrade's user avatar
4 votes
1 answer
147 views

Normalizer of solvable linear group is an algebraic group?

I am trying to read the article "Three-dimensional affine crystallographic groups" of Fried–Goldman (Adv. Math., 1983). At some place, it states that if $G$ is a connected solvable closed ...
LeeM's user avatar
  • 41
1 vote
2 answers
141 views

Exterior differential systems on compact three-manifolds and Cartan-Kähler theory

Let $M$ be a compact three-manifold. I am interested in the following equation on $M$: $ d e^i = \sum_{j,k}^3 \Theta^i_{jk} \, e^j\wedge e^k\, , \qquad i =1,2,3$ together with the following condition:...
Bilateral's user avatar
  • 3,042
0 votes
1 answer
77 views

Does any warped product metric admit a function with hessian proportional to the metric?

It is known that the existence of a function with hessian proportional to the metric implies that the metric is a warped product metric. Is the reciprocal true as well? I.e, if $(B \times N, g = g_B + ...
Matheus Andrade's user avatar
3 votes
2 answers
341 views

Compactification of a product of manifolds

Let $M$ be a smooth manifold. We make the assumption that $M$ can be viewed as the interior of a compact manifold with boundary $\overline{M}$. In practice, for an explicit manifold, any ...
zarathustra's user avatar
0 votes
0 answers
97 views

Smooth surface with boundary equal to $N$ distinct lines [closed]

Let's start with the simple observation that if $p_1,\dots,p_N$ are distinct points on $\mathbb{S}^1$ and if $M\subset \overline{B}_1$ is a smooth embedded $1$-dimensional manifold with boundary such ...
No-one's user avatar
  • 888
1 vote
0 answers
61 views

Moser iteration epsilon-regularity for non-linear system in general dimension

I am attempting to prove the following result in general dimension $n$. Given $(M^n,g)$ a Riemannian manifold with $\mathrm{Ric}_g \geq -(n-1)$ and $\mathrm{Vol}_g(B_1(x)) \geq v > 0$ for all $x \...
Curious DeGiorgio's user avatar
1 vote
0 answers
96 views

Conformal laplacian on asymptotically flat manifolds with boundary

Let $g$ be an asymptotically flat metric on $M = \mathbb{R}^3 \setminus B_1$ where $B_1$ is the unit ball. Suppose $X$ is a smooth vector field on $M$ that is decaying exponentially and satisfies $$\...
Laithy's user avatar
  • 731
1 vote
1 answer
95 views

Lie group framing and framed bordism

What is the definition of Lie group framing, in simple terms? Is the Lie group framing of spheres a particular type of Lie group framing? (How special is the Lie group framing of spheres differed ...
zeta's user avatar
  • 151
2 votes
0 answers
87 views

The existence of a positive Green function for the Laplacian on $\mathbb R$

One can show explicitly and easily that the function $G(x,y) = \frac 1 2 |x-y|$ is a positive Green function for the Laplacian $\frac {\mathrm d ^2} {\mathrm d x ^2}$ on $\mathbb R$ (endowed with the ...
Alex M.'s user avatar
  • 5,105
0 votes
0 answers
65 views

A question related to frame bundle of a vector bundle [migrated]

I am currently reading up on principal fiber bundles from a set of lecture notes on the subject, and I am trying to make sense of frame bundle of a vector bundle. Consider a vector bundle $p:E\to M$ ...
neophyte's user avatar
  • 101
4 votes
1 answer
142 views

Bounded covariant derivative of curvature tensor

Let $M$ be a complete Riemannian manifold. Suppose that there are positive constants $i_0$ and $K$ such that the injectivity radius of $M$ is at least $i_0$ and $|\mathrm{Rm}|\le K$ and $|\nabla \...
Anton Petrunin's user avatar
1 vote
0 answers
116 views

Minimal first Pontryagin class $p_1=1$?

From Hirzbuch theorem, the signature of 4-manifold $\sigma = p_1/3$ with the first Pontryagin class $p_1$. I know that the $\sigma=p_1/3 =1$ so $p_1=3$ for complex projective space $\mathbb{P}^2$. Is ...
zeta's user avatar
  • 151
0 votes
0 answers
110 views

Non-spin 3-manifold as a boundary, extension to a spin 4-manifold [closed]

What are the possible non-spin 3-manifolds $M$ whose extension of 3d $M$ to 4d $N$ can have such that $N$ be a spin 4-manifold? What are some nice examples? I want to have such a spin 4-manifold $N$ ...
zeta's user avatar
  • 151
1 vote
1 answer
94 views

How do we calculate the gradient of this function defined using the Riemannian logarithm on a Riemannian manifold?

We consider the following function $\psi$ on an open subset $V\subset M,$ a Riemannian manifold of dimension $m,$ so that $\exp_p:U\to V$ is a diffeomorphism with its inverse $\log_p: V\to U$. Let $v\...
Learning math's user avatar
4 votes
1 answer
110 views

Convex hull of 3 points in Cartan-Hadamard manifolds

Can the convex hull of $3$ points in a Cartan-Hadamard manifold be smooth? A Cartan-Hadamard manifold $M$ is a complete simply connected manifold with nonpositive curvature (so it includes the ...
Mohammad Ghomi's user avatar
4 votes
2 answers
211 views

Convergence of metric spaces of increasing dimension

Given two metric spaces we can define the Gromov-Hausdorff (GH) distance. There are compactness results stating that a sequence of manifolds of a fixed dimension, with a uniform lower Ricci bound and ...
theflame's user avatar
2 votes
1 answer
106 views

string bordism group and framed bordism group for $d \leq 6$ and $d \geq 7$

Why do the string bordism group and the framed bordism group coincide the same in dimensions lower than 7 ($d = 0,1,2,3,4,5, 6$)? Why do the string bordism group and the framed bordism group differ ...
wonderich's user avatar
  • 10.3k
3 votes
1 answer
120 views

Derive distributional inequalities from pointwise estimates

My question is how to prove the following claim: Suppose that $E$ is an algebraic set in $\mathbb{R}^n (n\ge3)$ with dimension $\le n-2$, and $u$ is locally Lipschitz continuous on $\mathbb{R}^n$. If ...
William's user avatar
  • 33
0 votes
1 answer
105 views

Decompositions of $\partial_i$ to the radial direction and rotations in higher dimensions

We know in dimension $3$, \begin{align} \partial_{i}= \frac{x_i}{r} \partial_{r} - \varepsilon_{ijk} \frac{x^j}{r} \frac{R^k}{r} , \end{align} where $\varepsilon_{ijk}$ are Levi-Civita symbols ...
lsb's user avatar
  • 35
5 votes
0 answers
108 views

Gauge Lie groupoid associated to $SO(3)$ double cover

From each Lie group $G$ and principal $G$-bundle $P \rightarrow E$ one can form an associated (or gauge) Lie groupoid as the quotient of pair groupoid by the action of $G$ on $P \times P$ $$ \frac{P \...
Alexander Golys's user avatar
4 votes
1 answer
130 views

Examples of hyperbolic manifolds of dimension $\geq$ 3 with disjoint totally geodesic hypersurfaces

I am hoping to find examples of compact hyperbolic manifolds with at least 2 disjoint totally geodesic hypersurfaces. Ideally, I would like examples in dimension at least 4, though 3-dimensional ...
ಠ_ಠ's user avatar
  • 5,877
3 votes
0 answers
212 views

Critical points up to smooth homotopy

Let $M$ and $N $ be closed connected smooth manifolds of dimension $n$. Let $f: M\rightarrow N$ be a smooth function and not null-homotopic. Is there a smooth homotopy $H: [0,1]\times M\rightarrow N$ ...
GSM's user avatar
  • 261
1 vote
1 answer
65 views

Is any globally-hyperbolic manifold conformally equivalent to one with complete slices?

Let $(M,g)$ be a globally-hyperbolic Lorentzian manifold. By the seminal work of Geroch and Bernal-Sánchez, we know that $$M=\mathbb{R}\times\Sigma,\,\,\,\quad g=-\beta^{2}dt^{2}+h_{t}$$ where $\Sigma$...
G. Blaickner's user avatar
  • 1,061
1 vote
1 answer
112 views

Curve length in the Sasaki metric

I am trying to read Appendix II.A.2 (Distances in the tangent bundle) in Canary, Epstein, Marden (eds.), Fundamentals of Hyperbolic Manifolds: Selected Expositions and am stumbling over a calculation ...
Jochen Trumpf's user avatar
2 votes
1 answer
80 views

reference for reading Schoen Yau positive mass theorem proof II

I am trying to read the paper by Schoen and Yau, Proof of the Positive Mass Theorem II. The notation is very different from what I am familiar with (basically Robert Wald's book on general relativity)....
Bowen Zhao's user avatar
7 votes
0 answers
497 views

What's the point of geometric representation theory?

Please forgive the provocative title, what I mean is the following: One can find representations of Lie algebras in geometric settings, the most famous being the Bott–Borel–Weil theory. However, ...
Béla Fürdőház 's user avatar
0 votes
0 answers
85 views

Smooth surface containing the singularity of a spatial curve

$\DeclareMathOperator\dist{dist}$Let $\gamma$ be a $C^1$ spatial curve (one dimensional real $C^1$ submanifold of $\mathbb R^3$) which except for one point $p\in\gamma$ is smooth ($\gamma\setminus\{p\}...
user798883's user avatar
0 votes
0 answers
34 views

Renormalized limit measure on a splitting Ricci limit space

I'm reading Cheeger&Colding's On the structure of spaces with Ricci curvature bounded below. I recently. In the proof of proposition 1.35 as follows. I got some questions: Proposition 1.35. Let $\...
eulershi's user avatar
  • 241
2 votes
0 answers
71 views

What is known about warped product metrics satisfying conditions more general than conformal flatness?

In this paper, the authors characterize warped product metrics which are conformally flat (the fibers must have constant sectional curvature, on some cases there is a limitation on the number of ...
Matheus Andrade's user avatar
0 votes
0 answers
65 views

Tangent spaces of Lipschitz sub manifolds

Consider $\mathbb{R}^n$, $k<n$, and topological embeddings (homeomorphisms onto image) $f_i : \mathbb{R}^k \supseteq B_1(0) \to \mathbb{R}^n$, $i=1,2$, which are also Lipschitz continuous and ...
jsb's user avatar
  • 333
0 votes
0 answers
38 views

different definitions of holomorphic bisectional curvature

Peter Li and Jiaping Wang defined holomorphic bisectional curvature in their paper as follows: Assume that $M^m$ is a Kahler manifold of complex dimension $m$. Let $ \{e_1, \cdots , e_m\} $ be a ...
HeroZhang001's user avatar
0 votes
0 answers
40 views

Rotational invariance of Laplace-Beltrami eigenvalue problem on smooth manifolds

I am currently looking at the eigenvalue problems of the Laplace-Beltrami operator. Let $(M,g$) be a smooth and oriented Riemann manifold. I am investigating the eigenvalue problem of the Laplace-...
SebastianP's user avatar
3 votes
0 answers
49 views

Covariant derivative $\nabla_{\dot{\gamma}} \dot{\gamma}$ of constrained velocity vector $\dot{\gamma}$ by distribution $B$ and bounded map $\delta_i$

I have been studying differential geometry for a while. The subject is hard to grasp at first, but gets easier once one understands the main concepts. One of them are covariant derivative $\nabla_X Y$....
Usuário 6789's user avatar
0 votes
0 answers
42 views

Sufficient conditions for chain recurrent set equal to set of non wandering points

Given a generic diffeomorphism, I know that the set of nonwandering points is contained in the chain recurrent set, but the converse is not always true. Is there some sufficient conditions under which ...
giangian's user avatar
  • 101
3 votes
0 answers
87 views

Asymmetric minimal surfaces in $H^3$

Inspired by this question, are there any explicit parameterizations of asymmetric minimal surfaces in $\mathbb{H}^3$? E.g. something like the minimal surface which lies over the ellipse given by $$y^2 ...
JMK's user avatar
  • 153
2 votes
0 answers
96 views

Changing the sign of the moment map in the Seiberg Witten equations

The Seiberg-Witten equations on a closed four manifold $$ D_A \varphi = 0, F_A^+ = \mu(\varphi) $$ are elliptic (up to gauge transformations), and so the equations $$ D_A \varphi = 0, F_A^+ = -\mu(\...
user2271513's user avatar
5 votes
0 answers
164 views

$C^1$ manifold with complex structure

Let $M$ be a manifold. A complex structure on $M$ is an endomorphism $J \in \text{End}(TM)$ such that $J^2 = -\text{id}$ together with the vanishing of the Nijenhuis tensor. If $J$ is real-analytic, ...
Chicken feed's user avatar
0 votes
1 answer
140 views

Going from piecewise to genuine geodesic without decreasing number of intersections?

Let $(M^2,g)$ be a complete, two-dimensional Riemannian manifold be given; also given is $\gamma: [0,\infty) \to M$, an injective geodesic in $M$. Suppose there are two geodesic segments $\gamma_i : [...
Leo Moos's user avatar
  • 4,852
16 votes
0 answers
363 views

Is the oriented bordism ring generated by homogeneous spaces?

I am trying to find a Riemannian geometrically well-understood set of generators of the oriented bordism ring, including the torsion parts. By a set of generators, I mean that the set generates the ...
Zhenhua Liu's user avatar
0 votes
0 answers
90 views

Integration by parts over $R^n$ [migrated]

Let $\mu$ be a probability measure over $\mathbb{R}^n$. Let $f$ and $g$ be two real-valued functions on $\mathbb{R}^n$. I would like to compute $$\int_{\mathbb{R}^n} \nabla f(x) g(x) \, d\mu(x). $$ I ...
Quarth's user avatar
  • 1
12 votes
3 answers
920 views

Area of a smooth complex projective curve

Let $P(X,Y,Z)$ denote a homogeneous polynomial in $\mathbb{C}[X,Y,Z]$ such that $X_P = \{(u : v : w) \in \mathbb{C}\mathbb{P}^2 \mid P(u,v,w) = 0\}$ defines a smooth complex projective curve in $\...
Daniel Asimov's user avatar
1 vote
1 answer
328 views

Topological degree of differentiable map using line integrals?

Let $f:\mathbb R^2 \to \mathbb C$ be a $C^1$ function that vanishes at a point $x_0.$ I can then define $$-i \int_{\gamma_\varepsilon} \nabla \log(f(s)) \cdot ds := - i \int_0^1 \nabla (\log f)(\...
António Borges Santos's user avatar
1 vote
0 answers
97 views

Planar sections of convex sets in Cartan-Hadamard manifolds

Let $X$ be a convex set in Euclidean space $\mathbf{R}^n$ and $p\in\mathbf{R}^n$ be a fixed point. Then any plane $\Pi$ passing through $p$ intersects $X$ in a convex set. Conversely, this property ...
Mohammad Ghomi's user avatar
3 votes
1 answer
321 views

Does Hermite-Einstein imply Kähler-Einstein?

Let $M$ be a compact Kähler manifold and let $\nabla$ be its Levi-Civita, or equivalently its Chern, connection. Denoting the vector bundle of complexified one forms of $M$ by $\Omega^1_{\mathbb{C}}$, ...
Didier de Montblazon's user avatar
0 votes
0 answers
115 views

Dirac distribution on a manifold $M$ as a smooth manifold in $C^1(M)^*$, question about its dimension

I have not learned many knowledges on differential geometry, I met this when trying to read the min-max scheme in PDE on manifold, which is in Section3.1. Let $M_1= \delta_{x_i}$, $x_i \in M$. For $\|...
Elio Li's user avatar
  • 597
3 votes
1 answer
215 views

1D topological defects in $d>3$ spatial dimensions

I am trying to construct a 1D topological defect solution in 4 spatial dimensions, i.e., a solution to some PDE (likely the equations of motion of some Lagrangian) on $\mathbb{R}^{4}$ which is ...
math_lover's user avatar

1
2 3 4 5
171