相关论文: Finite determination of regular (a,b)-modules

Let $A$ be a representation-finite self-injective algebra over an algebraically closed field $k$. We give a new characterization for an orthogonal system in the stable module category $A$-$\stmod$ to be a simple-minded system. As a…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let $\mathfrak{a}$ be an ideal of a noetherian (not necessarily local) ring $R$ and $M$ an $R$-module with $\mathrm{Supp}_RM\subseteq\mathrm{V}(\mathfrak{a})$. We show that if $\mathrm{dim}_RM\leq2$, then $M$ is $\mathfrak{a}$-cofinite if…

In 1982 E.K. Sklyanin defined a family of graded algebras $A(E,\tau)$, depending on an elliptic curve $E$ and a point $\tau \in E$ that is not 4-torsion. The present paper is concerned with the structure of $A$ when $\tau$ is a point of…

Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $\Lambda$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any…

When working with (multi-parameter) persistence modules, one usually makes some type of tameness assumption in order to obtain better control over their algebraic behavior. One such notion is Ezra Millers notion of finite encodability,…

The Buchsbaum-Eisenbud-Horrocks Conjecture predicts that if M is a non-zero module of finite length and finite projective dimension over a local ring R of dimension d, then the i-th Betti number of M is at least d choose i. This conjecture…

Let $A$ be an Artin algebra, $M$ be a Gorenstein projective $A$-module and $B =$ End$_A M$, then $M$ is a $A$-$B$-bimodule. We use the restricted flat dimension of $M_B$ to give a characterization of the homological dimensions of $A$ and…

We define the notion of index-module for a couple of A-lattices in a vector space, A being a Dedekind ring. We apply this notion to prove by elementary means that a weak Gras conjecture (i.e for irreducible nontrivial Q-characters) holds…

Let A be an associative algebra over an algebraically closed field F of characteristic zero and let G be a finite abelian group. Regev and Seeman introduced the notion of a regular G-grading on A, namely a grading A= {\Sigma}_{g in G} A_g…

Let $\Gamma$ denote a finite, simple and connected graph. Fix a vertex $x$ of $\Gamma$ which is not a leaf and let $T=T(x)$ denote the Terwilliger algebra of $\Gamma$ with respect to $x$. Assume that the unique irreducible $T$-module with…

Using invariants from commutative algebra to count geometric objects is a basic idea in singularities. For example, the multiplicity of an ideal is used to count points of intersection of two analytic sets at points of non-transverse…

In Commutative Algebra structure results on minimal free resolutions of Gorenstein modules are of classical interest. We define Gorenstein modules of finite length over the weighted polynomial ring via symmetric matrices in divided powers.…

We give lower and upper bounds on the Buchsbaum-Rim multiplicity of finitely generated torsion-free modules over two-dimensional regular local rings, and conditions for them to attain the bounds. As consequences, we have formulae on the…

Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de Smit in 1997 and improves Diamond's Theorem 2.1 from his…

The Buchsbaum-Eisenbud-Horrocks rank conjecture proposes lower bounds for the Betti numbers of a graded module M based on the codimension of M. We prove a special case of this conjecture via Boij-Soederberg theory. More specifically, we…

We classified finite orbits of monodromies of the Fuchsian system for five $2\times 2$ matrices. The explicit proof of this result is given. We have proposed a conjecture for a similar classification for $6$ or more $2\times 2$ matrices.…

In this paper we study singularities in arbitrary characteristic. We propose Finite Determination Conjecture for Mather-Jacobian minimal log discrepancies in terms of jet schemes of a singularity. The conjecture is equivalent to the…

In recent literature, moonshine has been explored for some groups beyond the Monster, for example the sporadic O'Nan and Thompson groups. This collection of examples may suggest that moonshine is a rare phenomenon, but a fundamental and…

This paper has two parts. In the first one, we prove that an invariant dp-minimal type is either finitely satisfiable or definable. We also prove that a definable version of the (p,q)-theorem holds in dp-minimal theories of small or medium…