Related papers: Equivariant cd-structures and descent theory

We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…

We establish direct isomorphisms between different versions of tiling cohomology. The first version is the direct limit of the cohomologies of the approximants in the Anderson-Putnam-G\"ahler complex, the second is the recently introduced…

The intended model of the homotopy type theories used in Univalent Foundations is the infinity-category of homotopy types, also known as infinity-groupoids. The problem of higher structures is that of constructing the homotopy types needed…

Given a diagram of schemes, we can ask if a geometric object over one of them can be built from descent data (usually objects of the same type over the various other schemes in the diagram, together with compatibility isomorphisms). Using…

We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces…

Fix a scheme $X$ over a field of characteristic zero that is equipped with an action of a reductive algebraic group $G$. We give necessary and sufficient conditions for a $G$-equivariant coherent sheaf on $X$ or a bounded-above complex of…

We construct a link in the $3$-space that is not isotopic to any PL link (non-ambiently). In fact, there exist uncountably many $I$-equivalence classes of links. The paper also includes some observations on Cochran's invariants $\beta_i$.

For discrete groups G, we introduce equivariant Nielsen invariants. They are equivariant analogs of the Nielsen number and give lower bounds for the number of fixed point orbits in the G-homotopy class of an equivariant endomorphism f:X->X.…

In this paper we give some results on the topology of manifolds with $\infty$-Bakry-\'Emery Ricci tensor bounded below, and in particular of steady and expanding gradient Ricci solitons. To this aim we clarify and further develop the theory…

Using Gillet's technique of projective envelopes, we prove a homological descent theorem for the connective K-homology of schemes.

We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and…

This article studies descent theory in the setting of Berkovich spaces. We give sufficient conditions for a given fibered category over the category of k-affinoid algebras to be a stack for the Berkovich analogue of the faithfully-flat…

New equations governing the scale transformation behaviors of a QFT with underlying structures are derived. These equations, with their several equivalent versions, can yield some new and significant insights and results that are difficult…

We study the equivariant real structures on complex horospherical varieties, generalizing classical results known for toric varieties and flag varieties. In particular, we obtain a necessary and sufficient condition for the existence of…

Lurie and Gepner--Meier each define equivariant cohomology theories, namely \emph{tempered cohomology} and \emph{equivariant elliptic cohomology}, respectively, using derived algebraic geometry. We construct a natural equivalence between…

Topological spaces - such as classifying spaces, configuration spaces and spacetimes - often admit extra temporal structure. Qualitative invariants on such directed spaces often are more informative yet more difficult to calculate than…

We generalize the classical construction principles of infinite-dimensional real (and complex) Lie groups to the case of Lie groups over non-discrete topological fields. In particular, we discuss linear Lie groups, mapping groups, test…

In this paper, we develop a manifestly geometric framework for equivariant manifold neural ordinary differential equations (NODEs) and use it to analyse their modelling capabilities for symmetric data. First, we consider the action of a Lie…

We construct a new model category presenting the homotopy theory of presheaves on "inverse EI $(\infty,1)$-categories", which contains universe objects that satisfy Voevodsky's univalence axiom. In addition to diagrams on ordinary inverse…

We continue our investigation of versality for parametrized families of linear retarded functional differential equations (RFDEs) projected onto finite-dimensional invariant manifolds. In this paper, we consider RFDEs equivariant with…