Questions tagged [syzygies]

a syzygy is a relation between the generators of a module M.

12 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
5 votes
0 answers
536 views

Identities satisfied by the image of the Young symmetrizer

Consider a partition $\lambda=(r_1,\ldots,r_k)$ of an integer $n$ and the corresponding Young diagram with rows of length $r_1,\ldots,r_k$ (hence ordered in non-increasing order). Counting the column ...
Igor Khavkine's user avatar
4 votes
0 answers
135 views

Question on syzygies

Given a finite dimensional algebra $A$ over a field $K$ with $\Omega^i(D(A)) \cong \Omega^{i+1}(D(A))$ for some $i \geq 1$, where $D(A)=\operatorname{Hom}_K(A,K)$. Do we then also have $\Omega^{-i}(A)...
Mare's user avatar
  • 25.8k
3 votes
1 answer
325 views

Hilbert's Syzygy Theorem in the bigraded case

I've been recently wondering how to prove the existence of a Hilbert polynomial for finitely generated bigraded modules $M$ over a polynomial ring $R=k[X_0,...,X_n,Y_0,...,Y_m]$ with the usual ...
Carnby 's user avatar
  • 131
3 votes
0 answers
78 views

Normal set of points in the plane

When defining the normality of a scheme in the book The Geometry of Syzygies, Eisenbud says that there are just a few facts that are known for their bounds. Given $X \subset \mathbb{P}^r$, we say ...
User43029's user avatar
  • 596
2 votes
0 answers
446 views

Minimal number of generators of kernel of a matrix of polynomials over $\mathbb Q$ and $\mathbb Z$

$\DeclareMathOperator\im{im}$I have asked some related questions before on math.SE here and on MathOverflow here (answered here). This post is self-contained. Let $R' = \mathbb Q[x_1,\dotsc,x_n]$, and ...
Pranay Gorantla's user avatar
2 votes
0 answers
180 views

Higher cohomology of projective bundles

Let $C$ be a curve and $L$ be a line bundle with sufficiently large degree. Let $C_p$ denote the $p$-th symmetric product of $C$, which consists of all the effective divisors of degree $p$ on $C$. Let ...
Li Li's user avatar
  • 383
2 votes
0 answers
110 views

$m$-regularity of sheaves

This is Lemma 1.4 on Green and Lazarsfeld's Some results on the syzygies of finite sets and algebraic curves. Let $X$ be a closed subscheme of $\mathbb{P}^r$. Suppose the ideal sheaf $\mathcal{I}$ of $...
Li Li's user avatar
  • 383
2 votes
0 answers
166 views

Geometric meaning of Koszul modules

Assume $C$ is a smooth projective curve and $L$ is a line bundle on it. We say $L$ is $p$-very ample if for any effective divisor $D$ of degree $p+1$, the evaluation map $H^0(C,L)\to H^0(C,L\otimes\...
Li Li's user avatar
  • 383
2 votes
0 answers
146 views

A question about an irreducible polynomial in the ideal of syzygies

Let $G$ be a finite group with $n$ elements and let $\mathbb{Q}[x_1,\cdots,x_n]^G = \mathbb{Q}[g_1,\cdots,g_m]$, where $G$ acts through the regular representation. Then there exist polynomials $s_j \...
user avatar
1 vote
0 answers
118 views

The first syzygy module of a binomial ideal

It is known how you compute the first syzygy module of a monomial ideal but it seems an hard work to do the same for binomial ones. I don't know any procedure to aim that, so I would like kindly if ...
elbarto's user avatar
  • 31
1 vote
0 answers
90 views

Resolution of the ideal of a scroll

Assume that $C$ is a smooth projective curve and $p:C\to\mathbb{P}^1$ is a degree $k$ branched cover. Let $L$ be a very ample line bundle on $C$ with very large degree, defining an embedding $C\...
Li Li's user avatar
  • 383
0 votes
0 answers
118 views

Degree of the syzygy bundle of a curve of genus 3

Let X be an hyperelliptic curve of genus 3, 𝜔 its canonical sheaf, and M the syzygy bundle of 𝜔. What is the degree of M?
user95246's user avatar
  • 237