Homotopy, stable homotopy, homology and cohomology, homotopical algebra.

learn more… | top users | synonyms (1)

1
vote
0answers
71 views

Trefoil Knot Seifert Minimal Surface Equation

I am not very familiar with knot theory nor with minimal surfaces, so I already apologize if my question appears too naive or simple :). I am trying to do the following: Starting from a real ...
1
vote
1answer
285 views

Torsion of $H_{n-1}$

Suppose $X$ is a non-orientable manifold. Using Universal Coefficient Theorem (UCT) for homology, we can get that the torsion of $H_{n-1}$ is a cyclic group of order $2$. I am looking for a proof of ...
15
votes
1answer
309 views

Classification of fake (quaternionic, octonionic) projective spaces

If $X$ is a closed $n$-manifold, a fake $X$ is another closed manifold homotopy equivalent to $X$. There is some interest in classifying manifolds (up to, say, homeomorphism) homotopy equivalent to a ...
9
votes
0answers
301 views

Finite groups inside an infinite group with the same homology

Suppose we have a triple of groups $G,H,K$ verifying the follwing conditions $G$ and $H$ are finite groups and $K$ an infinite group. there exists two monomorphisms $G\rightarrow K\leftarrow H$ ...
1
vote
1answer
191 views

Deformation Quantization

I am a beginner and I want to learn about deformation quantization. Please suggest me with which book or notes, I should start?
3
votes
1answer
226 views

Poincaré Duality for non-compact manifolds without Zorn's Lemma

Does exists a proof of the Poincaré Duality version for non-compact manifolds without using the Zorn's Lemma? I know that there is a proof using the Whitney embedding theorem, but I don't know this ...
6
votes
2answers
240 views

Flat connections on 3-manifold with boundary

Suppose $Y$ is a 3-manifold and the boundary $\Sigma:=\partial Y$ is non-empty. Let $G$ be a Lie group with trivial center. Let $\overline {\mathcal A}_{flat}(\Sigma)$ and $\overline {\mathcal A}_{...
0
votes
0answers
99 views

de Rham type cohomology for covariant derivative?

We know that in general for a covariant derivative $D$ on a vector bundle $\xi$ over $M$ we don't have $D \circ D = 0$. This prevents us from having the following cochain complex \begin{equation} \...
0
votes
1answer
163 views

Atiyah-sequence-like definition of connection on vector bundles?

For a principal bundle $\pi: P \to M$ we have the following Atiyah sequence that can be used to define a connection on it \begin{equation} 0 \to V{P} \to T{P} \to \pi^*{T{M}} \to 0 \end{equation} A ...
10
votes
2answers
488 views

Reference request: Goodwillie tower of the identity

The Taylor (Goodwillie) tower of the identity functor on based spaces has as its $j$-th layer the infinite loop space-valued functor $$ X\mapsto \Omega^\infty (W_j \wedge_{h\Sigma_j} X^{[j]}) $$ in ...
15
votes
0answers
272 views

Groups whose finite index subgroups of fixed index are isomorphic

I am interested in finitely generated groups $G$ that are residually finite and have the following property: For each $d \geq 1$, $G$ has subgroups of finite index $d$, and all such subgroups are ...
8
votes
2answers
396 views

Simplest explicit counterexample for $Vect(BG) \ne Rep(G)$ as monoids

Let $G$ be a topological group, $Vect(BG)$ the monoid of complex vector bundles over its classifying space (not the stack!) and $Rep(G)$ its monoid of complex representations. Generally $Vect(BG) \ne ...
7
votes
0answers
115 views

Reference request: Atiyah-Segal completion on spectrum level

It seems like the Atiyah Segal completion theorem for the two element group $G = \mathbb Z_2$ and one-point space $X=\{ * \}$ with trivial G action yields a statement about the underlying spectra as ...
5
votes
1answer
323 views

Known results in the Cohomology of finite groups

I am learning to compute cohomology of finite groups and came across this survey article http://www.ams.org/notices/199707/adem.pdf "Recent Developments in the cohomology of finite groups" by ...
4
votes
0answers
154 views

Localization in equivariant cohomology theory for groups other than ($p$-)tori

Recall the following localization theorem, as stated in Hsiang's Cohomology Theory of Compact Transformation Groups: Theorem. Let $G=(S^1)^k$ be a torus, $X$ a paracompact $G$-space with finite ...
2
votes
0answers
227 views

E-infinity operads explicit examples

I was looking for particular and explicit examples of $E_\infty$-operads. I know the $E_\infty$-operad defined by Smith in http://arxiv.org/abs/math/0004003, and the Barratt-Eccles operad, but it is ...
13
votes
1answer
518 views

$p$-adic Bott periodicity?

The Bott periodicity theorem can be formulated as the existence of homotopy equivalences $\Omega^2(KU)\equiv KU$ and $\Omega^8(KO)=KO$. I always wondered whether this theorem could also be transferred ...
1
vote
1answer
206 views

Addition of two homology classes is zero in construction of Poincare Sphere

I ask here the question since it hasn't been answered in Math Stack Exchange. I am working through Greenberg and Harper, Lecture notes on Algebraic Topology, and I am having trouble with one ...
5
votes
0answers
95 views

Smoothing a continuous section in 1-jet bundle

Here is a question I encountered when reading the book "Convex Integration Theory by D.Spring". My question lies in the second paragraph to the proof of theorem 4.2($C^{0}$-dense $h$-principle). I ...
6
votes
0answers
104 views

Chern-Simons form and Rarita-Schwinger operator

The Rarita-Schwinger (RS) operator naturally generalizes the Dirac operator and in Physics it describes particles with spin-3/2. I was wondering if there exists any reference concerning the ...
6
votes
1answer
185 views

Cohomology ring of a fiberwise join

I am very interested in the cohomology ring of the following construction. Let $f: Y\to X$ be a map between (connected) topological spaces. Suppose that the image of the map $f^*:H^*(X) \to H^*(Y)$ is ...
4
votes
1answer
138 views

“Small” simplicial complex with torsion trees

I am giving an expository talk soon about Duval-Klivans-Martin's paper Simplicial Matrix Tree Theorems, and I've been struggling to find a good example to do at the board. An important aspect of the ...
8
votes
0answers
167 views

Are there genera for algebraic cobordism?

For real and complex manifolds, we can form the (oriented) cobordism ring $\Omega$, and a genus is defined to be a ring homomorphism $$\varphi:\Omega\otimes\mathbb{Q}\to R$$ where $R$ is any ...
5
votes
1answer
150 views

Homotopy Type of the Based Mapping Space $Map_*^{(k,l)}(\mathbb{C}P^2,BU(2))$

Path components of the based mapping space $Map_*(\mathbb{C}P^2,BU(2))$ are indexed by a pair of integers $(k,l)$ determined by the values of the first two Chern classes that a map $f:\mathbb{C}P^2\...
10
votes
2answers
389 views

Representation viewpoint on Chern Weil (cohomology computations done with rep theory?)

Let $G$ be a compact lie group. Chern-Weil theory tells us that there's a homomorphism: $$H^{*}(BG;\mathbb{R}) \to (Sym^{\bullet} \mathfrak{g^*})^G$$ Which in our case is an isomorphism since $G$ ...
7
votes
1answer
438 views

what is the universal cover of GL(2,R)?

In the theory of Bridgeland stability conditions one has an action of the universal cover $G'$ of $G = GL^+(2,\mathbb R)$. What is G'? I know there is concrete description in terms of pairs (M,f)...
4
votes
2answers
200 views

Equivalence of different cohomology groups

Let $X$ be a topological space (may be assumed to be locally compact). Let $A$ be either a field or $\mathbb{Z}$. One can consider various cohomology groups: (1) singular cohomology $H_{sing}^*(X,A)$;...
3
votes
2answers
246 views

CW 4 manifolds with single 4 cell

Let $M$ be a connected compact closed 4 manifold. Then $H_4(M)=\mathbb{Z}$. If we assume it is smooth, from Morse theory we know that $M$ has a CW structure. But can we find a CW structure of $M$ with ...
1
vote
1answer
198 views

Applications of topology to discrete dynamical systems?

I'd like to know some of the applications of topology to discrete dynamics. By discrete dynamics I loosely mean studying maps between discrete sets. I mean cases where adding a topology to the sets ...
5
votes
1answer
74 views

smoothing locally-finite (Borel-Moore chains)

Let $M$ be a smooth manifold. As is recorded in (for example) Lee's book, de Rham proved that one can calculated singular homology, $H_*(M)$ using smooth simplices. Does the result extend to Borel-...
2
votes
1answer
243 views

Local “pathologies” in spaces arising naturally in algebraic topology

I have been thinking about methods for constructing continuous paths locally in a space. These paths have domain the unit interval and map into "small" neighborhoods of points in a space. Moreover ...
6
votes
1answer
253 views

“structure group” for fibration

Regarding "fibration" as a homotopy analogue of "fiber bundle",I want to see parallel notions of "structure group" and "fiber change" in "fibration". Does it make sense to talk about "structure group"...
2
votes
1answer
247 views

Using Lefschetz duality in algebraic geometry

I am reading the paper of Fulton and Lazarsfeld on the connectivity of degeneracy loci of morphisms of vector bundles, but there is a comment in the article that I don't quite understand. Let $G$ be ...
1
vote
0answers
61 views

Adjunction of Crossed Module Functors

I am wondering about the following two related questions and don't know if they have already clear answers or not. 1) Suppose that we already know the functor $F \colon \mathcal{C} \to \mathcal{D}$ ...
6
votes
2answers
223 views

The Thom space of a Whitney sum of vector bundles

Let $\xi$ and $\eta$ be vector bundles over the same base space $X$. Their Whitney sum is a bundle $\xi\oplus\eta$ over $X$. I read somewhere (without proof) that its Thom space is given by $$ T(\xi\...
24
votes
0answers
866 views

Big list - Equivalent descriptions of Hodge conjecture?

I would like to know equivalent descriptions of the Hodge conjecture (with references). Dan Freed's Version: Consider a topological cycle (boundary less chains that are free to deform) on a ...
8
votes
0answers
129 views

Equivariant and orbifold Chern classes

Edit. After thinking about this problem a bit longer, I am not so sure anymore that the Bredon cohomology proposed by Adem and Ruan gives me the invariants I am looking for. I have therefore moved ...
3
votes
1answer
218 views

How to calculate the fundamental group of general configuration space

Define the configuration space of $n$ points in a general manifold $M$, where $\dim M=m$, as $K=(M^n-D)/S_n$ where $S_n$ is the permutation group and $D=\{(x_1,\cdots,x_n)| \exists i,j\ s.t. x_i=x_j \}...
10
votes
2answers
311 views

Lower central series quotients in terms of (co)homology

Let $G$ be a group. It is well-known that $H_1(G,\mathbb{Z})=G/[G,G]$. Also (at least up to torsion) $[G,G]/[G,[G,G]]=\Lambda^2H^1(G,\mathbb{Z})/H_2(G,\mathbb{Z})$ as explained, for example, in this ...
3
votes
0answers
170 views

Complete Segal operads and dendroidal sets

There is a Quillen equivalence between the model category presenting Lurie's $\infty$-operads (which are inner fibrations $\mathcal{C}\to\mathrm{N}(\mathbf{F})$ satisfying certain conditions) and the ...
5
votes
1answer
190 views

What do globes (used to construct globular sets, $\omega$-categories, etc.) actually look like?

Nlab introduces the globular category as a geometrical model to construct certain higher categorical structures (e. g. strict $\omega$-categories), just as quasi-categories, for example, are modelled ...
0
votes
0answers
97 views

Generalization of the fiber changing trick for principal bundles?

We know that a principal bundle can induce a fiber bundle as follows: if $F$ is a space which admits a $G$-action then a principal $G$-bundle $p: E \to B$ induces a fiber bundle $p: E \times_G F \to B$...
14
votes
0answers
327 views

Does the category of G-spectra know G?

I was recently in the situation of having access to the category of $G$-modules (for some group $G$ which I had forgotten), as just a category, i.e. no monoidal structure, together with the forgetful ...
8
votes
0answers
139 views

Two transfers for ramified or branched covers

Let $\pi: X \rightarrow Y$ be a 2-fold branched cover of complex varieties. I know of (at least) two types of pushforwards associated to this situation: If I'm not mistaken, there is a pushforward ...
3
votes
1answer
188 views

Is there a degree one map from a product $B\times S^1 \to \#_n S^2 \times S^1$ for any n

For any $n \geq 1$, let $\Sigma_n$ denote the closed orientable surface of genus n. In http://arxiv.org/abs/1202.6302, the authors showed that for any $n$, there is a degree two, $\pi_1$-surjective, ...
4
votes
1answer
135 views

Equivariant maps from simplicial complexes to spheres

Given a topological space $X$ with involution $\nu$, the $\mathbb Z_2$-index $\text{ind}(X)$ is the minimum integer $n$ such that there exists a map $f:X \to S^n$ which is equivariant with respect to ...
2
votes
1answer
105 views

Kernel of projection formula

For a closed embedding of compact complex manifolds $$ \iota : Y \hookrightarrow X $$ and any $\alpha \in H^*(X,\mathbb Q)$, we have trivially: $$ \iota^*(\alpha)=0\quad \Rightarrow \quad\iota_*\iota^*...
23
votes
2answers
907 views

What is the relation between sphere spectrum and supersymmetry?

In this this google+ post of Urs Schreiber, he says: "Grading over the sphere spectrum is supersymmetry" and then he redirect us to the abstract idea of superalgebra (in nLab). Are there some ...
3
votes
1answer
209 views

(Geometric) Proof for the projective bundle formula in K-theory

I'm trying to piece together a proof of the projective bundle formula from several incomplete sources. Here's the statement I'd like to prove: Projective bundle formula: Let $\pi: E \to X$ be a ...
5
votes
0answers
181 views

Does $\#_n S^2×S^1$ really admit a map of non-zero degree from $B×S^1$?

In Proposition 4 on page 6 of this paper, http://arxiv.org/abs/1202.6302, the authors claim to produce a degree 2 $\pi_1$-surjective map $f$ between $M=S^1 \times \Sigma_2$ and $N=\#_2 S^2 \times S^1$ ...