BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Steven V Sam

Steven V Sam contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ACmath.RTmath.AGmath.COmath.ATmath.CTmath.GR

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
13works
0followers
7topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

13 published item(s)

preprint2022arXiv

Big polynomial rings and Stillman's conjecture

The purpose of this paper is to prove that certain limits of polynomial rings are themselves polynomial rings, and show how this observation can be used to deduce some interesting results in commutative algebra. In particular, we give two new proofs of Stillman's conjecture. The first is similar to that of Ananyan-Hochster, though more streamlined; in particular, it establishes the existence of small subalgebras. The second proof is completely different, and relies on a recent noetherianity result of Draisma.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The representation theory of Brauer categories II: curried algebra

A representation of $\mathfrak{gl}(V)=V \otimes V^*$ is a linear map $μ\colon \mathfrak{gl}(V) \otimes M \to M$ satisfying a certain identity. By currying, giving a linear map $μ$ is equivalent to giving a linear map $a \colon V \otimes M \to V \otimes M$, and one can translate the condition for $μ$ to be a representation to a condition on $a$. This alternate formulation does not use the dual of $V$, and makes sense for any object $V$ in a tensor category $\mathcal{C}$. We call such objects representations of the curried general linear algebra on $V$. The currying process can be carried out for many algebras built out of a vector space and its dual, and we examine several cases in detail. We show that many well-known combinatorial categories are equivalent to the curried forms of familiar Lie algebras in the tensor category of linear species; for example, the titular Brauer category "is" the curried form of the symplectic Lie algebra. This perspective puts these categories in a new light, has some technical applications, and suggests new directions to explore.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Bi-graded Koszul modules, K3 carpets, and Green's conjecture

We extend the theory of Koszul modules to the bi-graded case, and prove a vanishing theorem that allows us to show that the Canonical Ribbon Conjecture of Bayer and Eisenbud holds over a field of characteristic zero or at least equal to the Clifford index. Our results confirm a conjecture of Eisenbud and Schreyer regarding the characteristics where the generic statement of Green's conjecture holds. They also recover and extend to positive characteristics results due to Aprodu and Voisin asserting that Green's Conjecture holds for generic curves of each gonality.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Hermite reciprocity and Schwarzenberger bundles

Hermite reciprocity refers to a series of natural isomorphisms involving compositions of symmetric, exterior, and divided powers of the standard $SL_2$-representation. We survey several equivalent constructions of these isomorphisms, as well as their recent applications to Green's Conjecture on syzygies of canonical curves. The most geometric approach to Hermite reciprocity is based on an idea of Voisin to realize certain multilinear constructions cohomologically by working on a Hilbert scheme of points. We explain how in the case of ${\bf P}^1$ this can be reformulated in terms of cohomological properties of Schwarzenberger bundles. We then proceed to study these bundles from several perspectives: We show that their exterior powers have supernatural cohomology, arising as special cases of a construction of Eisenbud and Schreyer. We recover basic properties of secant varieties $Σ$ of rational normal curves (normality, Cohen-Macaulayness, rational singularities) by considering their desingularizations via Schwarzenberger bundles, and applying the Kempf-Weyman geometric technique. We show that Hermite reciprocity is equivalent to the self-duality of the unique rank one Ulrich module on the affine cone $\widehatΣ$ of some secant variety, and we explain how for a Schwarzenberger bundle of rank $k$ and degree $d\ge k$, Hermite reciprocity can be viewed as the unique (up to scaling) non-zero section of $(Sym^k\mathcal{E})(-d+k-1)$.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

On some modules supported in the Chow variety

The study of Chow varieties of decomposable forms lies at the confluence of algebraic geometry, commutative algebra, representation theory and combinatorics. There are many open questions about homological properties of Chow varieties and interesting classes of modules supported on them. The goal of this note is to survey some fundamental constructions and properties of these objects, and to propose some new directions of research. Our main focus will be on the study of certain maximal Cohen-Macaulay modules of covariants supported on Chow varieties, and on defining equations and syzygies. We also explain how to assemble Tor groups over Veronese subalgebras into modules over a Chow variety, leading to a result on the polynomial growth of these groups.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Sp-equivariant modules over polynomial rings in infinitely many variables

We study the category of Sp-equivariant modules over the infinite variable polynomial ring, where Sp denotes the infinite symplectic group. We establish a number of results about this category: for instance, we show that every finitely generated module M fits into an exact triangle $T \to M \to F \to$ where T is a finite length complex of torsion modules and F is a finite length complex of "free" modules; we determine the Grothendieck group; and we (partially) determine the structure of injective modules. We apply these results to show that the twisted commutative algebras ${\rm Sym}({\bf C}^{\infty} \oplus \bigwedge^2{\bf C}^{\infty})$ and ${\rm Sym}({\bf C}^{\infty} \oplus {\rm Sym}^2{\bf C}^{\infty})$ are noetherian, which are the strongest results to date of this kind. We also show that the free 2-step nilpotent twisted Lie algebra and Lie superalgebra are noetherian.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Supersymmetric monoidal categories

We develop the idea of a supersymmetric monoidal supercategory, following ideas of Kapranov. Roughly, this is a monoidal category in which the objects and morphisms are ${\bf Z}/2$-graded, equipped with isomorphisms $X \otimes Y \to Y \otimes X$ of parity $\vert X \vert \vert Y \vert$ on homogeneous objects. There are two fundamental examples: the groupoid of spin-sets, and the category of queer vector spaces equipped with the half tensor product; other important examples can be derived from these (such as the category of linear spin species). There are also two general constructions. The first is the exterior algebra of a supercategory (due to Ganter--Kapranov). The second is a construction we introduce called Clifford eversion. This defines an equivalence between a certain 2-category of supersymmetric monoidal supercategories and a corresponding 2-category of symmetric monoidal supercategories. We use our theory to better understand some aspects of the queer superalgebra, such as certain factors of $\sqrt{2}$ in the theory of Q-symmetric functions and Schur--Sergeev duality.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Stability in the homology of unipotent groups

Let $R$ be a (not necessarily commutative) ring whose additive group is finitely generated and let $U_n(R) \subset GL_n(R)$ be the group of upper-triangular unipotent matrices over $R$. We study how the homology groups of $U_n(R)$ vary with $n$ from the point of view of representation stability. Our main theorem asserts that if for each $n$ we have representations $M_n$ of $U_n(R)$ over a ring $\mathbf{k}$ that are appropriately compatible and satisfy suitable finiteness hypotheses, then the rule $[n] \mapsto \widetilde{H}_i(U_n(R),M_n)$ defines a finitely generated OI-module. As a consequence, if $\mathbf{k}$ is a field then $dim \widetilde{H}_i(U_n(R),\mathbf{k})$ is eventually equal to a polynomial in $n$. We also prove similar results for the Iwahori subgroups of $GL_n(\mathcal{O})$ for number rings $\mathcal{O}$.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

A finite calculus approach to Ehrhart polynomials

A rational polytope is the convex hull of a finite set of points in $\R^d$ with rational coordinates. Given a rational polytope $P \subseteq \R^d$, Ehrhart proved that, for $t\in\Z_{\ge 0}$, the function $#(tP \cap \Z^d)$ agrees with a quasi-polynomial $L_P(t)$, called the Ehrhart quasi-polynomial. The Ehrhart quasi-polynomial can be regarded as a discrete version of the volume of a polytope. We use that analogy to derive a new proof of Ehrhart's theorem. This proof also allows us to quickly prove two other facts about Ehrhart quasi-polynomials: McMullen's theorem about the periodicity of the individual coefficients of the quasi-polynomial and the Ehrhart-Macdonald theorem on reciprocity.

0 citations0 reviewsNo code linkedOpen access