All Questions
9,056 questions
46
votes
8
answers
11k
views
Non-examples of model structures, that fail for subtle/surprising reasons?
An often-cited principle of good mathematical exposition is that a definition should always come with a few examples and a few non-examples to help the learner get an intuition for where the concept's ...
- 21.3k
2
votes
0
answers
55
views
Tangential normal invariant isomorphism
Recently, I was reading the paper "Finite Group Actions on Kervaire Manifold" by Crowley, Hambolton. But I am having problem understanding a definition. Here it is,
In page 15-16 they are ...
8
votes
1
answer
927
views
On the Euler characteristic of a Poincaré duality space
Background. Suppose that $M$ is an oriented, connected, closed manifold of dimension $d$ with fundamental class $\mu \in H_d(M;\Bbb Z)$. Let $\Delta : M \to M \times M$ be the diagonal map. Then the ...
- 18.8k
66
votes
8
answers
10k
views
What are the open subsets of $\mathbb{R}^n$ that are diffeomorphic to $\mathbb{R}^n$
I would like to know if there is a known necessary and sufficient
property on an open subset of $\mathbb{R}^n$ to be diffeomorphic to $\mathbb{R}^n$ :
For example :
Are all open star-shaped subsets ...
- 677
6
votes
3
answers
1k
views
Motivation of the fundamental theorem of covering spaces
The fundamental theorem of covering spaces states that for a nice topological space $X$, there is an equivalence of categories between covering spaces over $X$ and left $\pi_1(X)$-sets. "...
- 459
7
votes
1
answer
762
views
Poincaré duality
Is the next statement true?
Let $M$ be a non-compact linearly connected oriented topological manifold of dimension $n$, and let $M^+$ be the one-point compactification of $M$. Then there is a ...
- 191
15
votes
1
answer
1k
views
Possible mistake in Cohen notes "Immersions of manifolds and homotopy theory" (version 27 March 2022)
In Theorem 2 of these notes, Ralph Cohen reformulates the main theorem of Hirsch-Smale theory merely in terms of normal bundles.
In particular, he says that if $N, M$ are two manifolds, $\dim N< ...
- 2,533
5
votes
0
answers
361
views
Is there a simple sufficient condition to add to $f_*=g_*$ implying that $f$ and $g$ are homotopic?
If $f,g:X_1\rightarrow X_2$ are homotopic, then they induce the same maps of homotopy groups $f_*=g_* : \pi _n(X_1)\rightarrow \pi _n(X_2) $. The opposite is not true. For instance if $X_1=\mathbb{RP}^...
- 813
1
vote
0
answers
102
views
For unit sphere bundle over sphere there exist a real vector bundle equipped with inner product structure? [closed]
For unit sphere bundle over sphere there exists a real vector bundle equipped with an inner product structure?
I did't get any results relative to this extension till now. Is there any result ...
- 11
2
votes
2
answers
948
views
Why the Bousfield localization of spectra at topological K group is important?
Recently, Akhil Mathew has published papers on $K(1)$-local theory:
On $K(1)$-local $\mathrm{TR}$ and
Remarks on $K(1)$-local $K$-theory.
What is the motivation of $K(1)$-local theory?
What does $K(1)$...
- 519
4
votes
0
answers
80
views
For a map $x: S^0 \to X$, $J(X,x) \otimes Y = 0$ iff $x \otimes 1_Y$ is nilpotent?
Let $X$ be a spectrum, and let $x : S^0 \to X$ be a map. Let the stable James construction $J(X,x)$ denote the free $E_1$ ring on the $E_0$-ring $(X,x)$. It is computed as the colimit of the $\Delta^{...
- 64k
6
votes
1
answer
276
views
Proper action on product manifold
Suppose that $\mathbb{R}^n$ is the maximal group that can act properly on a manifold $N$ and $\mathbb{R}^m$ is the maximal group that can act properly on a manifold $M$ ( i.e, $\mathbb{R}^{m+1}$ can't ...
2
votes
0
answers
107
views
Homology functors and weak cofibers
I'm looking at a remark in the paper
Kainen, Paul C., "Weak Adjoint Functors", Mathematische Zeitschrift 122 (1971).
It is supposed to prove that generalized homology functors fail to ...
- 81
4
votes
1
answer
236
views
Equivariant complex $K$-theory of a real representation sphere
Consider the one-point compactification of a $U(n)$-representation $V$, denoted by $S^V$. I want to caclulate $\tilde{K}_\ast^{U(n)}(S^V)$. When $V$ is a complex $U(n)$-representation, we can use the ...
user501794
13
votes
3
answers
2k
views
A quotient space of complex projective space
Let $\mathbb{C}P^n$ be the $n$-dimensional complex projective space and denote $[z_0:\dots:z_n]$ its points. If we glue $[z_0:\dots:z_n]$ and $[\overline{z_0}:\dots:\overline{z_n}]$ for any $[z_0:\...
- 331
8
votes
0
answers
206
views
Universal bundles for monoids versus groups
Dold and Lashof compare their construction for a monoid M to Milnor's
when M is a group G. They give an explicit comparison for the first stage of the constructions. Somewhere I've seen the general n-...
- 301
5
votes
1
answer
314
views
Reference for Künneth Theorem in (co)homology with local coefficients
Is there a discussion in the literature of Künneth-type theorems for (co)homology with local coefficients? The sources I know of that discuss local coefficients (Whitehead's Elements of Homotopy ...
- 8,803
21
votes
1
answer
983
views
Is the Alexander horned sphere a cofibration?
The Alexander horned sphere is a closed embedding of $S^2$ into $S^3$ which is not flat because otherwise the Schoenflies Theorem would be true for it. However, not being flat is not the same as not ...
- 263
24
votes
1
answer
2k
views
What is the Todd class *really*?
My question is about how to think about the Todd class.
Usually this is presented via Grothendieck Riemann Roch (GRR): if $X$ is a smooth projective scheme over a field $\mathbf{C}$, the chern ...
- 5,711
9
votes
1
answer
525
views
Koszul duality and $\operatorname{H}^*(BG)$ — concise proof?
If $G$ is an algebraic group, then one can show $\operatorname{H}^*(BG,k)$ and $\operatorname{H}_*(G,k)$ are Koszul dual dg algebras, e.g. Drinfeld and Gaitsgory, "Finiteness questions for ...
- 5,711
8
votes
1
answer
281
views
Non-compact three-manifolds with the same proper homotopy type are homeomorphic?
I am looking for some literature with some (counter) examples of the following fact (though I don't know if the fact is true or not):
Let $M, M'$ be two non-compact connected $3$-manifolds with the ...
- 1,097
0
votes
0
answers
143
views
Cohomology ring of $\mathbb{P}(\mathcal{O}(-1)\oplus \mathcal{O})$
Let $\mathcal{O}(-1)$ be the Hopf bundle over $\mathbb{C}\mathbb{P}^\infty$. Let $\mathcal{O}$ be the trivial rank one bundle. Consider the projectivization of the rank two bundle $\mathcal{O}(-1)\...
- 21.8k
25
votes
2
answers
1k
views
Conceptual definition of the extension of a connection to 1-forms
I have a question that arose while reading Milnor's "Characteristic Classes". I will use the notation from that book.
Let $M$ be a smooth manifold and let $\zeta$ be a complex vector bundle ...
- 269
8
votes
2
answers
1k
views
Does the isomorphic of the fundamental groups imply the existence of a mapping inducing an isomorphism?
A pair of continuous mappings $f \colon X \to Y$ and $g \colon Y \to X$ is called $\pi_1$-equivalence if they induce mutually inverse isomorphisms of fundamental groups. Spaces are called $\pi_1$-...
- 6,962
10
votes
2
answers
697
views
Homotopy properties of Lie groups
Let $G$ be a real connected Lie group. I am interested in its special homotopy properties, which distinguish it from other smooth manifolds
For example
$G$ is homotopy equivalent to a smooth compact ...
- 6,962
46
votes
11
answers
6k
views
What is the Cayley projective plane?
One can build a projective plane from $\Bbb R^n$, $\Bbb C^n$ and $\Bbb H^n$ and is then tempted to do the same for octonions. This leads to the construction of a projective plane known as $\Bbb OP^2$, ...
- 8,167
10
votes
0
answers
420
views
What is the original source for the Goerss-Hopkins-Miller-Lurie theorem on tmf?
The central basic theorem of topological modular forms states that the structure sheaf of $\widehat{\mathcal{M}}_{ell}$ lifts to a sheaf of complex-oriented $E_{\infty}$-rings whose formal groups are ...
- 1,969
2
votes
0
answers
169
views
The dimension of the representation ring
Let $G$ be a compact Lie group. I am trying to characterize the algebraic properties of the representation ring $R(G)$ of $G$. In the case of the $n$-torus, the representation ring $R(T)$ is ...
10
votes
1
answer
403
views
Finite domination and Poincaré duality spaces
Here are some definitions:
A space is homotopy finite if it is homotopy equivalent to a finite CW complex.
A space finitely dominated if it is a retract of a homotopy finite space.
A space $X$ is a ...
- 18.8k
-3
votes
1
answer
215
views
Topology of the moduli space of a 2-dim closed surface
Consider the moduli space $\cal{M}_{\Sigma_g}$ of a 2-dim closed surface $\Sigma_g$ of genus $g$. What is the topology of such a moduli space $\cal{M}_{\Sigma_g}$?
For example, what is $\pi_n ( \cal{M}...
- 4,826
5
votes
0
answers
106
views
Classifying spaces of crossed modules
Let $\mathcal{G}$ be a strict topological $2$-group, i.e. a strict $2$-category with a single object, a space of invertible $1$-morphisms, a space of invertible $2$-morphisms and continuous structure ...
- 7,637
12
votes
1
answer
984
views
Jouanolou thesis on l-adic cohomology
Does someone have a copy of the Jean-Pierre Jouanolou's thesis:
Catégories dérivées et cohomologie l-adique
or has the ability to make a digitalization? The thesis was done at Université de Paris 1969....
user339690
6
votes
1
answer
185
views
A name for semigroups in which left and right principal ideals coincide
Is there any standard name for semigroups $S$ in which $xS=Sx$ for all $x\in S$?
Examples of such semigroups are commutative semigroups and Clifford inverse semigroups.
- 42k
4
votes
0
answers
231
views
path category and classifying space
Let $\mathbf{Top}$ be the category of topological spaces and continuous maps, and $\mathbf{Cat}$ be the category of small categories and functors.
There is a path functor $\mathcal{P}:\mathbf{Top}\to \...
- 153
7
votes
2
answers
540
views
Injectivity of the cohomology map induced by some projection map
Given a (compact) Lie group $G$, persumably disconnected, there exists a short exact sequence
$$1\rightarrow G_c\rightarrow G\rightarrow G/G_c\rightarrow 1$$
where $G_c$ is the normal subgroup which ...
- 125
7
votes
2
answers
674
views
How restrictive is having zero Chern numbers for a compact complex manifold ? Same for negative Chern number?
In complex dimension $2$, if a surface $S$ is a blowup of a surface $S'$, one has the following relation between their Chern numbers :
$c_1^2(S) + 1 = c_1^2(S')$
$c_2(S) - 1 = c_2(S')$
By using this ...
- 71
4
votes
0
answers
147
views
Weaker condition for the excision axiom
This comes from a question I asked on mathstackexchange (link: here)
The excision axiom in homology states that if $\overline Z\subseteq\operatorname{Int}A$, then $h_n(X\setminus Z,A\setminus Z)$ is ...
- 141
6
votes
0
answers
259
views
Usefulness of total algebras and exotic generating series
In his first Algebra volume, Bourbaki [1] defines the structure of a “total algebra” i.e. the space of functions on a monoid $M$ (to a ring $k$) with the convolution product ( a function $f:\ M\to k$ ...
- 3,738
7
votes
2
answers
2k
views
Is there a theorem showing that de Rham homology is isomorphic to singular homology?
The only exposition of de Rham homology I've found is an appendix to Uranga and Ibanezs book on String Phenomenology. It was brief and gave only basic outline of how to construct this homology.
Now de ...
- 2,369
9
votes
1
answer
456
views
The center of $\mathbf{hTop}$
What is the center of the homotopy category $\mathbf{hTop}$? I strongly believe that it is trivial, but it is hard to prove since $\mathbf{hTop}$ is not concretizable and hence has no small separator. ...
- 63.1k
6
votes
2
answers
397
views
Dual surfaces of a first cohomology class of a 3-manifold
Let $M$ be closed 3-manifold and $\alpha\in H^1(M;\mathbb Z_2)$ an arbitrary element. (In my case we know that $M$ is non-orientable and $\alpha^3=0$.) It is well known that there is a closed 2-...
- 1,095
1
vote
1
answer
129
views
Cycles in almost breakable semigroups
Last October, I learned from Benjamin Steinberg's answer to another question of mine that a semigroup $S$ is called breakable if $xy \in \{x, y\}$ for all $x, y \in S$. Let's now say that $S$ is an ...
- 10.5k
3
votes
1
answer
248
views
Identifying group extension from cohomology class of $D_8$
I have the following problem. It is well known that $H^\ast(D_8,\mathbb{Z}/2)\cong \mathbb{F}_2[x,y,w]/(xy=0)$ with $|x|=|y|=1$ and $|w|=2$ (see Adem,Milgram "Cohomology of finite groups"). ...
- 1,759
4
votes
0
answers
317
views
What is the geometric interpretation of the first Hochschild homology group of path algebra constructed from a directed graph?
Let $\mathcal{G} = (V, E, s, t)$ is a directed graph, where $V$ - the set of its vertices, $E$ - the set of its edges, $s: E \rightarrow V, s((v_1, v_2)) = v_1$ and $t: E \rightarrow V, s((v_1, v_2)) =...
- 91
2
votes
1
answer
161
views
Obstruction to a cohomology class on total space being a pullback of a class on the base space is the restriction to the fiber
Let $\pi \colon E \to X$ be a fiber bundle with fiber $F$ and suppose that $\tilde H^i(F) = 0$ for $0 \leq i \leq k-1$.
Using the Leray-Serre spectral sequence, we get an exact sequence
$$
0 \to H^k(...
- 293
3
votes
1
answer
270
views
Čech-like cohomology with the “other nerve”
Let $X$ be a space and $\mathcal U$ a cover of $X$. Instead of Čech cohomology, I would like to take the following construction:
let
$$I= \{ \text{finite nonempty intersections of elements of }\,\...
- 2,368
7
votes
1
answer
277
views
Computing the homotopy type of $B\operatorname{Aut}(K(G,1))$ using a fibration sequence: why is $G \to \text{Aut(G)}$ given by conjugation?
$\newcommand{\Aut}{\operatorname{Aut}}$Let $G$ be an abelian group.
It seems to be a well-known fact (for example here) that $B\Aut(K(G,1))$, the classifying space of the topological monoid of (...
- 371
35
votes
4
answers
4k
views
An intelligent ant living on a torus or sphere – Does it have a universal way to find out?
I wanted to ask a question about topological invariants and whether they are connected in a fundamental or universal way. I am not an expert in topology, so please let me ask this question by way of a ...
- 6,937
2
votes
0
answers
176
views
On the origin of power semigroups
Let $S$ be a (multiplicatively written) semigroup. Equipped with the (binary) operation of setwise multiplication $(X, Y) \mapsto \{xy \colon x \in X, \, y \in Y\}$, the family of all non-empty ...
- 10.5k
9
votes
1
answer
366
views
Which submanifolds are leaves of a foliation?
Question. Let $M^{n+1}$ be a closed manifold without boundary. Which closed submanifolds $\Sigma^n \subset M^{n+1}$ (of codimension one) are leaves of a foliation of $M$ minus some finite collection ...
- 5,048