15,667 research outputs found
Connectivity of tropicalizations
We show that the tropicalization of an irreducible variety over a complete or
algebraically closed valued field is connected through codimension 1, giving an
affirmative answer in all characteristics to a question posed by Einsiedler,
Lind, and Thomas in 2003.Comment: 7 page
Computing N\'eron-Severi groups and cycle class groups
Assuming the Tate conjecture and the computability of \'etale cohomology with
finite coefficients, we give an algorithm that computes the N\'eron-Severi
group of any smooth projective geometrically integral variety, and also the
rank of the group of numerical equivalence classes of codimension p cycles for
any p.Comment: 22 pages; to appear in Compositio Mat
Computing the differential Galois group of a parameterized second-order linear differential equation
We develop algorithms to compute the differential Galois group associated
to a parameterized second-order homogeneous linear differential equation of the
form where the coefficients are rational
functions in with coefficients in a partial differential field of
characteristic zero. Our work relies on the procedure developed by Dreyfus to
compute under the assumption that . We show how to complete this
procedure to cover the cases where , by reinterpreting a classical
change of variables procedure in Galois-theoretic terms.Comment: 14 page
Elimination for generic sparse polynomial systems
We present a new probabilistic symbolic algorithm that, given a variety
defined in an n-dimensional affine space by a generic sparse system with fixed
supports, computes the Zariski closure of its projection to an l-dimensional
coordinate affine space with l < n. The complexity of the algorithm depends
polynomially on combinatorial invariants associated to the supports.Comment: 22 page
- …