This paper contributes to the liaison and obstruction theory of subschemes in $\mathbb{P}^n$ having codimension at least three. The first part establishes several basic results on Gorenstein liaison. A classical result of Gaeta on liaison classes of projectively normal curves in $\mathbb{P}^3$ is generalized to the statement that every codimension $c$ ``standard determinantal scheme'' (i.e. a scheme defined by the maximal minors of a $t\times (t+c-1)$ homogeneous matrix), is in the Gorenstein liaison class of a complete intersection. Then Gorenstein liaison (G-liaison) theory is developed as a theory of generalized divisors on arithmetically Cohen-Macaulay schemes. In particular, a rather general construction of basic double G-linkage is introduced, which preserves the even G-liaison class. This construction extends the notion of basic double linkage, which plays a fundamental role in the codimension two situation. The second part of the paper studies groups which are invariant under complete intersection linkage, and gives a number of geometric applications of these invariants. Several differences between Gorenstein and complete intersection liaison are highlighted. For example, it turns out that linearly equivalent divisors on a smooth arithmetically Cohen-Macaulay subscheme belong, in general, to different complete intersection liaison classes, but they are always contained in the same even Gorenstein liaison class. The third part develops the interplay between liaison theory and obstruction theory and includes dimension estimates of various Hilbert schemes. For example, it is shown that most standard determinantal subschemes of codimension $3$ are unobstructed, and the dimensions of their components in the corresponding Hilbert schemes are computed.

Introduction Preliminaries Gaeta's theorem Divisors on an ACM subscheme of projective spaces Gorenstein ideals and Gorenstein liaison CI-liaison invariants Geometric applications of the CI-liaison invariants Glicci curves on arithmetically Cohen-Macaulay surfaces Unobstructedness and dimension of families of subschemes Dimension of families of determinantal subschemes Bibliography

Federico Gaeta (1923–2007) was a Spanish algebraic geometer who was a student of Severi. He is considered to be one of the founders of linkage theory, on which he published several key papers. After many years abroad he came back to Spain in the 1980s. He spent his last period as a professor at Universidad Complutense de Madrid. In gratitude to him, some of his personal and mathematically close persons during this last station, all of whom bene?ted in one way or another by his ins- ration, have joined to edit this volume to keep his memory alive. We o?er in it surveys and original articles on the three main subjects of Gaeta’s interest through his mathematical life. The volume opens with a personal semblance by Ignacio Sols and a historical presentation by Ciro Ciliberto of Gaeta’s Italian period. Then it is divided into three parts, each of them devoted to a speci?c subject studied by Gaeta and coordinated by one of the editors. For each part, we had the advice of another colleague of Federico linked to that particular subject, who also contributed with a short survey. The ?rst part, coordinated by E. Arrondo with the advice of R.M.

Intersection homology theory provides a way to obtain generalized Poincare duality, as well as a signature and characteristic classes, for singular spaces. For this to work, one has had to assume however that the space satisfies the so-called Witt condition. We extend this approach to constructing invariants to spaces more general than Witt spaces.

This volume's papers present work at the cutting edge of current research in algebraic geometry, commutative algebra, numerical analysis, and other related fields, with an emphasis on the breadth of these areas and the beneficial results obtained by the interactions between these fields. This collection of two survey articles and sixteen refereed research papers, written by experts in these fields, gives the reader a greater sense of some of the directions in which this research is moving, as well as a better idea of how these fields interact with each other and with other applied areas. The topics include blowup algebras, linkage theory, Hilbert functions, divisors, vector bundles, determinantal varieties, (square-free) monomial ideals, multiplicities and cohomological degrees, and computer vision.

An $n$-dimensional $\mu$-component boundary link is a codimension $2$ embedding of spheres $L=\sqcup_{\mu}S DEGREESn \subset S DEGREES{n+2}$ such that there exist $\mu$ disjoint oriented embedded $(n+1)$-manifolds which span the components of $L$. This title proceeds to compute the isomorphism class of $C_{

Presents the problem of the splitting of invariant manifolds in multidimensional Hamiltonian systems, stressing the canonical features of the problem. This book offers introduction of a canonically invariant scheme for the computation of the splitting matrix.

This memoir develops, discusses and compares a range of commutative and non-commutative invariants defined for projection method tilings and point patterns. The projection method refers to patterns, particularly the quasiperiodic patterns, constructed by the projection of a strip of a high dimensional integer lattice to a smaller dimensional Euclidean space. In the first half of the memoir the acceptance domain is very general - any compact set which is the closure of its interior - while in the second half the authors concentrate on the so-called canonical patterns. The topological invariants used are various forms of $K$-theory and cohomology applied to a variety of both $C DEGREES*$-algebras and dynamical systems derived from such a p

The authors analyse two topological invariants of an embedding of an arrangement of rational plane curves in the projective complex plane, namely, the cohomology ring of the complement and the characteristic varieties. Their main result states that the cohomology ring of the complement to a rational arrangement is generated by logarithmic 1 and 2-forms and its structure depends on a finite number of invariants of the curve (its combinatorial type).