Vertex algebras and the cohomology ring structure of Hilbert schemes of points on surfaces

Using vertex algebra techniques, we determine a set of generators for the cohomology ring of the Hilbert schemes of points on an arbitrary smooth projective surface over the field of complex numbers. Received: 28 November 2000 / Published online: 23 May 2002     

A Criterion for Bases of the Ring of Symmetric Functions

We give a criterion for bases of the ring of symmetric functions in n indeterminates over a commutative ring R with identity. A related algorithm is presented in the last section. Received April 13, 2004     

Projective lines over Jordan systems and geometry of Hermitian matrices

Any set of σ-Hermitian matrices of size n×n over a field with involution σ gives rise to a projective line in the sense of ring geometry and a projective space in the sense of matrix geometry. It is shown that the two concepts are based upon the same set of points, up to some notational differences.     

STRONGLY PRIME GROUP RINGS

Abstract

A ring R is (right) strongly prime (SP) if every nonzero two sided ideal contains a finite set whose right annihilator is zero, SP rings have been studied by Handelman and Lawrence who raised the problem of characterizing SP group algebras. They showed that if R is SP and G is torsion free Abelian, then the group ring RG is SP. The aim of this note is to determine some more group rings which are SP.

For a ring R we also define the strongly prime radical s(R). We then show that s(R)G = s(W) for certain classes of groups.     

Energy of unitary Cayley graphs and gcd-graphs

This work is based on ideas of Ili? [A. Ili?, The energy of unitary Cayley graphs, Linear Algebra Appl. 431 (2009) 1881-1889] on the energy of unitary Cayley graph. For a finite commutative ring R with unity , the unitary Cayley graph of R is the Cayley graph whose vertex set is R and the edge set is {{a,b}:a,b∈Randa-b∈R^×}, where R^× is the group of units of R. We study the eigenvalues of the unitary Cayley graph of a finite commutative ring and some gcd-graphs and compute their energy. Moreover, we obtain the energy for the complement of unitary Cayley graphs.     

Towards the multiplicative behavior of the K-theoretical McKay correspondence

When the quotient of a symplectic vector space by the action of a finite subgroup of symplectic automorphisms admits as a crepant projective resolution of singularities the Hilbert scheme of regular orbits of Nakamura, then there is a natural isomorphism between the Grothendieck group of this resolution and the representation ring of the group, given by the Bridgeland-King-Reid map. However, this isomorphism is not compatible with the ring structures. For the Hilbert scheme of points on the affine plane, we study the multiplicative behavior of this map.     

Finite Gorenstein representation type implies simple singularity

Let R be a commutative noetherian local ring and consider the set of isomorphism classes of indecomposable totally reflexive R-modules. We prove that if this set is finite, then either it has exactly one element, represented by the rank 1 free module, or R is Gorenstein and an isolated singularity (if R is complete, then it is even a simple hypersurface singularity). The crux of our proof is to argue that if the residue field has a totally reflexive cover, then R is Gorenstein or every totally reflexive R-module is free.     

Families of cuts with the MFMC-property

A family ℱ of cuts of an undirected graphG=(V, E) is known to have the weak MFMC-property if (i) ℱ is the set ofT-cuts for someT⊆V with |T| even, or (ii) ℱ is the set of two-commodity cuts ofG, i.e. cuts separating any two distinguished pairs of vertices ofG, or (iii) ℱ is the set of cuts induced (in a sense) by a ring of subsets of a setT⊆V. In the present work we consider a large class of families of cuts of complete graphs and prove that a family from this class has the MFMC-property if and only if it is one of (i), (ii), (iii).     

A one-dimensional version of the random interlacements

We base ourselves on the construction of the two-dimensional random interlacements (Comets et al., 2016) to define the one-dimensional version of the process. For this, we consider simple random walks conditioned on never hitting the origin. We compare this process to the conditional random walk on the ring graph. Our results are the convergence of the vacant set on the ring graph to the vacant set of one-dimensional random interlacements, a central limit theorem for the interlacements’ local time and the convergence in law of the local times of the conditional walk on the ring graph to the interlacements’ local times.     

A k-tableau characterization of k-Schur functions

We study k-Schur functions characterized by k-tableaux, proving combinatorial properties such as a k-Pieri rule and a k-conjugation. This new approach relies on developing the theory of k-tableaux, and includes the introduction of a weight-permuting involution on these tableaux that generalizes the Bender-Knuth involution. This work lays the groundwork needed to prove that the set of k-Schur Littlewood-Richardson coefficients contains the 3-point Gromov-Witten invariants; structure constants for the quantum cohomology ring.     

Symmetric functions and the centre of the Ringel-Hall algebra of a cyclic quiver

We obtain explicit generators for the centre of the Ringel-Hall algebra of a cyclic quiver and define a canonical algebra monomorphism from Macdonald's ring of symmetric functions to the centre, which furthermore respects the comultiplication and the symmetric bilinear form. Dedicated to Claus Michael Ringel on the occasion of his 60th birthday     

Decomposing thick subcategories of the stable module category

Let be the stable category of finitely generated modular representations of a finite group G over a field k. We prove a Krull-Remak-Schmidt theorem for thick subcategories of . It is shown that every thick tensor-ideal of (i.e. a thick subcategory which is a tensor ideal) has a (usually infinite) unique decomposition into indecomposable thick tensor-ideals. This decomposition follows from a decomposition of the corresponding idempotent kG-module into indecomposable modules. If is the thick tensor-ideal corresponding to a closed homogeneous subvariety W of the maximal ideal spectrum of the cohomology ring , then the decomposition of reflects the decomposition of W into connected components. Received: 27 April 1998 / In revised form: 16 July 1998     

On the finite field Kakeya problem in two dimensions

A two-dimensional Besicovitch set over a finite field is a subset of the finite plane containing a line in each direction. In this paper, we conjecture a sharp lower bound for the size of such a subset and prove some results toward this conjecture.     

Abeliants and their application to an elementary construction of Jacobians

The abeliant is a polynomial rule which to each n×n by n+2 array with entries in a commutative ring with unit associates an n×n matrix with entries in the same ring. The theory of abeliants, first introduced in an earlier paper of the author, is simplified and extended here. Now let J be the Jacobian of a nonsingular projective algebraic curve defined over an algebraically closed field. With the aid of the theory of abeliants we obtain explicit defining equations for J and its group law.     

Minimal generating set for semi-invariants of quivers of dimension two

A minimal (by inclusion) generating set for the algebra of semi-invariants of a quiver of dimension (2,…,2) is established over an infinite field of arbitrary characteristic. The mentioned generating set consists of the determinants of generic matrices and the traces of tree paths of pairwise different multidegrees, where in the case of characteristic different from two we take only admissible paths. As a consequence, we describe relations modulo decomposable semi-invariants.     

Trees with extremal numbers of maximal independent sets including the set of leaves

A subset S of vertices of a graph G is independent if no two vertices in S are adjacent. In this paper we study maximal (with respect to set inclusion) independent sets in trees including the set of leaves. In particular the smallest and the largest number of these sets among n-vertex trees are determined characterizing corresponding trees. We define a local augmentation of trees that preserves the number of maximal independent sets including the set of leaves.     

Regular odd rings and non-planar graphs

In a previous paper we have announced that a graph is non-planar if and only if it contains a maximal, strict, compact, odd ring. Little has conjectured that the compactness condition may be removed. Chernyak has now published a proof of this conjecture. However, it is difficult to test a ring for maximality. In this paper we show that for odd rings of size five or greater, the condition of maximality may be replaced by a new one called regularity. Regularity is an easier condition to diagnose than is maximality.     

Bases and closures under infinite sums

Motivated by work of Diestel and Kühn on the cycle spaces of infinite graphs we study the ramifications of allowing infinite sums in a module R^M. We show that every generating set in this setup contains a basis if the ground set M is countable, but not necessarily otherwise. Given a family N⊆R^M, we determine when the infinite-sum span N of N is closed under infinite sums, i.e. when N=N. We prove that this is the case if R is a field or a finite ring and each element of M lies in the support of only finitely many elements of N. This is, in a sense, best possible. We finally relate closures under infinite sums to topological closures in the product space R^M.     

On the topology of valuation-theoretic representations of integrally closed domains

Let F be a field. For each nonempty subset X of the Zariski–Riemann space of valuation rings of F, let $A(X)={?}_{V\in X}V$ and $J(X)={?}_{V\in X}{\mathfrak{M}}_V$, where ${\mathfrak{M}}_V$ denotes the maximal ideal of V. We examine connections between topological features of X and the algebraic structure of the ring $A(X)$. We show that if $J(X)\ne 0$ and $A(X)$ is a completely integrally closed local ring that is not a valuation ring of F, then there is a space Y of valuation rings of F that is perfect in the patch topology such that $A(X)=A(Y)$. If any countable subset of points is removed from Y, then the resulting set remains a representation of $A(X)$. Additionally, if F is a countable field, the set Y can be chosen homeomorphic to the Cantor set. We apply these results to study properties of the ring $A(X)$ with specific focus on topological conditions that guarantee $A(X)$ is a Prüfer domain, a feature that is reflected in the Zariski–Riemann space when viewed as a locally ringed space. We also classify the rings $A(X)$ where X has finitely many patch limit points, thus giving a topological generalization of the class of Krull domains, one that includes interesting Prüfer domains. To illustrate the latter, we show how an intersection of valuation rings arising naturally in the study of local quadratic transformations of a regular local ring can be described using these techniques.