To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
In noncommutative algebraic geometry an Artin–Schelter regular (AS-regular) algebra is one of the main interests, and every three-dimensional quadratic AS-regular algebra is a geometric algebra, introduced by Mori, whose point scheme is either $\mathbb {P}^{2}$ or a cubic curve in $\mathbb {P}^{2}$ by Artin et al. [‘Some algebras associated to automorphisms of elliptic curves’, in: The Grothendieck Festschrift, Vol. 1, Progress in Mathematics, 86 (Birkhäuser, Basel, 1990), 33–85]. In the preceding paper by the authors Itaba and Matsuno [‘Defining relations of 3-dimensional quadratic AS-regular algebras’, Math. J. Okayama Univ. 63 (2021), 61–86], we determined all possible defining relations for these geometric algebras. However, we did not check their AS-regularity. In this paper, by using twisted superpotentials and twists of superpotentials in the Mori–Smith sense, we check the AS-regularity of geometric algebras whose point schemes are not elliptic curves. For geometric algebras whose point schemes are elliptic curves, we give a simple condition for three-dimensional quadratic AS-regular algebras. As an application, we show that every three-dimensional quadratic AS-regular algebra is graded Morita equivalent to a Calabi–Yau AS-regular algebra.
We give counterexamples to the degeneration of the Hochschild-Kostant-Rosenberg spectral sequence in characteristic p, both in the untwisted and twisted settings. We also prove that the de Rham-HP and crystalline-TP spectral sequences need not degenerate.
We study the behaviour of representation varieties of quivers with relations under the operation of node splitting. We show how splitting a node gives a correspondence between certain closed subvarieties of representation varieties for different algebras, which preserves properties like normality or having rational singularities. Furthermore, we describe how the defining equations of such closed subvarieties change under the correspondence.
By working in the ‘relative setting’ (splitting one node at a time), we demonstrate that there are many nonhereditary algebras whose irreducible components of representation varieties are all normal with rational singularities. We also obtain explicit generators of the prime defining ideals of these irreducible components. This class contains all radical square zero algebras, but also many others, as illustrated by examples throughout the paper. We also show that this is true when irreducible components are replaced by orbit closures, for a more restrictive class of algebras. Lastly, we provide applications to decompositions of moduli spaces of semistable representations of certain algebras.
In this paper we develop methods for classifying Baker, Richter, and Szymik's Azumaya algebras over a commutative ring spectrum, especially in the largely inaccessible case where the ring is nonconnective. We give obstruction-theoretic tools, constructing and classifying these algebras and their automorphisms with Goerss–Hopkins obstruction theory, and give descent-theoretic tools, applying Lurie's work on $\infty$-categories to show that a finite Galois extension of rings in the sense of Rognes becomes a homotopy fixed-point equivalence on Brauer spaces. For even-periodic ring spectra $E$, we find that the ‘algebraic’ Azumaya algebras whose coefficient ring is projective are governed by the Brauer–Wall group of $\pi _0(E)$, recovering a result of Baker, Richter, and Szymik. This allows us to calculate many examples. For example, we find that the algebraic Azumaya algebras over Lubin–Tate spectra have either four or two Morita equivalence classes, depending on whether the prime is odd or even, that all algebraic Azumaya algebras over the complex K-theory spectrum $KU$ are Morita trivial, and that the group of the Morita classes of algebraic Azumaya algebras over the localization $KU[1/2]$ is $\mathbb {Z}/8\times \mathbb {Z}/2$. Using our descent results and an obstruction theory spectral sequence, we also study Azumaya algebras over the real K-theory spectrum $KO$ which become Morita-trivial $KU$-algebras. We show that there exist exactly two Morita equivalence classes of these. The nontrivial Morita equivalence class is realized by an ‘exotic’ $KO$-algebra with the same coefficient ring as $\mathrm {End}_{KO}(KU)$. This requires a careful analysis of what happens in the homotopy fixed-point spectral sequence for the Picard space of $KU$, previously studied by Mathew and Stojanoska.
Let K be a field of arbitrary characteristic, $${\cal A}$$ be a commutative K-algebra which is a domain of essentially finite type (e.g., the algebra of functions on an irreducible affine algebraic variety), $${a_r}$$ be its Jacobian ideal, and $${\cal D}\left( {\cal A} \right)$$ be the algebra of differential operators on the algebra $${\cal A}$$. The aim of the paper is to give a simplicity criterion for the algebra $${\cal D}\left( {\cal A} \right)$$: the algebra$${\cal D}\left( {\cal A} \right)$$is simple iff$${\cal D}\left( {\cal A} \right)a_r^i{\cal D}\left( {\cal A} \right) = {\cal D}\left( {\cal A} \right)$$for all i ≥ 1 provided the field K is a perfect field. Furthermore, a simplicity criterion is given for the algebra $${\cal D}\left( R \right)$$ of differential operators on an arbitrary commutative algebra R over an arbitrary field. This gives an answer to an old question to find a simplicity criterion for algebras of differential operators.
We discuss the finiteness of (two-term) silting objects. First, we investigate new triangulated categories without silting object. Second, we study two classes of $\tau$-tilting-finite algebras and give the numbers of their two-term silting objects. Finally, we explore when $\tau$-tilting-finiteness implies representation-finiteness and obtain several classes of algebras in which a $\tau$-tilting-finite algebra is representation-finite.
Two theorems of Gateva-Ivanova [Set-theoretic solutions of the Yang-Baxter equation, braces and symmetric groups, Adv. Math. 338 (2018), 649–701] on square-free set-theoretic solutions to the Yang–Baxter equation are extended to a wide class of solutions. The square-free hypothesis is almost completely removed. Gateva-Ivanova and Majid's ‘cyclic’ condition ${\boldsymbol {\rm lri}}$ is shown to be equivalent to balancedness, introduced in Rump [A decomposition theorem for square-free unitary solutions of the quantum Yang-Baxter equation, Adv. Math. 193 (2005), 40–55]. Basic results on balanced solutions are established. For example, it is proved that every finite, not necessarily square-free, balanced brace determines a multipermutation solution.
We determine the metric dimension of the annihilating-ideal graph of a local finite commutative principal ring and a finite commutative principal ring with two maximal ideals. We also find bounds for the metric dimension of the annihilating-ideal graph of an arbitrary finite commutative principal ring.
Given a compact Kähler manifold X, it is shown that pairs of the form $(E,\, D)$, where E is a trivial holomorphic vector bundle on X, and D is an integrable holomorphic connection on E, produce a neutral Tannakian category. The corresponding pro-algebraic affine group scheme is studied. In particular, it is shown that this pro-algebraic affine group scheme for a compact Riemann surface determines uniquely the isomorphism class of the Riemann surface.
Set-theoretic solutions to the Yang–Baxter equation can be classified by their universal coverings and their fundamental groupoids. Extending previous results, universal coverings of irreducible involutive solutions are classified in the degenerate case. These solutions are described in terms of a group with a distinguished self-map. The classification in the nondegenerate case is simplified and compared with the description in the degenerate case.
We prove that there is a natural plectic weight filtration on the cohomology of Hilbert modular varieties in the spirit of Nekovář and Scholl. This is achieved with the help of Morel’s work on weight t-structures and a detailed study of partial Frobenius. We prove in particular that the partial Frobenius extends to toroidal and minimal compactifications.
We investigate a method of construction of central deformations of associative algebras, which we call centrification. We prove some general results in the case of Hopf algebras and provide several examples.
Let k be a finite field of characteristic p, and G a compact p-adic analytic group. Write kG for the completed group ring of G over k. In this paper, we describe the structure of the ring kG/P, where P is a minimal prime ideal of kG. We give an explicit isomorphism between kG/P and a matrix ring with coefficients in the ring ${(k'G')_\alpha }$, where $k'/k$ is a finite field extension, $G'$ is a large subquotient of G with no finite normal subgroups, and (–)α is a “twisting” operation that preserves many desirable properties of the ring structure. We demonstrate the usefulness of this isomorphism by studying the correspondence induced between certain ideals of kG and those of ${(k'G')_\alpha }$, and showing that this preserves many useful “group-theoretic” properties of ideals, in particular almost-faithfulness and control by a closed normal subgroup.
We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided multi-fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively two-, three- and four-dimensional framed local topological field theories. In particular, we produce a framed three-dimensional local topological field theory attached to the category of representations of a quantum group at any value of $q$.
We study the depth filtration on multiple zeta values, on the motivic Galois group of mixed Tate motives over $\mathbb {Z}$ and on the Grothendieck–Teichmüller group, and its relation to modular forms. Using period polynomials for cusp forms for $\mathrm {SL} _2(\mathbb {Z})$, we construct an explicit Lie algebra of solutions to the linearized double shuffle equations, which gives a conjectural description of all identities between multiple zeta values modulo $\zeta (2)$ and modulo lower depth. We formulate a single conjecture about the homology of this Lie algebra which implies conjectures due to Broadhurst and Kreimer, Racinet, Zagier, and Drinfeld on the structure of multiple zeta values and on the Grothendieck–Teichmüller Lie algebra.
We study the discrete dynamics of standard (or left) polynomials $f(x)$ over division rings D. We define their fixed points to be the points $\lambda \in D$ for which $f^{\circ n}(\lambda )=\lambda $ for any $n \in \mathbb {N}$, where $f^{\circ n}(x)$ is defined recursively by $f^{\circ n}(x)=f(f^{\circ (n-1)}(x))$ and $f^{\circ 1}(x)=f(x)$. Periodic points are similarly defined. We prove that $\lambda $ is a fixed point of $f(x)$ if and only if $f(\lambda )=\lambda $, which enables the use of known results from the theory of polynomial equations, to conclude that any polynomial of degree $m \geq 2$ has at most m conjugacy classes of fixed points. We also show that in general, periodic points do not behave as in the commutative case. We provide a sufficient condition for periodic points to behave as expected.
For a finite dimensional algebra A, the bounded homotopy category of projective A-modules and the bounded derived category of A-modules are dual to each other via certain categories of locally-finite cohomological functors. We prove that the duality gives rise to a 2-categorical duality between certain strict 2-categories involving bounded homotopy categories and bounded derived categories, respectively. We apply the 2-categorical duality to the study of triangle autoequivalence groups.
For a finite-dimensional Hopf algebra $\mathsf {A}$, the McKay matrix $\mathsf {M}_{\mathsf {V}}$ of an $\mathsf {A}$-module $\mathsf {V}$ encodes the relations for tensoring the simple $\mathsf {A}$-modules with $\mathsf {V}$. We prove results about the eigenvalues and the right and left (generalized) eigenvectors of $\mathsf {M}_{\mathsf {V}}$ by relating them to characters. We show how the projective McKay matrix $\mathsf {Q}_{\mathsf {V}}$ obtained by tensoring the projective indecomposable modules of $\mathsf {A}$ with $\mathsf {V}$ is related to the McKay matrix of the dual module of $\mathsf {V}$. We illustrate these results for the Drinfeld double $\mathsf {D}_n$ of the Taft algebra by deriving expressions for the eigenvalues and eigenvectors of $\mathsf {M}_{\mathsf {V}}$ and $\mathsf {Q}_{\mathsf {V}}$ in terms of several kinds of Chebyshev polynomials. For the matrix $\mathsf {N}_{\mathsf {V}}$ that encodes the fusion rules for tensoring $\mathsf {V}$ with a basis of projective indecomposable $\mathsf {D}_n$-modules for the image of the Cartan map, we show that the eigenvalues and eigenvectors also have such Chebyshev expressions.
Let R = K[x, σ] be the skew polynomial ring over a field K, where σ is an automorphism of K of finite order. We show that prime elements in R correspond to completely prime one-sided ideals – a notion introduced by Reyes in 2010. This extends the natural correspondence between prime elements and prime ideals in commutative polynomial rings.