I wrote my Master’s thesis. It is an illustrated Guide to using the May spectral sequence. a1
If the pdf viewer doesn’t work, here is a link to the paper.
I wrote my Master’s thesis. It is an illustrated Guide to using the May spectral sequence. a1
If the pdf viewer doesn’t work, here is a link to the paper.
Thanks to Dr. Lubin for graciously helping me derive and understand one-parameter families of formal group laws, thanks to Eric Peterson for introducing me to Morava’s Forms of K-theory, thanks to Agnes Beaudry for pointing out that there was a neater way to check for Landweber-exactness.
Today, I want to discuss the opposite procedures of deformations and contractions of complex-orientable cohomology theories.
Really, all I want is to illustrate the fact that, with the appropriate combinations of both procedures, we obtain new cohomology theories. So, we’re going to examine the construction of one-parameter families of cohomology theories via one-parameter deformations of formal group laws — of particular interest is the case where a continuous deformation causes an increase of chromatic height.
I was playing with the concept of group contraction, and thinking about the construction of elliptic cohomology theories.
I accidentally constructed a model of Morava E-theory of height 2 at the prime 3. (We didn’t realize that it was $E_{(2)}(3)$ at first, we just thought it was some weird cohomology theory.)
I found this kind of enlightening and so I want to show you how I came across it.
Morava constructed a family of elliptic cohomology theories by deforming K-theory (well, by deforming the multiplicative group associated to K-theory). His construction can be viewed as a recipe:
Let me say this again, because when I explain this to people they like me to say it twice.
Morava’s deformation method is a recipe which consists of 4 steps:
Continue reading Notes on One-Parameter Deformations of Cohomology Theories
This post assumes knowledge of the definition of the oriented cobordism ring, as well as the equivalence $\pi_*MU \simeq MU^*(pt) =: MU^*$, and familiarity with the Landweber exact-functor theorem.
A quick post on a nice thing. I was reading Quillen and stumbled across what seems to be the first nod toward the importance of the coefficients $p, v_1, v_2, … \in MU^*$. Continue reading A Quick Note on a Geometric Definition of $v_n$
The goal for an autonomous robot is to be able to construct (or use) a map or floor plan and to localize itself in it. The discipline of robotic mapping is concerned with map representation.
The internal representation of a map can be “metric” or “topological”:
The robot needs to know what room it’s in and what doors it needs to pass through to get to the required location. This does not require the dimensions and shape of the rooms.
This post highlights how the axioms governing the metric space naturally lead into its abstraction: the topological space.
A metric space is:
For example, the distance function on the real line $\mathbb{R}^1$ is $d(x,y) = |x-y|$.
This distance function takes a pair of 2 ordered numbers $(x,y)$ and gives us another real number (the distance between $x$ and $y$). We can easily generalize this distance function from the real line $\mathbb{R}$ to any n-dimensional space $\mathbb{R}^n$:
$d: \mathbb{R}^n \times \mathbb{R}^n \rightarrow \mathbb{R}^n$
We can have two different distance functions on the same space $\mathbb{R}^2$
For each pair of points $(x_0, y_0)$ and $(x_1, y_1)$ $\mathbb{R}^2$,
the normal distance function is derived from the Pythagorean therorem:
With this distance function, $d(x, a) \leq 1$ for a fixed point $a \in \mathbb{R}^2$.
The distance function of a Hilbert space is
The concept of a neighborhood is powerful, for it formalizes the concept at the heart of analysis: continuity.
An open neighborhood of a point $p$ in a metric space $(X, d)$ is the set $N_\epsilon = \{x \in X | d(x, p) < \epsilon\}$.
Example:
A function $f$ is continuous over a space $X$ iff $\forall x, p \in X$ the following condition is satisfied:
$\forall \epsilon \exists \delta$ $|$ $x \in N_\epsilon(p) \rightarrow f(x) \in N_\delta(f(p))$
This formal understanding of continuity leads directly to the unifying concept of this lecture, the study of “closeness”: the open set.
A subset $S$ of a metric space $X$ is an open set iff every point of $S$ has an open neighbourhood $N_\epsilon$ that lies completely in $S$. In precise terms:
$S$ is open $\Leftrightarrow \forall a \in S \exists \epsilon > 0 | N_\epsilon(a) \subseteq S$.
1. The union (of an arbitrary number) of open sets is open.
Proof
Let $x \in \bigcup\limits_{i\in I} A_i = A$. Then $x \in A_i$ for some $i$. Since $A_i$ is open, by the definition of an open set: $x$ has an open neighbourhood lying completely inside $A_i$ which is also inside $A$. $_{QED}$
Proof
To check that finite intersections of open sets are again open, it suffices to check this for the intersection of two open sets. Suppose $x \in A \cap B$.
Then $x \in A$ and also has a neighbourhood, $N_{\epsilon_A}$ lying in $A$. Similarly, $x$ has a neighbourhood $N_{\epsilon_B}$ lying in $B$. If $\epsilon =$ min $\{\epsilon_A, \epsilon_B\}$, the neighbourhood $N_\epsilon$ also lies in both $A$ and $B$ and hence in $A \cap B$. $_{QED}$
In analysis, we examine the convergence of sequences, the continuity of functions, and the compactness of sets. Some types of convergence, such as the pointwise convergence of real-valued functions defined on an interval, cannot by expressed in terms of a metric on a function space.
Topological spaces provide a general framework for the study of convergence, continuity, and compactness. The fundamental structure on a topological space is not a distance function, but a collection of open sets.
A continuous function can be defined in terms of open sets.
If $f: X \rightarrow Y$ is a continuous function between metric spaces and $B \subset Y$ is open, then $f^{-1}(B)$ is an open subset of $X$.
Proof
Let $x \in f^{-1}(B)$. Then $f(x) = y \in B$.
Since $B$ is open, the point $y$ has a neighbourhood $N_\epsilon \subset B$.
By the definition of continuity, $N_\epsilon$ contains the image of some neighbourhood $N_\delta$ $V$ of $x$. Since $f(V) \subset B$, we have $V \subset f^{-1}(B)$ and so $x$ has this nieghbourhood $N_\delta \subset f^{-1}(B)$.
Hence, the definition of an open set, $f^{-1}(B)$ is open in $X$.
The converse also holds: If $f: X \rightarrow Y$ is a function for which $f^{-1}(B)$ is open for every open set $B$ in $Y$. Proving this here would only take the joy of proving this away from the reader: it’s a short proof, you can do it!
As we mentioned earlier: in $\mathbb{R}^1$, the open neighbourhood is the open interval. In $\mathbb{R}^2$ it is the open disc. In $\mathbb{R}^3$ it is the open ball.
An $n$-dimensional open ball of radius $r$ is the collection of points of a distance less than $r$ from a fixed point in Euclidean $n$-space. Explicitly, the open ball with center $p$ and radius $r$ is defined by:
$B_r (p)= \{x \in \mathbb{R}^n$ $|$ $d(p,x) < r\}$
if $X$ is a metric space with metric $d$, then $x$ is an interior point of $S$ if there exists $r > 0$, such that $y$ is in $S$ whenever the distance $d(x,y) < r$.
Equivalently, if $S$ is a subset of a metric space, then $x$ is an interior point of $S$ iff (there exists an open ball with a radius larger than 0 centered at $x$ which is contained in $S$):
$\exists r$ $|$ $x \subseteq B_r (x)$
A friend of the interior point is the definition we’ve been dancing around: a boundary point.
Intuitively, a point is an interior point of it is not “right on the edge” of a set, and a boundary point if it is “right on the edge” of a set.
Formally, a point $p$ is a boundary point of $S$ iff for every $\epsilon > 0$, the open neighbourhood of $p$ intersects both $S$ and the complement of $S$: $\bar{S}$. That is: $x$ is a boundary point of $S$ iff:
$N_\epsilon(p) \cap S \neq \emptyset$ and $N_\epsilon(p) \cap \bar{S} \neq \emptyset$
Sidenote: The complement $\bar{S}$ of $S$ is $U$ \ $S$, the set of all things outside of $S$. This can be rephrased as all things (in the universal set $U$) that are not in $S$.
We may talk about balls in any space $X$, not necessarily induced by a metric.
An (open or closed) $n$-dimensional topological ball of $X$ is any subset of $X$ which is homeomorphic to an (open or closed) Euclidean $n$-ball. Topological $n$-balls are important in combinatorial topology, as the building blocks of cell complexes.
Recall that a metric space is just a set $S$ with a metric defined on it.
A topological space is a set $S$ with a geometric structure defined on it.
Abstractions of the properties of open sets are the axioms that define a topology $T$. Moreover, we call an element of $T$ is an open set.
1. The union (of an arbitrary number) of open sets is open.
=> The union of any set of members of $T$ is in $T$.
2. The intersection of finitely many sets is open.
=> The intersection of finitely many members of $T$ is in $T$.
For completeness, the whole set $S$ and $\emptyset$ are also in $T$.
Notational aside: We call the pair $(S, T)$ a topological space; if $T$ is clear from the context, then we often refer to $S$ as a topological space.
3. If $f: X \rightarrow Y$ is a continuous map between topological spaces and $B \subset Y$ is open, then $f^{-1}(B)$ is an open subset of $X$.
Let’s construct a topology of the reals.
We want to know the minimum data you need to specify a structure defined on a set. In many cases, this minimum data is called a basis and we say that the basis generates the structure.
The collection of open intervals of the form $(p – \epsilon, p + \epsilon)$ on $\mathbb{R}$ is not a topology. The collection of such intervals doesn’t include the empty set, the whole line, or the union $(1,2) \cup (3,4)$.
The usual topology is not defined as the collection of such intervals. Instead, the topology is defined as the collection of all possible unions of such intervals. In other words, the intervals of the form $(p – \epsilon, p + \epsilon)$ are a basis for the topology. It’s important to not confuse the basis with the whole topology.
The metric topology is the topology on a set $X$ generated by the basis $\{B_\epsilon(x) | \epsilon > 0, x \in X\}$.
It is here that I will stop, this post, but I will give you some keywords to look up:
Linear Functionals and Bilinear Forms, Riesz Representation Theorem, Linear, Bounded, Continuous, comparing topologies: $(S, T’)$ has more open subset to separate 2 points in $S$ than $(S, T)$.
Topology of Robot Motion Planning
Topological Robotics: Motion Planning in Projective Spaces
http://www.math.ucla.edu/~tao/preprints/compactness.pdf
Basic Facts About Hilbert Space