Stanley decompositions and polarization

We define nice partitions of the multicomplex associated with a Stanley ideal. As the main result we show that if the monomial ideal I is a CM Stanley ideal, then I ^p is a Stanley ideal as well, where I ^p is the polarization of I.     

On the Stanley depth of squarefree Veronese ideals

Let K be a field and S=K[x ₁,…,x _n ]. In 1982, Stanley defined what is now called the Stanley depth of an S-module M, denoted sdepth (M), and conjectured that depth (M)≤sdepth (M) for all finitely generated S-modules M. This conjecture remains open for most cases. However, Herzog, Vladoiu and Zheng recently proposed a method of attack in the case when M=I/J with J⊂I being monomial S-ideals. Specifically, their method associates M with a partially ordered set. In this paper we take advantage of this association by using combinatorial tools to analyze squarefree Veronese ideals in S. In particular, if I _n,d is the squarefree Veronese ideal generated by all squarefree monomials of degree d, we show that if 1≤d≤n<5d+4, then sdepth (I _n,d )=⌊(n−d)/(d+1)⌋+d, and if d≥1 and n≥5d+4, then d+3≤sdepth (I _n,d )≤⌊(n−d)/(d+1)⌋+d.     

Finite filtrations of modules and shellable multicomplexes

We introduce pretty clean modules, extending the notion of clean modules by Dress, and show that pretty clean modules are sequentially Cohen–Macaulay. We also extend a theorem of Dress on shellable simplicial complexes to multicomplexes.     

Stanley decompositions and partitionable simplicial complexes

We study Stanley decompositions and show that Stanley’s conjecture on Stanley decompositions implies his conjecture on partitionable Cohen–Macaulay simplicial complexes. We also prove these conjectures for all Cohen–Macaulay monomial ideals of codimension 2 and all Gorenstein monomial ideals of codimension 3. Dedicated to Takayuki Hibi on the occasion of his fiftieth birthday.     

Enlargements of filtrations and path decompositions at non stopping times

Azéma associated with an honest time L the supermartingale and established some of its important properties. This supermartingale plays a central role in the general theory of stochastic processes and in particular in the theory of progressive enlargements of filtrations. In this paper, we shall give an additive characterization for these supermartingales, which in turn will naturally provide many examples of enlargements of filtrations. We combine this characterization with some arguments from both initial and progressive enlargements of filtrations to establish some path decomposition results, closely related to or reminiscent of Williams' path decomposition results. In particular, some of the fragments of the paths in our decompositions end or start with a new family of random times which are not stopping times, nor honest times.     

Bases, filtrations and module decompositions of free Lie algebras

We use the technique known as elimination to devise some new bases of the free Lie algebra which (like classical Hall bases) consist of Lie products of left normed basic Lie monomials. Our bases yield direct decompositions of the homogeneous components of the free Lie algebra with direct summands that are particularly easy to describe: they are tensor products of metabelian Lie powers. They also give rise to new filtrations and decompositions of free Lie algebras as modules for groups of graded algebra automorphisms. In particular, we obtain some new decompositions for free Lie algebras and free restricted Lie algebras over fields of positive characteristic.     

Higher-order Alexander invariants and filtrations of the knot concordance group

We establish certain ``nontriviality' results for several filtrations of the smooth and topological knot concordance groups. First, as regards the n-solvable filtration of the topological knot concordance group, , defined by K. Orr, P. Teichner and the first author:

we refine the recent nontriviality results of Cochran and Teichner by including information on the Alexander modules. These results also extend those of C. Livingston and the second author. We exhibit similar structure in the closely related symmetric Grope filtration of . We also show that the Grope filtration of the smooth concordance group is nontrivial using examples that cannot be distinguished by the Ozsváth-Szabó -invariant nor by J. Rasmussen's -invariant. Our broader contribution is to establish, in ``the relative case', the key homological results whose analogues Cochran-Orr-Teichner established in ``the absolute case'.

We say two knots and are concordant modulo -solvability if . Our main result is that, for any knot whose classical Alexander polynomial has degree greater than 2, and for any positive integer , there exist infinitely many knots that are concordant to modulo -solvability, but are all distinct modulo -solvability. Moreover, the and share the same classical Seifert matrix and Alexander module as well as sharing the same higher-order Alexander modules and Seifert presentations up to order .

     

Stanley depth of multigraded modules

The Stanley's Conjecture on Cohen–Macaulay multigraded modules is studied especially in dimension 2. In codimension 2 similar results were obtained by Herzog, Soleyman-Jahan and Yassemi. As a consequence of our results Stanley's Conjecture holds in 5 variables.     

Resolutions of Stanley-Reisner rings and Alexander duality

Associated to any simplicial complex Δ on n vertices is a square-free monomial ideal I_Δ in the polynomial ring A = k[x₁, …, x_n], and its quotient k[Δ] = A/I_Δ known as the Stanley-Reisner ring. This note considers a simplicial complex Δ^* which is in a sense a canonical Alexander dual to Δ, previously considered in [1, 5]. Using Alexander duality and a result of Hochster computing the Betti numbers dim_k Tor_i^A (k[Δ],k), it is shown (Proposition 1) that these Betti numbers are computable from the homology of links of faces in Δ^*. As corollaries, we prove that I_Δ has a linear resolution as A-module if and only if Δ^* is Cohen-Macaulay over k, and show how to compute the Betti numbers dim_k Tor_i^A (k[Δ],k) in some cases where Δ^* is wellbehaved (shellable, Cohen-Macaulay, or Buchsbaum). Some other applications of the notion of shellability are also discussed.     

Tetrahedral curves via graphs and Alexander duality

A tetrahedral curve is a (usually nonreduced) curve in P³ defined by an unmixed, height two ideal generated by monomials. We characterize when these curves are arithmetically Cohen-Macaulay by associating a graph with each curve and, using results from combinatorial commutative algebra and Alexander duality, relating the structure of the complementary graph to the Cohen-Macaulay property.     

Matrix methods in decompositions of modules

Matrix methods of elementary linear algebra are extended to general direct-sum decompositions of modules. These methods are then shown to yield simple proofs of some well-known theorems, notably the Beck-Warfield “mutual exchange property” and the Krull-Schmidt theorem.     

Prime virtually semisimple modules and rings

Abstract

We show that the multiplication algebra of a nondegenerate Jordan algebra is a semiprime algebra.     

Gröbner bases and Stanley decompositions of determinantal rings

Supported by the Austrian Science Foundation (FWF) Project no. P6763     

Injective modules and linear growth of primary decompositions

The purposes of this paper are to generalize, and to provide a short proof of, I. Swanson's Theorem that each proper ideal in a commutative Noetherian ring has linear growth of primary decompositions, that is, there exists a positive integer such that, for every positive integer , there exists a minimal primary decomposition with for all . The generalization involves a finitely generated -module and several ideals; the short proof is based on the theory of injective -modules.

     

Quantum symmetry groups of Hilbert modules equipped with orthogonal filtrations

We define and show the existence of the quantum symmetry group of a Hilbert module equipped with an orthogonal filtration. Our construction unifies the constructions of Banica–Skalski?s quantum symmetry group of a C^?$C^{?}$-algebra equipped with an orthogonal filtration and Goswami?s quantum isometry group of an admissible spectral triple.