Related papers: Hilbert schemes, polygraphs, and the Macdonald pos…

The Hilbert scheme X^{[a]} of points on a complex manifold X is a compactification of the configuration space of a-element subsets of X. The integral cohomology of X^{[a]} is more subtle than the rational cohomology. In this paper, we…

Let X be a separated finite type scheme over a noetherian base ring K. There is a complex C(X) of topological O_X-modules on X, called the complete Hochschild chain complex of X. To any O_X-module M - not necessarily quasi-coherent - we…

Let X be a compact Kahler holomorphic-symplectic manifold, which is deformation equivalent to the Hilbert scheme of length n subschemes of a K3 surface. Let L be a nef line-bundle on X, such that the 2n-th power of c_1(L) vanishes and…

We introduce a family of twisted $K(n)$-local theories that behave analogous to twisted K-theory. Let $R_n= E_n^{hS\mathbb G_n}$, the homotopy fixed point spectrum under the action of the subgroup $S\mathbb G_n$ of the Morava stabilizer…

Let $\mathcal{H}_2$ be the Lie algebra of polynomial Hamiltonian vector fields on the symplectic plane. Let $X$ be the moduli space of stable Higgs bundles of fixed relatively prime rank and degree, or more generally the moduli space of…

Given a semisimple compact Lie group $G$ and a nonzero dominant integral weight $\lambda$, the highest weight $G_q$-modules $V_{n\lambda}$ form a subproduct system of finite dimensional Hilbert spaces. Using a conjectural asymptotic…

Let X and Y be smooth varieties of dimensions n-1 and n over an arbitrary algebraically closed field, f:X-> Y a finite map that is birational onto its image. Suppose that f is curvilinear; that is, at every point of X, the Jacobian has rank…

We consider the algebraic K-theory of a truncated polynomial algebra in several commuting variables, K(k[x_1, ..., x_n]/(x_1^a_1, ..., x_n^a_n)). This naturally leads to a new generalization of the big Witt vectors. If k is a perfect field…

We prove the Hilbert-Chow crepant resolution conjecture in the exceptional curve classes for all projective surfaces and all genera. In particular, this confirms Ruan's cohomological Hilbert-Chow crepant resolution conjecture. The proof…

We calculate the cohomology spaces of the Hilbert schemes of points on surfaces with values in locally constant systems. For that purpose, we generalise I. Grojnoswki's and H. Nakajima's description of the ordinary cohomology in terms of a…

We study the singularities of the isospectral Hilbert scheme $B^n$ of $n$ points over a smooth algebraic surface and we prove that they are canonical if $n \leq 5$, log-canonical if $n \leq 7$ and not log-canonical if $n \geq 9$. We…

Given a finite group G and a G-space X, we show that a direct sum $F_G (X) = \bigoplus_{n \geq 0}K_{G_n} (X^n) \bigotimes \C$ admits a natural graded Hopf algebra and $\lambda$-ring structure, where $G_n$ denotes the wreath product $G \sim…

Let $M$ be an ideal in $K[x_1,...,x_n]$ ($K$ is a field) generated by products of linear forms and containing a homogeneous regular sequence of some length. We prove that ideals containing $M$ satisfy the Eisenbud-Green-Harris conjecture…

We call the scheme parameterizing homogeneous ideals with fixed initial ideal the Gr\"obner scheme. We introduce a Bia{\l}ynicki-Birula decomposition of the Hilbert scheme $\mathrm{Hilb}^{P}_n$ for any Hilbert polynomial $P$ such that the…

A symmetric ideal is an ideal in a polynomial ring which is stable under all permutations of the variables. In this paper we initiate a global study of zero-dimensional symmetric ideals. By this we mean a geometric study of the invariant…

In this paper we prove an analogue of a recent result of Gordon and Stafford that relates the representation theory of certain noncommutative deformations of the coordinate ring of the n-th symmetric power of C^2 with the geometry of the…

A complex algebraic surface $S$ is a $\mathbb{Q}$-homology plane if $H_{i}(S,\mathbb{Q})=0$ for $i>0$. The Negativity Conjecture of Palka asserts that $\kappa(K_{X}+\tfrac{1}{2}D)=-\infty$, where $(X,D)$ is a log smooth completion of $S$.…

Let $X^{n}$ be an arbitrary oriented closed generalized $n$-manifold, $n\ge 5$. In our recent paper (Proc. Edinb. Math. Soc. (2) 63 (2020), no. 2, 597-607) we have constructed a map $t:\mathcal{N}(X^{n}) \to H^{st}_{n} ( X^{n};…

Recently, Marian-Oprea-Pandharipande established (a generalization of) Lehn's conjecture for Segre numbers associated to Hilbert schemes of points on surfaces. Extending work of Johnson, they provided a conjectural correspondence between…

Let S be the Cox ring of a product of r projective spaces. In this paper, we study the Cartwright-Sturmfels Hilbert schemes of S, which are multigraded Hilbert schemes that only parametrize radical ideals. Our main result shows that these…