Related papers: On Hilbert covariants
We associate to a pair $(X,D)$, consisting of a smooth scheme with a divisor $D\in \text{Div}(X)\otimes \mathbb{Q}$ whose support is a divisor with normal crossings, a canonical Deligne--Mumford stack over $X$ on which $D$ becomes integral.…
We present an algebraic theory of orthogonal polynomials in several variables that includes classical orthogonal polynomials as a special case. Our bottom line is a straightforward connection between apolarity of binary forms and the inner…
For an arbitrary field K, let I be an ideal in the ring K[[x,y]] expressible as a polynomial in either the pair of ideals (x, y^4) and (x,y) or the pair (x,y^3) and (x^2, y). Let G be the group of automorphisms of K[[x,y]] sending the ideal…
For discrete Hecke pairs $(G,H)$, we introduce a notion of covariant representation which reduces in the case where $H$ is normal to the usual definition of covariance for the action of $G/H$ on $c_0(G/H)$ by right translation; in many…
In this paper we prove a new generic vanishing theorem for $X$ a complete homogeneous variety with respect to an action of a connected algebraic group. Let $A, B_0\subset X$ be locally closed affine subvarieties, and assume that $B_0$ is…
The space of subvarieties of P^n with a fixed Hilbert polynomial is not complete. Grothendieck defined a completion by relaxing "variety" to "scheme", giving the complete_Hilbert scheme_ of subschemes of P^n with fixed Hilbert polynomial.…
The higher order degrees are Alexander-type invariants of complements to an affine plane curve. In this paper we characterize the vanishing of such invariants for transversal unions of plane curves $C'$ and $C''$ in terms of the finiteness,…
For a semisimple, simply-connected linear algebraic group, $G$, and parabolic subgroup, $P\subseteq G$, we use the fact that the Hilbert polynomial of the equivariant embedding of $G/P$ is equal to the Hilbert function to compute an…
Let $H$ be an infinite-dimensional complex Hilbert space. Denote by ${\mathcal G}_{\infty}(H)$ the Grassmannian formed by closed subspaces of $H$ whose dimension and codimension both are infinite. We say that $X,Y\in {\mathcal…
Consider a family of integral complex locally planar curves whose relative Hilbert scheme of points is smooth. The decomposition theorem of Beilinson, Bernstein, and Deligne asserts that the pushforward of the constant sheaf on the relative…
The Hilbert scheme $\mathbf{Hilb}_{p(t)}^{n}$ parametrizes closed subschemes and families of closed subschemes in the projective space $\mathbb{P}^n$ with a fixed Hilbert polynomial $p(t)$. It is classically realized as a closed subscheme…
This is my old unpublished paper called "The generalized Grassmann invariant". It shows how "pictures" also known as "Peiffer diagrams" represent elements of $H_3G$ for any group $G$ and shows that $K_3(\mathbb Z [G])$ is isomorphic to a…
For a smooth subvariety $X\subset\Bbb P^N$, consider (analogously to projective normality) the vanishing condition $H^1(\Bbb P^N,\Cal I^2_X(k))=0$, $k\ge3$. This condition is shown to be satisfied for all sufficiently large embeddings of a…
For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root…
In geometric representation theory, it is common to compute equivariant $K$ theory of schemes like $Hilb^n ( \mathbb{A}^2 )$ or $Hilb^n (X)$ for an ALE resolution $X \to \mathbb{A}^2 / \Gamma$. If we abandon the algebraic nature and just…
Let X=G/K be a connected Riemannian homogeneous space of a real Lie group G. The homogeneous space X is called commutative if the algebra of G-invariant differential operators on X is commutative. We prove an effective commutativity…
For a perfect field $k$ of characteristic $p>0$ and for a finite dimensional symmetric $k$-algebra $A$ K\"ulshammer studied a sequence of ideals of the centre of $A$ using the $p$-power map on degree 0 Hochschild homology. In joint work…
Let K be a CM-field, i.e., a totally complex quadratic extension of a totally real field F. Let X be a g-dimensional abelian variety admitting an algebra embedding of F into the rational endomorphisms End_Q(X) of X. Let A be the product of…
We introduce the notion of Groebner S-basis of an ideal of the free associative algebra K<X> over a field K invariant under the action of a semigroup S of endomorphisms of the algebra. We calculate the Groebner S-bases of the ideal…
This note is devoted to the study of the links between the Hilbert function of a subscheme X of the projective space, and its geometric properties. We will assume that X is arithmetically Cohen-Macaulay, which allows us to characterize its…