The commutative algebra group of the Institute for Research in Fundamental Sciences (IPM) is organizing the 15th seminar on Commutative Algebra and Related Topics. The goal is to bring together people who are working on this area and to introduce recent activities to the students and young researchers.
In addition, a workshop will be provided on January 12-14, 2019. The aim is to acquaint the young researchers with the new trends in the subject.
All commutative algebra researchers, specially graduate students, are welcome to attend the both events and also give a lecture at the seminar.

Organizers:



PHOTOS

Seminar (January 16 - 17, 2019)

Invited Speakers

Abstract: A famous result of Auslander [1] (also Ringel-Tachikawa [5] asserts that an artin algebra $\Lambda$ is of finite representation type if and only if every left $\Lambda$-module is fully decomposable, i.e., it is a direct sum of finitely generated modules. Recall that an artin algebra $\Lambda$ is of finite representation type, provided that the set of isomorphism classes of indecomposable finitely generated modules is finite. Motivated by Auslander's result, studying decomposition of Gorenstein projective modules over artin algebras into finitely generated ones has been the subject of several expositions. In particular, Chen [4] has proved that a Gorenstein artin algebra $\Lambda$ is of finite Gorenstein representation type, in the sense that there are only finitely many isomorphism classes of indecomposable finitely generated Gorenstein projective $\Lambda$-modules, if and only if any left Gorenstein projective $\Lambda$-module is fully decomposable. This result has been extended to virtually Gorenstein artin algebras by Beligiannis [3]. In this talk, which is based on a joint work with Shokrollah Salarian and Fahimeh Sadat Fotouhi, we will discuss on fully decomposability of balanced big Cohen-Macaulay modules over a complete Cohen-Macaulay local ring. Precisely, the major issues which will be considered in this talk are, when a given balanced big Cohen-Macaulay module is fully decomposable; when every balanced big Cohen-Macaulay module is so; analogues of the first Brauer-Thrall conjecture for modules and analogues result for Gorenstein projective modules over Cohen-Macaulay artin algebras in the sense of Auslander and Reiten [2].

References:
[1] M. Auslander, A functorial approach to representation theory, in Representatios of Algebra, Workshop Notes of the Third Inter. Confer., Lecture Notes Math. 944, 105-179, Springer-Verlag, 1982.
[2] M. Auslander and I. Reiten, Applications of contravariantly nite subcategories, Adv. Math. 86 (1991), no. 1, 111-152.
[3] A. Beligiannis, On algebras of nite Cohen-Macaulay type, Adv. Math. 226 (2011), no. 2, 1973-2019.
[4] X. W. Chen, An Auslander-type result for Gorenstein projective modules, Adv. Math. 218 (2008), 2043-2050.
[5] C. M. Ringel and H. Tachikawa, QF-3 rings, J. Reine Angew. Math. 272 (1975), 49-72.
Abstract: In order to study ideals of minors of multigraded matrices of linear forms, and inspired by a work of Cartwright and Sturmfels, we introduced two classes of ideals in a multigraded polynomial ring, named CS and CS*. It turns out that the ideals of these classes are radical, have nice universal Groebner bases and good homological properties. The aim of this talk is to present other classes of CS and CS* ideals, in particular binomial edge ideals, multi-graded homogenizations of linear spaces, and multiview ideals. This approach allows us to recover and generalize recent results of various authors.
These results have been obtained jointly with Aldo Conca and Elisa Gorla.
Abstract: Let $R=K[x_1,...,x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal generated in degree $d$. Bandari and Herzog conjectured(BH-Conjecture) that a monomial ideal $I$ is polymatroidal if and only if all its monomial localizations have linear resolution. Herzog, Hibi and Zheng proved that if $I$ is a monomial ideal generated in degree $2$, then $I$ has a linear resolution if and only if each power of $I$ has a linear resolution. Sturmfels gave an example $I=(def,cef,cdf,cde,bef,bcd,acf,ade)$ where $I$ has a linear resolution while $I^2$ has no linear resolution. This suggests the following question: Is it true that each power of $I$ has a linear resolution, if $I$ is a squarefree monomial ideal of degree $d$ where $I^k$ has a linear resolution for all $1\leq k\leq d-1$? In this talk we speak about BH-Conjecture and we give an affirmative answer in the following cases: $(i)$ $height(I)=n-1$; $(ii)$ $I$ contains at least $n-3$ pure powers of the variables $x_1^d,...,x_{n-3}^d$; $(iii)$ $I$ is a monomial ideal in at most four variables.

References:
[1] S. Bandari and J. Herzog, Monomial localizations and polymatroidal ideals, Eur. J. Comb., 34(2013),752-763.
[2] A. Conca Regularity jumps for powers of ideals, Lect. Notes Pure Appl. Math., 244(2006), 21-32.
[3] A. Conca and J. Herzog, Castelnuovo-Mumford regularity of products of ideals, Collect. Math., 54(2003),137-152.
[4] D. Eisenbud, Commutative Algebra with a View Towards Algebraic Geometry, GTM., vol.150, Springer, Berlin, (1995).
[5] D. R. Grayson and M. E. Stillman, Macaulay 2, a software system for research in algebraic geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
[6] J. Herzog and T. Hibi, Discrete polymatroids, J. Algebraic Combin., 16(2002), 239-268.
[7] J. Herzog and T. Hibi, Monomial ideals, GTM., vol.260, Springer, Berlin, (2011).
[8] J. Herzog, T. Hibi and X. Zheng, Monomial ideals whose powers have a linear resolution, Math. Scand., 95(2004), 23-32.
[9] J. Herzog, A. Rauf and M. Vladoiu, The stable set of associated prime ideals of a polymatroidal ideal, J. Algebraic Combin., 37(2013), 289-312. (2012).
[10] J. Herzog and Y. Takayama, Resolutions by mapping cones, Homology Homotopy Appl., 4(2002), 277-294.
[11] J. Herzog and M. Vladoiu, Monomial ideals with primary components given by powers of monomiali prime ideals, Electron. J. Combin., 21 (2014), P1.69.
[12] Sh. Karimi and A. Mafi, On stability properties of powers of polymatroidal ideals, to appear in Collect. Math.
[13] B. Sturmfels, Four counterexamples in cobinatorial algebraic geometry, J. Algebra, 230(2000), 282-294.
[14] T. N. Trung, Stability of associated primes of integral closures of monomial ideals, J. Comb. Theory Ser. A 116(2009), 44-54.
Abstract: For an arbitrary ring $R$ and a flat $R$-module $S$, we define a class of modules, called the class of $S$- strongly flat modules, which lies between the class of projective modules and that of flat modules. We will denote this class of modules by $\mathcal{SF}$. For some particular $S$, we consider some results related to the question whether the fact that the class $\mathcal{SF}$ is a covering class implies that $\mathcal{SF}$ is closed under direct limit. This is a particular case of the so-called ''Enochs' Conjecture'' (whether covering classes are closed under direct limit). The main problem is determining when this class $\mathcal{SF}$ is a covering class.
This is a joint work with Alberto Facchini.
Abstract: Jet schemes proved to be interesting objects to be studied, as it is shown in several recent results that they carry significant geometric information about the scheme they are associated with. The construction of jet schemes can be easily described in algebraic terms; yet not much is known about their properties and numerical invariants from this point of view. In this talk, after reviewing their definition and some known results, we shall focus on the case of jet schemes ideals associated to determinantal and pfaffians ideals and present some open questions.
This is a joint work with E. De Negri.
Abstract: I'll show how to construct a subspace arrangement which encodes the independence polynomial of a graph G, or indeed, the f-vector of an arbitrary simplicial complex. I'll discuss possible applications to unimodality questions.

Contributed Speakers

Abstract: Let k be a field and let $R$ be a standard graded quadratic k-algebra with $\dim_{k}R_2\le 3$. We construct a graded surjective Golod homomorphism $\varphi \colon P\to R$ such that $P$ is a complete intersection of codimension at most $3$. Furthermore, we show that $R$ is absolutely Koszul (that is, every finitely generated $R$-module has finite linearity defect) if and only if $R$ is Koszul if and only if $R$ is not a trivial fiber extension of a standard graded $k$-algebra with Hilbert series $(1+2t-2t^3)(1-t)^{-1}$. In particular, we recover earlier results on the Koszul property of Backelin [1], Conca [3] and D'Ali [5].
This is a joint work with Liana M. Sega.

References:
[1] J. Backelin, A ditributiveness property of augmented algebras and some related homological results, PhD thesis, Stockholm University, 1982.
[2] A. Conca, Groebner Bases for Spaces of Quadrics of Low Codimension, Adv. Appl. Math. 24 (2000), 111-124.
[3] A. Conca, Groebner Bases for Spaces of Quadrics of Codimension 3, J. Pure Appl. Algebra 213 (2009), 1564-1568.
[4] A. Conca, S. B. Iyengar, H. D. Nguyen, T. Roemer, Absolutely Koszul algebras and the Backelin-Roos property, Acta Math. Vietnam. 40 (2015), 353-374.
[5] A. D'Ali, The Koszul property for spaces of quadrics of codimension three, J. Algebra 490 (2017), 256-282.
[6] J. Herzog, S. Iyengar, Koszul modules, J. Pure Appl. Algebra 201 (2005), 154-188.
[7] S. Iyengar, T. Roemer, Linearity defects of modules over commutative rings, J. Algebra 322 (2009), 3212-3237.
[8] J.-E. Roos, Good and bad Koszul algebras and their Hochschild homology, J. Pure Appl. Algebra 201(2005), 295-3327.
Abstract: When we deal with monomial ideals as multigraded modules, the following question arises:
Which properties are shared between the ideal itself and the ideals generated by its multigraded shifts?
More precisely, let $S=k[x_1,\ldots, x_n]$ be the polynomial ring over a field $k$. We consider this ring with its natural multigrading. Suppose that $I\subseteq S$ is a monomial ideal and consider the ideal $J_k(I)=(\{\mathbf{x}^\mathbf{a}| \,\,\beta_{k,\mathbf{a}}(I)\neq 0 \, \})$ generated by the $k$-th multigraded shifts of $I$. It is under question that transferring from $I$ to $J_k(I)$ which properties are preserved.
We first investigate that the property of being (poly)matroidal is inherited by the ideals generated by multigraded shifts.
Regarding this question, we also study Borel ideals and squarefree Borel ideals. A result by Miller and Strumfels shows that the ideal generated by the first multigraded shifts of an equigenerated Borel ideal inherited the property of having linear resolution. We will show this is also the case if we consider the linear quotients property. Moreover, it is shown that if $I$ is a principal Borel ideal or a squarefree Borel ideal, then $J_k(I)$ has linear quotients for each $k=0,\ldots,pd(I)$. Furthermore, it is shown that the property of being squarefree Borel is inherited by $J_k(I)$ whenever $I$ is equigenerated.
Some results are based on a joint work with Iman Jahani and Nadiya Taghipour.
Abstract: In a regular local ring $R$, an ideal $I$ is set-theoretically Cohen-Macaulay if there exists an ideal $J \subset R$ with $rad (I)=rad (J)$ such that the ring $R/J$ is Cohen-Macaulay. In this talk, I will report some properties and then give a characterization of this kind of ideals.
Abstract: The first Brauer-Thrall conjecture asserts that algebras of bounded representation type (meaning that there is a bound on the length of the indecomposable finitely generated modules) have finite type, i.e. the set of isomorphism classes of indecomposable finitely generated modules is finite. This conjecture was solved by Roiter in 1968. The induction scheme which he used in his proof prompted Gabriel to introduce an invariant which Ringel proposed to call Gabriel-Roiter measure. This invariant is defined for any finite length modules. In this talk, we assume that $(R, m)$ is a commutative Cohen-Macaulay local ring. We use of Gabriel-Roiter (co)measure in the category of maximal Cohen-Macaulay $R$-modules. By using of Gabriel-Roiter (co)measure in this category, we prove the first Brauer-Thrall theorem for the category of maximal Cohen-Macaulay $R$-modules.
Abstract: Let $S=k[x_0,\ldots,x_d]$ be a polynomial ring over an algebraically closed field $k$ of characteristic zero and $A=k[g_0,\ldots,g_n]\subseteq S$ a $k$-subalgebra of dimension $d+1$ generated by homogeneous polynomials of the same degree. We define the Gauss algebra $\mathbb{G}(A)$ of $A$ as $k$-subalgebra of $S$ generated by $d+1$-minors of the Jacobian matrix of $g_0,\ldots,g_n$. The Gauss algebra $\mathbb{G}(A)$ is isomorphic to the coordinate ring of the Gauss image of the projective variety defined parametrically by $g_0,\ldots,g_n$ in the Pluecker embedding of the Grassmannian $\mathbb{G}(d, n )$ of $d$-planes. In this talk, we describe the generators and the structure of $\mathbb{G}(A)$, when $A$ is a Borel fixed algebra or a squarefree Veronese algebra generated in degree 2.
This talk is based on joint work with Juergen Herzog and Raheleh Jafari.
Abstract: Two techniques are commonly used in the literature to construct linear resolutions of monomial ideals. First is to construct a cellular resolution introduced by Bayer and Sturmfels [2]. The second method is used when the ideal has linear quotients and a regular decomposition function. This technique was introduced by Herzog and Takayama [5]. Based on the work of Yanagawa on squarefree modules one can introduce a third general technique to construct minimal free resolutions of squarefree monomial ideals. This new method was effectively used by D'Ali, Floystad and the author to construct minimal free resolutions of co-letterplace ideals [3]. Here, we provide yet another example and use this method to construct the first linear strands of edge ideals of d-partite d-uniform clutters, generalizing the construction of resolutions of co-letterplace ideals. We show that the first linear strand is supported on a relative simplicial complex. Homologies of the dual of linear strands of a squarefree monomial ideal are closely related to the Lyubeznik numbers of its Alexander dual, see [1]. As an application, we show that the Lyubeznik numbers that appear on the last column of the Lyubeznik table of the cover ideal of such clutters are Betti numbers of certain simplicial complexes. There is a correspondence between edge ideals of $d$-partite $d$-uniform clutters and sets of points in the multiprojective space $\mathbb{P}^{\times d}$. A finite set of points in $\mathbb{P}^{\times d}$ is arithmetically Cohen-Macaulay if and only if the corresponding edge ideal has a linear resolution. Recently, Favacchio, Guardo and Migliore gave a characterization for arithmetically Cohen-Macaulay sets of points in the multiprojective space $\mathbb{P}^{\times d}$ [4]. At the end of the talk, we give a translation of their result into a characterization for $d$-partite $d$-uniform clutters for which their edge ideals have linear resolutions. This talk is based on the preprint [6].

References:
[1] Joseph Alvarez Montaner and Alireza Vahidi. Lyubeznik numbers of monomial ideals. Tran- sactions of the American Mathematical Society, 366(4):18291855, 2014.
[2] Dave Bayer and Bernd Sturmfels. Cellular resolutions of monomial modules. Journal fur die Reine und Angewandte Mathematik, 502:123-140, 1998.
[3] Alessio D'Ali, Gunnar Floystad, and Amin Nematbakhsh. Resolutions of co-letterplace ideals and generalizations of Bier spheres. Transactions of the American Mathematical Society, to appear.
[4] Giuseppe Favacchio, Elena Guardo, and Juan Migliore. On the arithmetically CohenMacaulay property for sets of points in multiprojective spaces. Proceedings of the American Mathematical Society, 146:2811-2825, 2018.
[5] Juergen Herzog and Yukihide Takayama. Resolutions by mapping cones. Homology, Homotopy and Applications, 4(2):277-294, 2002.
[6] Amin Nematbakhsh. Linear strands of edge ideals of multipartite uniform clutters. arXiv:1805.11432.
Abstract: Let $G$ be a simple graph on the vertex set $[n]$ and the edge set $E(G)$. Let $S=K[x_1,\ldots,x_n,y_1,\ldots,y_n]$ be the polynomial ring over a field $K$. Then the binomial edge ideal of $G$ denoted by $J_G$ is an ideal in $S$ whose generators are all quadrics of the form $f_{ij}= x_{i}y_{j}-x_{j}y_{i}$, where $\{i,j\}\in E(G)$ and $1 \leq i < j \leq n$. This ideal was introduced by Herzog et al. in [2] and independently by Ohtani in [6]. One of the most interesting numerical invariants in commutative algebra, arising from graded free resolutions, is the Castelnuovo-Mumford regularity. Recall that \[ reg \dfrac{S}{J_G}=\max \{j-i: Tor_i^{S}(K,\dfrac{S}{J_G})_j \neq 0 \}.\] In [5], Matsuda and Murai showed that $\mathcal{L}(G)\leq reg \dfrac{S}{J_G}\leq n-1$, where $\mathcal{L}(G)$ is the sum of the lengths of longest induced paths of connected components of $G$. Further, they conjectured that $reg \dfrac{S}{J_G}\leq n-2$, if $G$ is not a path. This conjecture was proved in [4]. On the other hand, in [7] the authors showed that $reg \dfrac{S}{J_G}\leq c(G)$, for any graph $G$ whose binomial edge ideal admits a quadratic Grobner basis, where $c(G)$ denotes the number of maximal cliques of $G$. Afterwards in [8], the following conjecture was formulated:
Conjecture. [8,page 12] Let $G$ be a graph. Then $reg \dfrac{S}{J_G}\leq c(G)$.
The aforementioned result by Matsuda and Murai proves this conjecture in the case of trees. In [1], Ene and Zarojanu verified the above conjecture for a class of chordal graphs for which any two maximal cliques intersect in at most one vertex. Later, this result was improved for a bigger subclass of chordal graphs called generalizad block graphs [3]. In this talk, among other results, we discuss this conjecture for all chordal graphs.
This talk is based on a joint work with Dariush Kiani and Sara Saeedi Madani.

References:
[1] V. Ene, A. Zarojanu, On the regularity of binomial edge ideals, Math. Nachr. 288, No. 1 (2015), 19-24.
[2] J. Herzog, T. Hibi, F. Hreinsdottir, T. Kahle, J. Rauh, Binomial edge ideals and conditional independence statements, Adv. Appl. Math. 45 (2010), 317-333.
[3] D. Kiani, S. Saeedi Madani The regularity of binomial edge ideals of graphs, (2013) arXiv:1310.6126v2.
[4] D. Kiani, S. Saeedi Madani, The Castelnuovo-Mumford regularity of binomial edge ideals, J. Combin. Theory Ser. A. 139 (2016), 80-86.
[5] K. Matsuda, S. Murai, Regularity bounds for binomial edge ideals, J. Commutative Algebra. 5(1) (2013), 141-149.
[6] M. Ohtani, Graphs and ideals generated by some 2-minors, Comm. Algebra. 39 (2011), 905-917.
[7] S. Saeedi Madani, D. Kiani, Binomial edge ideals of graphs, Electronic J. Combin. 19(2) (2012), ♯ P44.
[8] S. Saeedi Madani, D. Kiani, On the binomial edge ideal of a pair of graphs, Electronic J. of Combinatorics. 20(1) (2013), ♯ P48.
Abstract: Studying toric algebras and their defining ideals has been and still is an interesting topic of study in commutative algebra and its related areas like algebraic geometry and combinatorics. In this talk, inspired by conjectures due to B. Sturmfels and S. Sullivant, we look at the so-called cut polytopes which are some convex polytopes attached to graphs. Then, we discuss several algebraic and homological properties of a certain toric algebra associated to such polytopes. We call this algebra the cut algebra of the underlying graph.
This talk is based on a joint work with Tim Roemer.
Abstract: A rack is a set $R$ equipped with a binary operation $\triangleright$ such that for any $a,b,c\in R$, we have $a\triangleright(b\triangleright c)=(a\triangleright b)\triangleright(a\triangleright c)$, and there exists a unique $x\in R$ with $a\triangleright x=b$. Racks have some connections with different branches of mathematics such as knot theory, Hopf algebras, group theory, lattice theory and commutative algebra. This talk is mostly related to the two latter ones. Such an approach was started by I. Heckenberger et al. [1] where they associated a lattice to any rack $R$ called the lattice of subracks of $R$ which consists of all subracks of $R$. The meet and the join of any two subracks are defined as their intersection and the subrack generated by them, respectively. One can study the lattice of subracks of a rack by considering its order complex and applying topological and commutative algebraic techniques. I. Heckenberger et al. [1] posed some interesting conjectures through their paper. We proved one of them by showing that the lattice of subracks of any rack is atomic [2]. In this talk, we focus on one of the other conjectures. Indeed, we prove that the lattice of subracks of any finite rack is complemented but there are some infinite racks which their lattices of subracks are not complemented. Let $R$ be a rack. For any $a\in R$, the map which sends each $b\in R$ to $a\triangleright b$ is bijective. The group generated by such maps naturally acts on $R$. We introduce a new class of racks called $G$-racks as well. A $G$-rack is a rack such that any subrack including at least one element from any orbit of the aforementioned action must be the whole $R$. We also discuss about the homology groups of the order complexes of $G$-racks. Indeed, we show that for any $G$-rack $R$ with $c$ orbits the homology groups $\widetilde{H}_i\left(\Delta(R)\right)=0$ if and only if $i\neq c-2$.
This talk is based on a joint work with Dariush Kiani.

References:
[1] I. Heckenberger, J. Shareshian, V. Welker, On the lattice of subracks of the rack of a finite group, Trans. Amer. Math. Soc. (2018), https://doi.org/10.1090/tran/7644, in press.
[2] D. Kiani and A. Saki, The lattice of subracks is atomic, J. Combin. Theory Ser. A, vol. 162 (2019), 55-64.
Abstract: A special class of algebras which are intermediate between the symmetric and the Rees algebras introduced by P. Aluffi to define characteristic cycle of a hypersurface parallel to the well-known conormal cycle in intersection theory. These algebras are investigated by A. Nasrollah Nejad and A. Simis who named them Aluffi algebras. Let $ R$ be a Notherian ring and $ J\subseteq I$ ideals of $ R$. The Aluffi algebra is defined by $\mathcal{A}_{R/J}(I/J):= \mathcal{S}_{R/J}(I/J) \displaystyle{\otimes_{\mathcal{S}_{R}(I)}} \mathcal{R}_{R}(I) $, where $ \mathcal{S}_{B}(\mathfrak{a})$ and $\mathcal{R}_{B}(\mathfrak{a}) $ denote respectively the symmetric and Rees algebra of an ideal $\mathfrak{a}$ in a ring $ B $. There exists a natural surjective $R/J$-algebra homomorphism $ \mathcal{A}_{R/J}(I/J) \twoheadrightarrow \mathcal{R}_{R/J}(I/J) $. A pair of ideals $J \subseteq I \subseteq R$ has been called Aluffi torsion-free if the Aluffi algebra of $I/J$ is isomorphic to the corresponding Rees algebra. In this talk, we give necessary and sufficient conditions for the Aluffi torsion-free property in terms of the first syzygy module of the form ideal $J^*$ in the associated graded ring of $I$. For two pairs of ideals $J_1, J_2\subseteq I$ such that $J_1 - J_2\in I^2$, we prove that if one pair is Aluffi torsion-free the other one is so if and only if the first syzygy modules of $J_1$ and $J_2$ have the same form ideals. In the sequel, introduce the notion of strongly Aluffi torsion-free ideals and present some results on these ideals.
This talk is based on the joint work with A.Nasrollah Nejad and Rashid Zaare-Nahandi.
Abstract: Let $S = k[x_{1},\ldots,x_{n}] $ be the polynomial ring in $n$ variables over a field $k$ and $I$ be a monomial ideal in $S$. We say that $I$ has a $d$-linear resolution if the graded minimal free resolution of $I$ is of the form: $$ 0 \longrightarrow S(-d-p)^{\beta_p} \cdots \longrightarrow S(-d-1)^{\beta_1} \longrightarrow S(-d)^{\beta_0} \longrightarrow I \longrightarrow 0. $$ Let $I \subseteq S$ be a monomial ideal. We denote by $G(I)$ the unique minimal monomial set of generators of $I$. We say that $I$ has linear quotients if there exists an order $\sigma = u_1, \ldots, u_m$ of $G(I)$ such that the colon ideal $ < u_1, \ldots, u_{i-1} > : u_i$ is generated by a subset of the variables, for $i = 2, \ldots, m$. It is known that if $I$ has linear quotients and generated in degree $d$, then $I$ has a $d$-linear resolution. The concept of variable-decomposable monomial ideal was first introduced by Rahmati and Yassemi as a dual concept of vertex-decomposable simplicial complexes. In case that $I=I_{\Delta^{\vee}}$, they proved that $I$ is variable-decomposable if and only if $\Delta$ is vertex-decomposable. Also they proved if a monomial ideal $I$ is variable-decomposable, then it has linear quotients. In general these three concepts are not equivalent, but for monomial ideals generated in one degree, we have the following implications:
$I$ is variable-decomposable $\Longrightarrow \; I$ has linear quotients $\Longrightarrow \; I$ has a linear resolution.
Let $G_I$ be the graph which its nodes are the generators of $I$, and two vertices $u_i$ and $u_j$ are adjacent if there exist variables $x, y$ such that $xu_i = yu_j$. Let $I\subset S$ be a squarefree monomial ideal generated in degree $d$. we show that if $d=2$, $d=n-2$, $n\leq 5$, $G_I$ is cycle and $G_I$ is a tree, then these three concepts are equivalent. As applications of our results, we characterize all Cohen-Macaulay monomial ideals of codimension $2$ with a linear resolution. Let $\Delta=\langle F_1,\ldots, F_m\rangle$ be a simplicial complex. It is shown that $\Delta$ is connected in codimension one if and only if $G_{I_{\Delta^{\vee}}}$ is a connected graph. We show that $I_{\Delta^{\vee}}$ has linear relations if and only if $\Delta^{(F,G)}$ is connected in codimension one for all facets $F$ and $G$ of $\Delta$. Also, we introduce a simple graph $G_{\Delta}$ on vertex set $\{F_1,\ldots,F_m\}$ which is isomorphic to $G_{I_{\Delta^{\vee}}}$. As Corollaries of our results, we show that if $G_{\Delta}$ is a cycle or a tree, then the following are equivalent:
(a) $\Delta$ is Cohen-Macaulay;
(b) $\Delta$ is pure shellable;
(c) $ \Delta$ is pure vertex-decomposable.
This is a joint work with E. Manouchehri.

Seminar Schedule

You can download the schedule of the seminar by clicking here.

Abstracts of the Seminar

You can download the pdf file of the seminar talks by clicking here.

List of Participants

You can see the list of participants by clicking here.

Registration (the deadline has passed)

To register for the seminar, please fill out the Registration Form. Your request will be considered by the organizing committee. Upon acceptance you will receive an email. After the acceptance, you may complete the registration by doing the payment process.

Registration fee for the seminar:
1) Registration fee for Iranian participants:
You can get more information about the registration fee here.

2) Registration fee for international participants: The registration fee is 100 Euro. The registration fee for international participants will be due in cash at the time of registration on the first day of the meeting. Please note that standard credit cards; e.g., Visa, Master or AmEXP, cannot be used in Iran.

Registration fee includes: Documentation package, participation in the lectures, lunches coupons, and coffee breaks during the meeting.  
Residence fee at IPM guest house is 25 Euro per night.


Registration Form

Name:
Surname:
Employment:
Advisor
(only for Students):
Other explain here:
Affiliation:
Email:
Phone:
Accommodation:
From: To:

Call for Papers (the deadline has passed)

Papers will be accepted for presentation at the seminar subject to approval by the Organizers. Please send submissions (extended abstract or full paper) electronically (in PDF and Tex formats) to mina.bigdeli@ipm.ir with the subject: "15th_commalg_abstract". 
 

Important Dates

Deadline for registration and paper submission: December 22, 2018 (۱ دی ۱۳۹۷)
Decision on acceptance of attendance and talks: December 29, 2018 (۸ دی ۱۳۹۷)
Deadline for registration confirmation: January 2, 2019 (۱۲ دی ۱۳۹۷)

Workshop (January 12 - 14, 2019)

All commutative algebraists are welcome to participate in this event. Please note that attending in the workshop is free of charge and there is no need for registration.

Lecturers

Abstract: Determinants describe degeneracy loci of linear maps and appear prominently in invariant and representation theory of linear groups. This makes them objects of eternal relevance in algebra and geometry. Determinantal rings are coordinate rings of interesting varieties as, for example, Schubert varieties.
Classical determinantal rings are defined by minors of a generic matrix, by minors of a generic symmetric matrix or by Pfaffians of a  generic skew-symmetric matrix. A classical tool in the study of determinantal rings is the notion of Algebra with Straightening Law (ASL), which was born in the invariant theory and stands  in the intersection among geometry, algebra and combinatorics. More recently Groebner bases theory has been successfully used to study classical and non-classical determinantal rings, allowing to deduce properties of the determinantal ideals by studying simplical complexes associates to their initial ideals. Aim of the course is to explain this tecniques and to show two applications to the study of cogenerated ideals of Pfaffians and of ideals of minors of symmetric matrices.
Abstract: In this talk, we will discuss about the vanishing of (co)homology over complete intersection rings. A remarkable consequence of the vanishing of homology over a complete intersection local ring $R$ is the depth formula, $depth_R(M)+depth_R(N)=depth(R)+depth_R(M\otimes_{R}N)$, established by Auslander [1] when $R$ is regular, and by Huneke and Wiegand [2] when $R$ is singular. We will discuss about the depth formula over Gorenstein rings. We will show that the depth formula holds for nonzero finitely generated modules $M$ and $N$ in case certain Gorenstein relative and Tate homology modules vanish.

References:
[1] M. Auslander, Modules over unramified regular local rings, Illinois J. Math. 5 (1961), 631–647.
[2] C. Huneke and R. Wiegand, Tensor products of modules and the rigidity of Tor, Math. Ann. 299 (1994),449–476.
Abstract: Generic initial ideals have been studied extensively during the last few decades, after the proof of the celebrated Criterion for detecting Castelnuovo-Mumford regularity by D. Bayer and M. Stillman, within the theory of Grobner bases and graded free resolutions.
After discussing the notion of genericity and the definition of generic initial ideals, we recall some of their basic properties. We shall then focus on the Betti tables and local cohomology tables of generic initial ideals, and on some generalizations of Bayer-Stillman results. We shall also survey some questions which are still open in the field, and see how the theory of generic initial ideals contributed and may contribute to their solutions.
Some of the results we present are in collaboration with G. Caviglia (Univ. Purdue) and F. Strazzanti (Univ. Barcelona).
Abstract: Hochster's formula gives a connection between invariants for monomial ideals and simplicial cohomology. It has developed into a useful tool in combinatorial commutative algebra. I'll give an overview of both the connection, and of tools in topological combinatorics that are useful for combinatorial commutative algebra.

Workshop Schedule

You can download the schedule of the workshop by clicking here.

Abstracts of the Workshop

You can download the pdf file of the workshop talks by clicking here.

Useful Information

About Tehran

Travel Information

Around IPM

IPM Institute for Research in Fundamental Sciences

Niavaran

School of Mathematics,

P.O. Box 19395-5746, Tehran - Iran

  • Tel: +98 21 222 90 928, Fax: +98 21 222 90 648
  • ipmmath@ipm.ir
  • mina.bigdeli@ipm.ir
  • dibaeimt@ipm.ir
  • somayeh.moradi1@gmail.com
Top