Intereting Posts

Proving $x\leq \tan(x)$
Projection and Pseudocontraction on Hilbert space
Finding a dual basis for the vector space of polynomials degree less than or equal to 2
The expected payoff of a dice game
What is wrong with this derivation of $\frac{d}{dx}x^2$?
How to find the multiplicity of eigenvalues?
bounded sequence in $L^p(\mathbb{R}^n)$ that converges a.e.
Integral calculus proof
Gradient and Jacobian row and column conventions
On terms “Orientation” & “Oriented” in different mathematical areas?
Krull dimension on localization
help with fourier transform integral
Prove that $f$ is one-to-one iff $f \circ h = f \circ k$ implies $h = k$.
Game Theory Matching a Deck of Cards
What method would you go through to find an $n$ such that $\phi(n)=100$?

For $F:\mathbb{R}^2\rightarrow \mathbb{R}$ given by $F(x,y)=x^3+xy+y^3$, how do I show that $F^{-1}(0)$ and $F^{-1}(1/27)$ aren’t regular submanifolds? I’ve plotted these on Wolfram alpha:

the first one crosses itself at a point (so it’s not a manifold by the standard “remove this point and see it’s got more components than it should” argument)

the second is (edit: the union of) a curve and an isolated point (so it’s not a manifold because it doesn’t have a well-defined dimension).

- Hausdorff measure, volume form, reference
- Locally Euclidean Hausdorff topological space is topological manifold iff $\sigma$-compact.
- Examples of interesting / non-trivial manifolds that are direct products
- How do I know when a form represents an integral cohomology class?
- Different definitions of handle attachment
- Manifold Boundary versus Topological Boundary.

But I don’t know how to prove these level sets actually look like this. What techniques can I use to work out what they look like?

- Can I flip orientation at a point of a non-orientable manifold?
- intrinsic proof that the grassmannian is a manifold
- Is the square pyramid a manifold with corners?
- Boundary of product manifolds such as $S^2 \times \mathbb R$
- Smooth surfaces that isn't the zero-set of $f(x,y,z)$
- Do diffeomorphisms act transitively on a manifold?
- Can a fractal be a manifold? if so: will its boundary (if exists) be strictly one dimension lower?
- Is every embedded submanifold globally a level set?
- What are examples of parallelizable complex projective varieties?
- When can we recover a manifold when we attach a $2n$-cell to $S^n$?

By the implicit function theorem, $F^{-1}(a)$ will be a regular submanifold if $a$ is a regular value. I.e. $\nabla f\neq 0$ on $F^{-1}(a)$. In this case, if you solve for $\nabla f=0$, you get two critical points $(0,0)$ and $(-1/3,-1/3)$. Thus the two critical values are $0$ and $1/27$. So these are the only two possible places where the preimage can fail to be a manifold. To see that they are not manifolds, use the second derivative test. This will tell you that $(0,0)$ is a saddle and $(-1/3,-1/3)$ is a local minimum. The cross section of a saddle locally looks like two intersecting lines, so is not a manifold. The cross section near a local extremum is a point, so is also not a manifold of the correct dimension.

In general, if the matrix of second-partial derivatives is nonsingular near a critical point, then the preimage fails to be a manifold near that critical point. This follows by the “Morse Lemma,” that says that under these conditions, the function locally “looks like” a quadratic function, for which you can make explicit calculations. Depending on how advanced you are, you can check out Milnor’s book on Morse Theory.

- When does it hold that $a^{-1} \in \mathbb{Z}$?
- Why do we assume principal root
- Counting invariant subspaces of a Vector space
- Congruence Relation with exponents and variables
- An intuitive approach to the Jordan Normal form.
- Do irrational derivative orders exist?
- What number appears most often in an $n \times n$ multiplication table?
- Proportional to 2 Separate Variables vs. Proportional to Product of 2 Variables
- If $f$ and $g$ are integrable, then $h(x,y)=f(x)g(y)$ is integrable with respect to product measure.
- $K$-monomorphism that is not $K$-automorphism?
- What is the intuition behind differential forms?
- Comparing $2013!$ and $1007^{2013}$
- Calculate an integral in a measurable space
- Lunch Meeting Probability for two person to meet in given 1 hour slot and none would wait more then 15 minute.
- Calculation of $\lim_{x\rightarrow 0}\frac{\sin (\pi\cos^2 x)}{x^2}$