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.

In this paper, we study sample size thresholds for maximum likelihood estimation for tensor normal models. Given the model parameters and the number of samples, we determine whether, almost surely, (1) the likelihood function is bounded from above, (2) maximum likelihood estimates (MLEs) exist, and (3) MLEs exist uniquely. We obtain a complete answer for both real and complex models. One consequence of our results is that almost sure boundedness of the log-likelihood function guarantees almost sure existence of an MLE. Our techniques are based on invariant theory and castling transforms.

We consider a quiver with potential (QP) $(Q(D),W(D))$ and an iced quiver with potential (IQP) $(\overline {Q}(D), F(D), \overline {W}(D))$ associated with a Postnikov Diagram D and prove that their mutations are compatible with the geometric exchanges of D. This ensures that we may define a QP $(Q,W)$ and an IQP $(\overline {Q},F,\overline {W})$ for a Grassmannian cluster algebra up to mutation equivalence. It shows that $(Q,W)$ is always rigid (thus nondegenerate) and Jacobi-finite. Moreover, in fact, we show that it is the unique nondegenerate (thus rigid) QP by using a general result of Geiß, Labardini-Fragoso, and Schröer (2016, Advances in Mathematics 290, 364–452).

Then we show that, within the mutation class of the QP for a Grassmannian cluster algebra, the quivers determine the potentials up to right equivalence. As an application, we verify that the auto-equivalence group of the generalized cluster category ${\mathcal {C}}_{(Q, W)}$ is isomorphic to the cluster automorphism group of the associated Grassmannian cluster algebra ${{\mathcal {A}}_Q}$ with trivial coefficients.

Let R be a Cohen–Macaulay local K-algebra or a standard graded K-algebra over a field K with a canonical module $\omega _R$. The trace of $\omega _R$ is the ideal $\operatorname {tr}(\omega _R)$ of R which is the sum of those ideals $\varphi (\omega _R)$ with ${\varphi \in \operatorname {Hom}_R(\omega _R,R)}$. The smallest number s for which there exist $\varphi _1, \ldots , \varphi _s \in \operatorname {Hom}_R(\omega _R,R)$ with $\operatorname {tr}(\omega _R)=\varphi _1(\omega _R) + \cdots + \varphi _s(\omega _R)$ is called the Teter number of R. We say that R is of Teter type if $s = 1$. It is shown that R is not of Teter type if R is generically Gorenstein. In the present paper, we focus especially on zero-dimensional graded and monomial K-algebras and present various classes of such algebras which are of Teter type.

When is an ideal of a ring radical or prime? By examining its generators, one may in many cases definably and uniformly test the ideal’s properties. We seek to establish such definable formulas in rings of p-adic power series, such as $\mathbb Q_{p}\langle X\rangle $, $\mathbb Z_{p}\langle X\rangle $, and related rings of power series over more general valuation rings and their fraction fields. We obtain a definable, uniform test for radicality, and, in the one-dimensional case, for primality. This builds upon the techniques stemming from the proof of the quantifier elimination results for the analytic theory of the p-adic integers by Denef and van den Dries, and the linear algebra methods of Hermann and Seidenberg.

Abstract prepared by Madeline G. Barnicle.

E-mail: barnicle@math.ucla.edu

URL: https://escholarship.org/uc/item/6t02q9s4

A celebrated result by Orlov states that any fully faithful exact functor between the bounded derived categories of coherent sheaves on smooth projective varieties is of geometric origin, i.e. it is a Fourier–Mukai functor. In this paper we prove that any smooth projective variety of dimension $\ge 3$ equipped with a tilting bundle can serve as the source variety of a non-Fourier–Mukai functor between smooth projective schemes.

A (folklore?) conjecture states that no holomorphic modular form $F(\tau )=\sum _{n=1}^{\infty } a_nq^n\in q\mathbb Z[[q]]$ exists, where $q=e^{2\pi i\tau }$, such that its anti-derivative $\sum _{n=1}^{\infty } a_nq^n/n$ has integral coefficients in the q-expansion. A recent observation of Broadhurst and Zudilin, rigorously accomplished by Li and Neururer, led to examples of meromorphic modular forms possessing the integrality property. In this note, we investigate the arithmetic phenomenon from a systematic perspective and discuss related transcendental extensions of the differentially closed ring of quasi-modular forms.

The purpose of this paper is to investigate the properties of spectral and tiling subsets of cyclic groups, with an eye towards the spectral set conjecture [9] in one dimension, which states that a bounded measurable subset of $\mathbb {R}$ accepts an orthogonal basis of exponentials if and only if it tiles $\mathbb {R}$ by translations. This conjecture is strongly connected to its discrete counterpart, namely that, in every finite cyclic group, a subset is spectral if and only if it is a tile. The tools presented herein are refinements of recent ones used in the setting of cyclic groups; the structure of vanishing sums of roots of unity [20] is a prevalent notion throughout the text, as well as the structure of tiling subsets of integers [1]. We manage to prove the conjecture for cyclic groups of order $p^{m}q^{n}$, when one of the exponents is $\leq 6$ or when $p^{m-2}<q^{4}$, and also prove that a tiling subset of a cyclic group of order $p_{1}^{m}p_{2}\dotsm p_{n}$ is spectral.