Questions tagged [transversality]
The transversality tag has no usage guidance.
24
questions
4
votes
0
answers
92
views
Relative Thom transversality and the D-topology
Suppose we are given a smooth manifold $M$ and, for the sake of simplicity, some compact submanifold $L\subseteq M$ of the same dimension, as well as $f\in C^{\infty}(M,N)$ and some submanifold $V\...
- 131
1
vote
0
answers
81
views
A question regarding how Thom-Boardman strata sit in their closures
I just started learning about these things, so there is a chance I might have misunderstood some things. My apologies if that is the case.
Some context. Suppose that we are given a differentiable map $...
- 131
2
votes
0
answers
48
views
On bounded solutions of a given fourth-order linear ODE
Consider the fourth-order linear ODE
$$
\label{eq1}
v^{(4)} + \frac{-C_2 - 2\alpha \phi}{C_4}v'' + \frac{4\alpha \phi'}{C_4}v' + \frac{k_1 + 3k_3\phi^2 -2\alpha \phi''}{C_4}v = 0.
$$
Without getting ...
- 121
3
votes
0
answers
131
views
The boundary of the transversal pre-image of a submanifold with boundary
A similar question on MSE without answer.
Let $M, N$ be smooth manifolds such that $\partial N=\varnothing$. Let $A$ be a smoothly embedded submanifold of $N$ such that $\partial A\neq \varnothing$. ...
- 813
1
vote
1
answer
116
views
Transversal pre-image of a small enough trivial tubular neighborhood contains a trivial tubular neighborhood
A similar post on MSE without answer.
Let $f\colon M'\to M$ be a smooth map between two orientable closed smooth manifolds and $S$ be a smoothly embedded closed orientable submanifold of $M$ of co-...
- 813
5
votes
1
answer
147
views
Transversality and $C^l$, $C^{\infty}$ spaces of almost complex structures
Recently I have been trying to get a grip on transversality results in Floer homology. That is suppose we the section $\partial_{J,H}: W^{1,p}(u^*(TM))\rightarrow L^{p}(u^*(TM))$ and we want to prove ...
- 751
2
votes
0
answers
159
views
Genericity of an induced projection map
I am cross-posting a question asked on Math Stackexchange that has not been answered, in which I am still interested in.
Let $X,Y$ be smooth manifolds, $S'$ a submanifold of $Y$, and $f:\mathbb{R}\...
- 31
1
vote
0
answers
28
views
Existence of closed transversals for taut foliations in arbitrary codimension
There are several different definitions of "tautness" for foliations, the most widely know is probably topological tautness, which is specific to codimension one and means that the foliation ...
- 343
1
vote
0
answers
131
views
Transversality theorem for maps between fiber bundles
I am looking for a possible generalization of the standard Trasversality Theorem which roughly says that transverse maps are generic. For example, see the version below:
From page 74, Theorem 2.1 in ...
- 11
3
votes
1
answer
114
views
Almost geodesic on non complete manifolds
Let $M$ be a connected manifold equipped with a connection $\nabla$. By Hopf-Rinow theorem, we know that if $M$ is complete then for any $x,y$ there exist a curve $\gamma:[0,1] \to M$ such that $\...
- 1,836
1
vote
0
answers
75
views
Stratification of the space of maps transverse to another given one
If $M,N,S$ are manifolds ($M$ and $S$ compact) and $g:S\to N$ is a smooth map, then if we endow $C^\infty(M,N)$ with the strong topology we get that
$$\pitchfork(M,N;g):=\{f\in C^\infty(M,N)\,;\,f\...
- 31
9
votes
1
answer
285
views
Every immersion can be deformed to have only transverse self-intersections
I asked this question some time ago in MSE, but obtained no answer. Maybe this is the right place to post it.
Let $f : M^n \to \overline{M}^{n+k}$ be an immersion between smooth manifolds. Is it true ...
- 2,073
3
votes
1
answer
208
views
Finite-dimensional argument for Morse-Smale pairs?
Using the Sard-Smale theorem, it is relatively easy to show that Morse-Smale pairs on a manifold $M$ (i.e. pairs $(f,g)$ where $g$ is a metric on $M$, $f$ is a Morse function on $M$, and the stable/...
- 1,175
2
votes
0
answers
128
views
Transversality for algebraic spaces
$\DeclareMathOperator\dim{dim}$I want to apply EGA IV 4, Proposition 17.13.2 to a cartesian diagram
of algebraic spaces over a fixed scheme $S$.
I know the relative dimensions $\dim(\mathfrak{X}'/S)...
- 91
2
votes
0
answers
97
views
Homotopy type of transversal families of submanifolds through deformation
Let $A,B \subset M$ be two transversal submanifolds of a compact manifold $M$. It seems rather intuitive that if $A$ and $B$ are deformed (say smoothly) in a way that they remain transversal to each ...
- 1,197
7
votes
1
answer
232
views
perturbing one map to be transverse to a second map
Let $f\colon M \to N$ and $g\colon A \to N$ be two smooth maps between manifolds $A,M,N$.
Can one perturb $f$ to be transverse to $g$ (without touching $g$)?
Transverse meaning: For every $y\in f(M)\...
1
vote
0
answers
60
views
Deformation sublevel sets of functions which preserve boundary
I'm interested in proving the following fact, which seems to naturally arise from gradient flow deformations, but appears to be a bit tricky.
Consider a smooth family
$$f_s : M \to \mathbb{R}, \quad ...
- 1,197
2
votes
0
answers
177
views
Thom's (parametric) transversality theorem in the complex case
I need a version of the parametric transversality theorem for the complex case. The original one is:
Let $M,\ N,\ Z,\ S$ be smooth manifolds. If a smooth map $F\colon M\times S \rightarrow N\supset ...
- 371
4
votes
0
answers
243
views
English language and Mathematics
I have a question maybe more relevant to an English language section of StackExchange, but I doubt that anybody but a Mathematician could properly answer my question.
Let $\mathcal M$ be a smooth ...
- 14.8k
4
votes
0
answers
189
views
infinite-dimensional transversality theorem and its application on the universal moduli space of pseudo-holomorphic curves
We would like to discuss Proposition 3.2.1 in McDuff&Salamon's book "J-holomorphic Curves and Symplectic Topology(Second Endition)".
Let me first remind you some background. Let $\Sigma$ be a ...
- 2,709
18
votes
1
answer
1k
views
Topological transversality
Warmup question:
Let us say that two continuous functions $f,g:[0,1]\to \mathbb R$ are topologically transverse if their difference $f-g$ has only finitely many zeros, and each zero separates an ...
- 42.1k
2
votes
1
answer
284
views
Computing tangent spaces of resolutions to Slodowy slices
This question is about (a special case of) the varieties discussed here: Does the preimage of the Slodowy slice in $T^*G/P$ have a name?.
Let $G = SL_n(\mathbb{C}), \mathfrak{g} = \mathfrak{sl}_n(\...
- 2,126
3
votes
1
answer
342
views
General position argument for reasonable spaces
Let $\mathcal{D} \approx \mathbb{P}^{\delta_d}$ be the space of non zero homogeneous degree $d$ polynomials in three variables up to scaling, where
$\delta_d:= \frac{d(d+3)}{2} $. Given a point $p \...
- 3,225
4
votes
3
answers
558
views
What is the easiest way to show that three lines in two dimensional space do not intersect?
I have two similar questions:
1) Let $X$ and $Y$ be two measure spaces. Suppose for every point
$x \in X $ there exists a set $ \mathcal{U}_x \subset Y $ of full
measure in $Y$. Suppose $V \subset ...
- 3,225