We consider a Deligne–Mumford stack $X$ which is the quotient of an affine scheme $\operatorname {Spec}A$ by the action of a finite group $G$ and show that the Balmer spectrum of the tensor triangulated category of perfect complexes on $X$ is homeomorphic to the space of homogeneous prime ideals in the group cohomology ring $H^*(G,A)$.

Let k be a field of characteristic zero and let $\Omega_{A/k}$ be the universally finite differential module of a k-algebra A, which is the local ring of a closed point of an algebraic or algebroid curve over k. A notorious open problem, known as Berger’s Conjecture, predicts that A must be regular if $\Omega_{A/k}$ is torsion-free. In this paper, assuming the hypotheses of the conjecture and observing that the module ${\rm Hom}_A(\Omega_{A/k}, \Omega_{A/k})$ is then isomorphic to an ideal of A, say $\mathfrak{h}$, we show that A is regular whenever the ring $A/a\mathfrak{h}$ is Gorenstein for some parameter a (and conversely). In addition, we provide various characterizations for the regularity of A in the context of the conjecture.

A simple polytope P is called B-rigid if its combinatorial type is determined by the cohomology ring of the moment-angle manifold $\mathcal {Z}_P$ over P. We show that any tensor product decomposition of this cohomology ring is geometrically realized by a product decomposition of the moment-angle manifold up to equivariant diffeomorphism. As an application, we find that B-rigid polytopes are closed under products, generalizing some recent results in the toric topology literature. Algebraically, our proof establishes that the Koszul homology of a Gorenstein Stanley–Reisner ring admits a nontrivial tensor product decomposition if and only if the underlying simplicial complex decomposes as a join of full subcomplexes.

We note that Gabber's rigidity theorem for the algebraic K-theory of henselian pairs also holds true for hermitian K-theory with respect to arbitrary form parameters.

In a 1968 issue of the Proceedings, P. M. Cohn famously claimed that a commutative domain is atomic if and only if it satisfies the ascending chain condition on principal ideals (ACCP). Some years later, a counterexample was however provided by A. Grams, who showed that every commutative domain with the ACCP is atomic, but not vice versa. This has led to the problem of finding a sensible (ideal-theoretic) characterisation of atomicity.

The question (explicitly stated on p. 3 of A. Geroldinger and F. Halter–Koch’s 2006 monograph on factorisation) is still open. We settle it here by using the language of monoids and preorders.

We show that a sufficiently general hypersurface of degree d in $\mathbb {P}^n$ admits a toric Gröbner degeneration after linear change of coordinates if and only if $d\leq 2n-1$.

In earlier work, the author introduced a method for constructing a Frobenius categorification of a cluster algebra with frozen variables by starting from the data of an internally Calabi–Yau algebra, which becomes the endomorphism algebra of a cluster-tilting object in the resulting category. In this paper, we construct appropriate internally Calabi–Yau algebras for cluster algebras with polarized principal coefficients (which differ from those with principal coefficients by the addition of more frozen variables) and obtain Frobenius categorifications in the acyclic case. Via partial stabilization, we then define extriangulated categories, in the sense of Nakaoka and Palu, categorifying acyclic principal coefficient cluster algebras, for which Frobenius categorifications do not exist in general. Many of the intermediate results used to obtain these categorifications remain valid without the acyclicity assumption, as we will indicate, and are interesting in their own right. Most notably, we provide a Frobenius version of Van den Bergh’s result that the Ginzburg dg-algebra of a quiver with potential is bimodule $3$-Calabi–Yau.

We classify all mutation-finite quivers with real weights. We show that every finite mutation class not originating from an integer skew-symmetrisable matrix has a geometric realisation by reflections. We also explore the structure of acyclic representatives in finite mutation classes and their relations to acute-angled simplicial domains in the corresponding reflection groups.

The paper investigates the algebraic properties of weakly inverse-closed complex Banach function algebras generated by functions of bounded variation on a finite interval. It is proved that such algebras have Bass stable rank 1 and are projective-free if they do not contain nontrivial idempotents. These properties are derived from a new result on the vanishing of the second Čech cohomology group of the polynomially convex hull of a continuum of a finite linear measure described by the classical H. Alexander theorem.

Using Cohen’s classification of symplectic reflection groups, we prove that the parabolic subgroups, that is, stabilizer subgroups, of a finite symplectic reflection group, are themselves symplectic reflection groups. This is the symplectic analog of Steinberg’s Theorem for complex reflection groups.

Using computational results required in the proof, we show the nonexistence of symplectic resolutions for symplectic quotient singularities corresponding to three exceptional symplectic reflection groups, thus reducing further the number of cases for which the existence question remains open.

Another immediate consequence of our result is that the singular locus of the symplectic quotient singularity associated to a symplectic reflection group is pure of codimension two.

Let R be a commutative Noetherian ring. We prove that if R is either an equidimensional finitely generated algebra over a perfect field, or an equidimensional equicharacteristic complete local ring with a perfect residue field, then the annihilator of the singularity category of R coincides with the Jacobian ideal of R up to radical. We establish a relationship between the annihilator of the singularity category of R and the cohomological annihilator of R under some mild assumptions. Finally, we give an upper bound for the dimension of the singularity category of an equicharacteristic excellent local ring with isolated singularity. This extends a result of Dao and Takahashi to non-Cohen–Macaulay rings.

In this paper, we study the Koszul property of the homogeneous coordinate ring of a generic collection of lines in $\mathbb {P}^n$ and the homogeneous coordinate ring of a collection of lines in general linear position in $\mathbb {P}^n.$ We show that if $\mathcal {M}$ is a collection of m lines in general linear position in $\mathbb {P}^n$ with $2m \leq n+1$ and R is the coordinate ring of $\mathcal {M},$ then R is Koszul. Furthermore, if $\mathcal {M}$ is a generic collection of m lines in $\mathbb {P}^n$ and R is the coordinate ring of $\mathcal {M}$ with m even and $m +1\leq n$ or m is odd and $m +2\leq n,$ then R is Koszul. Lastly, we show that if $\mathcal {M}$ is a generic collection of m lines such that

$$ \begin{align*} m> \frac{1}{72}\left(3(n^2+10n+13)+\sqrt{3(n-1)^3(3n+5)}\right),\end{align*} $$

$n \leq 6$

$m \leq 6$

Hilbert–Kunz multiplicity and F-signature are numerical invariants of commutative rings in positive characteristic that measure severity of singularities: for a regular ring both invariants are equal to one and the converse holds under mild assumptions. A natural question is for what singular rings these invariants are closest to one. For Hilbert–Kunz multiplicity this question was first considered by the last two authors and attracted significant attention. In this paper, we study this question, i.e., an upper bound, for F-signature and revisit lower bounds on Hilbert–Kunzmultiplicity.

The goal of the article is to better understand cosupport in triangulated categories since it is still quite mysterious. We study boundedness of local cohomology and local homology functors using Koszul objects, give some characterizations of cosupport, and get some results that, in special cases, recover and generalize the known results about the usual cosupport. Additionally, we include some computations of cosupport and provide a comparison of support and cosupport for cohomologically finite objects. Finally, we assign to any object of the category a subset of $\mathrm {Spec}R$, called the big cosupport, and study some of its properties.

In this paper, we prove that a classical theorem by McAdam about the analytic spread of an ideal in a Noetherian local ring continues to be true for divisorial filtrations on a two-dimensional normal excellent local ring R, and that the Hilbert polynomial of the fiber cone of a divisorial filtration on R has a Hilbert function which is the sum of a linear polynomial and a bounded function. We prove these theorems by first studying asymptotic properties of divisors on a resolution of singularities of the spectrum of R. The filtration of the symbolic powers of an ideal is an example of a divisorial filtration. Divisorial filtrations are often not Noetherian, giving a significant difference in the classical case of filtrations of powers of ideals and divisorial filtrations.

A multivariate, formal power series over a field K is a Bézivin series if all of its coefficients can be expressed as a sum of at most r elements from a finitely generated subgroup $G \le K^*$; it is a Pólya series if one can take $r=1$. We give explicit structural descriptions of D-finite Bézivin series and D-finite Pólya series over fields of characteristic $0$, thus extending classical results of Pólya and Bézivin to the multivariate setting.

For a simple bipartite graph G, we give an upper bound for the regularity of powers of the edge ideal $I(G)$ in terms of its vertex domination number. Consequently, we explicitly compute the regularity of powers of the edge ideal of a bipartite Kneser graph. Further, we compute the induced matching number of a bipartite Kneser graph.

In this paper we compute the topological Hochschild homology of quotients of discrete valuation rings (DVRs). Along the way we give a short argument for Bökstedt periodicity and generalizations over various other bases. Our strategy also gives a very efficient way to redo the computations of $\operatorname {THH}$ (respectively, logarithmic $\operatorname {THH}$) of complete DVRs originally due to Lindenstrauss and Madsen (respectively, Hesselholt and Madsen).

We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally $3$-Calabi–Yau in the sense of the author’s earlier work [43]. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam [18]. We show that our categorification can be realised as a full extension closed subcategory of Jensen–King–Su’s Grassmannian cluster category [28], in a way compatible with their bijection between rank $1$ modules and Plücker coordinates.

We provide a complete classification of the singularities of cluster algebras of finite type with trivial coefficients. Alongside, we develop a constructive desingularization of these singularities via blowups in regular centers over fields of arbitrary characteristic. Furthermore, from the same perspective, we study a family of cluster algebras which are not of finite type and which arise from a star shaped quiver.