Results 51 to 60 of about 686,932 (192)
Galois Connections for Recursive Types
, 2020 Building a static analyser for a real language involves modeling of large domains capturing the many available data types. To scale domain design and support efficient development of project-specific analyzers, it is desirable to be able to build, extend, and change abstractions in a systematic and modular fashion.
Ahmad Salim Al-Sibahi +3 more
openaire +3 more sources
A trace–path integral formula over function fields
Journal of the London Mathematical Society, Volume 114, Issue 2, August 2026.Abstract We show that an arithmetic path integral over the ℓ$\ell$‐torsion of a Jacobian J[ℓ]$J[\ell]$ is equal to the trace of the Frobenius action on a representation of the Heisenberg group H(J[ℓ])$H(J[\ell])$, up to an explicitly determined sign.
Yan Yau Cheng
wiley +1 more source
Transport via Partial Galois Connections and Equivalences [PDF]
, 2023 Multiple types can represent the same concept. For example, lists and trees can both represent sets. Unfortunately, this easily leads to incomplete libraries: some set-operations may only be available on lists, others only on trees.
Kappelmann, Kevin
core +1 more source
Monodromy of a Class of Logarithmic Connections on an Elliptic Curve
Symmetry, Integrability and Geometry: Methods and Applications, 2007 The logarithmic connections studied in the paper are direct images of regular connections on line bundles over genus-2 double covers of the elliptic curve.
Francois-Xavier Machu
doaj
Basic tools and continuity-like properties in relator spaces [PDF]
Contributions to Mathematics, 2021 Michael Th. Rassias, Arpad Szaz
doaj +1 more source
Logics from Galois connections
International Journal of Approximate Reasoning, 2008 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jouni Järvinen +2 more
openaire +3 more sources
Heights on ‘hybrid orbits’ in Shimura varieties
Proceedings of the London Mathematical Society, Volume 133, Issue 2, August 2026.Abstract We prove the ‘hybrid conjecture’ which is a common generalisation of the André–Oort conjecture and the André–Pink–Zannier conjecture, in the case of Shimura varieties of abelian type.
Rodolphe Richard, Andrei Yafaev
wiley +1 more source
On 7‐adic Galois representations for elliptic curves over Q$\mathbb {Q}$
Proceedings of the London Mathematical Society, Volume 133, Issue 2, August 2026.Abstract In recent years, significant progress has been made on Mazur's Program B, with many authors beginning a systematic classification of all possible images of p$p$‐adic Galois representations attached to elliptic curves over Q$\mathbb {Q}$. Currently, the classification is only complete for p∈{2,3,13,17}$p \in \lbrace 2,3,13,17\rbrace$.
Lorenzo Furio, Davide Lombardo
wiley +1 more source
Galois structure of Zariski cohomology for weakly ramified covers of curves
, 2004 We compute equivariant Euler characteristics of locally free sheaves on curves, thereby generalizing several results of Kani and Nakajima. For instance, we extend Kani's computation of the Galois module structure of the space of global meromorphic ...
Koeck, Bernhard
core +1 more source
The asymptotic Mahler measure of Gaussian periods
Proceedings of the London Mathematical Society, Volume 133, Issue 2, August 2026.Abstract We construct a sequence of cyclotomic integers (Gaussian periods) of particularly small Mahler measure/height. We study the asymptotics of their Mahler measure as a function of their conductor, to find that the growth rate is the (multivariate) Mahler measure of a family of log Calabi–Yau varieties of increasing dimension.
Gunther Cornelissen +2 more
wiley +1 more source