Differential geometry is the application of differential calculus in the setting of smooth manifolds (curves, surfaces and higher dimensional examples). Modern differential geometry focuses "geometric structures" on such manifolds, such as bundles and connections; for questions not concerning such ...

learn more… | top users | synonyms (1)

0
votes
0answers
9 views

Reducible to Separable First Order Differential Equation Word Problem in Analytic Geometry 1.4-29

I completed near all problems om a differential equations text chapter on reducing non-separable first order differential equations to separable by using an appropriate substitution for example u = ...
1
vote
1answer
9 views

Reducible to Separable First Order Differential Equation Word Problem in Analytic Geometry 1.4-28

I completed near all problems of a differential equations text chapter on reducing non-separable first order differential equations to separable by using an appropriate substitution for example $u = ...
1
vote
0answers
18 views

Non existence of a non singular vector field on $S^2$

Prove that the unit tangent bundle of $S^2$, $T^1 S^2$, is not diffeomorphic to $S^2×S^1$ by showing that if so there exists a nowhere vanishing vector field on $S^2$ I do not know how to create that ...
8
votes
2answers
74 views

Is there a retraction of a non-orientable manifold to its boundary?

It's easy to show using Stokes theorem that a compact orientable manifold with boundary cannot retract to its boundary, by choosing a volume form. But for the non-orientable case I don't know if this ...
3
votes
0answers
21 views

Second fundamental form of a graph of a function using frame fields

I am trying to recover the second fundamental form $II$ for the graph $\Gamma(f)$ of a smooth real function $f$ in the Euclidean space $\mathbb{R}^3$ using first order frame fields. I have worked with ...
2
votes
0answers
25 views

Connections on principal bundles and vector bundles

In Donaldson and Kronheimer's book on the geometry of four manifolds, a brief review of connections on principal bundles is given. Three equivalent definition are stated: 1) Via horizontal subspaces, ...
4
votes
0answers
43 views

If a thread is pulled out of a floating blob of water, must the thread be tangent to the surface of the blob at some point?

My motivation is the recent question I just answered, and my answer use too many hypothesis that I considered superfluous: Always "one double root" between "no root" and "at ...
0
votes
0answers
18 views

Show differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ is injective

The problem is find to the differential of $f:S^{m}\times S^{n}\to S^{m+n+mn}$ (spheres) defined as $f(x_{0},...,x_{n},y_{1},...y_{n})=(x_{0}y_{0},x_{0}y_{1},...,x_{n}y_{1},x_{n}y_{n})$ and show it is ...
0
votes
1answer
21 views

Differential of rotation matrix at the north pole of sphere

Let T(p) rotate $p\in S^{2}$ by angle $\theta $ about the z-axis. The problem is to compute $dT_{(0,0,1)}$. T can be represented by the usual 3x3 rotation matrix $A_{z}(\theta)$. So $T(p)=A_{z}p$. ...
0
votes
0answers
14 views

Coordinate frames along the bounday of a minimal area (soap-film) surface

I would like to calculate coordinate frames along a closed Bezier (Or Catmull-Rom) spline. One axis should be tangential to the curve, and another axis normal to the minimal-area surface (soap-film ...
1
vote
1answer
24 views

Difference betwee parameterization and embedding of manifolds

What is the difference between embedding and parameterization? Why, for example, we say Gauss parameterization of a convex hypersurfaces, and we don't call it an embedding?
7
votes
2answers
106 views

Smooth surfaces that isn't the zero-set of $f(x,y,z)$

The zero-set of any smooth function $f(x,y,z)$ with a non-vanishing gradient is a smooth surface. I was wondering if the reverse is true: is every smooth surface in $E^3$ the zero-set of some smooth ...
1
vote
3answers
54 views

May directed graph be embedded into manifold?

May directed graph be embedded into manifold?How ?and what is the condition?
2
votes
2answers
35 views

Calculus III: Find the points of the curve…

I have to find the points of the curve $$r\left( t \right) =\left( t,{ t }^{ 2 },{ t }^{ 3 } \right) $$ where the osculating plane passes through the point $\left( 2,-\frac { 1 }{ 3 } ,-6 \right)$.
1
vote
0answers
40 views

The name of this metric.

Does anyone know what metric is the following one in $\mathbb{R}^n$? $g=\sum_{i=1}^{n}(1+x_i^2)dx_i^2+2\sum_{i\neq j}x_i x_j dx_i dx_j$ Thanks in advance.
2
votes
0answers
16 views

Reference for Envelope, Evolute and involute

I have to give a lecture on Envelopes, Evolute and Involute to I year undergraduate students. Please suggest me some books which explain these concepts with examples geometrically. Already I have seen ...
0
votes
1answer
14 views

contraints on equation of a cylinder

(x-a)^2+(y-b)^2 = r^2 any way to adjust this formula to add constraints to the z-axis? recently introduced to the idea this goes forever in z-axis and I want to see if theres way's to adjust formula ...
-4
votes
0answers
42 views

Zeros of vectorial field [on hold]

Given a $M$ manifold in ${\mathbb R}^n$ and $X:M\rightarrow TM$ a vectorial field such that $\pi\circ X=Id$ where $\pi:TM\rightarrow M$ (projection to $M$). One zero of $X$ is such that ...
6
votes
1answer
34 views

Flat connection with non-trivial holonomy? I cannot get it

maybe this is a dumb question, but I cannot understand how a principal $G$-bundle can have non-trivial holonomy with a flat connection. Maybe I'm missing something, but doesn't Ambrose-Singer theorem ...
1
vote
1answer
26 views

A bounded domain can be considered as a compact manifold?

A bounded domain $\Omega$ with smooth boundary $\Gamma$ can be considered as a compact connect Riemannian manifold?
1
vote
2answers
33 views

Is it possible to write the curl in terms of the infinitesimal rotation tensor?

Is it possible to write the curl in terms of the infinitesimal rotation tensor? Basically, we can write the curl as a matrix operator $$ curl=\begin{bmatrix} 0 & -\partial z & \partial ...
0
votes
0answers
23 views

Easy solution to Yamabe problem for surfaces

The Yamabe problem asks if, given a Riemannian manifold $(M,g_0)$, it is possible to find a conformal metric $g$ on $M$ with constant scalar curvature. I would like to know if there is some "easy" ...
0
votes
1answer
27 views

calculate normal field of cylinder and sphere

in a book it is given that the unit normal field of $S^2$ is $N(p)=p$ the identity map. pictorially it is clear to me. But if I take any point on the sphere and multiply(usual scalar product of ...
0
votes
1answer
19 views

How to find these “breaking” points on an offseted curve?

Check the picture: I noticed that for big offset values the offseted curves often "breaks" like this (one or more times). So my question is that what is that point marked with ':-(', and how can I ...
0
votes
0answers
49 views

Connection between differential form of a manifold and Sheaf of relative differential of a map of schemes.

I was wondering whether there is a connection between the differential form of a manifold and Sheaf of Relative differential of a Scheme map. Definitions: Differential form on a manifold M is a map ...
0
votes
0answers
38 views

Derivative with respect to a vector and tensor on a manifold

I am reading through a paper and have come across a statement which I do not fully understand. I paraphrase below. Consider a scalar function $f = ...
3
votes
2answers
87 views

Book for Undergrad Differential Geometry

I am soon going to start learning differential geometry on my own (I'm trying to learn the math behind General Relativity before I take it next year). I got the sense that a good, standard 1st book ...
3
votes
0answers
59 views

Submanifold of $2\times 2$ Complex Matrices Using Transversality?

Let $M$ be the set of all $2\times 2$ complex matrices with $a_{21}=\bar a_{12}$. $M$ is a smooth manifold diffeomorphic to $\mathbb{R}^6$. Let $W$ be the subset consisting of all matrices in $M$ with ...
1
vote
0answers
18 views

Why is $\frac{d}{d \mu} \bigg|_{\mu=0} \, F^*_\mu F^*_\lambda t = F^*_\lambda \frac{d}{d \mu} \bigg|_{\mu=0} \, F^*_\mu t $?

In the book "Manifolds, Tensor Analysis, and Applications" by Marsden, Ratiu, Abraham the following relation (see the proof of 6.4.1, third edition) is used: $$\frac{d}{d \mu} \bigg|_{\mu=0} \, ...
1
vote
1answer
29 views

extension of a local orthonormal frame on a hypersurface

Let $N$ be a $(n+1)$-dimensional Riemannian manifold and $M\subset N$ a Riemannian hypersurface (embedded or immersed). Let $M$ and $N$ be oriented and choose a unit normal vector field $\nu$ along ...
1
vote
0answers
28 views

Why are the charts in this set all $C^\infty$-related?

I'm reading the first volume of Spivak's differential geometry series, and am having a tough time convincing myself of something mentioned in the proof of Lemma 1, Chapter 2. Let $M$ be an ...
2
votes
0answers
55 views

relative sign in Hodge star of tensor product

Let $V$ be a vector space of arbitrary (finite) dimension and let $(V, \langle \ ,\ \rangle, I) = (W_1, \langle\ ,\ \rangle_1, I_1) \oplus (W_2, \langle\ ,\ \rangle_2, I_2)$ be a direct sum ...
0
votes
1answer
32 views

understanding the definition of a regular surface

Let $S\subset \mathbb{R}^3$ be a subset. We call $S$ a regular surface if there exists for every point $p \in S$ an open neighbourhood $V$ of $p$ in $\mathbb{R}^3$, and if, in addition, there exists ...
4
votes
2answers
39 views

Geometrically, what is the stereographic projection of a closed $n$-ball?

To show $\overline{B^n}$ is a $n$-manifold with boundary, apparently there is a trick to use stereographic projection after subtracting out the radius connecting $0$ to the north pole. I'm familiar ...
3
votes
0answers
64 views

Complex structures on Riemann surfaces

Let $M$ be a Riemann surface and $[\alpha] \in H^{0,1}(M; T^{1,0} M) \simeq H^0(M;K^2)$. Considering $\alpha$ as a map $T^{0,1} M \to T^{1,0} M$, the bundle $$ \{v + \alpha(v) \mid v \in T^{0,1} M\} ...
4
votes
1answer
51 views

Submersions and induced homomorphism on fundamental groups

Suppose that $M$ and $B$ are two smooth manifolds and $\Pi:M\rightarrow B$ a submersion (and onto). Fixed $x\in M$ and $b\in B$, is the induced homomorphism $\Pi_{\#}:\pi_{1}(M,x)\rightarrow ...
2
votes
1answer
32 views

Ergodic properties of orthogonal group $O(n)$

The orthogonal group $O(n)$ is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing ...
3
votes
2answers
76 views

How is partial time derivative $\frac{\partial}{\partial t}$ defined for vector flows?

This question emerged when I was thinking about Liouville's theorem of classical mechanics. As far as I understand, the change of any function along the integral curves of Hamiltonian vector field is ...
2
votes
0answers
23 views

Vector Laplace Beltrami operator on surface tangent and surface normal vector field

Consider a closed, compact, embedded surface $f:M \rightarrow \mathbb{R}^3$ and a vectorfield $X$ on the surface that can be decomposed in the surface frame basis $\{e_1,e_2,e_3\}$, where ...
4
votes
1answer
45 views

Canonical connection on $CP^n$

I have heard something along the lines of "There is a canonical $U(1)$ connection on $CP^n$" and I am trying to understand what that means. First I suppose that the sentence refers to a line bundle ...
0
votes
0answers
12 views

A construction on principal bundles

In a paper the principal $Sp(1)$-bundle $P$ over $S^4$ is introduced as follows: let $Sp(1)\times Sp(1)\hookrightarrow Sp(2) \xrightarrow{\pi} S^4$ be the spin structure on $S^4 $. The principal ...
2
votes
2answers
68 views

The meaning of $\omega$ = df?

I'm reading Algebraic Topology by William Fulton and I am a little lost about 1-forms, which I assume to be the number of differentials according to the number of dimensions (correct me if I'm wrong. ...
7
votes
1answer
79 views

Applications of Geometry to Computer Graphics

How is differential geometry (or any type of theoretical math) related to computer graphics and/or computer programming? A friend of a friend of mine has only a bachelors degree in pure math and got ...
3
votes
2answers
42 views

Area of spherical cap with integrals

Given a sphere $S$ of fixed diameter $D$ (or radius $R=D/2$, it will be convenient to have both, I suppose), and a point $P$ on its surface, let's create a ball $B$ of variable radius $r$ with its ...
2
votes
0answers
25 views

Derivative of terminal state w.r.t. the inital conditions.

Let $x\in R^n$ and consider the system $$ \dot{x}=f(t,x) \;\;\mbox{with}\;\; x(0)=x_0 $$ and suppose that we know it's exact or very accurate solution $x(t)$ for the time interval $[0,T]$. I'm ...
0
votes
1answer
47 views

Are distance-related paradoxes limited by the size of an atom?

See these 2 paradoxes: Coastline paradox The coastline paradox is the counterintuitive observation that the coastline of a landmass does not have a well-defined length. ...
1
vote
1answer
14 views

Show a smooth map from a compact, connected, orientable surface to a cyllinder has singular derivative at 2 points.

Let $M$ be a compact, connected, orientable surface in $\mathbb{R}^3$. Let $N$ be the cyllinder in $\mathbb{R}^3$ defined by $x^2+y^2=1$. Suppose $f:M\to N$ is $C^{\infty}$. Show that $f_*:TM\to ...
0
votes
0answers
63 views

Integration by substitution and separation of variables.

Let's say I want to integrate over a sphere $S^2$. Take $f \in (L^1(S^2),dS)$, then we have that $$\int_{S^2} |f| dS = \int_{S^2} |f| \sin^2 (\theta) d \theta d \phi < \infty,$$ right? Now, ...
2
votes
0answers
24 views

Can a quaternionic Kähler manifold be NOT Kähler?

I have an explicit construction of the metric on the quaternionic Kähler manifold $$\mathcal M = \frac{Sp(1, 1)}{Sp(1) \times Sp(1)}.$$ Arranging the four real degrees of freedom into two complex ones ...
6
votes
3answers
72 views

How to know if a tangent bundle is trivial from its defining equations

In this question, I am considering only regular manifolds. A Trivial Bundle The circle $S^1$ is known to have a trivial tangent bundle. As a subset of $\mathbb{R}^4$, the tangent bundle of $S^1$ ...