Related papers: Group completions via Hilbert schemes

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…

We investigate representations of K\"ahler groups $\Gamma = \pi_1(X)$ to a semisimple non-compact Hermitian Lie group $G$ that are deformable to a representation admitting an (anti)-holomorphic equivariant map. Such representations obey a…

Ramanujam's theorem states that any connected finite-dimensional subgroup of the automorphism group $\mathrm{Aut}(X)$ of an irreducible variety $X$ is an algebraic group, in a natural way. In this note, we discuss the notion of dimension…

We show that the projection morphism $X^{[3,4]} \lra X^{[3]}$ is flat even if it has reducible fiber. After analyzing blow-up constructions related to $X^{[3,4]}$, we conclude that $X^{[3,4]}$ has canonical Gorenstein singularities. As a…

We develop a notion of rank one properly convex domains (or Hilbert geometries) in the real projective space. This is in the spirit of rank one non-positively curved Riemannian manifolds and CAT(0) spaces. We define rank one isometries for…

To any finite graph $X$ (viewed as a topological space) we assosiate some explicit compact metric space ${\cal X}^r(X)$ which we call {\it the reflection tree of graphs $X$}. This space is of topological dimension $\le1$ and its connected…

Let $G$ be a connected linear algebraic group over a number field $K$, let $\Gamma$ be a finitely generated Zariski dense subgroup of $G(K)$ and let $Z\subseteq G(K)$ be a thin set, in the sense of Serre. We prove that, if…

Winkelmann considered compact complex manifolds $X$ equipped with a reduced effective normal crossing divisor $D\, \subset\, X$ such that the logarithmic tangent bundle $TX(-\log D)$ is holomorphically trivial. He characterized them as…

Let $K\leq H$ be two finite groups and let $C\leq A$ be two finite abelian groups, with $H$ acting on $A$ as a group of isomorphisms admitting $C$ as a $K$-invariant subgroup. We study the homogeneous space $X\coloneqq\left(H\ltimes…

Given a complete nonsingular algebraic variety $X$ and a divisor $D$ with normal crossings, we say that $X$ is log homogeneous with boundary $D$ if the logarithmic tangent bundle $T_X(- \log D)$ is generated by its global sections. We then…

Let $\mathbb{H}$ be the three-dimensional Heisenberg group. We introduce a structure on the Heisenberg group which consists of the biregular representation of $\mathbb{H\times H}$ restricted to some discrete subset of $\mathbb{H\times H}$…

For a finite subgroup $\Gamma\subset \mathrm{SL}(2,\mathbb{C})$ and $n\geq 1$, we construct the (reduced scheme underlying the) Hilbert scheme of $n$ points on the Kleinian singularity $\mathbb{C}^2/\Gamma$ as a Nakajima quiver variety for…

For a geometrically rational surface X over an arbitrary field of characteristic different from 2 and 3 that contains all roots of 1, we show that either X is birational to a product of a projective line and a conic, or the group of…

For a smooth projective variety $X$ of dimension $d \geq 5$ over an algebraically closed field $k$ of characteristic zero, it is shown in this paper that the bounded derived category of the Hilbert scheme of three points $X^{[3]}$ admits a…

In this article, we study the decomposition into irreducible components of the fixed point locus under the action of $\Gamma$ a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$ of the smooth Nakajima quiver variety of the Jordan quiver. The…

Given a $k$--scheme $X$ that admits a tilting object $T$, we prove that the Hochschild (co-)homology of $X$ is isomorphic to that of $A= End_{X}(T)$. We treat more generally the relative case when $X$ is flat over an affine scheme $Y=\Spec…

For an arbitrary separated scheme $X$ of finite type over a finite field $\mathbb F_q$ and an integer $j=-1,-2,$ we prove under the assumption of resolution of singularities, that the two groups $H_{-1}(X,\mathbb Z(j))$ and…

For a 0-dimensional scheme $\mathbb{X}$ in $\mathbb{P}^n$ over a perfect field $K$, we first embed the homogeneous coordinate ring $R$ into its truncated integral closure $\widetilde{R}$. Then we use the corresponding map from the module of…

The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's…

Let $X$ be a proper algebraic scheme over an algebraically closed field. We assume that a torus $T$ acts on $X$ such that the action has isolated fixed points. The $T$-graph of $X$ can be defined using the fixed points and the one…