The intensity of light diffracted at a slit as a function of the angle actually involves a term $\sin\left(\frac{\alpha\beta}{2}\sin(\theta)\right)$, see https://en.wikipedia.org/wiki/...

In dimension 4, we have the following: Simply-connectedness implies that $H_1(M)=0$. The condition that $M$ be a rational homology sphere implies that $H_2(M), H_3(M)$ are finitely generated torsion ...

To expand on my comment: As written (i.e. without requiring a map $f:X\to Y$), this is false in general. For an example, write $S^2$ as homogeneous space, $S^2=SU(2)/U(1)$. This exhibits $S^2$ as the ...

We have that $S^3 \simeq \Omega \mathbb{H}P^{\infty}$, so by adjointness we can as well consider the group of maps $[\Sigma S^3 \times S^3, \mathbb{H}P^{\infty}]$. It is well-known that $[X,\Omega Y] \...

I would just call it a module over the truncated polynomial algebra $k[D]/D^3$. Your two flavors of homology appear as positive odd-degree and even-degree groups in $\operatorname{Ext}^*_{k[D]/D^3}(k,...

No and no. For an explicit counterexample to 1. (which is also a counterexample to 2.) take the map $\mathbb{R}P^2\to \mathbb{R}P^{\infty}$.

This holds only for compact objects (i.e. finite CW spectra), since it is easy to see that additivity fails otherwise (the other axioms of homology theories are satisfied). The usual way to obtain a ...

The mapping torus $T$ of the complex-conjugation-map $\mathbb{C}P^2 \rightarrow \mathbb{C}P^2$ does the job. For example by running the Serre spectral sequence with local coefficients, you obtain ...

Okay, this happens precisely in the obvious case, namely if all primes dividing the order $|G|$ are invertible in $R$. To see this, note that $\operatorname{Ext}^*_{R[G]}(R,R)$ is group cohomology of $...

The question in the title differs from the question spelled out in the post: In the title, you ask for embedded manifolds, in the post you ask for just maps from manifolds. I think the version of the ...

I know this post is quite old, but in case you are still interested, or anyone else is, I thought about sharing my recent thoughts about the topic. After all, this is the second result on "matric toda ...

The Lefschetz fixed point theorem implies that any $f: S^n \to S^n$ without fixed points has degree $(-1)^{n+1}$. But an even map $S^n \to S^n$ has even degree, since it factors as $$ S^n \xrightarrow{...

This is true for finite $\pi_1$ and false for infinite $\pi_1$: Let $\widetilde{X}$ denote the universal cover of $X$, then $\Omega\widetilde{X}$ is the unit connected component of $\Omega X$, and $\...

This is a modification of Anders's suggestion: Take $X=M(\mathbb{Z}[\frac{1}{2}],2)$ to be the Moore space with $H_2(X) = \mathbb{Z}[\frac{1}{2}]$. We can have $\mathbb{Z}/2$ act on $X$ this by a ...

The definition you've most likely encountered is the following: For maps $W\xrightarrow{f} X \xrightarrow{g} Y \xrightarrow{h} Z$, such that adjacent maps compose to $0$, $g$ extends to a map on ...

As you wrote, complex orientability can be characterized by the cohomology of $\mathbb{C}P^\infty$: $E$ is complex orientable if $E^*(\mathbb{C}P^\infty)$ splits according to the cell structure of $\...

Take the associative algebra over a field $k$, with generators $x$ and $y$ subject to the relation $xy=0$. This admits a basis consisting of monomials of the form $y^a x^b$. It thus contains a subring ...

Take $X = \partial \Delta^3$. Then homotopy classes of maps from $|X|$ to $S^2$ correspond to elements of $\pi_2(S^2)\cong \mathbb{Z}$. But there are only finitely many maps of simplicial complexes $\...

As Harry points out, the usual approach (For example in Lurie's SAG) is to think of the map $R\to \pi_0(R)$ for a connective $E_\infty$ ring as some kind of quotient by a nil-ideal. This is justified ...

Here is another short argument for why this cannot hold in general: The cohomology of the alternating groups $H^*(A_n)$ stabilizes, and I think the first degree in which it stays nontrivial is 3 (But ...

Yes, $\omega$ is an invariant differential, also characterized by being nowhere vanishing (including the point at infinity). At every point, $dx$ and $dy$ together span the cotangent space (which is $...

The answer to your question is actually "yes", but maybe not in the way you wanted. Indeed, the full (oriented) symmetry group of the icosahedron is isomorphic to $A_5$. The stabilizer of a ...

Take any simplicial set $X$ which is not a Kan complex. Let $K$ be a Kan replacement of $X$, and let $L$ be a Kan replacement of the pushout $K\amalg_X K$. Then the two maps $K\to L$ are levelwise ...

The matrix with zeroes on the diagonal and ones everywhere else is nonsingular, but all its "good" minors of size bigger than 1 are singular, since they have all entries equal to 1.

It's wrong for finite fundamental group, as then the universal cover is closed and has nonvanishing $\pi_3$ by Hurewicz. It's true for infinite fundamental group, again by Hurewicz applied to the ...

Yes, you have to include the case $i=j$. Just look at what happens in the case of a single $U_1$, in order for this to boil down to the concept of a single effective epimorphism (introduced in the ...

By replacing $f: X\to Y$ by a CW inclusion you can attack this with classical obstruction theory. I think the obstructions will lie in relative cohomology groups with local coefficients, $H^{n+1}(Y,X; ...

Think of the Prüfer group as $\mathbb{Q}/\mathbb{Z}$ and of $S^1$ as $\mathbb{R}/\mathbb{Z}$. Here $\mathbb{Q}$ is discrete, $\mathbb{R}$ has its usual topology and is contracible. The map $\mathbb{Q} ...

This does give you a vector bundle, and it comes with a flat (i. e. path homotopy invariant) parallel transport. You cannot get all vector bundles, but you can get exactly the ones with such a ...

This is also equivalent to the corresponding statement for homology: Since $Hom(C,\mathbb{Z}) \otimes \mathbb{R} = Hom(C,\mathbb{R})$ for $C$ a free abelian group, the cochain complex with $\mathbb{R}$...