Related papers: The topology of Birkhoff varieties
Cherkis bow varieties were introduced as ADHM type description of moduli space of instantons on the Taub-NUT space equivariant under a cyclic group action. They are also models of Coulomb branches of quiver gauge theories of affine type A.…
To each finite subset of $\mathbb{Z}^2$ (a diagram), one can associate a subvariety of a complex Grassmannian (a diagram variety), and a representation of a symmetric group (a Specht module). Liu has conjectured that the cohomology class of…
We give a systematic description of the cyclic cohomology theory of Hopf algebroids in terms of its associated category of modules. Then we introduce a dual cyclic homology theory by applying cyclic duality to the underlying cocyclic…
We introduce and compare two approaches to equivariant homotopy theory in a topological or ordinary Quillen model category. For the topological model category of spaces, we generalize Piacenza's result that the categories of topological…
Let $\sigma$ be a simple involution of an algebraic semisimple group $G$ and let $H$ be the subgroup of $G$ of points fixed by $\sigma$. If the restricted root system is of type $A$, $C$ or $BC$ and $G$ is simply connected or if the…
We address a unification of the Schubert calculus problems solved by [A. Buch '02] and [A. Knutson-T. Tao '03]. That is, we prove a combinatorial rule for the structure coefficients in the torus-equivariant K-theory of Grassmannians with…
We use K-area homology to summarize some results about the Novikov conjecture and the Hirzebruch L-class. In fact, we provide necessary and sufficient conditions for closed manifolds to have a homotopy invariant L-class. In order to obtain…
In this short note we show that the homotopy category of smooth compactifications of smooth algebraic varieties is equivalent to the homotopy category of smooth varieties over a field of characteristic zero. As an application we show that…
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…
An algebraic theory, sometimes called an equational theory, is a theory defined by finitary operations and equations, such as the theories of groups and of rings. It is well known that algebraic theories are equivalent to finitary monads on…
We introduce the notion of \emph{topo-symmetric extensions} of topological groups, a new generalization of classical group extensions that incorporates both topological and symmetry constraints. We define morphisms between such extensions,…
We present an Eilenberg-Steenrod-like axiomatic framework for equivariant coarse homology and cohomology theories. We also discuss a general construction of such coarse theories from topological ones and the associated transgression maps. A…
Homotopy theory folklore tells us that the sheaf defining the cohomology theory Tmf of topological modular forms is unique up to homotopy. Here we provide a proof of this fact, although we claim no originality for the statement. This…
We describe some of the connections between the Bieri-Neumann-Strebel-Renz invariants, the Dwyer-Fried invariants, and the cohomology support loci of a space X. Under suitable hypotheses, the geometric and homological finiteness properties…
Over a monoidal model category, under some mild assumptions, we equip the categories of colored PROPs and their algebras with projective model category structures. A Boardman-Vogt style homotopy invariance result about algebras over…
We study the local and global intersection cohomology of the intersection of two Schubert varieties in a flag manifold. In this version some new references are added.
Bivariant (equivariant) K-theory is the standard setting for non-commutative topology. We may carry over various techniques from homotopy theory and homological algebra to this setting. Here we do this for some basic notions from…
The codomain category of a generalized homology theory is the category of modules over a ring. For an abelian category A, an A-valued (generalized) homology theory is defined by formally replacing the category of modules with the category…
We characterize Birkhoff-James orthogonality of continuous vector-valued functions on a compact topological space. As an application of our investigation, Birkhoff-James orthogonality of real bilinear forms are studied. This allows us to…
We study the torus equivariant Schubert classes of the Grassmannian of non-maximal isotropic subspaces in a symplectic vector space. We prove a formula that expresses each of those classes as a sum of multi Schur-Pfaffians, whose entries…