Related papers: On Hilbert covariants

We study existence and computability of finite bases for ideals of polynomials over infinitely many variables. In our setting, variables come from a countable logical structure A, and embeddings from A to A act on polynomials by renaming…

We study, in a global uniform manner, the quotient of the ring of polynomials in l sets of n variables, by the ideal generated by diagonal quasi-invariant polynomials for general permutation groups W=G(r,n). We show that, for each such…

A Poincar\'e multiplet of mass eigenstates $\bigl(P^2 - m^2\bigr)\Psi = 0$ cannot be a subspace of a space with a $D$-vector position operator $X=(X_0,\dots X_{D-1})$: the Heisenberg algebra $[P^m, X_n] = i \delta^m{}_n$ implies by a simple…

Let $H$ be a separable complex Hilbert space. Denote by ${\mathcal G}_{\infty}(H)$ the Grassmannian consisting of closed linear subspaces with infinite dimension and codimension. This Grassmannian is partially ordered by the inclusion…

A celebrated theorem of Pimsner states that a covariant representation $T$ of a $C^*$-correspondence $E$ extends to a $C^*$-representation of the Toeplitz algebra of $E$ if and only if $T$ is isometric. This paper is mainly concerned with…

We prove an analogue of the Lefschetz (1,1) Theorem characterizing cohomology classes of Cartier divisors (or equivalently first Chern classes of line bundles) in the second integral cohomology. Let $X$ be a normal complex projective…

Let X be a scheme that does not satisfy the valuative criterion of separatedness. We show that the Hilbert functor parametrizing closed families of X that are flat, finite and of rank one is not represented by a scheme or an algebraic…

Let $\Omega \subseteq \mathbb C^m$ be a bounded connected open set and $\mathcal H \subseteq \mathcal O(\Omega)$ be an analytic Hilbert module, i.e., the Hilbert space $\mathcal H$ possesses a reproducing kernel $K$, the polynomial ring…

Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…

Let $(A,\m)$ be a Noetherian local ring with infinite residue field and let $I$ be an ideal in $A$ and let $F(I) = \oplus_{n \geq 0}I^n/\m I^n$ be the fiber-cone of $I$. We prove certain relations among the Hilbert coefficients of $F(I)$…

The ring of invariant polynomials ${\mathbb C}[V]^G$ over a given finite dimensional representation space $V$ of a complex reductive group $G$ is known, by a famous theorem of Hilbert, to be finitely generated. The general proof being…

Given a vector space $V$ over a field $\K$ whose characteristic is coprime with $d!$, let us decompose the vector space of multilinear forms $V^*\otimes\overset{\text(d)}{\ldots}\otimes V^*=\bigoplus _\lambda W_\lambda(X,\K)$ according to…

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…

We lay out the theory of a multiplicity in the setting of a triangulated category having a central ring action from a graded-commutative ring $R$, in other words, an $R$-linear triangulated category. The invariant we consider is modelled on…

The power structure over the Grothendieck (semi)ring of complex quasi-projective varieties constructed by the authors is used to express the generating series of classes of Hilbert schemes of zero-dimensional subschemes on a smooth…

Let K be a finite field. Let X* be a subset of the affine space Kn, which is parameterized by odd cycles. In this paper we give an explicit Gr\"obner basis for the vanishing ideal, I(X*), of X*. We give an explicit formula for the…

We consider a complete nonsingular variety $X$ over $\bC$, having a normal crossing divisor $D$ such that the associated logarithmic tangent bundle is generated by its global sections. We show that $H^i\big(X, L^{-1} \otimes \Omega_X^j(\log…

Let I = (F_1,...,F_r) be a homogeneous ideal of R = k[x_0,...,x_n] generated by a regular sequence of type (d_1,...,d_r). We give an elementary proof for an explicit description of the graded Betti numbers of I^s for any s \geq 1. These…

In this paper we study a new class of transformations on the set of all Hilbert space effects. This consists of the bijective maps which preserve the order and zero product in both directions. The main result of the paper gives a complete…

Given an action of a complex reductive Lie group G on a normal variety X, we show that every analytically Zariski-open subset of X admitting an analytic Hilbert quotient with projective quotient space is given as the set of semistable…