arXiv subjects
Publications and source records attributed to Tim Römer.
We provide a random simplicial complex by applying standard constructions to a Poisson point process in Euclidean space. It is gigantic in the sense that - up to homotopy equivalence - it almost surely contains infinitely many copies of every compact topological manifold, both in isolation and in percolation.
We introduce FI-algebras over a commutative ring $K$ and the category of FI-modules over an FI-algebra. Such a module may be considered as a family of invariant modules over compatible varying $K$-algebras. FI-modules over $K$ correspond to the well studied constant coefficient case where every algebra equals $K$. We show that a finitely generated FI-module over a noetherian polynomial FI-algebra is a noetherian module. This is established by introducing OI-modules. We prove that every submodule of a finitely generated free OI-module over a noetherian polynomial OI-algebra has a finite Gröbner basis. Applying our noetherianity results to a family of free resolutions, finite generation translates into stabilization of syzygies in any fixed homological degree. In particular, in the graded case this gives uniformity results on degrees of minimal syzygies.
We study absolutely Koszul algebras, Koszul algebras with the Backelin-Roos property and their behavior under standard algebraic operations. In particular, we identify some Veronese subrings of polynomial rings that have the Backelin-Roos property and conjecture that the list is indeed complete. Among other things, we prove that every universally Koszul ring defined by monomials has the Backelin-Roos property.
We prove regularity bounds for Koszul cycles holding for every ideal of dimension at most 1 in a polynomial ring. We generalize the lower bound for the Green-Lazarsfeld index of Veronese rings we proved in arXiv:0902.2431 to the multihomogeneous setting.
We establish the multiplicity conjecture of Herzog, Huneke, and Srinivasan about the multiplicity of graded Cohen-Macaulay algebras over a field, for codimension two algebras and for Gorenstein algebras of codimension three. In fact, we prove stronger bounds than the conjectured ones allowing us to characterize the extremal cases. This may be seen as a converse to the multiplicity formula of Huneke and Miller that inspired the conjectural bounds.