Related papers: Th\'eorie des d\'eformations \'equivariantes des m…
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably,…
In this paper we study the homology and cohomology of confguration spaces of two distinct particles on a graph. Our main tool is intersection theory for cycles in graphs. We obtain an explicit description of the cohomology algebra of the…
These notes are an introduction to basic properties of Andre-Quillen homology for commutative algebras. They are an expanded version of my lectures at the summer school: Interactions between homotopy theory and algebra, University of…
We combine recently developed intersection theory for non-reductive geometric invariant theoretic quotients with equivariant localisation to prove a formula for Thom polynomials of Morin singularities. These formulas use only toric…
Mishchenko-Oliveira proved the piecewise smooth cohomology and Lie algebroid cohomology of a Lie algebroid on a combinatorial compact manifold are isomorphic. In this paper, we describe an application of that result locally trivial Lie…
The aim of this note is to define for any $e_n$-algebra $A$ and a compact parallelizable n-manifold $M$ without borders a morphism from the homology of homotopy Lie algebra $A[n-1]$ to the topological chiral homology of $M$ with…
It is outlined how deformations of field theoretical rigid symmetries can be constructed and classified by cohomological means in the extended antifield formalism. Special attention is devoted to deformations referring only to a subset of…
Various equivariant intersection numbers on Hilbert schemes of points on the affine plane are computed, some of which are organized into tau-functions of 2-Toda hierarchies. A correspondence between the equivariant intersection on Hilbert…
I will discuss recent progress by many people in the program of extending natural topological invariants from manifolds to singular spaces. Intersection homology theory and mixed Hodge theory are model examples of such invariants. The past…
This note studies the behavior of Euler characteristics and of intersection homology Euler characterstics under proper morphisms of algebraic (or analytic) varieties. The methods also yield, for algebraic (or analytic) varieties, formulae…
This review gives an introduction to cohomological Donaldson-Thomas theory: the study of a cohomology theory on moduli spaces of sheaves on Calabi-Yau threefolds, and of complexes in 3-Calabi-Yau categories, categorifying their numerical DT…
Vertex algebras formalize the subalgebra of holomorphic fields of a conformal field theory. OPE-algebras were proposed as a generalization of vertex algebras that formalizes the algebra of all fields of a conformal field theory. We prove…
We exhibit isomorphisms of Grassmann spaces and their relationship with collineations and embeddings of the underlying projective spaces.
In this paper we provide a framework for quantitative statements on distances and measures when studying algebraic varieties and morphisms of algebraic varieties over local fields. We will concentrate on local fields of the type…
This is a survey article to appear in the "Handbook on Teichmueller Theory".
This dissertation presents a multifaceted look into the structural decomposition of permutation classes. The theory of permutation patterns is a rich and varied field, and is a prime example of how an accessible and intuitive definition…
This is a survey paper presenting the history and both old and new results related to Kostant's problem. This problem asks for which modules over a semi-simple finite dimensional complex Lie algebra, the universal enveloping algebra…
We present a way of constructing and deforming diffeomorphisms of manifolds endowed with a Lie group action. This is applied to the study of exotic diffeomorphisms and involutions of spheres and to the equivariant homotopy of Lie groups.
This paper presents and explores a theory of \emph{multiholomorphic maps}. This group of ideas generalizes the theory of pseudoholomorphic curves in a direction suggested by consideration of the kinds of compatible geometric structures that…
Consider a finite, regular cover $Y\to X$ of finite graphs, with associated deck group $G$. We relate the topology of the cover to the structure of $H_1(Y;\mathbb{C})$ as a $G$-representation. A central object in this study is the {\em…