Skip to main content
Hans's user avatar
Hans's user avatar
Hans's user avatar
Hans
  • Member for 11 years, 5 months
  • Last seen more than a week ago
accepted
asked
Loading…
accepted
comment
Package for the Closest Vector Problem (CVP)?
Am I missing something or is your reference about the shortest vector problem rather than the closest vector problem (I think the former is only a spectal case of the latter).
comment
Package for the Closest Vector Problem (CVP)?
I am totally aware of the fact that this is a hard problem. I'm not hoping for short running time, but it should be possible to compute it in reasonable time for small $n$ and I am looking for implementations of this.
comment
Package for the Closest Vector Problem (CVP)?
Yoav, is fplll a command in magma or where?
comment
Package for the Closest Vector Problem (CVP)?
Are you sure that these do what they should? I thought that the LLL algorithm just gives a close vector (which is close enough for many applications) but not necessarily the closest one?
revised
Loading…
Loading…
revised
Loading…
Loading…
accepted
comment
Being Cohen-Macaulay open in Hilbert scheme?
okay, now I am more than happy! Thx!
comment
Being Cohen-Macaulay open in Hilbert scheme?
thanks for your answers Jason! I have a question regarding the second edit. For simplicity, assume that $R$ is a discrete valuation ring with residue field $k$. The following is not apparent to me from the proof: Why can it not be that the maximal open subscheme $U$ of $\mathbb{P}_R^d$, over which $f_*\mathcal{O}_Z$ is locally free, is empty, but $Z\times_R k \to \mathbb{P}_k^d$ is flat? (In that case the fiber over the closed point would be CM, but not the one over the generic point)
comment
Being Cohen-Macaulay open in Hilbert scheme?
Wait, why is this the same as in my question? So Cor. 6.11.3 sais that the set of points $x$ such that $F_x$ is CM is open. But if the base is e.g. a field $K$ then being CM for a $K$-algebra is not the same as being CM as a $K$-module (which is always the case).
Loading…
accepted
comment
Criterion for being reflexive via Ext
Hi Jason, thanks for this answer! Just two quick question: What happens for rings of dimension 1? Is it true that reflexive is equivalent to projective? And do you have a reference for your first statement, namely that the module is reflexive iff its depth is at least two?
awarded
1
6 7
8
9 10
14