Algebraic independence in positive characteristic: A $p$-adic calculus

DOI10.1090/S0002-9947-2014-06268-5zbMath1350.13015arXiv1202.4301MaRDI QIDQ5420121

Peter Scheiblechner, Nitin Saxena, J. Mittmann

Publication date: 11 June 2014

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1202.4301

zbMATH Keywords

Jacobian; finite field; zeta function; Galois ring; crystalline cohomology; Kähler; de Rham; algebraic independence; \(p\)-adic; differential; Teichmüller; identity testing; Witt

Mathematics Subject Classification ID

68W30: Symbolic computation and algebraic computation

13F20: Polynomial rings and ideals; rings of integer-valued polynomials

14F40: de Rham cohomology and algebraic geometry

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

14F30: (p)-adic cohomology, crystalline cohomology

13F35: Witt vectors and related rings

Related Items

Unnamed Item, Rational equivalence for enveloping algebras of three-dimensional Lie algebras, The number of parts in certain residue classes of integer partitions, Algebraic independence over positive characteristic: new criterion and applications to locally low-algebraic-rank circuits, Monomials in arithmetic circuits: complete problems in the counting hierarchy, Jacobian Hits Circuits: Hitting Sets, Lower Bounds for Depth-$D$ Occur-$k$ Formulas and Depth-3 Transcendence Degree-$k$ Circuits

Cites Work

• The complexity of computing the permanent
• Extractors and rank extractors for polynomial sources
• On computing the determinant in small parallel time using a small number of processors
• Counting points on \(C_{ab}\) curves using Monsky-Washnitzer cohomology
• Deterministically testing sparse polynomial identities of unbounded degree
• La conjecture de Weil. II
• The complexity of partial derivatives
• A constructive approach to Noether's problem
• La conjecture de Weil. I
• On the intractability of Hilbert's Nullstellensatz and an algebraic version of ``\(NP\neq P\)?
• Extractors for varieties
• Algebraic independence and blackbox identity testing
• A \(p\)-adic proof of Weil's conjectures
• Approximate formulas for some functions of prime numbers
• On the Sum of Square Roots of Polynomials and Related Problems
• On P vs. NP and geometric complexity theory
• Arithmetic Circuits: A survey of recent results and open questions
• Computing zeta functions of nondegenerate curves
• Finding Isomorphisms Between Finite Fields
• Progress on Polynomial Identity Testing - II
• A Lower Bound for the Formula Size of Rational Functions
• Complexe de de\thinspace Rham-Witt et cohomologie cristalline
• Fast Probabilistic Algorithms for Verification of Polynomial Identities
• Computational Complexity
• Jacobian hits circuits
• Relative Rigid Cohomology and Deformation of Hypersurfaces
• On the Rationality of the Zeta Function of an Algebraic Variety
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item