Questions tagged [at.algebraic-topology]

Homotopy theory, homological algebra, algebraic treatments of manifolds.

2,259 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
8 votes
0 answers
232 views

Explicit diffeomorphism between an infinite dimensional sphere its product with itself

Let $S$ be an infinite dimensional sphere in a Hillbert space. As $S$ is homotopic to the product $S \times S$, then $S$ is diffeomorphic to $S \times S$ (for Hilbert manifolds, a homotopy ...
Xiaoyang Chen's user avatar
8 votes
0 answers
223 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 ...
Tian An's user avatar
  • 3,689
8 votes
0 answers
337 views

Reference request: Whitehead product and the Borel construction

This is a question about signs. Fix a based space $(X,x_0)$, a topological group $G$ acting on $X$ from the left, so that the basepoint $x_0$ is fixed, a based map $\alpha\colon S^p\to G$ ($p\geq1$)...
Charles Rezk's user avatar
  • 26.6k
8 votes
0 answers
336 views

Two proofs of the Cheeger-Müller theorem

In the late 1970's, Cheeger and Müller independently proved the equality of analytic torsion and Reidemeister torsion for orthogonal representations, which had been conjectured by Ray-Singer. Their ...
Phillip Andreae's user avatar
8 votes
0 answers
273 views

Which map realizes the isomorphism $KO_n(X)\otimes \mathbb{Q}\to \bigoplus_{i\in\mathbb{Z}}H_{n-4i}(X;\mathbb{Q})$?

The description of the real $KO$-homology groups $KO_n(X)$ can be given abstractly as maps to the real K-theory spectrum $KO$ smash $X$, or via triples $(M,x,\phi)$ where $M$ is a closed manifold, $\...
EdoardoFossati's user avatar
8 votes
0 answers
738 views

Algebraic geometry introduction for homotopy theorists/algebraic topologists

Algebraic geometry has a plenty of decent introductory texts now. Some are of the classical commutative algebraic approach(following EGA), like Ravi Vakil's "Foundations". Some use facts from ...
Ghj657's user avatar
  • 81
8 votes
0 answers
213 views

Geometric argument for "easy" part of Jordan-Brouwer separation theorem without local flatness

Let $M^n \subset \mathbb{R}^{n+1}$ be an $n$-dimensional compact connected topological submanifold. The Jordan-Brouwer separation theorem says that $\mathbb{R}^{n+1} \setminus M^n$ contains two ...
Lisa's user avatar
  • 321
8 votes
0 answers
170 views

Which -icial sets produce the "standard" representations of symmetric groups?

Suppose you have a system of cell complexes (say, even convex polyhedra) $(P_n)_{n\geqslant0}$ which occur as faces of each other and are used to define the corresponding notion of "$P_*$-set". So ...
მამუკა ჯიბლაძე's user avatar
8 votes
0 answers
187 views

Can stable stems be generated by homotopy operations?

The motivation for this question comes from J. Cohen's result; at the prime $p=2$ his result says that any element in ${_2\pi_*^s}$ can be written as a (higher) Toda bracket of $2,\eta,\nu,\sigma$, ...
user51223's user avatar
  • 3,071
8 votes
0 answers
312 views

A model category for E-infty algebras in a non-monoidal model category?

Given a suitable nice symmetric monoidal category $C$, symmetric monoidally enriched, tensored, and cotensored over a symmetric monoidal category $S$, and an operad $\mathcal{O}$ in $S$, we can ...
Chris Schommer-Pries's user avatar
8 votes
0 answers
499 views

Failure of "equivariant triangulation" for finite complexes equipped with a $G$-action

Let $\mathcal{S}$ be the $\infty$-category of spaces, and let $G$ be a finite group, and let $BG$ be the groupoid with one object and automorphisms given by $G$. Consider the $\infty$-category $\...
Akhil Mathew's user avatar
  • 25.3k
8 votes
0 answers
386 views

Classifying space of the higher-structure diffeomorphism group

There is a higher extension of the classifying space $B \mathrm{Diff}$ of the diffeomorphism group implicit in the (infinity,n)-category of cobordisms with (X,zeta)-structure $\mathrm{Bord}_n^{(X,\...
Urs Schreiber's user avatar
8 votes
0 answers
455 views

On the cohomology of Kontsevich graph complex

Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...
Sinan Yalin's user avatar
  • 1,589
8 votes
0 answers
289 views

Picard-Brauer exact sequence for infinity categories

This question may be very naive, or the answer may be well-known. In any case, a good amount of googling did not bring up anything useful (maybe I'm using the wrong words?). If $f:A\to B$ is a ...
Tom Bachmann's user avatar
  • 1,951
8 votes
0 answers
178 views

$v_1$-periodic homotopy and principal bundle classification

This question came back to my mind while pondering this MO question. The classification of principal bundles is seriously difficult because of our lack of understanding of homotopy groups of compact ...
Matthias Wendt's user avatar
8 votes
0 answers
4k views

Kunneth spectral sequence

In Rotman's Homological Algebra, 1st edition, there is written: Is every detail of 11.31-11.35 correct? Isn't the spectral sequence in 11.35 1st quadrant and not 3rd quadrant? Do 11.34-35 also hold ...
Leo's user avatar
  • 1,579
8 votes
0 answers
331 views

What's the Hochschild homology of the category of constructible sheaves?

Let $X$ be a manifold. Does the Hochschild homology/cohomology of the category of constructible sheaves on $X$ have a more familiar name?
Vivek Shende's user avatar
  • 8,663
8 votes
0 answers
532 views

Homology of compact symmetric spaces

Could anyone point me to a table giving the homology of all compact symmetric spaces, i.e. $G/U$ where $G$ is a compact Lie group and $U$ the fixed points of an involution of $G$? I'd be happy even ...
Edgardo's user avatar
  • 276
8 votes
0 answers
213 views

A classification of smooth $S^1$-actions on $\mathbb CP^3$?

Question 1. Is there a classification of smooth $S^1$-actions with isolated fixed points on the standard $\mathbb CP^3$? Question 2. What if one additionally imposes the condition that the action ...
aglearner's user avatar
  • 14k
8 votes
0 answers
280 views

Systoles of hyperbolic (Riemann) surfaces of large genus

Let $m$ be a Riemannian metric on $S_g$ the surface of genus $g$, and $sys(m)$ be the length of the shortest non contractible cycle with respect to $m$. The systolic inequality claims that for any ...
Alfredo Hubard's user avatar
8 votes
0 answers
207 views

Fibrations of orthogonal G-spectra and fixed points

There are at least two fixed point functors that characterize stable equivalences of orthogonal G-spectra: the geometric fixed points and the naive fixed points of a fibrant replacement. Is this true ...
Emanuele Dotto's user avatar
8 votes
0 answers
771 views

looping and delooping spaces and categories

I'm trying to understand the relationship between the notions of looping and delooping in category theory and topology. The morphisms in a category with one object have the structure of a monoid. ...
ziggurism's user avatar
  • 1,436
8 votes
0 answers
350 views

Two ways of getting a cohomology class from an extension of a discrete group by $\mathbb C^*$

Suppose that $\overline G$ is a Lie group such that the connected component of $1$ is $\mathbb C^*$. Assume that $\mathbb C^*$ is central in $\overline{G}$, and set $G := \overline G/\mathbb C^*$. ...
Angelo's user avatar
  • 26.8k
8 votes
0 answers
606 views

Chern Classes of Exterior Products of a vector bundle.

This is mostly a question in combinatorics. Is there a clean way in terms of determinantal identities to write down $c(\wedge^k V)$ i.e. the individual summands in terms of the individual summands of $...
Anant Atyam's user avatar
8 votes
0 answers
2k views

Homotopy groups of a Bouquet of n-spheres

Let $$X=\vee_{\alpha\in A} S_{\alpha}^n$$ be a bouquet of $n$-spheres. Q: How does one compute the homotopy groups $\pi_k(X)$?
Hugo Chapdelaine's user avatar
8 votes
0 answers
540 views

Description of virtual fundamental class

For some concrete examples, is there an easy way to describe the virtual fundamental class (say, by capping off the moduli pace with an obstruction bundle ). Consider the moduli space of stable maps ...
Ruke's user avatar
  • 147
8 votes
0 answers
359 views

Completion of n-fold Segal spaces

During a reading course about Jacob Lurie's paper about Local TQFTs, I came across the notion of Segal spaces as models for $(\infty,1)$-categories. Looking at things like the "double nerve" for 2-...
Ulrich Pennig's user avatar
8 votes
0 answers
695 views

Finite generation of equivariant cohomology rings

Let $G$ be a finite group acting on a topological space $X$. (In my applications, $X$ is the classifying space of a compact Lie group.) Let $H^\ast(-)=H^\ast(-;\mathbb{Z}/2\mathbb{Z})$ denote mod 2 ...
Mark Grant's user avatar
8 votes
0 answers
368 views

Dualizing complex of the product of two locally compact spaces

Hello! In the setting of locally compact Hausdorff spaces, I would like to understand the relation between the exterior product ${\mathbb D}_X\boxtimes{\mathbb D}_Y$ of the dualizing complexes of two ...
Hanno's user avatar
  • 2,736
8 votes
0 answers
204 views

Characteristic classes from moduli of alternating forms

Suppose, just for example, that you have a smooth manifold $M$ of dimension greater than $8$,and a cohomology class $q$ in $H^3(M,{\Bbb R})$. Suppose further that one can represent $q$ with a ...
David Feldman's user avatar
8 votes
0 answers
332 views

Do p-compact groups have a sufficiently good notion of "flag variety" and "intersection cohomology"?

This is mostly an idle question, since I don't think I'd be able to do anything with a positive answer. But a positive answer would still be interesting, I think. Background An outstanding problem ...
Qiaochu Yuan's user avatar
8 votes
0 answers
436 views

Differential K-theory computation

I am trying to read about K-theory and differential K-theory. I understand that the K-theory of spheres can be computed explicitly (by getting to the stable range and using Bott periodicity and so on)....
Vamsi's user avatar
  • 3,323
8 votes
1 answer
1k views

semi flat connections

Let $L\to V$ be complex line bundle and $F_{t}:V\to V$, $t\in [0,1]$, be a loop of diffeomorphisms, $F_0=F_1=$ identity. For every $x\in V$, we get a loop $\gamma_x(t)=\{F_t(x)\}$ whose class in $\...
Mohammad Farajzadeh-Tehrani's user avatar
7 votes
0 answers
180 views

Are the spaces BG for compact connected groups G ind-projective or ind-Kähler?

Let $G$ be a compact connected group, or maybe better its complexification. By thinking about the simplicial Borel space, or using $n$-acyclic $G$-spaces for higher and higher $n$, it's "easy&...
Ben Webster's user avatar
  • 43.9k
7 votes
0 answers
176 views

Complex cobordism and integrable systems

In Jack Morava's paper On the complex cobordism ring as a Fock representation, it was remarked right at the beginning that complex cobordism may play a role in the theory of integrable systems. In ...
user1271629's user avatar
7 votes
0 answers
238 views

$C^0$-limit of volume-preserving maps on $\mathbb R^n$

Let $f_k:B_1\rightarrow \mathbb R^n$ be a sequence of injective differentiable volume-preserving maps (i.e. $\mu(f_k(A))=\mu(A)$ for any measurable $A\subset B_1$) that converges uniformly to $f:B_1\...
Tian LAN's user avatar
  • 135
7 votes
0 answers
151 views

Real Bott periodicity in style of Harris’s proof of complex Bott periodicity

Bruno Harris has a beautiful short proof of complex Bott periodicity using the group completion theorem in his paper B. Harris, Bott periodicity via simplicial spaces. J. Algebra 62 (1980), no. 2, 450-...
Cindy's user avatar
  • 71
7 votes
0 answers
166 views

How does nullification of $K(\mathbb{Z}, 2)$ compare to 1-truncation?

Let $B$ be a type (or space). A type (or space) is $B$-null if the canonical map $X \to X^B$ is an equivalence. The $B$-nullification of an arbitrary type $X$ is a $B$-null type $\bigcirc_B X$ ...
aws's user avatar
  • 3,836
7 votes
0 answers
160 views

Relative version of Browder's theorem on H-spaces

A theorem of W. Browder [1] from 1961 says that an H-space $X$ with finitely generated integral homology (meaning that $H_*(X)$ is finitely generated) has $\pi_2(X) = 0$. This generalizes Cartan's ...
Danny Ruberman's user avatar
7 votes
0 answers
156 views

Poincaré series of deloopings of finite complexes

Recall that the Poincaré series of a topological space $X$ is defined as $P_X(t) = \sum_{j=0}^{\infty} b_jt^j$, where $b_j = \text{dim}_{\mathbb Q} H_{j}(X;\mathbb Q)$ means the $j^{\text{th}}$ (...
Jens Reinhold's user avatar
7 votes
0 answers
288 views

Can every finitely presented group be realized as a fundamental group of a compact four-dimensional smooth submanifold $\mathbb{R}^4$?

Every finitely presented group is realized as a fundamental group of a two-dimensional complex (a simple exercise on Van Kampen's theorem). I was told that a two-dimensional complex can be well ...
Arshak Aivazian's user avatar
7 votes
0 answers
279 views

When does the tangent microbundle of a closed orientable topological $4k$-manifold have a trivial rank 2 subbundle?

$\DeclareMathOperator{\Top}{Top} \DeclareMathOperator{\co}{H}$Let $M$ be a closed orientable connected topological manifold of dimension $4k$ with $k > 1$. It is known (David Frank, On the index of ...
Cihan's user avatar
  • 1,586
7 votes
0 answers
140 views

comparison of polynomial loop group and smooth loop group

I have a question about Section 8.6 of Pressley-Segal's Loop groups book. Let $G$ be a compact, connected Lie group. Proposition 8.6.6 concerns the comparison of homotopy type between its polynomial ...
onefishtwofish's user avatar
7 votes
0 answers
388 views

Transfer of E-infinity algebra structures

Skip to the bottom for my questions, first some discussion: It is a celebrated theorem of Kadeišvili that $A_{\infty}$-algebra structures can be transferred along homotopy equivalences so that the ...
J Cameron's user avatar
  • 551
7 votes
0 answers
297 views

Topological operations corresponding to abelianization of the fundamental group

$\newcommand{\ab}{\mathrm{ab}}$Suppose we have a topological space $X$ with a non-abelian fundamental group $\pi_1(X)$. We'd like to perform a sequence of topological operations on $X$ (for example, ...
Abh's user avatar
  • 79
7 votes
0 answers
226 views

What is the group completion of the groupoid of even finite sets and even permutations?

$\newcommand{\sgn}{\mathrm{sgn}}\newcommand{\defeq}{\overset{\mathrm{def}}{=}}$The Barratt–Priddy–Quillen–Segal theorem says that the $\mathbb{E}_\infty$-group completion of the groupoid of finite ...
Emily's user avatar
  • 10.3k
7 votes
0 answers
209 views

The homotopy monoids of directed spheres

In directed homotopy theory, one replaces spheres by directed spheres and homotopy groups by homotopy monoids. Is it known what are the first few homotopy monoids of directed spheres? Do homotopy ...
Emily's user avatar
  • 10.3k
7 votes
0 answers
176 views

In what sense do the real and complex places correspond to setting q equal to 1 or -1?

It often happens that if we have a scheme $X/\mathbb Z$ (or an open subset thereof) and we denote by $p(q) = X(\mathbb F_q)$, then $p(1)$ and $p(-1)$ compute the euler characteristic of $X(\mathbb C)$ ...
Asvin's user avatar
  • 7,648
7 votes
0 answers
127 views

Endofunctors of the surface category

Let $\mathrm{Cob}_2$ be the symmetric monoidal $(\infty,1)$-category whose objects are closed oriented $1$-manifolds and whose morphisms are compact oriented surface bordisms. (Higher morphisms are ...
Jan Steinebrunner's user avatar
7 votes
0 answers
637 views

Update on "A Mad day's work" by Cartier

In his paper "A mad day's work: from Grothendieck to Connes and Kontsevich. The evolution of concepts of space and symmetry," Cartier discusses in the last sections 8 and 9 the role of ...
Tom Copeland's user avatar
  • 9,937

1
7 8
9
10 11
46