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

learn more… | top users | synonyms (1)

1
vote
1answer
202 views

Possible homotopy-theoretical approach to Gauss-Bonnet

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...
14
votes
1answer
1k views

What have simplicial complexes ever done for graph theory?

(I am asking in a somewhat tongue-in-cheek fashion, of course, but nevertheless...) Are there examples of results in "classical" [*] graph theory that have been achieved by using simplicial ...
3
votes
1answer
114 views

Comparing Contact Structures: What do we Mean when we Say that two Contact Structures are Homotopic/Eliashbergs Class. of OT structures

Please forgive me if this is too simple for MO; most of my posts on anything contact-structure-related in Math Stack, other sites, have barely received answers (maybe because I'm not an expert in the ...
2
votes
2answers
191 views

Infinite loop of a p-completed specta vs p-completion of infinite loop of the spectra

Assume that we have a connective spectrum $X$, and denote the $p$-completion of this spectrum in the sense of Bousfield by $X^{\wedge}_p$ (which is given by the function spectrum ...
5
votes
0answers
128 views

Is Euler-characteristic of a simplicial complex on $n$ vertices and $f$ facets at most $n^{O(\log f)}$?

(Definition: Facet = Maximal Face) This question is a continuation of the previous one that I had asked a couple of years ago: Is Euler characteristic of a simplicial complex upper bounded by a ...
1
vote
1answer
98 views

Is the equivariant Gysin map an $H_G^*(\text{pt})$-module morphism?

Let $G$ be a complex reductive group, $X$ a smooth projective variety on which $G$ acts algebraically, and $Y \subseteq X$ a $G$-invariant smooth closed subvariety such that $X\setminus Y$ is also ...
6
votes
1answer
190 views

Are there models for homotopy colimits and limits of simplicial sets that generalize Kan's suspension and loop functors?

Consider the category C of pointed simplicial sets. The pair of functors X∈C↦X∧S¹∈C and Y∈C↦Map(S¹,Y)∈C models the suspension and loop functors on the underlying ∞-category of C. There is another ...
3
votes
2answers
139 views

kernel of monodromy action of braid group on homology of hyperelliptic curve

Let $X_{n}$ be the (unordered) configuration space of $n$ distinct points in $\mathbb{P}_{\mathbb{C}}^{1}$. The fundamental group of $X_{n}$ is the braid group on $n$ strands on the Riemann sphere, ...
8
votes
0answers
129 views

Homotopy theory of suplattices

In Quillen's monograph Homotopical algebra where he introduced the notion of model category, he showed that if $C$ is a bicomplete category with enough regular-projectives in which either (*) every ...
4
votes
2answers
186 views

Relative Serre spectral sequences?

I consider the following two situations: Let $B$ be a simply connected space, and $F\to E\to B$, $F'\to E'\to B$ two fibrations with a map $f:E'\to E$ sending fibers to fibers and inducing the ...
13
votes
2answers
762 views

Who first defined _simply connected_, reference?

The following definition is due to Donald J. Newman: A connected open subset $D$ of the plane $\mathbb C$ is simply connected if and only if its complement $\widetilde D = \mathbb C \setminus D$ ...
1
vote
1answer
176 views

Pushout of categories along embeddings gives homotopy pushout?

Consider the pushout of a diagram $A\leftarrow B\rightarrow C$ of categories and assume that at least one of the arrows is an embedding, i.e. injective on objects and arrows. When applying the nerve ...
10
votes
0answers
377 views

Has this chain complex associated with a simplicial complex been studied before?

I have stumbled upon a construction that has probably been noticed before, and I wonder if anyone can point me to a reference. Suppose that $K$ is a simplicial complex. Let $P(K)$ be the free abelian ...
-1
votes
0answers
40 views

Euler characteristics and 2-manifold mesh [migrated]

I would like to ask you for a simple definition of two-manifold surfaces and correlation with Euler characteristics $\chi=2-2g$. Is this characteristics always valid for 2-manifolds? More particularly ...
15
votes
1answer
395 views

Does the holonomy map define a homomorphism $\pi_k(X)\to\pi_{k-1}(Hol(\nabla))$?

Consider a vector bundle $V\to E\to X$ with fiber $V$, with structure group $G$, and $X$ path-connected. Consider a connection $\nabla$ on $E$. Then for any loop $L$ in $X$, based at $p$, we have a ...
1
vote
2answers
222 views

The Schottky group and the fundamental group of a compact Riemann surface

I am quoting the following description from a paper, "...every compact Riemann surface can be obtained as the quotient $\mathbb{C}/\Gamma$ where $\Gamma$ is a Schottky group. The Schottky group of a ...
2
votes
0answers
125 views

Canonical trivialization of Stiefel-Whitney classes on the frame bundle

Let $X$ be a smooth manifold, perhaps oriented if necessary. The frame bundle $\pi:P \to X$ carries a canonical trivialization of the pullback of the tangent bundle of $X$ and thus a canonical ...
8
votes
1answer
299 views

Reducing the simplices in the nerve of a category with an object with trivial endomorphism monoid

Let $C$ be a category with an object $X$ such that there are no non-trivial endomorphisms $X\rightarrow X$. Consider a simplex $\sigma$ of the nerve $NC$ of $C$. It is just a string of composable ...
1
vote
1answer
225 views

Singular cohomology as a Zariski sheaf

Let $X$ be a complex algebraic variety, and consider the presheaf $U \mapsto H^i(U^{an}, \mathbb Z)$ in the Zariski topology. Is there a theorem that says this presheaf is already a sheaf, for ...
9
votes
1answer
358 views

Can group cohomology be used to study fiber bundles?

Is (non-abelian) cohomology used to study vector and principal bundles? Can you give me a text or an article? For example: Consider a vector bundle $E$ with fiber $V$ and base manifold $M$. Consider ...
-3
votes
1answer
257 views

Lie algebraic Grassmannian

Assume that $L$ is a Lie algebra structure on $\mathbb{R}^{n}$, and $1<k<n$ is given. We define $Gr(k,n)_{L}$, the space of all $k$ dimensional Lie subalgebra of $(\mathbb{R}^{n}, L)$. For ...
1
vote
1answer
163 views

How to classify continuous/differentiable maps from $T^2$ to $U(N)$?

I read a physics paper, of which the main idea is based on the topological classification of maps from 3-torus to the space of $N\times N$ unitary matrices. To quote their equation (4), which gives a ...
2
votes
0answers
103 views

Cylinder isotopy relative to its bases

Is n-times twisted cylinder isotopic to 0-times twisted cylinder relative to its bases? (I hope I got the terms right) That is, is it possible to twist (stretching, bending etc. is allowed) a cylinder ...
17
votes
1answer
367 views

What is the group of pointed homotopy classes of maps from $S^3 \times S^3$ to $S^3$?

What is the group of pointed homotopy classes of maps from $S^3 \times S^3$ to $S^3$? The group structure induced by the group structure on the codomain. This question is a followup to Eric's answer ...
7
votes
1answer
192 views

worked out examples in borel-moore homology

I'm trying to learn about BM homology. I've found a few references and they are all quite abstract and high-powered. I am actually familiar with derived categories and sheaves so I don't mind thinking ...
9
votes
1answer
279 views

Can the group of homotopy classes of maps into S^3 be noncommutative?

Let $[X,S^3]$ be the set of homotopy classes of maps from the pointed CW complex X to the pointed 3-sphere. The group structure on S^3 endows this set with a group structure. Is this group ever ...
1
vote
1answer
308 views

A question about the proof of Quillen's Theorem A

(I posted this question on Mathstack but I haven't received any answers or comments so I thought I might as well try my luck here. I apologize if it is not an appropriate question.) Theorem (Quillen) ...
14
votes
1answer
354 views

Are there geometrically formal manifolds, which are not rationally elliptic?

Formality of a space is meant in the sense of Sullivan, i.e. a space $X$ is called formal, if it's commutative differential graded algebra of piecewise linear differential forms $(A_{PL}(X),d)$ is ...
0
votes
0answers
29 views

Is the multiplicity of a Sobolev mapping alwasys locally essentially bounded?

I have the following question: Let $f:\Omega\to \mathbb{R}^n$ be a (sense-preserving) continuous Sobolev mapping in $W^{1,n}$, where $\Omega$ is a domain in $\mathbb{R}^n$. By Sard's theorem for ...
11
votes
2answers
417 views

Postnikov's algebraic reconstruction of cohomology from homotopy invariants

In his short paper (1951) and longer monograph (1955), Postnikov introduced what I believe are now called Postnikov systems or towers. It is my understanding that Postnikov systems have since then ...
10
votes
0answers
151 views

A simple proof that parallelizable oriented closed manifolds are oriented boundary?

So let $M$ be a smooth closed orientable real manifold such that $M$ is parallelizable, i.e., the tangent space $TM$ of $M$ is trivial. From the triviality of $TM$ we get that the Stiefel-Whitney and ...
12
votes
0answers
305 views

Classical and Quantum Chern-Simons Theory

Please excuse a sloppy question from an old user who hasn't been here in a long time. I think the expertise here is such that it can be answered anyway. Let $\Sigma$ be a two-manifold and $M$ a ...
12
votes
4answers
603 views

Functors and coverings

A category $C$ can be seen as a topological space via the geometric realization of the nerve of the category. Then a functor of categories gives a map of spaces. Is there a nice categorical ...
3
votes
1answer
69 views

Transfinite sequence of contiguous simplicial maps

Recall that two simplicial maps of (abstract) simplicial complexes $f,g\colon K\to L$ are contiguous if $f(\sigma)\cup g(\sigma)$ is a simplex of $L$ for every simplex $\sigma\in K$. Contiguous ...
4
votes
1answer
140 views

The Borel construction of equivariant cobordism

In $K$ theory, the Borel construction of equivariant cohomology is somehow not the right one. The $G$-equivaraint $K$ theory of a point should be the representation ring of $G$, but $K(BG)$ is this ...
7
votes
2answers
211 views

Cokernel of the stable J-homomorphism at odd primes

Where can one learn about odd-primary components of the cokernel of the stable J-homomorphism? According to wonderful Wikipedia article on Homotopy groups of spheres, the "hard" part of the stable ...
1
vote
2answers
225 views

A generalized Thom Isomorphism

The ordinary Thom isomorphism says $H^{*+n}(E,E_{0}) \simeq H^{*}(X)$, where $E$ is a vector bundle over $X$ and $E_{0}$ is $E$ minus the zero section. Now assume that $S$ is a non vanishing section ...
1
vote
0answers
81 views

Euler class and self-intersection number of a surface in a 4-manifold [duplicate]

In the first two paragraphs of Circle bundles over $CP^1$ and self-intersection number of $CP^1$ embeddings, it is claimed that For a compact oriented surface $X$ in a 4-dimensional oriented ...
2
votes
1answer
156 views

Chern class of Hopf fibration over elliptic curve

Let $N = \{ (z_0,z_1,z_2) \in S^5 \mid z_0^3+z_1^3+z_2^3 = 0 \}$, where we consider $S^5\subset\mathbb{C}^3$. The circle $U(1)$ acts on $N$ by $$e^{i\theta} \cdot (z_0,z_1,z_2) = ...
7
votes
1answer
200 views

Homotopy of localisations of colimits

Let $X_k$ be a family of spectra equipped with maps $f_k: X_k \to X_{k+1}$. If $Y$ is a compact object (such as a sphere), then I can compute homotopy classes of maps from $Y$ into the homotopy ...
2
votes
2answers
161 views

Canonical n plane bundle over Lagrangian Grassmanian

Recall that the Lagrangian Grassmanian, which is denoted by $\Lambda(n)$, is the subset of the standard Grassmanian $G(n,2n)$, which consists lagrangian sub vector spaces of $\mathbb{R}^{2n}$. Lets ...
9
votes
0answers
232 views

Topological type of Brieskorn manifolds

Let us consider the complex hypersurface and suppose that $n\geq 3$: $$F(d,n)=\{(z_0,\ldots,z_n)\in \mathbb{C}^{n+1}:z_0^d+z_1^d+\ldots+z_n^d=0\}$$ and the link $V(d,n)=F(d,n)\cap S^{2n+1}_{\epsilon}$ ...
2
votes
1answer
410 views

Is there a direct proof of the following real analysis fact?

I want to prove the following fact without using topological degree theory or related algebraic topology Let $h:\overline{B}(0,1)\to \mathbb{R}^n$ be a continuous map such that $|h(x)-x|\leq \delta$ ...
1
vote
1answer
163 views

Is a 'join' of two cofibrations a cofibration?

I have encountered with following problem while I was learning homotopy theory. Let $A\rightarrow X$ and $B\rightarrow Y$ are cofibrations (in a good category). Is it true that a map $A\times ...
2
votes
1answer
172 views

fundamental group and torus action

Let $T$ be the complex torus acting on a complex connected algebraic variety $X$ and let $p \colon X\rightarrow Y$ be a good quotient for this action. For any $y\in Y$ we have a sequence $p^{-1}(y) ...
7
votes
0answers
103 views

Cosimplicial commutative rings in stable homotopical algebra

When doing "derived commutative algebra" over a discrete commutative ring $R$ that doesn't contain $\mathbb{Q}$, it's fairly well known that you generally have two flavors of "totally commutative ...
3
votes
1answer
306 views

Relations between Stiefel-Whitney classes

I need to know all relations between Stiefel-Whitney classes for closed manifolds of dimensions 3 and 4. Unfortunately, I found the literature on the subject quite confusing. The answer for all ...
7
votes
0answers
212 views

Characteristic Classes in Geometric Representation Theory

Geometric respectively topological methods are widely applied in representation theory. As far as I know mainly cohomological methods are used. I wonder if there are concrete applications of the ...
10
votes
2answers
370 views

Restriction of “$\pi_{1}$” to topological groups

Let $G$ and $H$ be two topological groups. Assume that $\phi:\pi_{1}(G) \to \pi_{1}(H)$ is a group homomorphism. Is there a continuous function $f:G\to H$ such that $f_{*}=\phi$?
2
votes
0answers
142 views

What kinds of manifolds admit non-vanishing vector fields defining convergent congruences?

One of the corollaries of the Poincaré–Hopf index theorem is that a closed, connected manifold $M$ admits non-vanishing vector fields iff its Euler characteristic is zero; i.e. $\chi(M) = 0$. I am ...