Mathematics

We generalize the classical Ceva's and Menelaus's theorems to curvilinear triangles bounded by circular arcs. We introduce trilinear coordinates associated with such triangles and develop several geometric constructions. In particular, for…

In this paper we prove the WALA conjecture.

Let $(R,\frak m)$ be a generalized Cohen-Macaulay local ring of prime characteristic $p$. In this paper we give a sharp bound for the Frobenius test exponent of parameter ideals. Namely, we prove that $$\mathrm{Fte}(R) \le \lceil…

Let $R$ be a local or positively graded ring with a regular presentation $R \cong Q/I$ where $I$ is a monomial ideal generated by $n$ elements on a regular sequence. In Briggs-Grifo-Pollitz (2025), the authors classify the cohomological…

We report on a collection of open problems in commutative algebra and related areas that have been resolved (proved or disproved) using the Rethlas natural-language automated reasoning system. The problems are drawn from several published…

In this paper, we study the dual Minkowski problem under group symmetry. For $0<q\le n$, we give a complete existence characterization in the framework of $G$-invariant convex bodies when the group $G\subset O(n)$ has no nonzero fixed…

We introduce and study the Bourbaki degree as a numerical invariant for \(2 \times 4\) matrices $\Theta$ of homogeneous polynomials over a polynomial ring \(R = k[x_1, \dots, x_n]\). This invariant, defined via a Bourbaki sequence for the…

In Grayson's combinatorial description of higher K-groups, the generators are bounded acyclic binary multi-complexes of arbitrary size. Generalising work by Kasprowski, Winges and the author, we show in this paper that multi-complexes of…

This paper gives a complete description of the solutions of the global positioning problem, emphasizing the under-determined case. We show that the solutions form a quadric, which may degenerate in various ways. Perhaps more surprisingly,…

We give a complete classification of the Jordan types occurring in the nilpotent commutator of a nilpotent matrix whose Jordan type is a hook partition. As a consequence, we also show that two partitions with the same generic commuting…

For a graded ideal I in a graded ring, the deviation of I is defined as the difference between the minimal number of generators of I and its grade. In this article, we provide bigraded free resolutions of the symmetric algebras for specific…

We study a symmetry problem for the $h$-polynomials of edge rings of bipartite graphs. Let $G$ be a bipartite graph and write $h(\mathbb{k}[G];t)=h_0+h_1t+\cdots+h_st^s$. We prove that if $\Bbbk[G]$ is pseudo-Gorenstein and $h_1=h_{s-1}$,…

We construct an explicit commutative ring $R$ that is reduced and integrally closed, such that $R_{\mathfrak p}$ is an integrally closed McCoy ring for every maximal ideal $\mathfrak p$ of $R$, while $R$ itself is not a McCoy ring and is…

We give a negative answer to Problem 19 of Cahen, Fontana, Frisch, and Glaz concerning the flatness and freeness of rings of integer-valued polynomials. We construct an explicit one-dimensional Noetherian local domain D over the field with…

We define a distance analogous to the Gromov-Hausdorff distance that enables the comparison of arbitrary quasi-isometric spaces. We also investigate properties preserved under limits with respect to this distance, as well as properties of…

The $C$-quasi-injective dimension is a recently introduced homological invariant that unifies and extends the notions of quasi-injective dimension and of injective dimension with respect to a semidualizing module, previously studied by…

In 2016 Ananyan and Hochster proved Stillman's conjecture by showing the existence of a uniform upper bound on the length of an $R_\eta$-sequence containing fixed $n$ forms of degree at most $d$ in polynomial rings over a field. This result…

We prove separation and excision results in functor homology. These results explain how the global Steinberg decomposition of functors proved by Djament, Touz{\'e} and Vespa behaves in Ext and Tor computations.

We describe and prove correctness of two practical algorithms for finding indecomposable summands of finitely generated modules over a finitely generated k-algebra R. The first algorithm applies in the (multi)graded case, which enables the…

We explore the relationship between multigraded Castelnuovo--Mumford regularity, truncations, Betti numbers, and virtual resolutions on a product of projective spaces $X$. After proving a uniqueness theorem for certain virtual resolutions,…