The author has previously associated to each commutative ring with unit $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}\Bbbk $ and étale groupoid $\mathscr{G}$ with locally compact, Hausdorff, totally disconnected unit space a $\Bbbk $-algebra $\Bbbk \, \mathscr{G}$. The algebra $\Bbbk \, \mathscr{G}$ need not be unital, but it always has local units. The class of groupoid algebras includes group algebras, inverse semigroup algebras and Leavitt path algebras. In this paper we show that the category of unitary$\Bbbk \, \mathscr{G}$-modules is equivalent to the category of sheaves of $\Bbbk $-modules over $\mathscr{G}$. As a consequence, we obtain a new proof of a recent result that Morita equivalent groupoids have Morita equivalent algebras.

Define a second order tree to be a map between trees (with fixed codomain). We show that many properties of ordinary trees have analogs for second order trees. In particular, we show that there is a notion of “definition by recursion on a well-founded second order tree” which generalizes “definition by transfinite recursion”. We then use this new notion of definition by recursion to prove an analog of Lusin’s Separation theorem for closure spaces of global sections of a second order tree.

We define the notion of a trace kernel on a manifold $M$. Roughly speaking, it is a sheaf on $M\times M$ for which the formalism of Hochschild homology applies. We associate a microlocal Euler class with such a kernel, a cohomology class with values in the relative dualizing complex of the cotangent bundle ${T}^{\ast } M$ over $M$, and we prove that this class is functorial with respect to the composition of kernels.

This generalizes, unifies and simplifies various results from (relative) index theorems for constructible sheaves, $\mathscr{D}$-modules and elliptic pairs.

We discuss the Gromov–Witten/Donaldson–Thomas correspondence for 3-folds in both the absolute and relative cases. Descendents in Gromov–Witten theory are conjectured to be equivalent to Chern characters of the universal sheaf in Donaldson–Thomas theory. Relative constraints in Gromov–Witten theory are conjectured to correspond in Donaldson–Thomas theory to cohomology classes of the Hilbert scheme of points of the relative divisor. Independent of the conjectural framework, we prove degree 0 formulas for the absolute and relative Donaldson–Thomas theories of toric varieties.

We conjecture an equivalence between the Gromov–Witten theory of 3-folds and the holomorphic Chern–Simons theory of Donaldson and Thomas. For Calabi–Yau 3-folds, the equivalence is defined by the change of variables $e^{iu}=-q$, where $u$ is the genus parameter of Gromov–Witten theory and $q$ is the Euler characteristic parameter of Donaldson–Thomas theory. The conjecture is proven for local Calabi–Yau toric surfaces.

Starting from a sheaf of associative algebras over a scheme we show that its deformation theory is described by cohomologies of a canonical object, called the cotangent complex, in the derived category of sheaves of bi-modules over this sheaf of algebras. The passage from deformations to cohomology is based on considering a site which is naturally constructed out of our sheaf of algebras. It turns out that on the one hand, cohomology of certain sheaves on this site control deformations, and on the other hand, they can be rewritten in terms of the category of sheaves of bi-modules.

A Boolean product construction is used to give examples of existentially closed algebras in the universal Horn class ISP(K) generated by a universal class K of finitely subdirectly irreducible algebras such that Γa(K) has the Fraser-Horn property. If ⟦a ≠ b⟧ ∩ ⟦c ≠ d ⟧ = ∅ is definable in K and K has a model companion of K-simple algebras, then it is shown that ISP(K) has a model companion. Conversely, a sufficient condition is given for ISP(K) to have no model companion.