Results 1 to 10 of about 14,963 (314)
Trace formalism for motivic cohomology [PDF]
Épijournal de Géométrie Algébrique, 2023 The goal of this paper is to construct trace maps for the six functor formalism of motivic cohomology after Voevodsky, Ayoub, and Cisinski-D\'{e}glise. We also construct an $\infty$-enhancement of such a trace formalism.
Tomoyuki Abe
doaj +1 more source
Density of Arithmetic Representations of Function Fields [PDF]
Épijournal de Géométrie Algébrique, 2022 We propose a conjecture on the density of arithmetic points in the deformation space of representations of the \'etale fundamental group in positive characteristic. This?
Hélène Esnault, Moritz Kerz
doaj +1 more source
Etale and crystalline companions, I [PDF]
Épijournal de Géométrie Algébrique, 2022 Let $X$ be a smooth scheme over a finite field of characteristic $p$. Consider the coefficient objects of locally constant rank on $X$ in $\ell$-adic Weil cohomology: these are lisse Weil sheaves in \'etale cohomology when $\ell \neq p$, and ...
Kiran S. Kedlaya
doaj +1 more source
Optimal Ate Pairing on Elliptic Curves with Embedding Degree $9,15$ and $27$ [PDF]
Groups, Complexity, Cryptology, 2020 Much attention has been given to the efficient computation of pairings on elliptic curves with even embedding degree since the advent of pairing-based cryptography.
Emmanuel Fouotsa +2 more
doaj +1 more source
Algebraic, Analytic, and Computational Number Theory and Its Applications
Mathematics, 2023 Analytic number theory is a branch of number theory which inherits methods from mathematical analysis in order to solve difficult problems about the integers [...]
Diana Savin +2 more
doaj +1 more source
On simple modules with singular highest weights for so2l+1(K) [PDF]
Қарағанды университетінің хабаршысы. Математика сериясы, 2022 In this paper, we study formal characters of simple modules with singular highest weights over classical Lie algebras of type B over an algebraically closed field of characteristic p ≥ h, where h is the Coxeter number. Assume that the highest weights of
Sh.Sh. Ibraev +2 more
doaj +2 more sources
Finiteness of cohomology groups of stacks of shtukas as modules over Hecke algebras, and applications [PDF]
Épijournal de Géométrie Algébrique, 2020 In this paper we prove that the cohomology groups with compact support of stacks of shtukas are modules of finite type over a Hecke algebra. As an application, we extend the construction of excursion operators, defined by V.
Cong Xue
doaj +1 more source
N\'eron models of Jacobians over bases of arbitrary dimension [PDF]
Épijournal de Géométrie Algébrique, 2022 We work with a smooth relative curve $X_U/U$ with nodal reduction over an excellent and locally factorial scheme $S$. We show that blowing up a nodal model of $X_U$ in the ideal sheaf of a section yields a new nodal model, and describe how these models ...
Thibault Poiret
doaj +1 more source
On the Prym variety of genus 3 covers of genus 1 curves [PDF]
Épijournal de Géométrie Algébrique, 2018 Given a generic degree-2 cover of a genus 1 curve D by a non hyperelliptic genus 3 curve C over a field k of characteristic different from 2, we produce an explicit genus 2 curve X such that Jac(C) is isogenous to the product of Jac(D) and Jac(X).
Christophe Ritzenthaler +1 more
doaj +1 more source
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination [PDF]
Logical Methods in Computer Science, 2012 This paper describes a formalization of discrete real closed fields in the Coq proof assistant. This abstract structure captures for instance the theory of real algebraic numbers, a decidable subset of real numbers with good algorithmic properties.
Assia Mahboubi, Cyril Cohen
doaj +1 more source