We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.
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.
We compute the $g=1$, $n=1$ B-model Gromov–Witten invariant of an elliptic curve $E$ directly from the derived category $\mathsf{D}_{\mathsf{coh}}^{b}(E)$. More precisely, we carry out the computation of the categorical Gromov–Witten invariant defined by Costello using as target a cyclic $\mathscr{A}_{\infty }$ model of $\mathsf{D}_{\mathsf{coh}}^{b}(E)$ described by Polishchuk. This is the first non-trivial computation of a positive-genus categorical Gromov–Witten invariant, and the result agrees with the prediction of mirror symmetry: it matches the classical (non-categorical) Gromov–Witten invariants of a symplectic 2-torus computed by Dijkgraaf.
Let $k$ be a field, and let ${\mathcal{C}}$ be a $k$-linear, Hom-finite triangulated category with split idempotents. In this paper, we show that under suitable circumstances, the Grothendieck group of ${\mathcal{C}}$, denoted by $K_{0}({\mathcal{C}})$, can be expressed as a quotient of the split Grothendieck group of a higher cluster tilting subcategory of ${\mathcal{C}}$. The results we prove are higher versions of results on Grothendieck groups of triangulated categories by Xiao and Zhu and by Palu. Assume that $n\geqslant 2$ is an integer; ${\mathcal{C}}$ has a Serre functor $\mathbb{S}$ and an $n$-cluster tilting subcategory ${\mathcal{T}}$ such that $\operatorname{Ind}{\mathcal{T}}$ is locally bounded. Then, for every indecomposable $M$ in ${\mathcal{T}}$, there is an Auslander–Reiten $(n+2)$-angle in ${\mathcal{T}}$ of the form $\mathbb{S}\unicode[STIX]{x1D6F4}^{-n}(M)\rightarrow T_{n-1}\rightarrow \cdots \rightarrow T_{0}\rightarrow M$ and
Assume now that $d$ is a positive integer and ${\mathcal{C}}$ has a $d$-cluster tilting subcategory ${\mathcal{S}}$ closed under $d$-suspension. Then, ${\mathcal{S}}$ is a so-called $(d+2)$-angulated category whose Grothendieck group $K_{0}({\mathcal{S}})$ can be defined as a certain quotient of $K_{0}^{\text{sp}}({\mathcal{S}})$. We will show
Moreover, assume that $n=2d$, that all the above assumptions hold, and that ${\mathcal{T}}\subseteq {\mathcal{S}}$. Then our results can be combined to express $K_{0}({\mathcal{S}})$ as a quotient of $K_{0}^{\text{sp}}({\mathcal{T}})$.
In previous work, based on the work of Zwara and Yoshino, we defined and studied degenerations of objects in triangulated categories analogous to the degeneration of modules. In triangulated categories ${\mathcal{T}}$, it is surprising that the zero object may degenerate. We show that the triangulated subcategory of ${\mathcal{T}}$ generated by the objects that are degenerations of zero coincides with the triangulated subcategory of ${\mathcal{T}}$ consisting of the objects with a vanishing image in the Grothendieck group $K_{0}({\mathcal{T}})$ of ${\mathcal{T}}$.
We present a complete list of groups $G$ and fields $F$ for which: (i) the group of normalized units $V(FG)$ of the group algebra $FG$ is locally nilpotent; (ii) the set of nontrivial nilpotent elements of $FG$ is finite and nonempty, and $V(FG)$ is an Engel group.
An unexpected relationship between indecomposable involutive set-theoretic solutions to the Yang–Baxter equation and one-generator braces has recently been discovered by Agata and Alicja Smoktunowicz. We extend these results and answer three open questions which arose in this context.
Classification of AS-regular algebras is one of the main interests in noncommutative algebraic geometry. We say that a $3$-dimensional quadratic AS-regular algebra is of Type EC if its point scheme is an elliptic curve in $\mathbb {P}^{2}$. In this paper, we give a complete list of geometric pairs and a complete list of twisted superpotentials corresponding to such algebras. As an application, we show that there are only two exceptions up to isomorphism among all $3$-dimensional quadratic AS-regular algebras that cannot be written as a twist of a Calabi–Yau AS-regular algebra by a graded algebra automorphism.
We prove a lower bound for the free energy (per unit volume) of the two-dimensional Bose gas in the thermodynamic limit. We show that the free energy at density $\unicode[STIX]{x1D70C}$ and inverse temperature $\unicode[STIX]{x1D6FD}$ differs from the one of the noninteracting system by the correction term $4\unicode[STIX]{x1D70B}\unicode[STIX]{x1D70C}^{2}|\ln \,a^{2}\unicode[STIX]{x1D70C}|^{-1}(2-[1-\unicode[STIX]{x1D6FD}_{\text{c}}/\unicode[STIX]{x1D6FD}]_{+}^{2})$. Here, $a$ is the scattering length of the interaction potential, $[\cdot ]_{+}=\max \{0,\cdot \}$ and $\unicode[STIX]{x1D6FD}_{\text{c}}$ is the inverse Berezinskii–Kosterlitz–Thouless critical temperature for superfluidity. The result is valid in the dilute limit $a^{2}\unicode[STIX]{x1D70C}\ll 1$ and if $\unicode[STIX]{x1D6FD}\unicode[STIX]{x1D70C}\gtrsim 1$.
We give a generators-and-relations description of differential graded algebras recently introduced by Ozsváth and Szabó for the computation of knot Floer homology. We also compute the homology of these algebras and determine when they are formal.
An element a in a ring R is left annihilator-stable (or left AS) if, whenever
$Ra+{\rm l}(b)=R$
with
$b\in R$
,
$a-u\in {\rm l}(b)$
for a unit u in R, and the ring R is a left AS ring if each of its elements is left AS. In this paper, we show that the left AS elements in a ring form a multiplicatively closed set, giving an affirmative answer to a question of Nicholson [J. Pure Appl. Alg.221 (2017), 2557–2572.]. This result is used to obtain a necessary and sufficient condition for a formal triangular matrix ring to be left AS. As an application, we provide examples of left AS rings R over which the triangular matrix rings
${\mathbb T}_n(R)$
are not left AS for all
$n\ge 2$
. These examples give a negative answer to another question of Nicholson [J. Pure Appl. Alg.221 (2017), 2557–2572.] whether R/J(R) being left AS implies that R is left AS.
A simple Steinberg algebra associated to an ample Hausdorff groupoid G is algebraically purely infinite if and only if the characteristic functions of compact open subsets of the unit space are infinite idempotents. If a simple Steinberg algebra is algebraically purely infinite, then the reduced groupoid $C^*$-algebra $C^*_r(G)$ is simple and purely infinite. But the Steinberg algebra seems too small for the converse to hold. For this purpose we introduce an intermediate *-algebra B(G) constructed using corners $1_U C^*_r(G) 1_U$ for all compact open subsets U of the unit space of the groupoid. We then show that if G is minimal and effective, then B(G) is algebraically properly infinite if and only if $C^*_r(G)$ is purely infinite simple. We apply our results to the algebras of higher-rank graphs.
By using a representation of a Lie algebra on the second Hochschild cohomology group, we construct an obstruction class to extensibility of derivations and a short exact sequence of Wells type for an abelian extension of an associative algebra.
We prove a representation stability result for the codimension-one cohomology of the level-three congruence subgroup of $\mathbf{SL}_{n}(\mathbb{Z})$. This is a special case of a question of Church, Farb, and Putman which we make more precise. Our methods involve proving finiteness properties of the Steinberg module for the group $\mathbf{SL}_{n}(K)$ for $K$ a field. This also lets us give a new proof of Ash, Putman, and Sam’s homological vanishing theorem for the Steinberg module. We also prove an integral refinement of Church and Putman’s homological vanishing theorem for the Steinberg module for the group $\mathbf{SL}_{n}(\mathbb{Z})$.
In this article, we study short exact sequences of finitary 2-representations of a weakly fiat 2-category. We provide a correspondence between such short exact sequences with fixed middle term and coidempotent subcoalgebras of a coalgebra 1-morphism defining this middle term. We additionally relate these to recollements of the underlying abelian 2-representations.
Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander–Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points.
Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers.
This paper will define higher dimensional tropical friezes. One of the motivations is the higher dimensional cluster categories of Oppermann and Thomas, which encode (d + 1)-dimensional structures for an integer d ⩾ 1. They are (d + 2)-angulated categories, which belong to the subject of higher homological algebra.
We will define higher dimensional tropical friezes as maps from higher cluster categories (and more general (d + 2)-angulated categories) to the integers. Following Palu, we will define a notion of (d + 2)-angulated index, establish some of its properties, and use it to construct higher dimensional tropical friezes.
Incidence coalgebras of categories in the sense of Joni and Rota are studied, specifically cases where a monoidal product on the category turns these into (weak) bialgebras. The overlap with the theory of combinatorial Hopf algebras and that of Hopf quivers is discussed, and examples including trees, skew shapes, Milner’s bigraphs and crossed modules are considered.
A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander–Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homogeneous prime ideal $\mathfrak{p}$ arising from the action of a commutative ring via Hochschild cohomology.
We define a notion of mixed Hodge structure with modulus that generalizes the classical notion of mixed Hodge structure introduced by Deligne and the level one Hodge structures with additive parts introduced by Kato and Russell in their description of Albanese varieties with modulus. With modulus triples of any dimension, we attach mixed Hodge structures with modulus. We combine this construction with an equivalence between the category of level one mixed Hodge structures with modulus and the category of Laumon 1-motives to generalize Kato–Russell’s Albanese varieties with modulus to 1-motives.
We prove a closed formula counting semistable twisted (or meromorphic) Higgs bundles of fixed rank and degree over a smooth projective curve of genus $g$ defined over a finite field, when the twisting line bundle degree is at least $2g-2$ (this includes the case of usual Higgs bundles). This yields a closed expression for the Donaldson–Thomas invariants of the moduli spaces of twisted Higgs bundles. We similarly deal with twisted quiver sheaves of type $A$ (finite or affine), obtaining in particular a Harder–Narasimhan-type formula counting semistable $U(p,q)$-Higgs bundles over a smooth projective curve defined over a finite field.
A ring $\unicode[STIX]{x1D6EC}$ is called right Köthe if every right $\unicode[STIX]{x1D6EC}$-module is a direct sum of cyclic modules. In this paper, we give a characterization of basic hereditary right Köthe rings in terms of their Coxeter valued quivers. We also give a characterization of basic right Köthe rings with radical square zero. Therefore, we give a solution to Köthe’s problem in these two cases.