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
1 answer
257 views

Is C^{k+1}(X) compactly contained in C^{k}(X) for a closed manifold X?

Hi all, I apologize if this question is too low level for mathoverflow. I'm happy to move it to math.stackexchange if so. Let $X$ be a closed manifold, let $k$ be a nonnegative integer and let $C^k(...
trex's user avatar
  • 31
2 votes
2 answers
869 views

How else can we describe the volume of a lagrangian submanifold in a Kahler manifold?

Suppose $(V^{2g}, g, \omega, J)$ is an almost Kahler manifold. ie. $(V,\omega)$ is a symplectic manifold with $\omega$-compatible almost complex structure $J$ ($J$ is a symplectomorphism) and such ...
JHM's user avatar
  • 2,254
2 votes
1 answer
537 views

Quermassintegrals as mean curvature integrals

It is well-known that the quermassintegrals $W_{i}$ of a convex body $K\subset \mathbb{R}^{n}$ can be written as a mean curvature integral $$ W_{i}(K)=n^{-1}\int_{\partial K}H_{i-1} d\mathcal{H}^{n-1},...
Sebastian Scholtes's user avatar
2 votes
1 answer
307 views

Connecting tangents of convex curves: at some point orthogonal?

Let $a(t)$ and $b(t)$ be two smooth, nested convex curves in the plane, $t\in[0,1]$:       Suppose the parametrization of $a()$ and $b()$ is such that $\dot{a}(t)$ is ...
Joseph O'Rourke's user avatar
2 votes
1 answer
265 views

Riemannian Hausdorff distance between two conjugacy classes in a compact Lie group

I am interested in the distance between two conjugacy classes in a group like $SO(n)$. However let's consider $U(n)$ for simplicity. My conjecture is that the Hausdorff distance between the conjugacy ...
John Jiang's user avatar
  • 4,354
2 votes
1 answer
189 views

if $N$ is a submanifold of $M$, then what is the relation between $J^1 N$ and $J^1 M$?

I was asking myself if there exists a sort of canonical relation between the standard contact structure on $J^1 N$ and $J^1 M$, for an arbitrary submanifold $N$ of $M$. My starting point is that, ...
agt's user avatar
  • 4,246
2 votes
1 answer
434 views

Density of holomorphic sections

Hello! I am reading an article in which there is the following statement: Let $E\rightarrow X$ be a holomorphic vector bundle. The holomorphic sections of $E$ over a coordinate neighbourhood of $X$ ...
Benjamin's user avatar
  • 977
2 votes
1 answer
452 views

important vector bundles

I was wondering if any vector bundles on a manifold other than the tangent bundle give topological invariants. I guess stiefel Whitney classes also come from the inverse bundle - but other than that.
marc's user avatar
  • 429
2 votes
1 answer
310 views

Seiberg-Witten equation on S^2\times S^1

What are the irreducible solutions of Seiberg-Witten equation on S^2\times S^1? Thanks.
Xuanting Cai's user avatar
2 votes
2 answers
610 views

Homeomorphism between the boundary of the Poincare disc S1 and its Gromov Boundary

Given the Poincare Disc $D$ and its ideal boundary $S^{1}$, I want to construct a homeomorphism between $S^{1}$ and the gromov boundary of $D$, $\partial D$, of equivalence classes of geodesics given ...
FuriousDee's user avatar
2 votes
1 answer
1k views

Harmonic coordinates on Riemannian manifolds

I'm trying to read the paper of Jost and Karcher on the existence of harmonic coordinates on a ball whose size only depend on the injectivity radius and a two sided bound on the curvature. ...
Thomas Richard's user avatar
2 votes
1 answer
423 views

Homology and submanifolds...

I'm reading a paper which includes the following line, and I can't find a reference anywhere to the result the authors mention: "Let M be a compact orientable embedded minimal hypersurface of a ...
Michael Coffey's user avatar
2 votes
2 answers
645 views

Varieties, Frechet Completions, and Regular Functions

Take an algebraic variety $V$, and its set of smooth functions $C^{\infty}(V)$. One can endow $C^{\infty}(V)$ with a canonical locally convex topology (the seminorms are defined using the local ...
John McCarthy's user avatar
2 votes
1 answer
807 views

Frobenius Theorem

Say a manifold M has 3 vector fields S,T and R whose Lie brackets satisfy the equations $[S,T]=R$, $[R,S]=T$ and $[T,R]=S$ Then I suppose the following properties hold for M, There exists a metric ...
Anirbit's user avatar
  • 3,453
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
2 votes
1 answer
184 views

Does the group of compactly supported diffeomorphisms have the homotopy type of a CW complex?

It is known that the group of diffeomorphisms of a compact manifold with the natural $C^{\infty}$ topology has the homotopy type of a countable CW complex. See for instance this thread: Is the space ...
Yasha's user avatar
  • 469
2 votes
1 answer
150 views

Osculating sphere at point of maximal curvature lies to one side

I'm looking for the higher dimensional version of this post, which says that given a curve $\gamma \subseteq \mathbb{R}^2$, the osculating circle will lie to one side of the curve at points of maximal ...
JMK's user avatar
  • 301
2 votes
1 answer
99 views

Why is this subset associated to a $2$-tensor dense?

Let $S$ be a symmetric $(0, 2)$ tensor on a Riemannian manifold $M$. Define $E_S : M \to \mathbb{Z}$ by $E_S(x) = \left(\text{the number of distinct eigenvalues of } S_x\right)$. I've seen the ...
Matheus Andrade's user avatar
2 votes
1 answer
240 views

Make a Riemannian metric real analytic in some coordinates

Suppose I have a smooth (high dimensional) Riemannian manifold, and fix a base point $x_0$. Can I pick a coordinate system near $x_0$ such that the metric is real analytic in some of the variables (...
SnowRabbit's user avatar
2 votes
1 answer
216 views

Existence of diffeomorphism interpolating affine map and identity

$\newcommand{\R}{\mathbb{R}}$Suppose $\Omega$ is a bounded, convex domain in $\R^{m}$. Fix $x_1, x_2\in\Omega$ and an invertible matrix $A\in\mathrm{GL}^{+}(m)$ with positive determinant. Let $U\...
Sven Pistre's user avatar
2 votes
1 answer
265 views

If there exists a function on a Riemannian manifold such that its Hessian matrix is the identity matrix?

In Euclidean space $\mathbb{R}^n$, $n\geq 2$, the Hessian matrix of the function $\frac{|x|^2}{2}$ is the identity matrix. While on a smooth manifold $(M^n, g)$, do there exists a function on $(M^n, g)...
Davidi Cone's user avatar
2 votes
1 answer
132 views

Upper bound on volume growth of area minimizers

Let $M^n$ be a complete simply connected Riemannian manifold with $\operatorname{sec}_M \leq 0$ (i.e. a Hadamard manifold) and assume that there is a constant $a \geq 0$ such that $\operatorname{sec}...
hthi's user avatar
  • 415
2 votes
1 answer
275 views

Volume of submanifold as integral of delta-function

Let $M$ be an $n-m$ dimensional sub-manifold of $\mathbf R^n$ defined by the following set of equations: \begin{equation} f_1(\vec x)=0, \\ \vdots \\ f_m(\vec x)=0, \end{equation} (where $\vec x$ are ...
dennis's user avatar
  • 423
2 votes
1 answer
196 views

On a closed manifold whose curvature is close to "hyperbolic"

$\DeclareMathOperator\Vol{Vol}$In 1.7 on p.224 of the following paper, there is a rigidity result for compact manifolds whose sectional curvature is almost $-1$. Gromov, M.. Manifolds of negative ...
Bo_Y's user avatar
  • 637
2 votes
1 answer
297 views

Determine the form of the wave equation in Minkowski space on the line element $ds^2 = -dt^2 + a(t)(dx^2 + dy^2 + dz^2)$

The wave equation in Minkowski space can be given as $-\frac{\partial^2\phi}{\partial t^2}+\frac{\partial^2\phi}{\partial x^2}+\frac{\partial^2\phi}{\partial y^2}+\frac{\partial^2\phi}{\partial z^2}= ...
xyzijk123's user avatar
2 votes
1 answer
157 views

Are vector bundles acyclic for $\Gamma_c$?

Let $X$ be a paracompact topological space or a manifold (which is not a particular case since the structure sheaves are different). It is well-known that vector bundles (more generally, $\mathcal{O}...
Gabriel's user avatar
  • 943
2 votes
1 answer
140 views

Morse approximation with bounded number of critical points

Let $(M^3,g)$ be a compact Riemannian 3-manifold and let $f\in C^{\infty}(M)$ be a smooth function. Does there exist a constant $k>0$ (possibly depending on $M$ and $g$) such that $f$ can be $C^2$-...
cork_twist's user avatar
2 votes
1 answer
149 views

Hyperboloids in Minkowski geometry

Let $(\mathbb R^{1+2},\eta)$ be Minkowski with the metric $\eta= -dt^2+(dx^1)^2+(dx^2)^2$. Suppose $\Sigma$ is a smooth timelike hypersurface and denote by $h$ the second fundamental form on $\Sigma$. ...
Ali's user avatar
  • 4,077
2 votes
1 answer
111 views

Quasiconformal map from a subset of $\mathbb{C}$ to a polytope

Question. Does a quasiconformal map exist between a subset of $\mathbb{C}$ (such as a unit disc or rectangle) and a polytope? Here, I take a polytope to be a two-dimensional surface that could be ...
Talmsmen's user avatar
  • 577
2 votes
1 answer
362 views

Locally free sheaves and vector bundles over smooth connected projective curve

Let $X$ be a connected smooth projective curve over an algebraically closed field $K$. Let $\mathcal{F}$ be a locally free sheaf on $X$ and $\mathcal{E}$ a subsheaf of $\mathcal{F}$, which is again ...
John117's user avatar
  • 395
2 votes
1 answer
128 views

Infinitely many deformation equivalent Hodge diamonds

Let $S$ be a connected open complex manifold. Let $\phi:X\to S$ be a proper holomorphic submersion with connected fibers. Can the fibers of $\phi$ have infinitely many distinct Hodge diamonds? An ...
user avatar
2 votes
1 answer
217 views

To what extent is a vector bundle on a smooth manifold determined by its restriction to the complement of a closed smooth submanifold?

The question is a follow-up to this one. Let $N\subset M$ be a closed smooth submanifold of codimension $k\geq 1$ of a smooth manifold $M$. Let $E_1\rightarrow M$ and $E_2\rightarrow M$ be two vector ...
anonymous67's user avatar
2 votes
1 answer
277 views

Restriction of diffeomorphisms homotopic to identity to the boundary

Let $M$ be a smooth manifold with boundary $\partial M$. Let $Diff_0(M)$ be the group of all diffeomorphisms homotopic to identity. According to this article (Page 6, section " Beyond mapping class ...
Cusp's user avatar
  • 1,703
2 votes
2 answers
393 views

Reconciling some result about the exponential map, the Chow-Rashevskii theorem, and $\mathrm{Diff}_0(M)$

Let $M$ be a $C^{\infty}$ manifold $C^{\infty}$-diffeomorphic to $\mathbb{R}^d$. I've recently come across some results which I'm trying to reconcile. Let $\mathfrak{X}(M)$ denote the set of ...
ABIM's user avatar
  • 5,019
2 votes
1 answer
110 views

Is it possible to tessellate a torus minus a disk using hyperbolic right-angled pentagons?

I am trying to construct a compact hyperbolic surface tessellated with hyperbolic right-angled polygons with $n \ge 5 $ edges. I found quite easily a way to do it for $n$ even, but the odd case seems ...
Filippo Bianchi's user avatar
2 votes
1 answer
339 views

Applications of Generalized Geometry to Theoretical Physics [closed]

I'm looking for some topics on Generalized Geometry applied to Physics for a master thesis. I took an introductory course last year, and I have a degree in both Mathematics and Physics. I would ...
AeR's user avatar
  • 21
2 votes
1 answer
309 views

Totally geodesic submanifolds of bi-invariant Lie groups

Let $G$ be a Lie group equipped with a bi-invariant metric. I have some questions concerning the totally geodesic and the flat (all sectional curvatures zero) submanifolds of $G$. I known that every ...
Matteo Raffaelli's user avatar
2 votes
1 answer
451 views

Gaussian null coordinates

I find it hard to find information on the so-called "Gaussian null coordinates", which Wikipedia says is used to describe "near horizon geometries". Can someone provide a reference where I can read ...
horropie's user avatar
  • 649
2 votes
1 answer
512 views

Dirichlet problem for manifold, how to prove $W^{1,2}_0(\Omega)$ solution is $C^{2,\alpha}(\bar{\Omega})$?

Let $M$ be an n dimensional Riemannian manifold without boundary. Let $\Omega \subset M$ be a bounded domain with smooth boundary. Let $f \in C^{\alpha}(\bar{\Omega})$, Consider the Dirichlet problem. ...
mathmetricgeometry's user avatar
2 votes
1 answer
237 views

What is the Weak Maximum Principle for Scalars and how is it Derived?

I am currently reading 'Lectures on Ricci Flow' by Peter Topping and I have got to Chapter 3 where he states the 'weak maximum principle for scalars'. Suppose for $t \in [0,T]$ for finite $T$ that $g(...
Hollis Williams's user avatar
2 votes
1 answer
328 views

Poisson equation on noncompact manifold

Let $(M,g)$ be a complete non-compact manifold with bounded geometry, such that the Sobolev embeddings hold and $C^\infty_c$-functions are dense in $L^p_k$ space. For the equation $$\Delta u=f,$$ ...
DLIN's user avatar
  • 1,905
2 votes
2 answers
346 views

Einstein warped product manifold Ricci flat

Let $(M,g)=(N,\ddot{g})\times f(B,\bar{g})$ be an Einstein warped-product manifold Ricci flat (i.e. $Ric=\lambda g$ with $\lambda=0$) where $f:N \rightarrow (0, \infty)$ (positive scalar function) and ...
MathDG's user avatar
  • 242
2 votes
1 answer
320 views

Is the conformal compactification of a convex-cocompact hyperbolic manifold $M$ conformally diffeomorphic to the convex core of $M$?

I am not a hyperbolic geometer, so I apologize if I get anything wrong here, and please correct me. The conformal compactification $\overline {\mathbb{H}^n}$ of hyperbolic $n$-space $\mathbb{H}^n$ ...
ಠ_ಠ's user avatar
  • 5,933
2 votes
1 answer
549 views

Confusion in definition of Gerbes in Hitchin's notes

I am reading Nigel Hitchin's notes to understand about gerbes. It starts the article by saying the following : Before giving a definition, it’s worthwhile to recognize when we, as mathematicians, ...
Praphulla Koushik's user avatar
2 votes
2 answers
485 views

A strongly non-integrable distribution

What is an example of a three-dimensional smooth distribution $D$ of $\mathbb{R}^4$ with this property: Not only $D$ is not integrable but also there is no a two-dimensional ...
Ali Taghavi's user avatar
2 votes
1 answer
246 views

Is Bregman divergence independent of coordinates?

Question Is Bregman divergence free of coordinates? Although it is invariant w.r.t. which local affine coordinate you take, is it possible to prove that it does not change w.r.t. an arbitrary change ...
diadochos's user avatar
  • 163
2 votes
1 answer
140 views

$2$ dimensional foliations of space whose leaves contain the trajectories of a given vector field

Assume that $X$ is a non-vanishing vector field on $\mathbb{R}^3$. Is there a $2$-dimensional foliation of space such that every trajectory of $X$ is contained in a leaf of the $2$-dimensional ...
Ali Taghavi's user avatar
2 votes
2 answers
143 views

Intersection of segments on a plane

Given a set A composed by six non collinear distinct points on the plane, let us consider only the partitions whose elements are pairs of points in A. Then, we call the set of such partitions by P(A). ...
Francesco Ciardiello's user avatar
2 votes
1 answer
405 views

The Lie algebra of gradient vector fields

Assume that $M$ is a differentiable manifold. Is there a Riemannian metric on $M$ such that the space of all gradient vector fields on $M$ would be closed under the Lie bracket?
Ali Taghavi's user avatar

1
113 114
115
116 117
173