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

**1**

vote

**0**answers

25 views

### Lifting a differential operator

Let $D$ be a differential operator acting between the spaces of smooth sections of two vector bundles $E,F$ over compact manifold $M$. If $M$ is not simply connected one can construct the universal ...

**15**

votes

**0**answers

92 views

### What is the “real” meaning of the $\hat A$ class (or the Todd class)?

In the Atiyah-Singer index theorem as well as in the Grothendieck-Riemann-Roch theorem, one encounters either the $\hat A$-class or the Todd class, depending on the context. I want to focus on the ...

**3**

votes

**0**answers

55 views

### Intersection patterns of loops on surfaces

Let $a,b$ be to simple closed loops on a surface $S$ (more generally I'm also interested in the case when $b$ is 1-codimensional). Denote their intersection on $a$ orientation-wise by ...

**-3**

votes

**0**answers

55 views

### Lifting of a Diffeomorphism to an Orientable Double Cover [on hold]

Let $M$ be a non-orientable smooth $d$-dimensional manifold. Let $\tilde{M}$ be the oriented double cover for $M$; and let $f\in Diff^{1+\beta}(M)$. Define $\tilde{f}:\tilde{M}\rightarrow \tilde{M}$ ...

**9**

votes

**0**answers

292 views

### diameter as a Morse function

Consider the space $X_1$ of closed subsets not containing a pair of antipodal points of the unit circle. Here we have a kind of degenerate Morse function, defined by the diameter of the pointset. ...

**4**

votes

**1**answer

166 views

### The fibration map $Diff(M) \rightarrow Emb(N,M)$

Let $M$ be a non-compact manifold, equipped with a (closed?) submanifold $N\subset M$. The action of $Diff(M)$ on the set of embeddings $N\hookrightarrow M$ induces a map
$$
Diff(M) \rightarrow ...

**1**

vote

**1**answer

240 views

### research articles in topology/geometry [on hold]

There is a saying "Do you read the masters?"
I want to read some basic papers in Topology/geometry...
I can not clearly state what is basic as of now...
My back ground includes course in
...

**3**

votes

**1**answer

184 views

### Differential characters, Chern-Simons forms, and differential cohomology

I've read through the classic Chern-Simons paper where they introduce the Chern-Simons forms. These are differential forms whose exterior derivative gives you the characteristic forms for any given ...

**22**

votes

**1**answer

1k views

### Periodic Orbit property

A topological space $X$ satisfies "Periodic orbit property", briefly POP, if for every continuous map
$f:X \to X$, there exist a natural number $n$ and a point $x_{0}\in X$ such that ...

**24**

votes

**6**answers

5k views

### Why are local systems and representations of the fundamental group equivalent

My question: Let X be a sufficiently 'nice' topological space. Then there is an equivalence between representations of the fundamental group of X and local systems on X, i.e. sheaves on X locally ...

**27**

votes

**5**answers

2k views

### What is modern algebraic topology(homotopy theory) about?

At a basic level, algebraic topology is the study of topological spaces by means of algebraic invariants. The key word here is "topological spaces". (Basic) algebraic topology is very useful in other ...

**2**

votes

**0**answers

69 views

### A Künneth-Theorem version for relative singular cohomology

I'm not an expert in algebraic topology, but sometimes I need some results from this area, for example tools to determine singular cohomology groups of product spaces.
The Künneth-Theorem which I ...

**12**

votes

**9**answers

2k views

### Orbifold fundamental group in terms of loops?

In chapter 13 in his notes on 3-manifolds, Thurston defines the orbifold fundamental group to be the group of deck transformations of the universal cover of the orbifold. He also makes a statement ...

**10**

votes

**2**answers

448 views

### Intuition/idea behind a proof of the splitting principle?

The splitting principle is as follows.
Given a vector bundle $E \to X$ with $X$ compact Hausdorff, there is a compact Hausdorff space $F(E)$ and a map $p: F(E) \to X$ such that the induced map ...

**3**

votes

**0**answers

96 views

### Is the bar construction of a CDGA model a Hopf algebra model for the loop space?

By a theorem of Adams, if $A = C^*(X;\mathbb{Q})$ is the CDGA of rational cochains on $X$ then the cohomology of the bar complex of $A$ is isomorphic to $H^*(\Omega X; \mathbb{Q})$ as a coalgebra (see ...

**6**

votes

**4**answers

616 views

### A reference for Calculus of Functors for Model Categories

I am wondering where I might look to see what has been done in terms of Calculus of Functors for more general weak equivalences and Model Categories.
I am at least aware of some of the extended ...

**58**

votes

**20**answers

6k views

### Solving algebraic problems with topology

Often, topologists reduce a problem which is - in some sense - of geometric nature, into an algebraic question that is then (partiallly) solved to give back some understanding of the original problem.
...

**2**

votes

**0**answers

77 views

### Can additivity of the Euler characteristic be interpreted in terms of the Poincaré–Hopf theorem? [on hold]

Whenever there is a long exact sequence in homology induced by a short exact sequence of chain complexes one finds that the corresponding Euler characteristics are additive. For example, if $Y \subset ...

**25**

votes

**2**answers

2k views

### How can we detect the existence of almost-complex structures?

Any smooth $k$-manifold $M$ comes with a well-defined map $f:M\rightarrow BGL_{k}(\mathbb{R})$ (up to homotopy) classifying its tangent bundle. Since $GL_{k}(\mathbb{R})$ deformation-retracts onto ...

**19**

votes

**2**answers

640 views

### How many simplicial complexes on n vertices up to homotopy equivalence?

Fix a number $n$, and define $\gamma(n)$ to be the number of simplicial complexes on $n$ unlabeled vertices up to homotopy equivalence. It is unlikely that an explicit formula exists, but what is ...

**18**

votes

**5**answers

4k views

### What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?

What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?

**57**

votes

**0**answers

4k views

### Grothendieck-Teichmuller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures
Grothendieck-Teichmuller conjecture: the morphism
$$
G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T})
$$
is an isomorphism.
Here ...

**6**

votes

**0**answers

677 views

### Ordinary cohomology groups of $(\mathbb{C}^3\times T^2)/\mathbb{Z}_k$ that I need for my string theory research

Let $X=(B^6\times T^2)/\mathbb{Z}_k\subset (\mathbb{C}^3\times T^2)/\mathbb{Z}_k$ where $k=2,3,4,6$, where the generator of $\mathbb{Z}_k$ acts on $\mathbb{C}^3$ by the multiplication by a primitive ...

**-1**

votes

**0**answers

52 views

### Spherical Element (Simplicial Set) [closed]

Definition: An element $x\in X_n$ is said to be spherical if $d_i x=*$ for all $0\leq i\leq n$. $X$ is a pointed fibrant simplicial set.
I am puzzling over this definition.
For instance, if ...

**3**

votes

**2**answers

322 views

### Definition of E-infinity operad

What is the definition of $E_\infty$-operad in the category of chain complexes over $\mathbb{Z}/p\mathbb{Z}$? J. Smith in http://arxiv.org/abs/math/0004003 define it for complexes over $\mathbb{Z}$ ...

**1**

vote

**0**answers

129 views

### Braids with an infinite number of strings

Has anyone developed a theory for braids with an infinite number of strings?

**10**

votes

**2**answers

461 views

### A homology theory which satisfies Milnor's additivity axiom but not the direct limit axiom?

Let us agree on the following: a "homology theory" means a functor $h_*$ from the category of pointed CW complexes to the category of graded abelian groups, together with natural isomorphisms ...

**4**

votes

**1**answer

212 views

### Construction of invariants of 4-manifolds with the Kirby calculus

I'm an undergraduate student, interested in the low dimensional topology, in particular, the 4-manifold theory.
I have a question.
In the knot theory, the Reidemeister moves play fundamental roles.
...

**4**

votes

**0**answers

122 views

### Cohomology algebra generated by $n$ Steifel whitney classes and and $k$ dual classes subject only to $n+k$ defining relations? [closed]

Is the cohomology algebra $H^*(G_n(\mathbb{R}^{n+k}))$ over $\mathbb{Z}/2$ generated by the Steifel-Whitney classes $w_1, \dots, w_n$ of $\gamma^n$ and the dual classes $\overline{w}_1, \dots, ...

**6**

votes

**1**answer

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

**2**

votes

**0**answers

101 views

### Reference request for a “truncated version” of the de Rham algebra

Let's start on the $n$-torus for sake of simplicity.$\newcommand{\T}{\mathbb T}$
If I understand the relevant definitions correctly, the usual de Rham algebra of smooth differential forms on $\T^n$ is ...

**2**

votes

**0**answers

241 views

### Fixed points of self maps

Given $m$ points on $S^n$, is there an explicit polynomial self $1-1$ map of minimum degree $f:S^n\rightarrow S^n$ that fixes only these $m$ points? Can we say something about symmetry group of $f$ if ...

**8**

votes

**1**answer

260 views

### Non-Cartesian Monoidal Model Structure on a Slice Category

Given a monoidal model category $(M,\otimes, 1)$, and a monoid therein $A$, one can take the slice model category $M_{/A}$. This category has a natural monoidal structure induced by taking fibered ...

**6**

votes

**2**answers

218 views

### “Database” of simplicial polytopes/spheres

Reading through various papers on polytopes I have come across really interesting examples of simplical polytopes and non-shellable (or non-PL) simplicial spheres but sometimes it is hard to keep ...

**8**

votes

**2**answers

464 views

### Vector bundles, finitely generated projective module?

Let $B$ be a Tychonoff space and let $\mathbb{R}(B)$ denote the ring of continuous real valued functions on $B$. For any vector bundle $\xi$ over $B$, let $S(\xi)$ denote the $\mathbb{R}(B)$-module ...

**28**

votes

**2**answers

393 views

### If $A$ is the ring of continuous functions on a genus $g$ surface, can the genus of $X$ be seen by simple algebra in $A$?

I was describing to a friend the result that a compact Hausdorff space is determined up to homeomorphism up to by its ring of continuous functions, and he asked how one could see the genus of a ...

**0**

votes

**0**answers

115 views

### Is there a t-structure on the homotopy category of spectra that has the sphere spectrum in its heart?

Maybe the heart of such a t-structure should be the category of abelian groups, and the t-homology functor should be given by taking usual homology groups of the spectrum. Is it impossible?

**23**

votes

**4**answers

2k views

### Two kinds of orientability/orientation for a differentiable manifold

Let $M$ be a differentiable manifold of dimension $n$. First I give two definitions of Orientability.
The first definition should coincide with what is given in most differential topology text books, ...

**4**

votes

**0**answers

57 views

### The metric gives the optimal element in a class

In geometry there is plenty of examples in which the following happens:
Some elements are considered equivalent, in some topological or algebraic sense
We take the quotient
The metric is usually not ...

**0**

votes

**1**answer

152 views

### group actions on fibre bundles

Suppose that we have a group $G$ acting on the spaces $E$ and $B$. Suppose moreover that we have fibre bundles $\xi$ and $\eta$ in the following commutative diagram
If $\xi$ is a trivial bundle, ...

**13**

votes

**3**answers

271 views

### How stable is the top cell of a Lie group?

It is well known that the fundamental class of a compact Lie group $G$ is stably spherical (see "H-Spaces and Duality" by Browder and Spanier, or "Thom Complexes" by Atiyah), and there is a stable ...

**0**

votes

**1**answer

316 views

### Can monodromy be described by the same matrix for chosen generators in case of the same singularity type?

Let $X$ be a surface in $\mathbb{P}^3$. We have a fibration $f: X \longrightarrow \mathbb{P}^1$, and $f^{-1}(s_1)$ and $f^{-1}(s_2)$ have the same singularity type. Let $\gamma_1$ and $\gamma_2$ be ...

**0**

votes

**1**answer

57 views

### Conjugation Cells [equivariant cohomology]

I'm studying conjugation spaces, I have found in many sources that a conjugation cell is a conjugation space (without a proof). The widest approach that I have found so far is this paper (example 3.5)
...

**7**

votes

**1**answer

139 views

### (Non)-equivariant equivalence in $G$-spectra

In HHR, an important part is the periodicity theorem. For proving the theorem, they invert a carefully defined class $D \in \pi^{C_8}_{19\rho_8}(N^8_2MU_{\mathbb{R}})$ and they can find an element in ...

**3**

votes

**0**answers

151 views

### some terminologies on limiting mixed hodge structures or rather Derived categories

$f: X\rightarrow S$ is proper surjective homomorphism map from connected complex manifold to unite disk. $Y=f^{-1}(0)$ is algebraic and normal crossing in X, f is smooth away from 0, $X^*=X\setminus ...

**30**

votes

**1**answer

652 views

### A dictionary of Characteristic classes and obstructions

I apologize in advance as this is not a research level question but rather one which could benefit from expert attention but is potentially useful mainly to novice mathematicians.
In an effort to ...

**9**

votes

**1**answer

316 views

### Wild half-line in a Euclidean space

Is there an $m$-dimensional simplicial complex $S$ with the following properties:
The cone over $S$ is homeomorphic to $\mathbb{E}^{m+1}$. Here $\mathbb{E}^{m+1}$ denoes the $(m+1)$-dimensional ...

**6**

votes

**3**answers

754 views

### Does anyone know the classification of fourth order surfaces?

Does anyone know the classification of fourth order surfaces? By "fourth order surface" I mean a surface defined by an equation of the form $$f(x, \, y, \, z)=0,$$
where $f$ is a polynomial of degree ...

**7**

votes

**1**answer

395 views

### A conjecture of Cheeger about intersection cohomology and $L^2$- cohomology

Let $X$ be a projective variety and let $D$ be a simple normal
crossings divisor on $X$
Does $$IH^*(X;\mathbb C)\cong H_{(2)}^*(X\setminus D;\mathbb C)$$ hold
true for each Kähler metric ...

**4**

votes

**4**answers

1k views

### The fundamental groupoid and a pushout in the category of groupoids.

Hi,
Recently I've been looking at the more general version of Van Kampen's theorem, or R. Browns version of it, for the fundamental groupoid. It mentions that if a space X is the union of the ...