Related papers: The Wehrheim-Woodward Category of Linear Canonical…

A construction of Wehrheim and Woodward circumvents the problem that compositions of smooth canonical relations are not always smooth, building a category suitable for functorial quantization. To apply their construction to more examples,…

Wehrheim and Woodward have shown how to embed all the canonical relations between symplectic manifolds into a category in which the composition is the usual one when transversality and embedding assumptions are satisfied. A morphism in…

In categories of linear relations between finite dimensional vector spaces, composition is well-behaved only at pairs of relations satisfying transversality and monicity conditions. A construction of Wehrheim and Woodward makes it possible…

In a previous work the authors gave a conceptual explanation for the linearity of the Weil representation over a finite field k of odd characteristic: There exists a canonical system of intertwining operators between the Lagrangian models…

Let X be a pointed connected simplicial set with loop group G. The linearisation map in K-theory as defined by Waldhausen uses G-equivariant spaces. This paper gives an alternative description using presheaves of sets and abelian groups on…

In this Master's thesis, we consider the problem of classifying, up to conjugation by linear symplectomorphisms, linear canonical relations (lagrangian correspondences) from a finite-dimensional symplectic vector space to itself. We give an…

In a previous paper, we have constructed, for an arbitrary Lie group G and any of the fields F=R or C, a good equivariant cohomology theory KF_G^*(-) on the category of proper $G$-CW-complex and have justified why it deserved the label…

We construct an isomorphism between the (universal) spherical Hall algebra of a smooth projective curve of genus g and a convolution algebra in the (equivariant) K-theory of the genus g commuting varieties C_{{gl}_r}={(x_i, y_i) \in…

For a Gelfand pair $(G,K)$ with $G$ a Lie group of polynomial growth and $K$ a compact subgroup, the "Schwartz correspondence" states that the spherical transform maps the bi-$K$-invariant Schwartz space ${\mathcal S}(K\backslash G/K)$…

Generalizing a construction of Wolfgang L\"uck and Bob Oliver, we define a good equivariant cohomology theory on the category of proper G-CW complexes when G is an arbitrary Lie group (possibly non-compact). This is done by constructing an…

The ring K(G/B) is isomorphic to a quotient of a Laurent polynomial ring by an ideal generated by certain W-symmetric functions and has a basis given by classes O_w, where O_w is the class of the structure sheaf of the Schubert variety X_w.…

To each symmetric graded Frobenius superalgebra we associate a W-algebra. We then define a linear isomorphism between the trace of the Frobenius Heisenberg category and a central reduction of this W-algebra. We conjecture that this is an…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

Let $G$ be a compact Lie group. We prove that if $V$ and $W$ are orthogonal $G$-representations such that $V^G=W^G=\{0\}$, then a $G$-equivariant map $S(V) \to S(W)$ exists provided that $\dim V^H \leq \dim W^H$ for any closed subgroup…

We reconstruct derived Witt groups via special linear algebraic cobordism. There is a morphism of ring cohomology theories which sends the canonical Thom class in special linear cobordism to the Thom class in the derived Witt groups. We…

Quantization problems suggest that the category of symplectic manifolds and symplectomorphisms be augmented by the inclusion of canonical relations as morphisms. These relations compose well when a transversality condition is satisfied, but…

We construct via generators and relations, generalized Weil representations for analogues of classical $SL(2,k), k$ a field, over involutive base rings $(A, \ast).$ This family of groups covers different kinds of groups, classical and non…

Let G be a connected reductive complex algebraic group. This paper is devoted to the space Z of meromorphic quasimaps from a curve into an affine spherical G-variety X. The space Z may be thought of as an algebraic model for the loop space…

Let $\mathbb D=G/K$ be a complex bounded symmetric domain of tube type in a Jordan algebra $V_{\mathbb C}$, and let $D=H/L =\mathbb D\cap V$ be its real form in a Jordan algebra $V\subset V_{\mathbb C}$. The analytic continuation of the…

We define and study the categorical sequence of a space, which is a new formalism that streamlines the computation of the Lusternik-Schnirelmann category of a space X by induction on its CW skeleta. The k-th term in the categorical sequence…