Related papers: Loops on schemes and the algebraic fundamental gro…

Symmetric homology is an analog of cyclic homology in which the cyclic groups are replaced by symmetric groups. The foundations for the theory of symmetric homology of algebras are developed in the context of crossed simplicial groups using…

Pursuing a generalization of group symmetries of modular categories to category symmetries in topological phases of matter, we study linear Hopf monads. The main goal is a generalization of extension and gauging group symmetries to category…

Continuing work begin in arXiv:1910.12609, we interpret the Hurewicz homomorphism for Baker and Richter's noncommutative complex cobordism spectrum $M\xi$ in terms of characteristic numbers (indexed by quasi-symmetric functions) for…

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…

This work is dedicated to the construction of a new motivic homotopy theory for (log) schemes, generalizing Morel-Voevodsky's (un)stable $\mathbb{A}^1$-homotopy category. Our framework can be used to represent log topological Hochschild and…

We give a new description of Rosenthal's generalized homotopy fixed point spaces as homotopy limits over the orbit category. This is achieved using a simple categorical model for classifying spaces with respect to families of subgroups.

Classically, regular homomorphisms have been defined as a replacement for Abel--Jacobi maps for smooth varieties over an algebraically closed field. In this work, we interpret regular homomorphisms as morphisms from the functor of families…

In homotopy theory, exact sequences and spectral sequences consist of groups and pointed sets, linked by actions. We prove that the theory of such exact and spectral sequences can be established in a categorical setting which is based on…

Algebraic geometry for groups and Lie algebraic has been recently defined and studied by many authors on the purpose to study set defined by algebraic equations on abstract groups and Lie algebras. The purpose of this paper is to present a…

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…

We consider Smale spaces, a particular class of hyperbolic topological dynamical systems, which include the basic sets for Smale's Axiom A systems. We present a homology theory for such systems which is based on the dimension group in the…

We study the homotopy of loops in a fixed path-connected Polish space from a descriptive set-theoretic viewpoint. We show that many analytic equivalence relations arise this way, and many do not. We also study the "free group" over an…

We construct a category, $\Omega$, of which the objects are pointed categories and the arrows are pointed correspondences. The notion of a "spec datum" is introduced, as a certain relation between categories, of which one has been given a…

Isomorphism is central to the structure of mathematics and has been formalized in various ways within dependent type theory. All previous treatments have done this by replacing quantification over sets with quantification over groupoids of…

Associated to any manifold equipped with a closed form of degree >1 is an `L-infinity algebra of observables' which acts as a higher/homotopy analog of the Poisson algebra of functions on a symplectic manifold. In order to study Lie group…

We study exact, volume-preserving diffeomorphisms that have heteroclinic connections between a pair of normally hyperbolic invariant manifolds. We develop a general theory of lobes, showing that the lobe volume is given by an integral of a…

There are two main results. The first states that isotropy subgroups of groups acting transitively on a rationally hyperbolic spaces have infinitely generated rational cohomology algebra. Using this fact, we prove that the analogous…

We characterise the set of fixed points of a class of holomorphic maps on complex manifolds with a prescribed homology. Our main tool is the Lefschetz number and the action of maps on the first homology group.

In this text we expose basic cases of some fundamental ideas and methods of topology. Namely, of homotopy, degree, fundamental group, covering, Whitehead invariant, etc. This is done by considering the elementary example: closed polygonal…

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be…