Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.34193

A proper dg algebra which does not cogenerate

Mingyuan Hu·Vivek Shende·Dinglong Wang
View original source ↗Read source document ↗Export metadata ↓

Abstract

Keller's strong form of the homological conjectures asserts: any finite dimensional algebra cogenerates its unbounded derived category of modules. Here we record an example of a (coconnective) dg algebra with finite dimensional cohomology, which does not cogenerate its module category, along with some related phenomena: a smooth dg category whose dualizing bimodule fails to be nondegenerate, and a nontrivial fully faithful left Calabi-Yau morphism. All examples and most proofs were produced by ChatGPT. In an appendix we explain the reason we were looking for such examples: their existence would follow from the existence of Weinstein symplectic manifolds which failed to satisfy Arnol'd's chord conjecture.

Explore related subjects

math.RAmath.SG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mingyuan Hu, Vivek Shende, Dinglong Wang. 2026-09-28. A proper dg algebra which does not cogenerate. https://arxiv.org/abs/2609.34193

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Identities Involving Additive Maps on Division Rings

Let $g$ be an additive map on a division ring $D$. In this paper, we study the functional identity $G_{1}(y)g(y)G_{2}(y) = H(y)$, where $G_{1}(Y), G_{2}(Y)$, $H(Y)$ are generalized polynomials in $D_{G}[Y]$ such that both $G_{1}(Y)$ and $G_{2}(Y)$ are non-zero. By application of this result and its implications, we prove that if $D$ is a non-commutative division ring with $\operatorname{char}(D) \neq 2$, then the only possible solution of additive maps $g_{1},g_{2}: D \rightarrow D$ satisfying the identity $g_{1}(y)y^{-m} + y^{n}g_{2}(y^{-1})= 0$ is $ g_{1} = g_{2} = 0$, where $m$ and $n$ are positive integers with $(m,n) \neq (1,1)$.

math.RA↗
arXiv2026

The art of counterpoint: a Mazzola-type model of three-voice first-species counterpoint

In this paper, we extend Mazzola's model of two-voice counterpoint to three-voice first-species counterpoint. The construction combines a fiber product over a shared lower voice with a harmonic mask and a two-stage maximization defining admitted successors. For the Fuxian dichotomy, we compute the successor relation and investigate connections with the Riemann dichotomy and neo-Riemannian transformations. Among pairs of same-mode triads, the model admits the most transporter realizations exactly at the pairs that generate Mazzola's Riemann monoid, but it does not single out the dominant-tonic pair, and it admits only 12 of the 192 parsimonious neo-Riemannian realizations, largely because it excludes transitions that keep a pair of voices stationary.

math.RA↗