Related papers: Minimal free resolution of Crystal module
We construct a generalize Ishida complex to compute the local cohomology with monomial support of modules over quotients of polynomial rings by cellular binomial ideals. As a consequence, we obtain a combinatorial criterion to determine…
Let $(R,\mathfrak m, \mathsf k)$ be a complete intersection local ring, $K$ be the Koszul complex on a minimal set of generators of $\mathfrak m$, and $A=H(K)$ be its homology algebra. We establish exact sequences involving direct sums of…
We use the cell model to justify the use of a lattice model to study the ideal glass transition. Based on empirical evidence and several previous exact calculations, we hypothesize that there exists an energy gap between the lowest possible…
For irreducible integrable highest weight modules of the finite and affine Lie algebras of type A and D, we define an isomorphism between the geometric realization of the crystal graphs in terms of irreducible components of Nakajima quiver…
This is a part of an ongoing research project, with the aim of finding the connections between properties related to theory combination in Satisfiability Modulo Theories. In previous work, 7 properties were analyzed: convexity, stable…
A hyperplane arrangement $\cA$ is said to be free if the corresponding Jacobian ideal $J_\cA$ is Cohen-Macaulay. If $\cA$ is free then $J_\cA$ is unmixed (i.e. equidimensional). Freeness is an important property, yet its presence is not…
This paper explores the concept of \textbf{co-first modules}, a generalization of coprime modules, through the lens of preradicals in module theory. Building on foundational notions such as second modules and coprime modules, we introduce…
A distributive lattice $L$ with minimum element $0$ is called decomposable lattice if $a$ and $b$ are not comparable elements in $L$ there exist $\overline{a},\overline{b}\in L$ such that $a=\overline{a}\vee(a\wedge b),…
For an ideal I in a regular local ring (R,m)$ with residue class field K = R/m or a standard graded K-algebra R we show that for k >> 0 --> the Artin--Rees number of the syzygy modules of I^k as submodules of the free modules from a free…
A locking-free rectangular Mindlin plate element with a new multi-resolution analysis (MRA) is proposed and a new finite element method is hence presented. The MRA framework is formulated out of a mutually nesting displacement subspace…
In this paper we propose a model for computing a minimal free resolution for ideals of the form $I_{1}(X_{n}Y_{n})$, where $X_{n}$ is an $n\times n$ skew-symmetric matrix with indeterminate entries $x_{ij}$ and $Y_{n}$ is a generic column…
Two ideals $I$ and $J$ are called transverse if $I \cap J = IJ$. We show that the obstructions defined by Avramov for classes of (sequentially) transverse ideals in regular local rings are always $0$. In particular, we compute an explicit…
In July 2012 the General Assembly of the United Nations resolved that 2014 should be the International Year of Crystallography, 100 years since the award of the Nobel Prize for the discovery of X-ray diffraction by crystals. On this special…
We investigate the interplay of crystal bases and completions in the sense of Enright on certain nonintegrable representations of quantum groups. We define completions of crystal bases, show that this notion of completion is compatible with…
We present an algorithm to compute the primary decomposition of a submodule $\mathcal{N}$ of the free module $\Z[x_1, \ldots, x_n]^m$. For this purpose we use algorithms for primary decomposition of ideals in the polynomial ring over the…
We consider ideals arising in the context of conditional independence models that generalize the class of ideals considered by Fink [7] in a way distinct from the generalizations of Herzog-Hibi-Hreinsdottir-Kahle-Rauh [13] and Ay-Rauh [1].…
The main goal of this paper is to size up the minimal graded free resolution of a homogeneous ideal in terms of its generating degrees. By and large, this is too ambitious an objective. As understood, sizing up means looking closely at the…
We study the ideal of maximal minors in Littlewood varieties, a class of quadratic complete intersections in spaces of matrices. We give a geometric construction for a large class of modules, including all powers of this ideal, and show…
We define and study a notion of minimal exponent for a locally complete intersection subscheme $Z$ of a smooth complex algebraic variety $X$, extending the invariant defined by Saito in the case of hypersurfaces. Our definition is in terms…
We present a unified extension of two sets of criteria for high-fugacity crystallization in hard-core lattice systems developed previously by Jauslin, Lebowitz, and the author. Our new criterion is formulated in terms of the existence of a…