Maps between classifying spaces.
Let X,Y be manifolds of the same dimension. Given continuous mappings , i = 0,1, we consider the 1-parameter coincidence problem of finding homotopies , 0 ≤ t ≤ 1, such that the number of coincidence points for the pair is independent of t. When Y is the torus and f₀,g₀ are coincidence free we produce coincidence free pairs f₁,g₁ such that no homotopy joining them is coincidence free at each level. When X is also the torus we characterize the solution of the problem in terms of the Lefschetz...
Scientists use models to know the world. It is usually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models...
We study matrix factorizations of a potential W which is a section of a line bundle on an algebraic stack. We relate the corresponding derived category (the category of D-branes of type B in the Landau-Ginzburg model with potential W) with the singularity category of the zero locus of W generalizing a theorem of Orlov. We use this result to construct push-forward functors for matrix factorizations with relatively proper support.
This is a survey of the results on stable homotopy types of polyhedra of small dimensions, mainly obtained by H.-J. Baues and the author [3, 5, 6]. The proofs are based on the technique of matrix problems (bimodule categories).
We study the homomorphism induced on cohomology by the maximal equicontinuous factor map of a tiling space. We will see that in degree one this map is injective and has torsion free cokernel. We show by example, however, that, in degree one, the cohomology of the maximal equicontinuous factor may not be a direct summand of the tiling cohomology.
We prove that all groups can be realized as fundamental groups of compact spaces if and only if no measurable cardinals exist. If the cardinality of a group G is nonmeasurable then the compact space K such that G = π₁K may be chosen so that it is path connected.