BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Keller VandeBogert

Keller VandeBogert appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.ACmath.COmath.DSmath.MG

Catalog footprint

What is connected

15works
4topics
2close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

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

Published work

15 published item(s)

preprint2022arXiv

A GL-Equivariant Complex Inducing Character Identities for Schur Modules

In this paper we construct a GL-equivariant complex of Schur modules over a ring of positive characteristic that can be used to deduce classical alternating sum identities for Schur polynomials. This complex globalizes to a complex of vector bundles and can also be used to give an explicit construction of an exact sequence predicted by work of Grayson involving Adams operations identities on the algebraic K-theory of a given scheme $X$. The more general complex gives an explicit construction that reproves the aforementioned Adams operations identities in full generality.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Detecting Golodness via Gröbner Degeneration

In this paper we study the extent to which Golodness may be transferred along morphisms of DG-algebras. In particular, we show that if $I$ is a so-called fiber invariant ideal, then Golodness of $I$ is equivalent to Golodness of the initial ideal of $I$. We use this to transfer Golodness results for monomial ideals to more general classes of ideals. We also prove that any so-called rainbow monomial ideal with linear resolution defines a Golod ring; this result encompasses and generalizes many known Golodness results for classes of monomial ideals. We then combine the techniques developed to give a concise proof that maximal minors of (sparse) generic matrices define Golod rings, independent of characteristic.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Determinantal Facet Ideals for Smaller Minors

A determinantal facet ideal (DFI) is generated by a subset of the maximal minors of a generic $n\times m$ matrix where $n\leq m$ indexed by the facets of a simplicial complex $Δ$. We consider the more general notion of an $r$-DFI, which is generated by a subset of $r$-minors of a generic matrix indexed by the facets of $Δ$ for some $1\leq r\leq n$. We define and study so-called lcm-closed and unit interval $r$-DFIs, and show that the minors parametrized by the facets of $Δ$ form a reduced Gröbner basis with respect to \emph{any} term order for an lcm-closed $r$-DFI. We also see that being lcm-closed generalizes conditions previously introduced in the literature, and conjecture that in the case $r=n$, lcm-closedness is necessary for being a Gröbner basis. We also give conditions on the maximal cliques of $Δ$ ensuring that lcm-closed and unit interval $r$-DFIs are Cohen-Macaulay. Finally, we conclude with a variant of a conjecture of Ene, Herzog, and Hibi on the Betti numbers of certain types of $r$-DFIs, and provide a proof of this conjecture for Cohen-Macaulay unit interval DFIs.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

DG Structure on Length 3 Trimming Complexes and Applications to Tor Algebras

In this paper, we consider the iterated trimming complex associated to data yielding a complex of length $3$. We compute an explicit algebra structure in this complex in terms of the algebra structures of the associated input data. Moreover, it is shown that many of these products become trivial after descending to homology. We apply these results to the problem of realizability for Tor-algebras of grade $3$ perfect ideals, and show that under mild hypotheses, the process of "trimming" an ideal preserves Tor-algebra class. In particular, we construct new classes of ideals in arbitrary regular local rings defining rings realizing Tor-algebra classes $G(r)$ and $H(p,q)$ for a prescribed set of homological data.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

DG Structure on the Length 4 Big From Small Construction

The big from small construction was introduced by Kustin and Miller and can be used to construct resolutions of tightly double linked Gorenstein ideals. In this paper, we expand on the DG-algebra techniques introduced Kustin for building matrix factorizations and construct a DG-algebra structure on the length $4$ big from small construction. The techniques employed involve the construction of a morphism from a Tate-like complex to an acyclic DG-algebra exhibiting Poincaré duality. This induces homomorphisms which, after suitable modifications, satisfy a list of identities that end up perfectly encapsulating the required associativity and DG axioms of the desired product structure for the big from small construction.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Differential Modules with Complete Intersection Homology

Differential modules are natural generalizations of complexes. In this paper, we study differential modules with complete intersection homology, comparing and contrasting the theory of these differential modules with that of the Koszul complex. We construct a Koszul differential module that directly generalizes the classical Koszul complex and investigate which properties of the Koszul complex can be generalized to this setting.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Iterated Mapping Cones for Strongly Koszul Algebras

In this paper we extend the well-known iterated mapping cone procedure to monomial ideals in strongly Koszul algebras. We study properties of ideals generated by monomials in commutative Koszul algebras and show that the linear strand of ideals generated by linear forms is obtained as a subcomplex of the Priddy complex. In the case of strongly Koszul algebras, this shows that the minimal free resolution of a monomial ideal admitting linear quotients is obtained as an iterated mapping cone, immediately extending results for such ideals in polynomial rings to strongly Koszul algebras. We then consider monomial ideals admitting a so-called regular ordering, a generalization of regular decomposition functions, and show that the comparison maps in the iterated mapping cone construction can be computed explicitly. In particular, this gives a closed form for the minimal free resolution of monomial ideals admitting a regular ordering over strongly Koszul algebras.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Linear Strands of Initial Ideals of Determinantal Facet Ideals

A determinantal facet ideal (DFI) is an ideal $J_Δ$ generated by maximal minors of a generic matrix parametrized by an associated simplicial complex $Δ$. In this paper, we construct an explicit linear strand for the initial ideal with respect to any diagonal term order $<$ of an arbitrary DFI. In particular, we show that if $Δ$ has no \emph{1-nonfaces}, then the Betti numbers of the linear strand of $J_Δ$ and its initial ideal coincide. We apply this result to prove a conjecture of Ene, Herzog, and Hibi on Betti numbers of closed binomial edge ideals in the case that the associated graph has at most $2$ maximal cliques. More generally, we show that the linear strand of the initial ideal (with respect to $<$) of \emph{any} DFI is supported on a polyhedral cell complex obtained as an induced subcomplex of the \emph{complex of boxes}, introduced by Nagel and Reiner.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Minimal Free Resolutions of Certain Equigenerated Monomial Ideals

Let $R = k[x_1, \dotsc , x_n]$ denote the standard graded polynomial ring over a field $k$. We study certain classes of equigenerated monomial ideals with the property that the so-called complementary ideal has no linear relations on the generators. We then use iterated trimming complexes to deduce Betti numbers for such ideals. Furthermore, using a result on splitting mapping cones by Miller and Rahmati, we construct the minimal free resolutions for all ideals under consideration explicitly and conclude with questions about extra structure on these complexes.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Polarizations and Hook Partitions

In this paper, we relate combinatorial conditions for polarizations of powers of the graded maximal ideal with rank conditions on submodules generated by collections of Young tableaux. We apply discrete Morse theory to the hypersimplex resolution introduced by Batzies--Welker to show that the $L$-complex of Buchsbaum and Eisenbud for powers of the graded maximal ideal is supported on a CW-complex. We then translate the "spanning tree condition" of Almousa--Fløystad--Lohne characterizing polarizations of powers of the graded maximal ideal into a condition about which sets of hook tableaux span a certain Schur module. As an application, we give a complete combinatorial characterization of polarizations of so-called "restricted powers" of the graded maximal ideal.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Products of Ideals and Golod Rings

In this paper, we study conditions guaranteeing that a product of ideals defines a Golod ring. We show that for a $3$-dimensional regular local ring (or $3$-variable polynomial ring) $(R , \m)$, the ideal $I \m$ always defines a Golod ring for any proper ideal $I \subset R$. We also show that non-Golod products of ideals are ubiquitous; more precisely, we prove that for any proper ideal with grade $\geq 4$, there exists an ideal $J \subseteq I$ such that $IJ$ is not Golod. We conclude by showing that if $I$ is any proper ideal in a $3$-dimensional regular local ring and $\mfa \subseteq I$ a complete intersection, then $\mfa I$ is Golod.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

The DG Products of Peeva and Srinivasan Coincide

Consider the ideal $(x_1 , \dotsc , x_n)^d \subseteq k[x_1 , \dotsc , x_n]$, where $k$ is any field. This ideal can be resolved by both the $L$-complexes of Buchsbaum and Eisenbud, and the Eliahou-Kervaire resolution. Both of these complexes admit the structure of an associative DG algebra, and it is a question of Peeva as to whether these DG structures coincide in general. In this paper, we construct an isomorphism of complexes between the aforementioned complexes that is also an isomorphism of algebras with their respective products, thus giving an affirmative answer to Peeva's question.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Structure Theory for a Class of Grade 3 Homogeneous Ideals Defining Type 2 Compressed Rings

Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s) \oplus k(-2s+1)$, where $s \geq3$ is some integer. We prove that all such ideals are obtained by a trimming process introduced by Christensen, Veliche, and Weyman. We also construct a general resolution for all such ideals which is minimal in sufficiently generic cases. Using this resolution, we can give bounds on the minimal number of generators $μ(I)$ of $I$ depending only on $s$; moreover, we show these bounds are sharp by constructing ideals attaining the upper and lower bounds for all $s\geq 3$. Finally, we study the Tor-algebra structure of $R/I$. It is shown that these rings have Tor algebra class $G(r)$ for $s \leq r \leq 2s-1$. Furthermore, we produce ideals $I$ for all $s \geq 3$ and all $r$ with $s \leq r \leq 2s-1$ such that $\textrm{Soc} (R/I ) = k(-s) \oplus k(-2s+1)$ and $R/I$ has Tor-algebra class $G(r)$, partially answering a question of realizability posed by Avramov.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Trimming Complexes and Applications to Resolutions of Determinantal Facet Ideals

We produce a family of complexes called trimming complexes and explore applications. We study how trimming complexes can be used to deduce the Betti table for the minimal free resolution of the ideal generated by subsets of a generating set for an arbitrary ideal $I$. In particular, we compute the Betti table for removing an arbitrary generator from the ideal of submaximal pfaffians of a generic skew symmetric matrix $M$. We also explicitly compute the Betti table for the ideal generated by certain subsets of the generating set of the ideal of maximal minors of a generic $n \times m$ matrix. Such ideals are a subset of a class of ideals called determinantal facet ideals, whose higher degree Betti numbers had not previously been computed.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Random Polygon to Ellipse: A Generalization

This paper generalizes the result of Elmachtoub et al to any weighted barycenter, where a transformation is considered which takes an arbitrary point of division $ξ\in (0,1)$ of the segments of a polygon with $n$ vertices. We then consider connecting these new points to form another polygon, and iterate this process. After considering properties of our generalized transformation matrix, a surprisingly elegant interplay of elementary complex analysis and linear algebra is used to find a closed form for our iterative process. We then specify the new limiting ellipse, $\mathcal{E}$, which has oscillating semi-axes. Along the way we find that the case for $ξ= 1/2$ enjoys some special optimality conditions, and periodicity of the ellipse $\mathcal{E}$ is analyzed as well. To conclude, an even more generalized case is considered: taking a different point of division for every segment of our polygon $\mathcal{P} (\vec{x}^{(0)}, \vec{y}^{(0)})$.

0 citations0 reviewsNo code linkedOpen access