-
The Widening Gap: The Benefits and Harms of Generative AI for Novice Programmers
Authors:
James Prather,
Brent Reeves,
Juho Leinonen,
Stephen MacNeil,
Arisoa S. Randrianasolo,
Brett Becker,
Bailey Kimmel,
Jared Wright,
Ben Briggs
Abstract:
Novice programmers often struggle through programming problem solving due to a lack of metacognitive awareness and strategies. Previous research has shown that novices can encounter multiple metacognitive difficulties while programming. Novices are typically unaware of how these difficulties are hindering their progress. Meanwhile, many novices are now programming with generative AI (GenAI), which…
▽ More
Novice programmers often struggle through programming problem solving due to a lack of metacognitive awareness and strategies. Previous research has shown that novices can encounter multiple metacognitive difficulties while programming. Novices are typically unaware of how these difficulties are hindering their progress. Meanwhile, many novices are now programming with generative AI (GenAI), which can provide complete solutions to most introductory programming problems, code suggestions, hints for next steps when stuck, and explain cryptic error messages. Its impact on novice metacognition has only started to be explored. Here we replicate a previous study that examined novice programming problem solving behavior and extend it by incorporating GenAI tools. Through 21 lab sessions consisting of participant observation, interview, and eye tracking, we explore how novices are coding with GenAI tools. Although 20 of 21 students completed the assigned programming problem, our findings show an unfortunate divide in the use of GenAI tools between students who accelerated and students who struggled. Students who accelerated were able to use GenAI to create code they already intended to make and were able to ignore unhelpful or incorrect inline code suggestions. But for students who struggled, our findings indicate that previously known metacognitive difficulties persist, and that GenAI unfortunately can compound them and even introduce new metacognitive difficulties. Furthermore, struggling students often expressed cognitive dissonance about their problem solving ability, thought they performed better than they did, and finished with an illusion of competence. Based on our observations from both groups, we propose ways to scaffold the novice GenAI experience and make suggestions for future work.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Koszul homomorphisms and universal resolutions in local algebra
Authors:
Benjamin Briggs,
James C. Cameron,
Janina C. Letz,
Josh Pollitz
Abstract:
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need fo…
▽ More
We define a local homomorphism $(Q,k)\to (R,\ell)$ to be Koszul if its derived fiber $R \otimes^{\mathsf{L}}_Q k$ is formal, and if $\operatorname{Tor}^Q(R,k)$ is Koszul in the classical sense. This recovers the classical definition when $Q$ is a field, and more generally includes all flat deformations of Koszul algebras. The non-flat case is significantly more interesting, and there is no need for examples to be quadratic: all complete intersection and all Golod quotients are Koszul homomorphisms. We show that the class of Koszul homomorphisms enjoys excellent homological properties, and we give many more examples, especially various monomial and Gorenstein examples. We then study Koszul homomorphisms from the perspective of $\mathrm{A}_\infty$-structures on resolutions. We use this machinery to construct universal free resolutions of $R$-modules by generalizing a classical construction of Priddy. The resulting (infinite) free resolution of an $R$-module $M$ is often minimal, and can be described by a finite amount of data whenever $M$ and $R$ have finite projective dimension over $Q$. Our construction simultaneously recovers the resolutions of Shamash and Eisenbud over a complete intersection ring, and the bar resolutions of Iyengar and Burke over a Golod ring, and produces analogous resolutions for various other classes of local rings.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Cohomology operations for moment-angle complexes and resolutions of Stanley-Reisner rings
Authors:
Steven Amelotte,
Benjamin Briggs
Abstract:
A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal{Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley--Reisner ring of $K$. By studying cohomology operations induced by the standard torus action on the moment-angle complex, we extend this to a topological interpretation of the minimal free resolution of the…
▽ More
A fundamental result in toric topology identifies the cohomology ring of the moment-angle complex $\mathcal{Z}_K$ associated to a simplicial complex $K$ with the Koszul homology of the Stanley--Reisner ring of $K$. By studying cohomology operations induced by the standard torus action on the moment-angle complex, we extend this to a topological interpretation of the minimal free resolution of the Stanley-Reisner ring. The exterior algebra module structure in cohomology induced by the torus action recovers the linear part of the minimal free resolution, and we show that higher cohomology operations induced by the action (in the sense of Goresky-Kottwitz-MacPherson) can be assembled into an explicit differential on the resolution. Describing these operations in terms of Hochster's formula, we recover and extend a result due to Katthän. We then apply all of this to study the equivariant formality of torus actions on moment-angle complexes. For these spaces, we obtain complete algebraic and combinatorial characterisations of which subtori of the naturally acting torus act equivariantly formally.
△ Less
Submitted 26 May, 2023; v1 submitted 17 April, 2023;
originally announced April 2023.
-
Bounds on cohomological support varieties
Authors:
Benjamin Briggs,
Eloísa Grifo,
Josh Pollitz
Abstract:
Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are…
▽ More
Over a local ring $R$, the theory of cohomological support varieties attaches to any bounded complex $M$ of finitely generated $R$-modules an algebraic variety $V_R(M)$ that encodes homological properties of $M$. We give lower bounds for the dimension of $V_R(M)$ in terms of classical invariants of $R$. In particular, when $R$ is Cohen-Macaulay and not complete intersection we find that there are always varieties that cannot be realized as the cohomological support of any complex. When $M$ has finite projective dimension, we also give an upper bound for $ \dim V_R(M)$ in terms of the dimension of the radical of the homotopy Lie algebra of $R$. This leads to an improvement of a bound due to Avramov, Buchweitz, Iyengar, and Miller on the Loewy lengths of finite free complexes. Finally, we completely classify the varieties that can occur as the cohomological support of a complex over a Golod ring.
△ Less
Submitted 3 July, 2024; v1 submitted 27 October, 2022;
originally announced October 2022.
-
On the Lie algebra structure of integrable derivations
Authors:
Benjamin Briggs,
Lleonard Rubio y Degrassi
Abstract:
Building on work of Gerstenhaber, we show that the space of integrable derivations on an Artin algebra $A$ forms a Lie algebra, and a restricted Lie algebra if $A$ contains a field of characteristic $p$. We deduce that the space of integrable classes in $\HH^1(A)$ forms a (restricted) Lie algebra that is invariant under derived equivalences, and under stable equivalences of Morita type between sel…
▽ More
Building on work of Gerstenhaber, we show that the space of integrable derivations on an Artin algebra $A$ forms a Lie algebra, and a restricted Lie algebra if $A$ contains a field of characteristic $p$. We deduce that the space of integrable classes in $\HH^1(A)$ forms a (restricted) Lie algebra that is invariant under derived equivalences, and under stable equivalences of Morita type between self-injective algebras. We also provide negative answers to questions about integrable derivations posed by Linckelmann and by Farkas, Geiss and Marcos.
△ Less
Submitted 3 May, 2022;
originally announced May 2022.
-
Product decompositions of moment-angle manifolds and $B$-rigidity
Authors:
Steven Amelotte,
Benjamin Briggs
Abstract:
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 ar…
▽ More
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.
△ Less
Submitted 30 April, 2022;
originally announced May 2022.
-
Cohomological jump loci and duality in local algebra
Authors:
Benjamin Briggs,
Daniel McCormick,
Josh Pollitz
Abstract:
In this article a higher order support theory, called the cohomological jump loci, is introduced and studied for dg modules over a Koszul extension of a local dg algebra. The generality of this setting applies to dg modules over local complete intersection rings, exterior algebras and certain group algebras in prime characteristic. This family of varieties generalizes the well-studied support vari…
▽ More
In this article a higher order support theory, called the cohomological jump loci, is introduced and studied for dg modules over a Koszul extension of a local dg algebra. The generality of this setting applies to dg modules over local complete intersection rings, exterior algebras and certain group algebras in prime characteristic. This family of varieties generalizes the well-studied support varieties in each of these contexts. We show that cohomological jump loci satisfy several interesting properties, including being closed under (Grothendieck) duality. The main application of this support theory is that over a local ring the homological invariants of Betti degree and complexity are preserved under duality for finitely generated modules having finite complete intersection dimension.
△ Less
Submitted 10 April, 2023; v1 submitted 18 January, 2022;
originally announced January 2022.
-
Maximal tori in $HH^1$ and the fundamental group
Authors:
Benjamin Briggs,
Lleonard Rubio y Degrassi
Abstract:
We investigate maximal tori in the Hochschild cohomology Lie algebra $HH^1(A)$ of a finite dimensional algebra $A$, and their connection with the fundamental groups associated to presentations of $A$. We prove that every maximal torus in $HH^1(A)$ arises as the dual of some fundamental group of $A$, extending work of Farkas, Green and Marcos; de la Peña and Saorín; and Le Meur. Combining this with…
▽ More
We investigate maximal tori in the Hochschild cohomology Lie algebra $HH^1(A)$ of a finite dimensional algebra $A$, and their connection with the fundamental groups associated to presentations of $A$. We prove that every maximal torus in $HH^1(A)$ arises as the dual of some fundamental group of $A$, extending work of Farkas, Green and Marcos; de la Peña and Saorín; and Le Meur. Combining this with known invariance results for Hochschild cohomology, we deduce that (in rough terms) the largest rank of a fundamental group of $A$ is a derived invariant quantity, and among self-injective algebras, an invariant under stable equivalences of Morita type. Using this we prove that there are only finitely many monomial algebras in any derived equivalence class of finite dimensional algebras; hitherto this was known only for very restricted classes of monomial algebras.
△ Less
Submitted 20 September, 2021; v1 submitted 8 September, 2021;
originally announced September 2021.
-
Rigidity properties of the cotangent complex
Authors:
Benjamin Briggs,
Srikanth B. Iyengar
Abstract:
This work concerns maps $\varphi \colon R\to S$ of commutative noetherian rings, locally of finite flat dimension. It is proved that the André-Quillen homology functors are rigid, namely, if $\mathrm{D}_n(S/R;-)=0$ for some $n\ge 2$, then $\mathrm{D}_n(S/R;-)=0$ for all $n\ge 2$ and $\varphi$ is locally complete intersection. This extends Avramov's theorem that draws the same conclusion assuming…
▽ More
This work concerns maps $\varphi \colon R\to S$ of commutative noetherian rings, locally of finite flat dimension. It is proved that the André-Quillen homology functors are rigid, namely, if $\mathrm{D}_n(S/R;-)=0$ for some $n\ge 2$, then $\mathrm{D}_n(S/R;-)=0$ for all $n\ge 2$ and $\varphi$ is locally complete intersection. This extends Avramov's theorem that draws the same conclusion assuming $\mathrm{D}_n(S/R;-)$ vanishes for all $n\gg 0$, confirming a conjecture of Quillen. The rigidity of André-Quillen functors is deduced from a more general result about the higher cotangent modules which answers a question raised by Avramov and Herzog, and subsumes a conjecture of Vasconcelos that was proved recently by the first author. The new insight leading to these results concerns the equivariance of a map from André-Quillen cohomology to Hochschild cohomology defined using the universal Atiyah class of $\varphi$.
△ Less
Submitted 23 January, 2022; v1 submitted 25 October, 2020;
originally announced October 2020.
-
Constructing non-proxy small test modules for the complete intersection property
Authors:
Benjamin Briggs,
Eloísa Grifo,
Josh Pollitz
Abstract:
A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This characterization can be extended to the bounded derived category $\mathsf{D}^f(R)$, which contains only small objects if and only if $R$ is regular.
Recent results…
▽ More
A local ring $R$ is regular if and only if every finitely generated $R$-module has finite projective dimension. Moreover, the residue field $k$ is a test module: $R$ is regular if and only if $k$ has finite projective dimension. This characterization can be extended to the bounded derived category $\mathsf{D}^f(R)$, which contains only small objects if and only if $R$ is regular.
Recent results of Pollitz, completing work initiated by Dwyer-Greenlees-Iyengar, yield an analogous characterization for complete intersections: $R$ is a complete intersection if and only if every object in $\mathsf{D}^f(R)$ is proxy small. In this paper, we study a return to the world of $R$-modules, and search for finitely generated $R$-modules that are not proxy small whenever $R$ is not a complete intersection. We give an algorithm to construct such modules in certain settings, including over equipresented rings and Stanley-Reisner rings.
△ Less
Submitted 13 May, 2021; v1 submitted 24 September, 2020;
originally announced September 2020.
-
Locally complete intersection maps and the proxy small property
Authors:
Benjamin Briggs,
Srikanth B. Iyengar,
Janina C. Letz,
Josh Pollitz
Abstract:
It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the envelo** algebra $S\otimes_RS$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit o…
▽ More
It is proved that a map $\varphi\colon R\to S$ of commutative noetherian rings that is essentially of finite type and flat is locally complete intersection if and only $S$ is proxy small as a bimodule. This means that the thick subcategory generated by $S$ as a module over the envelo** algebra $S\otimes_RS$ contains a perfect complex supported fully on the diagonal ideal. This is in the spirit of the classical result that $\varphi$ is smooth if and only if $S$ is small as a bimodule, that is to say, it is itself equivalent to a perfect complex. The geometric analogue, dealing with maps between schemes, is also established. Applications include simpler proofs of factorization theorems for locally complete intersection maps.
△ Less
Submitted 6 February, 2021; v1 submitted 16 July, 2020;
originally announced July 2020.
-
Stable invariance of the restricted Lie algebra structure of Hochschild cohomology
Authors:
Benjamin Briggs,
Lleonard Rubio y Degrassi
Abstract:
We show that the restricted Lie algebra structure on Hochschild cohomology is invariant under stable equivalences of Morita type between self-injective algebras. Thereby we obtain a number of positive characteristic stable invariants, such as the $p$-toral rank of $\mathrm{HH}^1(A,A)$. We also prove a more general result concerning Iwanaga-Gorenstein algebras, using a more general notion of stable…
▽ More
We show that the restricted Lie algebra structure on Hochschild cohomology is invariant under stable equivalences of Morita type between self-injective algebras. Thereby we obtain a number of positive characteristic stable invariants, such as the $p$-toral rank of $\mathrm{HH}^1(A,A)$. We also prove a more general result concerning Iwanaga-Gorenstein algebras, using a more general notion of stable equivalences of Morita type. Several applications are given to commutative algebra and modular representation theory. These results are proven by first establishing the stable invariance of the $B_\infty$-structure of the Hochschild cochain complex. In the appendix we explain how the $p$-power operation on Hochschild cohomology can be seen as an artifact of this $B_\infty$-structure. In particular, we establish well-definedness of the $p$-power operation, following some -- originally topological -- methods due to May, Cohen and Turchin, using the language of operads.
△ Less
Submitted 15 September, 2021; v1 submitted 24 June, 2020;
originally announced June 2020.
-
Vasconcelos' conjecture on the conormal module
Authors:
Benjamin Briggs
Abstract:
For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This resolves a conjecture of Vasconcelos. We prove a similar result for the first Koszul homology module of $I$. When $R$ is a localisation of a polynomial ring over a…
▽ More
For any ideal $I$ of finite projective dimension in a commutative noetherian local ring $R$, we prove that if the conormal module $I/I^2$ has finite projective dimension over $R/I$, then $I$ must be generated by a regular sequence. This resolves a conjecture of Vasconcelos. We prove a similar result for the first Koszul homology module of $I$. When $R$ is a localisation of a polynomial ring over a field $K$ of characteristic zero, Vasconcelos conjectured that $R/I$ is a reduced complete intersection if the module $Ω_{(R/I)/K}$ of differentials has finite projective dimension; we prove this contingent on the Eisenbud-Mazur conjecture.
The arguments exploit the structure of the homotopy Lie algebra associated to $I$ in an essential way. By work of Avramov and Halperin, if every degree $2$ element of the homotopy Lie algebra is radical, then $I$ is generated by a regular sequence. Iyengar has shown that free summands of $I/I^2$ give rise to central elements of the homotopy Lie algebra, and we establish an analogous criterion for constructing radical elements, from which we deduce our main result.
△ Less
Submitted 26 April, 2022; v1 submitted 7 June, 2020;
originally announced June 2020.
-
Hochschild cohomology of twisted tensor products
Authors:
Benjamin Briggs,
Sarah Witherspoon
Abstract:
For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new exam…
▽ More
For a tensor product of algebras twisted by a bicharacter, we completely describe its Hochschild cohomology, as a Gerstenhaber algebra, in terms of the Hochschild cohomology of its component parts. This description generalizes a result of Bergh and Oppermann. It allows us to significantly simplify various calculations in the literature, and to compute Hochschild cohomology for a number of new examples.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
Matrix Factorisations Arising From Well-Generated Complex Reflection Groups
Authors:
Benjamin Briggs
Abstract:
We discuss an interesting duality known to occur for certain complex reflection groups, namely the duality groups. Our main construction yields a concrete, representation theoretic realisation of this duality. This allows us to naturally identify invariant vector fields with vector fields on the orbit space, for the action of a duality group. As another application, we construct matrix factorisati…
▽ More
We discuss an interesting duality known to occur for certain complex reflection groups, namely the duality groups. Our main construction yields a concrete, representation theoretic realisation of this duality. This allows us to naturally identify invariant vector fields with vector fields on the orbit space, for the action of a duality group. As another application, we construct matrix factorisations of the highest degree basic invariant which give free resolutions of the module of Kähler differentials of the coinvariant algebra $A$ associated to such a reflection group. From this one can explicitly calculate the dimension of each graded piece of $Ω_{A/\mathbb{C}}$ and of ${\rm Der}_{\mathbb{C}}(A,A)$, adding a new formula to the numerology of reflection groups. This applies for instance when $A$ is the cohomology of any complete flag manifold, and hence has geometric consequences.
△ Less
Submitted 16 July, 2020; v1 submitted 19 April, 2017;
originally announced April 2017.
-
The A-infinity Centre of the Yoneda Algebra and the Characteristic Action of Hochschild Cohomology on the Derived Category
Authors:
Benjamin Briggs,
Vincent Gelinas
Abstract:
For A a dg (or A-infinity) algebra and M a module over A, we study the image of the characteristic morphism $χ_M: HH^*(A, A) \to Ext_A(M, M)$ and its interaction with the higher structure on the Yoneda algebra $Ext_A(M, M)$. To this end, we introduce and study a notion of A-infinity centre for minimal A-infinity algebras, agreeing with the usual centre in the case that there is no higher structure…
▽ More
For A a dg (or A-infinity) algebra and M a module over A, we study the image of the characteristic morphism $χ_M: HH^*(A, A) \to Ext_A(M, M)$ and its interaction with the higher structure on the Yoneda algebra $Ext_A(M, M)$. To this end, we introduce and study a notion of A-infinity centre for minimal A-infinity algebras, agreeing with the usual centre in the case that there is no higher structure. We show that the image of $χ_M$ lands in the A-infinity centre of $Ext_A(M, M)$. When A is augmented over k, we show (under mild connectedness assumptions) that the morphism $χ_k: HH^*(A, A) \to Ext_A(k,k)$ into the Koszul dual algebra lands exactly onto the A-infinity centre, generalising the situation from the Koszul case established by Buchweitz, Green, Snashall and Solberg. We give techniques for computing A-infinity centres, hence for computing the image of the characteristic morphism, and provide worked-out examples. We further study applications to topology. In particular we relate the A-infinity centre of the Pontryagin algebra to a wrong way map coming from the homology of the free loop space, first studied by Chas and Sullivan.
△ Less
Submitted 2 February, 2017;
originally announced February 2017.
