Questions tagged [at.algebraic-topology]
Homotopy theory, homological algebra, algebraic treatments of manifolds.
2,259
questions with no upvoted or accepted answers
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 ...
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 ...
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$)...
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 ...
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, $\...
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 ...
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 ...
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 ...
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$, ...
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 ...
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 $\...
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,\...
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 ...
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 ...
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 ...
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 ...
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?
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 ...
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 ...
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 ...
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 ...
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. ...
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^*$. ...
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 $...
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)$?
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 ...
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-...
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 ...
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 ...
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 ...
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 ...
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)....
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 $\...
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&...
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 ...
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\...
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-...
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$ ...
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 ...
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}}$ (...
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 ...
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 ...
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 ...
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 ...
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, ...
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 ...
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 ...
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)$ ...
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 ...
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 ...