The 19th Seminar on Commutative Algebra and Related Topics will be held on January 31-February 1, 2024.
Prior to the seminar, we will hold a CIMPA course on Algebraic and Geometric Methods in Coding Theory on January 27-30, 2024.

Note: The seminar will also be held in hybrid format. You can join us through the following link:
https://zoom.us/join
Meeting ID: 9086116889
Passcode: 362880


PHOTO GALLERY

Seminar (January 31-February 1, 2024)

Confirmed Speakers

Abstract:
A toric variety is a normal variety $\mathfrak X$ that contains an algebraic torus $T$ as a Zariski open subset such that the natural action of $T$ on itself extends to an algebraic action of $T$ on $\mathfrak X$, i,e., an action $T\times \mathfrak X\to \mathfrak X$ which is given by a morphism of algebraic varieties. In toric category, equivariant maps that respect the torus action, the so-called toric maps, are of interest. In more detail, if $\mathfrak X_1$ and $\mathfrak X_2$ are toric varieties, a morphism $\Phi:\mathfrak X_1\to\mathfrak X_2$ of algebraic varieties is toric if it maps the torus $T_1\subset \mathfrak X_1$ into $T_2\subset \mathfrak X_2$, and $\Phi|_{T_1}$ is a group homomorphism. In particular, if we have affine toric varieties, there is a simple characterization of toric morphisms which helps us to give a careful description of a toric map between nonsingular affine toric varieties in terms of a system of monomial equations and its exponents matrix. As an immediate application, we can characterize when a morphism of nonsingular quasi-projective varieties are toroidal, i.e., it is locally analytically toric. In this talk, these results will be discussed after introducing some basic tools in toric geometry.

Abstract:
Walker introduced the interval subdivision of a simplicial complex. This talk will explore the ring-theoretic properties of Stanley–Reisner rings associated with simplicial complexes undergoing interval subdivisions. The focus encompassescomputational aspects such as dimension, Hilbert series, multiplicity, local cohomology, depth, and regularity of theresulting Stanley–Reisner ring. Moreover, I will present some interesting results concerning the non-vanishing of gradedBetti numbers and bounds on Betti numbers for these Stanley-Reisner rings. This is my joint work with Shaheen Nazir, which recently appeared in the Communications in Algebra.

Abstract:
Minimal free resolutions are classical objects in commutative and homological algebra, and their study goes back at least to Hilbert. We will be particularly interested in graded minimal free resolutions of polynomial algebras quotiented by monomial ideals, and in particular, Stanley-Reisner rings of abstract simplicial complexes. These have some nice properties when the corresponding simplicial complexes are shellable. An important class of shellable complexes is that of simplicial complexes formed by independent subsets of a matroid. This includes, as a special case, simplicial complexes arising from linear error correcting codes. A relatively recent work of Johnsen and Verdure shows that some of the fundamental parameters of a linear code are closely related to the Betti numbers arising from graded minimal free resolutions of the Stanley-Reisner rings of matroid complexes corresponding to these codes. However, computing Betti numbers is usually a hard problem. But it is tractable if the free resolution is pure.
We will first outline these evelopments while making an attempt to keep the prerequisites at a minimum. We shall then describe an intrinsic characterization of purity of graded minimal free resolutions associated with linear codes. Further, we will discuss a characterization of (generalized) Reed-Muller codes that admit a pure resolution.
If there is time and interest, we will also discuss the case of rank metric codes and possible analogues of some of the notions and results discussed above.
The first part of this talk is based on joint works with Prasant Singh and also with Rati Ludhani. The second part is based mainly on a joint work with Rakhi Pratihar and Tovohery Randrianarisoa.

Abstract:
Let $X$ be a reduced subscheme in $\mathbb{P^n}$. We say that $X$ admits an unexpected hypersurface of degree $d$ and multiplicity $m$ if the imposition of having multiplicity $m$ at a general point $P$ fails to impose the expected number of conditions on the linear system of hypersurfaces of degree $d$ containing $X$. We introduce new methods for studying unexpectedness, such as the use of generic initial ideals and partial elimination ideals to clarify when it can and when it cannot occur. We formulate a new way of quantifying unexpectedness (our $\operatorname{AV}$ sequence), which allows us detect the extent to which unexpectedness persists as increases but remains constant. We also study how knowledge of the Hilbert function, together with certain geometric assumptions, can provide information about unexpected hypersurfaces.This is a joint work with G. Favacchio, B. Harbourne and J. Migliore.

Abstract:

Abstract:
Let sk$(\mathcal{P})$ denote the 1-skeleton of a convex polytope $\mathcal{P}$. Let $C$ be a clique (=complete subgraph) of sk$(\mathcal{P})$ and conv(C) the convex hull of the vertices of $\mathcal{P}$ belonging to C. In general, conv(C) may not be a face of $\mathcal{P}$. It will be proved that conv(C) is a face of $\mathcal{P}$ if $\mathcal{P}$ is either the order polytope $\mathcal{O}(P)$ of a finite partially ordered set P or the stable set polytope Stab(G) of a finite simple graph G. In other words, when $\mathcal{P}$ is either $\mathcal{O}(P)$ or Stab(G), the simplicial complex consisting of simplices which are faces of $\mathcal{P}$ is the clique complex of sk$(\mathcal{P})$.
This is a joint work with Aki Mori (arXiv:2307.08447).

Abstract:
Let $G$ be a finite group acting linearly on a finite-dimensional vector-space $V$ over a field $K$. Let $R$ denote the symmetric algebra on $V^*$; then $G$ acts as graded $K$-algebra automorphisms on $R$. If $R^G$ is a polynomial ring, then $G$ is generated by elements that act as pseudo-reflections on $V$. The converse holds when $|G|$ is invertible in $K$. The above results are Shephard-Todd-Chevalley-Serre theorem. If $\mathrm{char}(K) = p>0$ and $G$ is a $p$-group, then a conjecture of Shank-Wehlau-Broer asserts that $R^G$ is a polynomial ring if $R^G$ is a direct summand of $R$ as an $R^G$-module. We verify this conjecture in dimension three and prove some results supporting the conjecture in dimension four.
This is joint work with Mandira Mondal.

Abstract:
Higher Auslander-Reiten theory was introduced and developed by Iyama. It deals with n-cluster tilting subcategories of module categories, where n is a fixed positive integer. Higher Auslander-Reiten theory has several connections to other areas, for example non-commutative algebraic geometry, combinatorics, categorification of cluster algebras, higher category theory and symplectic geometry. The question of finiteness of n-cluster tilting subcategories for $n\geq 2$, which is among the first that have been asked by Iyama, is still open. Up to now, all known n-cluster tilting subcategories with $n\geq2$ are of finite type. In this talk after recalling the definition and some basic properties of n-cluster tilting subcategories we give several characterization of n-cluster tilting subcategories of finite type. This talk is based on joint works with R. Diyanatnezhad, R. Ebrahimi and Z. Fazelpour.

Abstract:
We talk about certain algebraic invariants relevant in studying (generalized) toric codes on subgroups of weighted projective tori inside an n-dimensional weighted projective space. As an illustration, we share the main parameters of toric codes on a weighted projective plane of the form P(1,1,a)P for an integer a>1.
This is a joint work with Oğuz Yayla that is published in Designs, Codes and Cryptography.

Abstract:
Let $P$ be a poset with order relation $\leq$. For a number $r \geq 1$ we consider the set $P_r$ of all $r$-multichains $\mathfrak{p} : p_1 \leq \cdots \leq p_r$ in $P$. In this talk, we define and study a class of simplicial complexes associated to the set $P_r$ of $r$-element multichains. The simplicial complexes depend on a strictly monotone function from $[r]$ to $[2r]$. We show that there are exactly $2^r$ such functions that yield subdivisions of the order complex of $P$, of which $2^{r-1}$ are pairwise different. We also exhibit a large subclass for which our simplicial complexes are order complexes and homotopy equivalent to the order complex of $P$. It is also shown that all these subdivisions have the same combinatorial data, i.e., $f$-vector. We give an explicit description of the transformation matrices from the $f$- and $h$-vectors of $\Delta$ to the $f$- and $h$-vectors of these subdivisions when $P$ is a poset of faces of $\Delta$.We will also discuss two important subdivisions, namely Cheeger-Muller-Schrader's subdivision and the $r$-colored barycentric subdivision which fall in our class of $r$-multichain subdivisions.
This work is a partial collaboration with Prof. Volkma Welker.

Abstract:
In this talk, we introduce a certain type of polytopes and toric algebras associated with matroids, called cycle polytopes and cycle algebras, respectively, and discuss several properties of them.

Abstract:
Geometric Goppa codes constitute a specialized class of error-correcting codes that emerge from the intersection of algebraic geometry and coding theory, specifically utilizing tools from algebraic curves. Goppa codes have demonstrated remarkable performance in mitigating errors in various communication channels and storage systems. In this talk, we provide a succinct overview of algebraic geometric Goppa codes, elucidating their theoretical foundations and construction methodologies.

Contributed Speakers

Abstract:
In this talk, we will characterization of positive matching in terms of strong alternate closed walks for a r-uniform hypergraphs H=(V,E) such that $\lvert e_i\cap e_j\rvert \leq 1$ for all $e_i,e_j \in E$. For specific classes of a hypergraph, we classify the radical and complete intersection Lovaz-Saks-Schrijver ideals. In the last part of the talk, we will present the conjectures of Gharakhloo and Welker (Hypergraph LSS-ideals and coordinate sections of symmetric tensors, Comm. Algebra, 2023) that the positive matching decomposition number (pmd) of a 3-uniform hypergraph is bounded from above by a polynomial of degree 2 in terms of the number of vertices. This is a report on joint work with Neeraj Kumar.

Abstract:
Weighted projective spaces are natural generalizations of classical projective spaces having rich structures and exhibiting interesting algebraic geometric properties. They have been regarded as convenient ambient spaces to create interesting classes of linear codes over finite fields in the literature (see, [1],[2],[3]). Weighted Projective Reed–Muller codes were introduced by Sørensen in [3].
The purpose of this talk is to introduce these codes over a finite field, to give results for their main parameters, and to reveal the role of computer algebra packages to study some of the relevant combinatorial commutative algebraic invariants. We pay a particular attention on two dimensional case to obtain more explicit information about the minimal free resolution of the vanishing ideal of the weighted projective plane $\mathbb{P}(1,a,b)$ over $\mathbb{F}_q$. This yields to the Hilbert function giving the dimension of the code and regularity index which is crucial to eliminate trivial codes. We also compute the minimum distance of codes on the weighted projective space of the form $\mathbb{P}(1,1,b)$ and in this talk we will share these results.
This is a joint work with Mesut Sahin..

References:
[1] Y. AUBRY , W. CASTRYCK , S. R. GHORPADE , G. LACHAUD , M. E. O’SULLIVAN , and S. RAM., Hypersurfaces in weighted projective spaces over finite fields with applications to coding theory. In Algebraic Geometry for Coding Theory and Cryptography, Springer, (2017)
[2] O. GEIL, C. THOMSEN , Weighted Reed–Muller codes revisited. Desing Codes and Cryptography, (2013)
[3] A. B. SORENSEN , Weighted Reed–Muller codes and algebraic-geometric codes. IEEE Trans.Inf.Theory, (1992)

Abstract:
Suppose that $I$ is an ideal in a Noetherian local ring $(R,\mathfrak{m})$ of Krull dimension $d$. Ulrich and Validashti defines the $\varepsilon$-multiplicity of $I$ to be $$\varepsilon(I) := \limsup_{n\to\infty}\dfrac{\lambda_R\left(H^0_{\mathfrak{m}}\left(R/I^n\right)\right)}{n^d/d!}.$$ This invariant can be seen as a generalization of the classical Hilbert-Samuel multiplicity. Cutkosky shows that the `$\limsup$' in the definition of $\varepsilon$-multiplicity can be replaced by a limit if $R$ is analytically unramified. Cutkosky-Ha-Srinivasan-Theodorescu give an example of a prime ideal in a regular local ring whose $\varepsilon$-multiplicity is irrational. Such pathological behaviour occurs because the saturated Rees algebra $\oplus_{n\geq 0}\left(I^n\colon_R\mathfrak{m}^{\infty}\right)$ can be non-Noetherian. A celebrated result due to Herzog-Hibi-Trung states that the saturated Rees algebra of a monomial ideal in a polynomial ring over a field is finitely generated. In particular, the $\varepsilon$-multiplicity of a monomial ideal is a rational number. In this talk, we shall discuss various generalizations of this result.

Abstract:
Throughout this talk, the vertex decomposability and shellability of graphs formed from other graphs by various operations are investigated. Also among the other things, by using some graph operations, new classes of Cohen-Macaulay graphs from previous ones are presented.

Abstract:
You can see the pdf file of the abstract here.

Abstract:
A celebrated theorem of Fröberg gives a complete combinatorial classification of quadratic square-free monomial ideals with a linear resolution. A generalization of this theorem to higher degree square-free monomial ideals is an active area of research. The existence of a linear resolution of such ideals often depends on the field over which the polynomial ring is defined. Hence, it is too much to expect that in the higher degree case a linear resolution can be identified purely using a combinatorial feature of an associated combinatorial structure. However, some classes of ideals having linear resolutions have been identified using combinatorial structures. In the present paper, we use the notion of r-independence to construct an r-uniform hypergraph from the given graph. We then show that when the underlying graph is co-chordal, the corresponding edge ideal is vertex splittable, a condition stronger than having a linear resolution. We use this result to explicitly compute graded Betti numbers for various graph classes. Finally, we give a different proof for the existence of a linear resolution using the topological notion of r-collapsibility. This is a joint work with Priyavrat Deshpande, Anurag Singh and Adam Van Tuyl.

Abstract:
The structure of local cohomology modules is quite mysterious owing to their non-finite generation. Over the last three decades, researchers have extensively investigated if they behave like finitely-generated modules. Let $A$ be a Dedekind domain of characteristic zero such that its localization at every maximal ideal has mixed characteristic with finite residue field. Let $R=A[X_1, \ldots, X_n]$ be a polynomial ring equipped with the standard multigrading. Let $I\subseteq R$ be an ideal which is generated by elements of the form $aU$, where $a \in A$ (possibly nonunit) and $U$ is a monomial in $X_i$'s. We call such an ideal as `$\mathfrak{C}$-monomial ideal'. Local cohomology modules supported on usual monomial ideals of a polynomial ring over a field gain a great deal of interest due to their connections with combinatorics and toric varieties. The objective of this talk is to discuss a structure theorem for the multigraded components of the local cohomology modules $H^i_I(R)$ for $i \geq 0$. We will urther show that if $A$ is a PID then each component can be written as a direct sum of its torsion part and torsion-free part. As an application, we will see that their Bass numbers are finite.
This is a joint work with Tony J. Puthenpurakal.

Abstract:
Let $R=K[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $K$ and $I$ be a monomial ideal of degree $d\leq 2$. We show that $(I^{k+1}:I)=I^k$ for all $k\geq 1$ and we disprove a motivation question of Carlini, H$\grave{a}$, Harbourne and Van Tuyl by providing of a counter-example. Also, by this counter-example, we give a negative answer to the question that the depth function of square-free monomial ideals are non-increasing.
This is a joint work with Amir Mafi.

Abstract:
Given an arbitrary hypergraph $\mathcal{H}$, we may glue to $\mathcal{H}$ a family of hypergraphs to get a new hypergraph $\mathcal{H'}$ having $\mathcal{H}$ as an induced subhypergraph. In this paper, we introduce three gluing techniques for which the topological and combinatorial properties (such as Cohen-Macaulayness, shellability, vertex-decomposability etc.) of the resulting hypergraph $\mathcal{H'}$ is under control in terms of the glued components. This enables us to construct broad classes of simplicial complexes containing a given simplicial complex as induced subcomplex satisfying nice topological and combinatorial properties.
This is a joint work with Mohammad Farrokhi D. G., and Alireza Shamsian.
To see the extended abstract click here.

Call for Papers

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 ipmcommalg@ipm.ir with the subject: "19th_commalg_abstract".
The requests for contributed talks should be sent by November 6, 2023. (The dealine is extended till December 1, 2023)

Seminar Schedule (printable version)


Abstracts of the Seminar

You can see abstracts of the seminar in PDF format here.

List of Participants

Click here to see the list of participants.

CIMPA course (January 27-30, 2024)

Prior to the seminar, a CIMPA course on Algebraic and Geometric Methods in Coding Theory will be held on January 27-30, 2024.

The aim of this course is to introduce some new research directions in coding theory and especially its interactions with commutative algebra and algebraic geometry. The course is meant for young researchers and PhD students, and it is intended for them to be acquainted with some topics of contemporary research interest. Considering the short duration of this course, we will assume familiarity with the basics of coding theory, and also some rudimentary knowledge of commutative algebra and algebraic geometry. We will focus mainly on the following topics.

  • Toric Varieties and Toric Codes
    The main theme of this part will be the linear codes defined on zero-dimensional subvarieties of a toric variety over a finite field. We briefly discuss local structure of an abstract toric variety, namely we review basics of (normal) affine toric varieties, (saturated) affine semigroups, toric ideals and their relations to strongly convex rational polyhedral cones. We discuss certain properties of projective toric varieties and give several examples. We exhibit the precise relation between the combinatorics of a fan and the geometry of the corresponding normal toric variety. We also discuss the GIT quotient representation of a simplicial normal toric variety and introduce homogeneous coordinates as done for a projective space. These will enable us to introduce and study the main parameters of a toric code, i.e. an evaluation code defined on some subset of rational points on a normal toric variety over a finite field.


  • Linear Codes associated to higher dimensional varieties
    Geometric approach to linear codes via the language of projective systems. The following specific classes of linear codes and some of their fundamental properties including determination of basic parameters will be discussed.

    - Codes associated to Veronese varieties (Projective Reed-Muller Codes)
    - Grassmann codes
    - Schubert codes


  • Betti numbers of linear codes and matroids
    Matroids and simplicial complexes associated to linear codes. Graded minimal free resolutions and Betti numbers of Stanley-Reisner rings of these simplicial complexes. Relations with generalized Hamming weights and generalized weight enumerator polynomials of linear codes.


Lecturers

Abstract:
We will motivate the talk by the need for cryptosystems which are quantum-secure unlike RSA and discrete log based ones. Then we will introduce MceEliece public key cryptosystem and Niederreiter public key cryptosystem.

Abstract:

Abstract:


Course Schedule (printable version)

Registration

To participate in the seminar and the minicourse, please fill out the Pre-registration form by November 6, 2023.
(The dealine is extended till December 1, 2023)
The organizing committee has requested financial support to cover part of the travel expenses of the participants.








Registration is closed!

Organizers

  • Sara Faridi (Dalhousie University, Canada)
  • Hassan Haghighi (K. N. Toosi University of Technology, Iran)
  • Raheleh Jafari (IPM and Kharazmi University, Iran)
  • Abbas Nasrollah Nejad (IPM and Institute for Advanced Studies in Basic Sciences, Zanjan, Iran)


Sponsors

AARMS  AARMS (Atlantic Association for Research in the Mathematical Sciences)

 

Compositio Mathematica  Compositio Mathematica

 



Compositio Mathematica 

 

 

 

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
  • ipmcommalg@ipm.ir
Top