Binomial Cycle Bases on Koszul Homology Modules

Let I be a principal p-Borel ideal of the polynomial ring S in variables x over a field. Then the Koszul homology module H ₃(x;S/I) has binomial cycle bases.     

On Two Variable Jordan Block (II)

On the Hardy space over the bidisk H²(D²), the Toeplitz operators and are unilateral shifts of infinite multiplicity. A closed subspace M is called a submodule if it is invariant for both and . The two variable Jordan block (S₁, S₂) is the compression of the pair to the quotient H²(D²) ⊖M. This paper defines and studies its defect operators. A number of examples are given, and the Hilbert-Schmidtness is proved with good generality. Applications include an extension of a Douglas-Foias uniqueness theorem to general domains, and a study of the essential Taylor spectrum of the pair (S₁, S₂). The paper also estabishes a clean numerical estimate for the commutator [S₁*, S₂] by some spectral data of S₁ or S₂. The newly-discovered core operator plays a key role in this study.     

Hankel operators in Schatten ideals

We study membership to Schatten ideals S _E , associated with a monotone Riesz–Fischer space E, for the Hankel operators H _f defined on the Hardy space H ²(∂D). The conditions are expressed in terms of regularity of its symbol: we prove that H _f ∈S _E if and only if f∈B _E , the Besov space associated with a monotone Riesz–Fischer space E(dλ) over the measure space (D,dλ) and the main tool is the interpolation of operators. Received: December 17, 1999; in final form: September 25, 2000?Published online: July 13, 2001     

On the multiplicity and the Cohen-Macaulayness of fiber cones of graded algebras

Let A be a Noetherian local ring with the maximal ideal m and an m-primary ideal J. Let S=?_n≥0S_n be a finitely generated standard graded algebra over A. Set S⁺=?_n>0S_n. Denote by F_J(S)=?_n≥0→(S_n/JS_n) the fiber cone of S with respect to J. The paper characterizes the multiplicity and the Cohen-Macaulayness of F_J(S) in terms of minimal reductions of S⁺.     

Note on bounds for multiplicities

Let S=K[x₁,…,x_n] be a polynomial ring and R=S/I be a graded K-algebra where I⊂S is a graded ideal. Herzog, Huneke and Srinivasan have conjectured that the multiplicity of R is bounded above by a function of the maximal shifts in the minimal graded free resolution of R over S. We prove the conjecture in the case that codim(R)=2 which generalizes results in (J. Pure Appl. Algebra 182 (2003) 201; Trans. Amer. Math. Soc. 350 (1998) 2879). We also give a proof for the bound in the case in which I is componentwise linear. For example, stable and squarefree stable ideals belong to this class of ideals.     

Motivic equivalence of quadratic forms. II

Let F be a field of characteristic ≠2 and φ be a quadratic form over F. By X _φ we denote the projective variety given by the equation φ=0. For each positive even integer d≥8 (except for d=12) we construct a field F and a pair φ, ψ of anisotropic d-dimensional forms over F such that the Chow motives of X _φ and X _ψ coincide but . For a pair of anisotropic (2 ^{n -1})-dimensional quadrics X and Y, we prove that existence of a rational morphism Y→X is equivalent to existence of a rational morphism Y→X. Received: 27 September 1999 / Revised version: 27 December 1999     

Completions of local morphisms and valuations

In this note we study injective local morphisms of local excellent domains. In particular we are interested in the problem when the –adic topology onS restricts to a topology on R that is linearly equivalent to the –adic topology. Using a valuative criterion, we prove this in case R is analytically irreducible and is essentially of finite type, and we recover and extend a weak version of Gabrielov's rank condition. Received July 30, 1999; in final form November 16, 1999 / Published online December 8, 2000     

The non-commutative Weil algebra

For any compact Lie group G, together with an invariant inner product on its Lie algebra ?, we define the non-commutative Weil algebra ? _G as a tensor product of the universal enveloping algebra U(?) and the Clifford algebra Cl(?). Just like the usual Weil algebra W _G =S(?^*)⊗∧?^*, ? _G carries the structure of an acyclic, locally free G-differential algebra and can be used to define equivariant cohomology ℋ _G (B) for any G-differential algebra B. We construct an explicit isomorphism ?: W _G →? _G of the two Weil algebras as G-differential spaces, and prove that their multiplication maps are G-chain homotopic. This implies that the map in cohomology H _G (B)→ℋ _G (B) induced by ? is a ring isomorphism. For the trivial G-differential algebra B=ℝ, this reduces to the Duflo isomorphism S(?) ^G ≅U(?) ^G between the ring of invariant polynomials and the ring of Casimir elements. Oblatum 13-III-1999 & 27-V-1999 / Published online: 22 September 1999     

Gorenstein dimension of modules over homomorphisms

Given a homomorphism of commutative noetherian rings R→S and an S-module N, it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals , where E is the injective hull of the residue field of R. This result is analogous to a theorem of André on flat dimension.     

On equations defining Veronese rings

For a standard graded noetherian algebra S that is of weakly linear type, the defining equations of the Veronesian subrings S^(d) are described explicitly, for d sufficiently large. Received: 19 January 2005