Questions tagged [orientation]
The orientation tag has no usage guidance.
35
questions
4
votes
1
answer
108
views
Orientation bundle and its flat connection
Let $M$ be a smooth $n$-manifold (which is not assumed to be orientable), and write $o(TM)\to M$ for its orientation bundle. Equivalently, it is the top exterior bundle $\Lambda^n(TM)\to M$. In any ...
0
votes
0
answers
53
views
Proving an equality of differential forms by assuming some perhaps topological condition
Let say I want to show two differential forms $\omega_1$ and $\omega_2$ on a smooth manifold $M$ are equal. Of course it suffices to show $\omega_1=\omega_2$ locally, i.e. the equality holds over ...
2
votes
1
answer
176
views
Necessary and sufficient conditions for pseudo Riemannian manifold to be time orientable
It is well known that a smooth manifold $M$ is orientable if the first Stiefel-Whitney class of the tangent bundle vanishes. In particular, this implies that if $M$ is equipped with a pseudo-...
2
votes
1
answer
214
views
Associativity of orientations of determinant bundles in Floer homology
I have been reading the paper "Coherent orientations for periodic orbits problems in symplectic geometry" by Floer and Hofer, trying to understand how we can orient the moduli spaces that ...
5
votes
1
answer
157
views
Finding a volume form on a fibre of a submersion between oriented manifolds
Let $f:X\to Y$ be a submersion between orientable smooth manifolds of respective dimensions $n,p$ and let $j:M=f^{-1}(y)\hookrightarrow X$ denote the inclusion of some fibre of $f$.
My naïve (I am ...
4
votes
2
answers
217
views
On the “Non-conservation of parity in weak interactions”
Kostrikin and Manin, in their Linear Algebra and Geometry, state that:
(The excerpt is on pp. 42-43.)
The statement comes after a proof of general linear group over reals having two connected ...
2
votes
0
answers
98
views
Invariance of $\mathrm{SO}(3)$ dynamics when expressed via Euler angles
$\DeclareMathOperator{\SO}{\operatorname{SO}}$I am trying to understand the properties of the $\SO(3)$ Lie Group but when expressed via Euler angles instead of rotation matrix or quaternions.
I am ...
1
vote
0
answers
137
views
A query on Galvin's theorem for bipartite graphs
The Galvin's theorem is the generalized version of Dinitz conjecture that states that if the maximum degree of any bipartite graph is $\Delta$, then its edges are colorable properly if each of its ...
1
vote
0
answers
124
views
Nontrivial integer homology class implies orientability
I posted this question on MSE and I would like to see if my reasoning is correct.
Let $M^3$ be a compact, connected and oriented $3$-manifold with nonempty boundary and let $\Sigma^2$ be a compact and ...
8
votes
1
answer
907
views
An orientable surface that cannot be embedded into $\Bbb R^3$? [duplicate]
I previously asked this question on MSE, without success.
By Whitney's embedding theorem, every 2-dimensional manifold (aka. a surface) can be embedded into $\Bbb R^4$.
Now, Wikipedia states in this ...
10
votes
0
answers
427
views
When does a graph have a minimally strong orientation?
Given an asymmetric relation $A\subseteq V^2$ a digraph $D=(V,A)$ is minimally strong iff $D$ is strongly connected and for all arcs $\alpha\in A$ the digraph $D−\alpha=(V,A\setminus\{\alpha\})$ is ...
11
votes
1
answer
437
views
Reference on complex cobordism
I am trying to study a little of algebraic cobordism and I lack background from the classic setting. Hence, I am looking for a textbook or expository writing covering the basics of complex cobordism.
...
1
vote
2
answers
406
views
Is there a notion of a connection for which the horizontal lift of a curve depends on its orientation?
Given a fiber bundle $\pi:E\to M$, a curve $\gamma:[0,1]\to M$, and a point $p \in \pi^{-1}(\gamma(0))$, a connection on the bundle allows us to uniquely lift $\gamma$ to a horizontal curve in E ...
3
votes
0
answers
86
views
Relation between the orientation sheaves of the interior and the boundary of a topological manifold
Let $(M, \partial M)$ be an $n$-dimensional topological manifold with boundary. Let $\mathcal{O}_{M \setminus \partial M}$ and $\mathcal{O}_{\partial M}$ denote the orientation sheaves of $M \setminus ...
28
votes
1
answer
1k
views
Does the Gauss-Bonnet theorem apply to non-orientable surfaces?
I hesitated for a long time to ask such an elementary-seeming question on Math Overflow, but when I asked and bountied it on Math SE, I found that a few experts seem to disagree on the answer, and I ...
0
votes
1
answer
65
views
Orientations in connected bridgeless graphs
Let $n\geq 3$ be an integer, set $[n] = \{1,\ldots,n\}$ and let $G=([n],E)$ be an undirected connected bridgeless graph. Is there an orientation (explanation below) of $G$ such that for all $a\neq b\...
8
votes
1
answer
624
views
Does an oriented $S^3$ fiber bundle admit the structure of a principal $SU(2)$-bundle?
Let $S \to X$ be an $S^3$-fiber bundle over a smooth manifold $X$. If $S$ is an oriented manifold does this fiber bundle admit the structure of an $SU(2)$-principal bundle?
There is a similar theorem ...
17
votes
2
answers
3k
views
Examples of interesting non orientable closed 3-manifolds
In dimension 2, there are two remarkable non-orientable closed manifolds, the projective plane (from synthetic geometry; has the fixed point property; algebraic compactification of the plane etc) and ...
11
votes
1
answer
282
views
Is there a well-known notion of orientability for finite geometries?
I'm wondering if the notion of an orientable/non-orientable manifold has any reasonable extension that allows for a similar classification of finite geometries.
For example, the real projective plane ...
8
votes
1
answer
564
views
A topological group which is also a (not necessarily smooth) manifold is orientable
I am trying to show that a topological group which is also a (not necessarily smooth) manifold is automatically orientable. I know of a proof involving transition functions for smooth manifolds, in ...
0
votes
1
answer
159
views
Orientability and higher dimensional Moebius strip
A compact surface is non-orientable if and only if there is a Moebius strip on it. Is there a similar result in higher dimension?
More specifically, at least in the smooth setting, we can define a ...
4
votes
0
answers
314
views
Proving that an $E$-oriented manifold has an $E$-oriented normal bundle
This is the setting we are working in:
$M$ is a closed, smooth $n$-manifold embedded in $\mathbb{R}^{n+k}$ with a chosen embedding $e\colon M^n\to \mathbb{R}^{n+k}$. It is $E$-oriented, for $E$ a ...
5
votes
1
answer
280
views
Orientability of orbit type strata of Lie group actions
Let $G$ be a compact Lie group that acts on a smooth, finite dimensional, oriented manifold $M$, and suppose that such action preserves orientation, i.e., for each $g\in G$, the diffeomorphism $\mu_g$ ...
6
votes
1
answer
177
views
non-orientability of vector bundles induced from a symmetric group action
Let $\Sigma_k$ be the symmetric group on $k$-letters. Let $M$ be a manifold with a free $\Sigma_k$-action. Then we can form a $k$-dimensional vector bundle
$$
\xi:\mathbb{R}^k\longrightarrow M\times_{\...
2
votes
0
answers
186
views
Constrained absolute orientation of 3D point sets
Let us assume we have two 3D point sets, $P=\{p_i\}$ and $Q=\{q_i\}$, and that we need to recover the transformation that takes $P$ as close to $Q$ as possible. In particular, I am interested in roto-...
0
votes
1
answer
305
views
Petersen 2-factor decomposition theorem for directed graphs
Petersen proved that every 2k-regular graph can be decomposed into k disjoint 2-factors. I would like to know that is it true that if G is a directed regular graph (d_out(v)=d_in(v)=k), then can G be ...
6
votes
1
answer
950
views
Fundamental class in K-theory and orientability
In ordinary homology, the classical results give the following situation:
for a compact, connected, topological manifold $M$ of dimension $n$ we have, for each ring $R$, that $H_n(M,M \setminus \{x\};...
0
votes
1
answer
138
views
Orientability of Stiefel manifold V2(R4) [closed]
What is an easy proof of orientability of Stiefel manifold $V_2(\mathbb{R}^4)$ (pairs of orthonormal vectors from $\mathbb{R}^4$ - subset of $\mathbb{R}^8$)? All proofs I found deal with Lie groups ...
2
votes
1
answer
172
views
A self-homeomorphism of $L_{p,q}$ is isotopic to one which preserves heegaard splitting
Consider the lens space $L_{p,q}$, which we can describe using its standard heegaard splitting, i.e. define $L_{p,q}$ as a quotient of two solid tori, identifying meridians on the boundary of one with ...
14
votes
1
answer
512
views
Does the signature admit a homotopy coherent refinement?
Cobordism genera can often be refined to $E_\infty$-orientations in the sense of Ando-Blumberg-Gepner-Hopkins-Rezk:
1) the mod 2 Euler characteristic $MO\to H\mathbb{F}_2$;
2) the $\widehat A$-genus ...
4
votes
4
answers
1k
views
Picturing a Certain Torus and Klein Bottle
The other day I was explaining orientability to someone and we were walking through some of the statements about orientability on the Wikipedia page on the topic. While I was able to satisfy his ...
3
votes
1
answer
483
views
Lefschetz Fixpoint theorem for non-orientable manifolds
The classical lefschetz fixpoint theorem is stated for oriented compact manifolds $M$ and a smooth map $f:M\to M$ as follows:
the intersection number $I(\Delta, \mathrm{graph}(f))$ is equal to the ...
0
votes
0
answers
495
views
Orientation predicate CG
Shewchuk 97 gives me the orientation of 4 points, by finding the sign of a determinant, where the matrix is composed of the coordinates of the points. So, the signed volume of a tetrahedron, or which ...
2
votes
1
answer
2k
views
Orientation Sheaf and Double Cover
The orientation sheaf of an $n$-manifold $M$ is $\mathcal{O}_n=Sheaf(U\mapsto H_n(M,M-U;\mathbb{Z}))$, with stalks given by $(\mathcal{O}_n)_x = lim H_n(M,M-U)=H_n(M,M-x)=\mathbb{Z}$ (the limit is ...
13
votes
3
answers
1k
views
Orientation and generalized cohomology theories
Let h* be a multiplicative generalized cohomology theory and $E \rightarrow X$ a real vector bundle.
Is it true that, if $E$ is orientable with respect to h*, then it is also orientable with respect ...