A Refinement of a Mixed Sparse Effective Nullstellensatz

This article presents a computable criterion for the existence of a common invariant subspace of $n\times n$ complex matrices $A_{1}, \dots ,A_{s}$ of a fixed dimension $1\leq d\leq n$. The approach taken in the paper is model-theoretic. Namely, the criterion is based on a constructive proof of the renowned Tarski's theorem on quantifier elimination in the theory $\ACF$ of algebraically closed fields. This means that for an arbitrary formula $\varphi$ of the language of fields, a quantifier-free formula $\varphi'$ such that $\varphi\lra\varphi'$ in $\ACF$ is given explicitly. The construction of $\varphi'$ is elementary and based on the effective Nullstellensatz. The existence of a common invariant subspace of $A_{1},\dots,A_{s}$ of dimension $d$ can be expressed in the first-order language of fields, and hence, the constructive version of Tarski's theorem yields the criterion. In addition, some applications of this criterion in quantum information theory are discussed.

Download Full-text

Equations for the projective closure and effective Nullstellensatz

Discrete Applied Mathematics ◽

10.1016/0166-218x(91)90105-6 ◽

1991 ◽

Vol 33 (1-3) ◽

pp. 11-23 ◽

Cited By ~ 13

Author(s):

L. Caniglia ◽

A. Galligo ◽

J. Heintz

Keyword(s):

Effective Nullstellensatz ◽

Projective Closure

Download Full-text

Skoda division of line bundle sections and pseudo-division

International Journal of Mathematics ◽

10.1142/s0129167x16500427 ◽

2016 ◽

Vol 27 (05) ◽

pp. 1650042 ◽

Cited By ~ 1

Author(s):

Dano Kim

Keyword(s):

Line Bundle ◽

Projective Variety ◽

Line Bundles ◽

Finite Generation ◽

Division Theorem ◽

Holomorphic Sections ◽

Effective Nullstellensatz

We first present a Skoda-type division theorem for holomorphic sections of line bundles on a projective variety which is essentially the most general, compared to previous ones. Then we revisit Geometric Effective Nullstellensatz and observe that even this general Skoda division is far from sufficient to yield stronger GEN such as ‘vanishing order [Formula: see text] division’, which could be used for finite generation of section rings by the basic finite generation lemma. To resolve this problem, we develop a notion of pseudo-division and show that it can replace the usual division in the finite generation lemma. We also give a vanishing order 1 pseudo-division result when the line bundle is ample.

Download Full-text