Related papers: Second symmetric powers of chain complexes
Motivated by work of Hochster and Huneke, we investigate several constructions related to the $S_2$-ification $T$ of a complete equidimensional local ring $R$: the canonical module, the top local cohomology module, topological spaces of the…
This paper gives an explicit structure theorem for the symmetric group acting on the symmetric algebra of its natural module. Let $G$ be the symmetric group on $x_1,..., x_n$ and let $d_i$ be the $i^{\text{th}}$ elementary symmetric…
We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group. This makes computation straightforward. Previously, a complete description was only known for cyclic groups of prime order.
We examine the power series ring $R[[X]]$ over a valuation ring $R$ of rank 1, with proper, dense value group. We give a counterexample to Hilbert's syzygy theorem for $R[[X]]$, i.e. an $R[[X]]$-module $C$ that is flat over $R$ and has flat…
We compute cup product pairings in the integral cohomology ring of the moduli space of rank two stable bundles with odd determinant over a Riemann surface using methods of Zagier. The resulting formula is related to a generating function…
We prove basic facts about reflexivity in derived categories over noetherian schemes; and about related notions such as semidualizing complexes, invertible complexes, and Gorenstein-perfect maps. Also, we study a notion of rigidity with…
Let $(Q,\mathfrak n,k)$ be a commutative local Noetherian ring, $f_1,\dots, f_c$ a $Q$-regular sequence in $\mathfrak n$, and $R=Q/(f_1,\dots,f_c)$. Given a complex of finitely generated free $R$-modules, we give a construction of a complex…
Inspired by Jorgensen et. al., it is proved that if a Cohen--Macaulay local ring $R$ with dualizing module admits a suitable chain of semidualizing $R$--modules of length $n$, then $R\cong Q/(I_1+\cdots+I_n)$ for some Gorenstein ring $Q$…
For any space X with the homotopy type of simply-connected, finite-type CW-complex, we construct an associative cochain algebra fls(X) whose cohomology algebra is isomorphic to that of LX, the free loop space on X. For certain X, we define…
In the paper, by the singular Riemann-Roch theorem, it is proved that the class of the e-th Frobenius power can be described using the class of the canonical module for a normal local ring of positive characteristic. As a corollary, we…
Given a commutative ring $R$ and finitely generated ideal $I$, one can consider the classes of $I$-adically complete, $L_0^I$-complete and derived $I$-complete complexes. Under a mild assumption on the ideal $I$ called weak pro-regularity,…
We compute the mod-2 cohomology of the collection of all symmetric groups as a Hopf ring, where the second product is the transfer product of Strickland and Turner. We first give examples of related Hopf rings from invariant theory and…
In this article, we study the following question raised by Mel Hochster: let $(R,m,K)$ be a local ring and $S$ be a flat extension with regular closed fiber. Is $\cV(mS)\cap\Ass_S H^i_I(S)$ finite for every ideal $I\subset S$ and $i\in…
Support and rank varieties of modules over a group algebra of an elementary abelian p-group have been well studied. In particular, Avrunin and Scott showed that in this setting, the rank and support varieties are equivalent. Avramov and…
Using a recent Furstenberg structure theorem, we obtain Multiple Recurrence Theorems relative to any locally compact second countable Noetherian module $G$ over a syndetic ring $R$, which generalizes Furstenberg's multiple recurrence…
A cohomological support, Supp_A(M), is defined for finitely generated modules M over an left noetherian ring R, with respect to a ring A of central cohomology operations on the derived category of R-modules. It is proved that if the…
Generalizing a theorem of Macdonald, we show a formula for the mixed Hodge structure on the cohomology of the symmetric products of bounded complexes of mixed Hodge modules by showing the existence of the canonical action of the symmetric…
We establish the existence of the symmetric power liftings of all holomorphic Hecke eigenforms.
Modular forms mod 2 : structure of the Hecke ring We show that the Hecke algebra for modular forms mod 2 of level 1 is isomorphic to the power series ring F2[[x, y]], where x = T3 and y = T5.
Let $S$ denote the graded polynomial ring $\C[x_1,...,x_m]$. We interpret a chain complex of free $S$-modules having finite length homology modules as an $S^1$-equivariant map $\C^m\sm\{0\} \to X$, where $X$ is a moduli space of exact…