Manifold Definition and 336 Threads

Suppose we have n vector fields ## Y_{\left(1\right)},\ldots,Y_{\left(n\right)} ## such that at every point of the manifold they form a basis for the tangent space at that point . I have to prove that: $$\frac{\partial Y_\mu^{\left(\sigma\right)}}{\partial x^\nu}-\frac{\partial...

My idea is as follows. Each mode of the quark field is characterized by a wave vector k. Each wave vector corresponds to a point in k-space. This set of points representing different modes forms a manifold. Each point in k-space can be assigned a three-dimensional vector space that represents...

How do I find the metric tensor on ##S^1## x ##S^2##?

Why do we need second countable and Hausdorff conditions for manifold definition?

I'm reading a paper and there is a proof that the double of a compact locally conformally flat Riemannian manifold with totally geodesic boundary again carries a locally conformally flat structure. The proof is as follows: Let \( (M^n, g) \) be a locally conformally flat compact manifold with...

I have a a very basic question and a followup question. 1. Consider you have a 3-sphere, Ricci flow says it contracts to a point in finite time. So the manifold contracts to its center, correct? 2. Say you have two 3-spheres that stay tangent to eachother, and you connect a line between the...

Hello! There is a proof that Grassmannian is indeed a smooth manifold provided in Nicolaescu textbook on differential geometry. Screenshots are below There are some troubles with signs in the formulas please ignore them they are not relevant. My questions are the following: 1. After (1.2.5)...

what would the universe look like if its a manifold with boundary? what would it look like at the boundary? and what happens if u try to touch the boundary? is it just a black wall that's unbreakable?

Consider the electric and magnetic fields around a dipole antenna, Suppose these fields represent some type of curvature in space and time. Suppose where the fields are strong we have greater curvature. Also suppose these fields are really some very large but finite sum of "moving local...

Hi, as in this thread Newton Galilean spacetime as fiber bundle I'd like to clarify some point about tangent bundle for an Affine space. As said there, I believe the tangent space ##T_pE## at every point ##p## on the affine space manifold ##E## is canonically/naturally identified with the...

Hi, in the definition of fiber bundle there is a continuous onto map ##\pi## from the total space ##E## into the base space ##B##. Then there are local trivialization maps ##\varphi: \pi^{-1}(U) \rightarrow U \times F## where the open set ##U## in the base space is the trivializing neighborhood...

Hi, I found on some lectures the following parametrization of ##SU(2, \mathbb C)## group elements \begin{pmatrix} e^{i(\psi+\phi)/2}\cos{\frac{\theta}{2}}\ \ ie^{i(\psi-\phi)/2}\sin{\frac{\theta}{2}}\\ ie^{-i(\psi-\phi)/2}\sin{\frac{\theta}{2}}\ \ e^{-i(\psi+\phi)/2}\cos{\frac{\theta}{2}}...

Hello there! Book provides the following definition Let ##(P,G,\Psi)## be a free Lie group action, let ##M## be a manifold and let ##\pi : P \rightarrow M## be a smooth mapping. The tuple ##(P,G,M,\Psi,\pi)## is called a principal bundle, if for every ##m\in M## there exists a local...

I am thinking why the following holds: Let f be a smooth function with f: Ω⊂R^m→R. Why is the set {(x,y)∈Ω×R|y=f(x)} a manifold? Would be helpful if you are providing me some guidance or tips:)

Suppose $$ D=\{ (x,0) \in \mathbb{R}^2 : x \in \mathbb{R}\} \cup \{ (0,y) \in \mathbb{R}^2 : y \in \mathbb{R} \}$$ is a subset of $$\mathbb{R}^2 $$ with subspace topology. Can this be a 1d or 2d manifold? Thank you!

Suppose you have the map $$\pi : \mathbb{R}^{n+1}-\{0\} \longrightarrow \mathbb{P}^n$$. I need to prove that the map is differentiable. But this map is a chart of $$\mathbb{P}^n$$ so by definition is differentiable? MENTOR NOTE: fixed Latex mistakes double $ signs and backslashes needed for math

Hi, a clarification about the following: consider a smooth curve ##γ:\mathbb R→\mathbb R^2##. It is a injective smooth map from ##\mathbb R## to ##\mathbb R^2##. The image of ##\gamma## (call it ##\Gamma##) is itself a smooth manifold with dimension 1 and a regular/embedded submanifold of...

<Moderator note: thread split from https://www.physicsforums.com/threads/speed-of-light.1012508/#post-6601734 > Is a manifold with a boundary still a manifold?

Hi, I am missing the point about the application of Darboux theorem to symplectic manifold case as explained here Darboux Theorem. We start from a symplectic manifold of even dimension ##n=2m## with a symplectic differential 2-form ##w## defined on it. Since by definition the symplectic 2-form...

I have to find the center manifold of the following system \begin{align} \dot{x}_1&=x_2 \\ \dot{x}_2&=-\frac{1}{2}x_1^2 \end{align} which has a critical point at ##x_0=\begin{bmatrix}0 & 0\end{bmatrix}##. Its linearization at that point is \begin{align} D\mathbf {f}(\mathbf {x_0}) =...

First time looking at differential forms. What is the difference of the forms over R^n and on manifolds? Does the exterior product and derivative have different properties? (Is it possible to exaplain this difference without using the tangent space?)

String Theory and related theories like M Theory have strong constraints in the number of dimensions where they can be formulated (for example, in the case of M theory, it is only allowed in 11D or in the case of bosonic string theory is only allowed in 26D. Since string theory and related...

Let's play pretend a progressive alien civilisation contacts us and an irrelevant conversation begins. Later on, an alien-scientist says: "by the way, the physical reality contains 9 dimensions. I heard a famous human theorist announced, that it should be 4. You have to touch up." Could the GTR...

I was wondering if anyone knew of a name for such a set, namely a subset S \subseteq \mathbb{R}^n which at every point x \in S there exists no open subset U of \mathbb{R}^n containing x such that S \cap U is homeomorphic to either \mathbb{R}^m or the half-space \mathbb{H}^m = \{(y_1,...,y_m)...

"The group given by ## H = \left\{ \left( \begin{array} { c c } { e ^ { 2 \pi i \theta } } & { 0 } \\ { 0 } & { e ^ { 2 \pi i a \theta } } \end{array} \right) | \theta \in \mathbb { R } \right\} \subset \mathbb { T } ^ { 2 } = \left\{ \left( \begin{array} { c c } { e ^ { 2 \pi i \theta } } & { 0...

I try to understand (almost) complex manifolds and related stuff. Am I right that the condition for almost complexity simply is that the metric locally can be written in terms of the complex coordinates ##z##, i.e. ##g = g(z_1, ... z_m)## (complex conjugate coordinates must not appear)? These...

Suppose I have a R^3 manifold that goes into R^3 charts, if that is possible. The manifold has curvature and is Riemannian and has a metric. I want to eliminate all curvature in R^3 charts, so I want to add another dimension to the manifold, I would extract all the curvature information from the...

[I urge the viewer to read the full post before trying to reply] I'm watching Schuller's lectures on gravitation on youtube. It's mentioned that spacetime is modeled as a topological manifold (with a bunch of additional structure that's not relevant to this question). A topological manifold is...

I am trying to understand the following derivation in my lecture notes. Given an n-dimensional manifold ##M## and a parametrized curve ##\gamma : (-\epsilon, \epsilon) \rightarrow M : t \mapsto \gamma(t)##, with ##\gamma(0) = \mathbf{P} \in M##. Also define an arbitrary (dummy) scalar field...

Edit, the vector that rotates below might not rotate at all. Please forgive any mistaken statements or sloppiness on my part below. I think that by some measure a helicoid can be considered a smooth curved 2 dimensional surface except for a line of points? Consider not the helicoid above...

This is a very simple topology question. Consider two infinite lines crossing at one point. Now, I know that this is not a 1D manifold, and I know the usual argument (in the neighbourhood of the intersection, we don't have a a line, or that if we remove the intersection point, we end up with...

I was wondering if it was possible to determine the size of a manifold globally. Suppose I had a manifold that sits in 3 dimensions. I could construct a Euclidean space around in the same space and be able to say things of the dimensions right?

I was reading about differentiable manifolds on wikipedia, and in the definition it never specifies that the differentiable manifold has a metric on it. I understand that you can set up limits of functions in topological spaces without a metric being defined, but my understanding of derivatives...

Say you have some n dimensional manifold embedded in a higher space. what is the best way to describe or define a point on a manifold with or without coordinates. How could I do this either intrinsically or using the embedded space. Would you use the tangent space somehow using basis vectors?

I am trying to construct a particular manifold locally using a metric, Can I simply take the inner product of my basis vectors to first achieve some metric.

Hi, I'm a bit confused about the locally euclidean request involved in the definition of manifold (e.g. manifold ): every point in ##X## has an open neighbourhood homeomorphic to the Euclidean space ##E^n##. As far as I know the definition of homeomorphism requires to specify a topology for...

They all seem to mean the same thing. I personally have been using locus.

Hi I am currently trying to learn about smooth manifolds (Whitneys embedding theorem and Stokes theorem are core in the course I am taking). However, progress for me is slow. I remember that integration theory and probability became a lot easier for me after I learned some measure theory. This...

Is there a generalized form of the Fourier transform applicable to all manifolds, such that the Fourier transform in Euclidean space is a special case?

I am learning the basics of differential geometry and I came across tangent vectors. Let's say we have a manifold M and we consider a point p in M. A tangent vector ##X## at p is an element of ##T_pM## and if ##\frac{\partial}{\partial x^ \mu}## is a basis of ##T_pM##, then we can write $$X =...

Hello, In the sources I have looked into (textbooks and articles on differential geometry), I have not found any abstract definition of the electromagnetic fields. It seems that at most the electric field is defined as $$\bf{E}(t,\bf{x}) = \frac{1}{4\pi \epsilon_0} \int \rho(t,\bf{x}')...

Let ##M## be an ##n##-dimensional (smooth) manifold and ##(U,\phi)## a chart for it. Then ##\phi## is a function from an open of ##M## to an open of ##\mathbb{R}^n##. The book I'm reading claims that coordinates, say, ##x^1,\ldots,x^n## are not really functions from ##U## to ##\mathbb{R}##, but...

Consider ##X## and ##Y## two vector fields on ##M ##. Fix ##x## a point in ##M## , and consider the integral curve of ##X## passing through ##x## . This integral curve is given by the local flow of ##X## , denoted ##\phi _ { t } ( p ) .## Now consider $$t \mapsto a _ { t } \left( \phi _ { t } (...

Is it possible to introduce the concept of a gradient vector on a manifold without a metric?

Hi, I'm aware of a typical example of injective immersion that is not a topological embedding: figure 8 ##\beta: (-\pi, \pi) \to \mathbb R^2##, with ##\beta(t)=(\sin 2t,\sin t)## As explained here an-injective-immersion-that-is-not-a-topological-embedding the image of ##\beta## is compact in...

I've been studying the Witten-Reshetikhin-Turaev (WRT) invariant of 3-manifolds but have almost zero background in physics. The WRT of a 3-manifold is closely related to the Chern-Simons (CS) invariant via the volume conjecture. My question is, what does the CS invariant of a 3-manifold...

I'm reading "The Geometry of Physics" by Frankel. Exercise 1.3(1) asks what would be wrong in defining ##||X||## in an ##M^n## by $$||X||^2 = \sum_j (X_U^j)^2$$ The only problem I can see is that that definition is not independent of the chosen coordinate systems and thus not intrinsic to...

Hi, a basic question related to differential manifold definition. Leveraging on the atlas's charts ##\left\{(U_i,\varphi_i)\right\} ## we actually define on ##M## the notion of differentiable function. Now take a specific chart ##\left(U,\varphi \right)## and consider a function ##f## defined...

Hey, we had in the lecures the following: Let M and N be smooth manifolds, and dim(M)=dim(N)=n, while $$x^i$$ and $$ y^i$$ are coordinate functions around $$p\in M$$ respective $$F(p) \in N$$, then we get for the pullback of F Which entries has the matrix we take the determinant of? I thaught...

I'm reading a book on Lie groups and one of the first examples is on SL(2,R). It says that every element of it can be written as the product of a symmetric matrix and a rotation matrix, which I can see, but It also makes the assertion that the symmetric matrix can be parameterized by a...