Computing representation matrices for the action of Frobenius on cohomology groups

DOI10.1016/J.JSC.2020.07.015zbMATH Open1473.14046arXiv1704.08110OpenAlexW3041492092MaRDI QIDQ820979FDOQ820979

Authors: Momonari Kudo 

Publication date: 29 September 2021

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: This paper is concerned with the computation of representation matrices for the action of Frobenius to the cohomology groups of algebraic varieties. Specifically we shall give an algorithm to compute the matrices for arbitrary algebraic varieties with defining equations over perfect fields of positive characteristic, and estimate its complexity. Moreover, we propose a specific efficient method, which works for complete intersections.

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

Recommendations

• Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
• scientific article; zbMATH DE number 1736033
• Algorithmic computation of local cohomology modules and the local cohomological dimension of algebraic varieties
• scientific article; zbMATH DE number 5654498
• Computing bases of complete intersection rings in Noether position

zbMATH Keywords

cohomology groupsFrobenius mapsHasse-Witt matrices

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Algebraic number theory computations (11Y40) Positive characteristic ground fields in algebraic geometry (14G17)

Cites Work

• The Magma algebra system. I: The user language
• Computations in algebraic geometry with Macaulay 2
• A Singular Introduction to Commutative Algebra
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic surfaces in positive characteristic
• Characterizations of Regular Local Rings of Characteristic p
• On the complexity of computing syzygies
• Mathematics of public key cryptography.
• Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
• Sheaf cohomology and free resolutions over exterior algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• A rank 2 vector bundle on P\(^4\) with 15,000 symmetries
• Title not available (Why is that?)
• A standard basis approach to syzygies of canonical curves.
• Title not available (Why is that?)
• Strategies for computing minimal free resolutions
• Computing minimal finite free resolutions
• A formula for the Cartier operator on plane algebraic curves.
• Computing minimal free resolutions of right modules over noncommutative algebras
• On the Jacobian varieties of hyperelliptic curves over fields of characteristic \(p>2\)
• Computing Hasse-Witt matrices of hyperelliptic curves in average polynomial time
• Computing global extension modules
• Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
• Superspecial curves of genus 4 in small characteristic
• Computational approach to enumerate non-hyperelliptic superspecial curves of genus 4
• Syzygies of abelian surfaces embedded in ().
• Hasse-Witt matrices for the Fermat curves of prime degree
• The efficient calculation of powers of polynomials
• Non-ordinary curves with a Prym variety of low \(p\)-rank
• Hash functions from superspecial genus-2 curves using Richelot isogenies
• Improvements in the computation of the Hasse-Witt matrix
• Hyperelliptic modular curves \(X_0(n)\) and isogenies of elliptic curves over quadratic fields
• Title not available (Why is that?)
• Refined algorithms to compute syzygies

Cited In (4)

• Analysis of an algorithm to compute the cohomology groups of coherent sheaves and its applications
• On the \(p\)-rank of curves
• A connectedness result in positive characteristic
• Title not available (Why is that?)

Uses Software

• Macaulay2
• Magma
• SINGULAR
• BGG

This page was built for publication: Computing representation matrices for the action of Frobenius on cohomology groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q820979)