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

**5**

votes

**1**answer

96 views

### How to compute $[CP^2, G/PL]$?

Let $E^4$ be the two stage Postnikov space appearing in the homotopy type of the classifying space $G/PL$. One of its properties is that it only has two nontrivial homotopy groups $\pi_2(E)=Z/2Z$ and $...

**7**

votes

**0**answers

104 views

### Applications of arithmetic topology to number theory

There is a well-known analogy between 3-manifolds and number fields, with prime ideals corresponding to knots. Are there any results in number theory that have been proven using topology through this ...

**6**

votes

**1**answer

171 views

### Reference for push-pull formula in cohomology

I would like a precise reference for the following fact.
Assume that
$$
\begin{array}{ccc}
M\times_B N & \stackrel{f'}{\to} & N \newline
\quad\downarrow g' & & \quad\downarrow g \...

**1**

vote

**1**answer

95 views

### Spinor bundle of line bundle

Given any complex line bundle over a manifold $L\to M$, we know this admits a canonical Hermitian spinor bundle $S$. Suppose we know the first Chern class of the line bundle, i.e. $c_1(L)$ is known. ...

**11**

votes

**2**answers

555 views

### Algebraic Geometry for Topologists

As someone who is
familiar with algebraic topology, say, at the level of Hatcher's book, and
familiar with homological algebra and categories and applications in topology
but has no idea what a ...

**24**

votes

**0**answers

864 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 ...

**5**

votes

**0**answers

109 views

### Classifying map for a surface bundle

Let $E\longrightarrow X$ be a surface (with holes) bundle. The structure group is then $M_{g, s}$, the mapping class group of the fiber. It follows from the famous work of Penner that the classifying ...

**5**

votes

**0**answers

114 views

### A wrong example of a superconnection formula(Bismut)

In Bismut's paper, in Theorem 3.2,
$$|\int_X\mu \left( Tr_s[\exp(-(\nabla^\xi+\sqrt{u}V)^2)]-\delta_Y(2\pi i)^{\dim_c N}Td^{-1}(-R^N)Tr_s[\exp(-(\nabla^\eta)^2)]\right)|\leq \frac{C}{\sqrt u}|\mu|_{C^...

**3**

votes

**1**answer

155 views

### Rank 2 vector bundles over $\mathbb CP^2$

Is there any classification of the rank 2 complex vector bundles over $\mathbb CP^2$ up to diffeomorphism?
Thank you.

**3**

votes

**1**answer

126 views

### Relation between conjugacy class, quotient isomorphism class, and signature of Fuchsian groups

Let $\Gamma\le SL(2,\mathbb{Z})$ be a finite index subgroup, not necessarily "congruence".
Let $c_4,c_6$ be the number of conjugacy classes of elements of order 4 and 6 respectively, let $c_{-1}$ be ...

**0**

votes

**0**answers

23 views

### Random Variables with Simply Connected Support [on hold]

Let $X$ be a random variable with simply connected support on real line. Define $Z_n=\sum_{i=1}^n X_i$ and $X_i\sim X$ for all $i$. Does $Z_n$ has simply connected support, for all $n\geq 1$?

**1**

vote

**0**answers

58 views

### Where should I look for computing the intersection homology of projective varieties?

I'm learning about intersection cohomology topologically through MacPherson's "New York Times Article". This is a very nice guide which gives a nice idea on how to use these methods for low-...

**4**

votes

**2**answers

188 views

### Rank 2 complex vector bundles over $S^4$

On $S^4$, we know that rank 2 complex vector bundles are classified by $\pi_3(U(2))=\mathbb Z$. Any element $g\in\pi_3(U(2))=\mathbb Z$ determines a complex vector bundle $E$ over $S^4$. Can we say ...

**44**

votes

**10**answers

9k views

### Nice proof of the Jordan curve theorem?

As a student, I was taught that the Jordan curve theorem is a great example of an intuitively clear statement which has no simple proof.
What is the simplest known proof today?
Is there an intuitive ...

**2**

votes

**0**answers

53 views

### Twists of equivariant spectra

Let $A$ be a spectrum, defined by deloopings $A_n$ (n an integer). Then the identity $A = S^1\wedge A_1$ together with antipodal equivariant spectrum structure on $S^1$ gives genuine $\mathbb{Z}/2$-...

**0**

votes

**0**answers

58 views

### Example of bundle-mapping over $S^4$ with singularity $S^2$

Could anyone give a non-trivial example of a bundle-mapping over $S^4$, i.e. find two complex rank 2 vector bundles $E_0,E_1$ over $S^4$ and a bundle mapping
$$0\to E_0\overset{v}{\to}E_1\to0$$
such ...

**1**

vote

**0**answers

112 views

### Trivial cohomology for fibers implies isomorphism on cohomology

Let $f: Y \rightarrow X$ be a map of topological spaces such that for any $x \in X, f^{-1}(x)$ has trivial cohomology for some cohomology theory (in my case, cohomology with rational coefficients is ...

**40**

votes

**12**answers

14k views

### Algebraic Topology Beyond the Basics:Any Texts Bridging The Gap?

Peter May said famously that algebraic topology is a subject poorly served by its textbooks. Sadly, I have to agree. Although we have a freightcar full of excellent first-year algebraic topology texts ...

**9**

votes

**2**answers

357 views

### Integral versus real (universal) characteristic classes

I'm pretty confused about the precise relation of the integral and the real cohomology of the classifying space $BG$ of a compact Lie group $G$. The natural map $H^n(BG;\mathbb{Z})\to H^n(BG;\mathbb{R}...

**4**

votes

**1**answer

387 views

### “Polygons and gravitons” and Kodaira's theorem

I'm trying to understand the paper by Hitchin called: ''Polygons and gravitons". I'm stuck at page 470. At this point, he does some computations and obtains the conformal structure of the real ...

**1**

vote

**1**answer

185 views

### What is the structure group of the Hopf fibration $S_1\rightarrow S_3 \stackrel{p}\rightarrow S_2$?

I am studying fiber bundles and have thoroughly reviewed the famous example of the Möbius strip. In that example, I learned how to discover that the structure group of the Möbius strip fiber bundle ...

**5**

votes

**0**answers

82 views

### Constructible sheaves on general stratified spaces

I am not an expert in the field, so my question might be rather standard. Let $X$ be a compact metric space. Assume that $X=\cup_{i=1}^NS_i$ is a finite disjoint union of locally closed topological ...

**-2**

votes

**1**answer

119 views

### Action of $\mathbb{Z}/3\mathbb{Z}$ on $P^{1}$ [closed]

I am reading from the book Topics in Galois theory by Serre.
I have the following question ,
take $G=\mathbb{Z}/3\mathbb{Z}$. The group $G$ acts on $P^1$ by
$$\sigma x\;=\;1/(1-x)$$
where $\sigma$ ...

**1**

vote

**0**answers

109 views

### Vector bundles and equivariant vector spaces

It seems commonly accepted that most of the results of equivariant geometry for vector spaces yield analog result for vector bundles.
In so far as I understand it, the reason for that is the ...

**2**

votes

**0**answers

103 views

### Quaternionic projective bundle in complex Grassmann bundle

"What is the fundamental class of the projective bundle of lines of a quaternionic bundle in the Grassmann bundle of 2-planes of the underlying complex bundle?"
In Quaternionic projective space in ...

**2**

votes

**0**answers

112 views

### Chern character (form) of a Gauss-Manin connection

Consider the trivial fibration $\mathbb{T}^2\to\mathbb{S}^1$, where $\mathbb{T}^2$ is the two-torus. Denote by $\mathbb{C}\to\mathbb{T}^2$ the trivial line bundle over $\mathbb{T}^2$, and equip it ...

**3**

votes

**0**answers

143 views

### Manifolds and CW-complexes

Let us consider a category $C$ formed by topological spaces and continuous functions (or by smooth manifolds and smooth functions). We consider the morphism category $C_{2}$. An object of $C_{2}$ is a ...

**8**

votes

**1**answer

639 views

### What's the detailed proof of “the composition of planar tangles is well-defined”?

In the planar algebra theory (see here or there section 2), a planar tangle is an isotopy class; then to define the composition of two tangles, we need to choose a representative in each classes. See ...

**3**

votes

**0**answers

75 views

### A model structure on semi-simplicial algebraic Kan complexes?

By an algebraic semi-simplicial kan complex I mean a semi-simplicial set (i.e. a presheaf on the category of finite ordered sets and injective order preserving maps), which is a Kan complex (in the ...

**79**

votes

**7**answers

8k views

### Homotopy groups of Lie groups

Several times I've heard the claim that any Lie group $G$ has trivial second fundamental group $\pi_2(G)$, but I have never actually come across a proof of this fact. Is there a nice argument, ...

**3**

votes

**0**answers

92 views

### Galois categories and the connected components functor

In stacks 0BMQ, a Galois category is defined to be a functor $F:\mathsf C\longrightarrow \mathsf{FinSet}$ such that $\mathsf C$ is finitely bicomplete, every object ...

**3**

votes

**2**answers

185 views

### cohomology of configuration space of punctured variety

Given a smooth projective variety $X$ of dimension $l$, we denote with $F(X,n)$ the configuration space of points
$$
F(X,n):=\{(x_{1}, \dots, x_{n})\in X^{n}\: : \: x_{i}\neq x_{j}\text{ for each }i,j ...

**1**

vote

**0**answers

101 views

### cohomology ring of homogenous manifold

Let $[d_1^{t_1}, \dotsc, d_s^{t_s}]$ be a partition of a positive integer $n$, i.e., $\sum d_r t_r = n$. I want to know the de Rahm cohomology ring of the following types of homogenous spaces :
$$
G/H ...

**7**

votes

**3**answers

667 views

### Is $S^1\vee S^1$ an Eilenberg-Mac Lane Space to a Homotopy Purist?

I believe that $S^1\vee S^1$ is the Eilenberg-Mac Lane space $K(\mathbb{Z}\ast\mathbb{Z},1)$. One can prove this by constructing its universal cover and observing that it is contractible.
My question ...

**4**

votes

**1**answer

205 views

### Quaternionic projective space in complex Grassmannian

I would like to consider the quaternionic projective space $\mathbb{PH}^{n-1}\subset\mathbb{G}_2(\mathbb{C}^{2n})$ as a subvariety of the Grassmannian of complex 2-planes.
For a real vector $e\in\...

**2**

votes

**1**answer

164 views

### Intersection of two curves is not Cohen Macaulay

Let be $R=\mathbb{C} \lbrace x,y,z \rbrace$ the formal series ring and let $f_{1},f_{2},f_{3} \in R$ be nonzero elements of $R$.
(a) Consider the varieties $M:=V(f_{1},f_{2})$ and $N:=V(f_{2},f_{3})$ ...

**2**

votes

**0**answers

46 views

### Multiplicativity of the analytic index (or of kernel bundle)

What I want to ask is the multiplicativity of the analytic index of a family of Dirac operators.
In the single operator case the analytic index of elliptic operator is multiplicative. This is proved ...

**0**

votes

**1**answer

320 views

### p-local space vs p-completion

I am having some trouble understanding the difference between the $p$-completion and a $p$-local space.
If $X$ a simply connected space has all higher homotopy groups finitely generated, then the $p$-...

**4**

votes

**1**answer

127 views

### Seeking very regular $\mathbb Q$-acyclic complexes

This question was raised from a project with Nati Linial and Yuval Peled
We are seeking a $3$-dimensional simplicial complex $K$ on $12$ vertices with the following properties
a) $K$ has a complete $...

**0**

votes

**1**answer

187 views

### Open problems where Haskell meets Category theory or Hopf algebras [closed]

I couldn't find any idea to obtain a problem where Haskell programming language meets Category Theory, Algebraic Topology or Hopf algebras for an original and interesting problem.
Also, I wonder ...

**1**

vote

**0**answers

61 views

### Homotopy invariant deletions of open faces of simplicial complexes

Given a finite simplicial complex (as a topological space) $\Delta$ and a face $\tau$, suppose we delete the interior of $\tau$ (a point if $\tau$ is a vertex, otherwise homeomorphic to an open ball ...

**3**

votes

**2**answers

112 views

### Fixed point set for a subcircle of torus actions

Let $T=S^{1}\times S^{1}\times ...\times S^{1}$ ($n$ times) be $n$
dimensional torus and $X$ be a $T$-space.
Lemma: If $X$ has finitely many connected orbit type, then there is a
subcircle $L=S^{1}\...

**7**

votes

**1**answer

306 views

### Fundamental group of the space of maps into a classifying space

Let $P : E \to X$ be a principal $G$-bundle, where $G$ is a connected topological group. $P$ is classified by a map $f: X \to BG$. The group of gauge transformations $\mathcal{G}$ of $P$ is defined to ...

**4**

votes

**0**answers

219 views

### Baum Connes Conjecture [closed]

I have recently decided on a topic for my master thesis. I want to compare the Baum Connes conjecture as it is formulated in topology to the conjecture as it is formulated in functional analysis. I ...

**6**

votes

**3**answers

328 views

### Lifting symmetries to the universal cover

If $X$ is a connected topological space with universal cover $p: \tilde{X} \to X$, I believe any homeomorphism $f : X \to X$ can be 'lifted' to a homeomorphism $\tilde{f} : \tilde{X} \to \tilde{X}$. ...

**3**

votes

**1**answer

168 views

### $\mathbb Z_2$-homotopy type of a $k$-connected, $(k+1)$-dimensional simplicial complex with a free involution

If $K$ is a finite, $k$-connected, $(k+1)$-dimensional simplicial complex then, by the theorems of Hurewicz and Whitehead, $|K|$ is homotopy equivalent to a point or to a wedge of $(k+1)$-dimensional ...

**3**

votes

**1**answer

222 views

### Equivalent definition of a homotopy of functions

It is well known that given $X,Y$ arbitrarily topological spaces, $I$ the unit interval, and continuous functions $f, g : X \rightarrow Y,$ a homotopy between the functions is a continuous function $H ...

**5**

votes

**1**answer

323 views

### Graph spectra and topology

This is a somewhat vague question, but I'm wondering if there has been any research into connections between the spectrum of a graph and some notion of the "topology" of that graph.
To give an ...

**3**

votes

**0**answers

121 views

### Can ring spectra be thought of as some sort of operad in $Top$?

It is a result of May's work on operads that the homotopy category (or $\infty$-category, if you prefer) of connective spectra is equivalent to a full subcategory of the category of representations of ...

**1**

vote

**1**answer

228 views

### Homotopy type of an oriented, closed, simply connected manifold

It is well known that every closed, oriented, simply-connected four-manifold $M$ is homotopy equivalent to a CW-complex consisting on a 0-cell, a wedge of two spheres and a 4-cell.
I was wondering ...