0
votes
1answer
126 views
Sommese’s theorem (generalized Weak Lefschetz) in arbitrary characteristic?
Sommese's theorem is a natural generalization of the Weak Lefschetz; for a smooth projective (connected) $X$, an ample vector bundle $E/X$ of rank $e$, and a section $s:X\to E$ it …
7
votes
2answers
274 views
What is the physical difference between states and unital completely positive maps?
Mathematically, completely positive maps on C*-algebras generalize positive linear functionals in that every positive linear functional on a C*-algebra $A$ is a completely positive …
4
votes
1answer
316 views
When is the norm of all positive operators on an ordered Banach space determined by their values on the positive cone?
I'm trying to investigate the interplay between the norm and cone of positive elements in ordered Banach spaces. In particular, I would like a nice characterization of when the nor …
3
votes
3answers
533 views
Matrices whose inverse is positive
I have recently come across some examples of matrices with a special structure.
I will describe these matrices here and I hope that somebody will be able
to point out a source whe …
2
votes
1answer
136 views
Positive definite functions on G from Hilbert space vectors?
Let $G$ be a countable discrete group. Given a vector $\xi \in l^{2}(G)$, is there any way to naturally construct a positive definite function on $G$ using $\xi$?
This question is …
3
votes
1answer
106 views
Mapping a subset of semi-definite matrices through arcsinus
Hi
I am meeting a problem concerning semi-definite positive matrices, and I have no clue concerning them, the classical approaches I know have not given any result, maybe people u …
4
votes
1answer
305 views
Numerically equivalent effective divisors and semiampleness
Recall that a divisor $M$ on a variety $X$ is said to be semiample if $kM$ is base point free for a certain $k > 0$.
Being semiample is not a numerical property (take for example …
3
votes
0answers
99 views
Quadratic forms over symmetric $3\times3$ matrices
This question is motivated by a technique called compensated compactness (CC), which was elaborated by L. Tartar and F. Murat for the analysis of PDEs. The foreword of CC is a prob …
2
votes
1answer
275 views
Which (reducible) projective varieties could be presented as ‘relatively smooth’ hyperplane sections of irreducible (normal) ones?
Are there any restrictions known on a (complex reducible) projective variety $Y$ that can be presented as $Z\cap H$, where $Z$ is a normal (or just irreducible) closed subvariety o …
22
votes
7answers
2k views
When is a monic integer polynomial the characteristic polynomial of a non-negative integer matrix?
Suppose $P(x)$ is a monic integer polynomial with roots $r_1, ... r_n$ such that $p_k = r_1^k + ... + r_n^k$ is a non-negative integer for all positive integers $k$. Is $P(x)$ nec …
5
votes
0answers
233 views
Do there exist weak Lefschetz-type statements that were proved for varieties over complex numbers, but were not proved in finite characteristic?
As far as I understood the situation (reading section 3.5B of Lazarsfeld's "Positivity in algebraic geometry" and also some of the references), some of weak Lefschetz-type statem …
3
votes
0answers
77 views
Proving non-negativity of a hypergeometric type sum
I am trying to prove the following inequality:
$$
\sum\limits_{k=0}^{m}\frac{(a)_k(a+\mu)_{m-k}}{(c)_k(c+\mu)_{m-k}}\binom{m}{k}(m-2k+\mu)\geq{0},
$$
where $(a)_0=1$, $(a)_k=a(a+1 …
2
votes
1answer
346 views
Norm of Cesaro matrix
Motivated by Federico's recent question: Norm of upper triangular matrix of all ones
I decided to ask a question about the norm of a matrix that is, in a sense, dual to the all one …
9
votes
3answers
403 views
Effective algorithm to test positivity
Let $f(x_1,\ldots, x_n)$ be a real polynomial in several variables. Is there an effective algorithm to test whether $f$ is positive (or nonnegative) on the whole of ${\mathbb{R}}^n …
1
vote
2answers
457 views
Positive operators - norm equality
I hope that somebody can help me with the following problem:
Let $A$ be a positive operator on $\mathbf{B}(\mathcal{H})$, ( $\mathcal{H}$ is a Hilbert space) with its spectral mea …

