More On Galois Cohomology, Definability And Differential Algebraic Groups

OMAR LEÓN SÁNCHEZ,DAVID MERETZKY,ANAND PILLAY

DOI: https://doi.org/10.1017/jsl.2024.25

2024-04-12

Journal of Symbolic Logic

Abstract://static.cambridge.org/content/id/urn%3Acambridge.org%3Aid%3Aarticle%3AS0022481224000252/resource/name/firstPage-pdf-S0022481224000252a.jpg

mathematics,logic

What problem does this paper attempt to address?

On the Eisenstein Cohomology of Arithmetic Groups

JS Li,J Schwermer

DOI: https://doi.org/10.1215/s0012-7094-04-12315-2

2004-01-01

Duke Mathematical Journal

Abstract:The cohomology H * (Gamma, E) of an arithmetic subgroup F of a connected reductive algebraic group G defined over some algebraic number field F can be interpreted in terms of the automorphic spectrum of Gamma. With this framework in place, there is a sum decomposition of the cohomology into the cuspidal cohomology (i.e., classes represented by cuspidal automorphic forms for G) and the so-called Eisenstein cohomology constructed as the span of appropriate residues or derivatives of Eisenstein series attached to cuspidal automorphic forms on the Levi components of proper parabolic F-subgroups of G. The main objective of this paper is to isolate a specific structural part in the Eisenstein cohomology. This pertains to regular Eisenstein cohomology classes attached to cuspidal automorphic representations whose archimedean component is tempered. It is shown that the cohomological degree of these classes is bounded from below by the constant q(0)(G(R)) = ((1 /2)[dim X-G(R) - (rk(G(R)) - rk(K-R))], where KR denotes a maximal compact subgroup of the real Lie group G(R), where XG(R) is the associated symmetric space. This investigation has various applications. One of these is a vanishing result,for the cohomology in the generic case (i.e., where coefficient system E has regular highest weight) the representation determining the in degrees below q(0) (G (R)). This is a sharp bound depending only on the underlying real Lie group G (R) (Corollary 5.6, Proposition 5.8). This result is supplemented by a qualitative structural result in the description of the cohomology in higher degrees by means of regular Eisenstein cohomology classes.
Galois cohomology and profinitely solitary Chevalley groups

Holger Kammeyer,Ryan Spitler

DOI: https://doi.org/10.1007/s00208-024-02808-w

2024-02-26

Mathematische Annalen

Abstract:For every number field and every Cartan Killing type, there is an associated split simple algebraic group. We examine whether the corresponding arithmetic subgroups are profinitely solitary so that the commensurability class of the profinite completion determines the commensurability class of the group among finitely generated residually finite groups. Assuming Grothendieck rigidity, we essentially solve the problem by Galois cohomological means.

mathematics
On the classification of Galois objects for finite groups

Cesar Galindo,Manuel Medina

DOI: https://doi.org/10.48550/arXiv.1006.3872

2010-06-19

Abstract:We classify Galois objects for the dual of a group algebra of a finite group over an arbitrary field.

Quantum Algebra
Galois groups over function fields of positive characteristic

John Conway,John McKay,Allan Trojan

DOI: https://doi.org/10.48550/arXiv.0811.0076

2008-11-03

Abstract:We describe examples motivated by the work of Serre and Abhyankar.

Number Theory,Group Theory
Positive positive-definite functions and measures on locally compact abelian groups

Alexandr Borisov

DOI: https://doi.org/10.48550/arXiv.math/9906126

1999-06-19

Abstract:The author was recently able to provide a cohomological interpretation of Tate's Riemann-Roch formula for number fields using some new harmonic analysis objects, ghost-spaces. When trying to investigate these objects in general, we realized the importance of functions and measures on locally compact abelian groups that are both positive and positive-definite at the same time. It looks like this class of functions and measures was not systematically studied before. The goal of this paper is to partially fill in this gap. We answer some of the natural questions involving these functions and measures, especially those that satisfy some extra integrability conditions. We also study some operations and constructions involving these functions and measures. There are several very interesting open questions, that we are only able to point out at this moment. In particular, the structure of the cone of such functions is not clear even when the group is just $\R.$

Functional Analysis
The short exact sequence in definable Galois cohomology

David Meretzky

2024-08-20

Abstract:In Remarks on Galois Cohomology and Definability [2], Pillay introduced definable Galois cohomology, a model-theoretic generalization of Galois cohomology. Let $M$ be an atomic and strongly $\omega$-homogeneous structure over a set of parameters $A$. Let $B$ be a normal extension of $A$ in $M$. We show that a short exact sequence of automorphism groups $1 \to \text{Aut}(M/B) \to \text{Aut}(M/A) \to \text{Aut}(B/A) \to 1$ induces a short exact sequence in definable Galois cohomology. We also discuss compatibilities with [3]. Our result complements the long exact sequence in definable Galois cohomology developed in More on Galois cohomology, definability and differential algebraic groups [4].

Logic
On Galois covers of curves and arithmetic of Jacobians

Alexandros Konstantinou,Adam Morgan

2024-07-11

Abstract:We study the arithmetic of curves and Jacobians endowed with the action of a finite group $G$. This includes a study of the basic properties, as $G$-modules, of their $\ell$-adic representations, Selmer groups, rational points and Shafarevich-Tate groups. In particular, we show that $p^\infty$-Selmer groups are self-dual $G$-modules, and give various `$G$-descent' results for Selmer groups and rational points. Along the way we revisit, and slightly refine, a construction going back to Kani and Rosen for associating isogenies to homomorphisms between permutation representations. With a view to future applications, it is convenient to work throughout with curves that are not assumed to be geometrically connected (or even connected); such curves arise naturally when taking Galois closures of covers of curves. For lack of a suitable reference, we carefully detail how to deduce the relevant properties of such curves and their Jacobians from the more standard geometrically connected case.

Number Theory
Cohomology of algebraic groups, Lie algebras, and finite groups of Lie type

Christopher P. Bendel

2023-07-08

Abstract:Let G be a reductive algebraic group over a field of prime characteristic. One can associate to G (or subgroups thereof) its Lie algebra, its Frobenius kernels, and the finite Chevalley group of points over a finite field. The representation theories of these structures are highly interconnected. This expository article will focus specifically on the cohomology theories of these structures and the relationships between them with the aim of highlighting a few key developments over the past 20 years and related open questions.

Representation Theory,Group Theory
Differential geometry and general relativity with algebraifolds

Tobias Fritz

2024-03-11

Abstract:It is often noted that many of the basic concepts of differential geometry, such as the definition of connection, are purely algebraic in nature. Here, we review and extend existing work on fully algebraic formulations of differential geometry which eliminate the need for an underlying manifold. While the literature contains various independent approaches to this, we focus on one particular approach that we argue to be the most natural one based on the definition of \emph{algebraifold}, by which we mean a commutative algebra $\mathcal{A}$ for which the module of derivations of $\mathcal{A}$ is finitely generated projective. Over $\mathbb{R}$ as the base ring, this class of algebras includes the algebra $C^\infty(M)$ of smooth functions on a manifold $M$, and similarly for analytic functions. An importantly different example is the Colombeau algebra of generalized functions on $M$, which makes distributional differential geometry an instance of our formalism. Another instance is a fibred version of smooth differential geometry, since any smooth submersion $M \to N$ makes $C^\infty(M)$ into an algebraifold with $C^\infty(N)$ as the base ring.Over any field $k$ of characteristic zero, examples include the algebra of regular functions on a smooth affine variety as well as any function field.

Differential Geometry,General Relativity and Quantum Cosmology,Mathematical Physics
Cohomology-Developed Matrices -- constructing families of weighing matrices and automorphism actions

Assaf Goldberger

2023-08-18

Abstract:The aim of this work is to construct families of weighing matrices via their automorphism group action. This action is determined from the $0,1,2$-cohomology groups of the underlying abstract group. As a consequence, some old and new families of weighing matrices are constructed. These include the Paley Conference, the Projective-Space, the Grassmannian, and the Flag-Variety weighing matrices. We develop a general theory relying on low dimensional group-cohomology for constructing automorphism group actions, and in turn obtain structured matrices that we call \emph{Cohomology-Developed matrices}. This "Cohomology-Development" generalizes the Cocyclic and Group Developments. The Algebraic structure of modules of Cohomology-Developed matrices is discussed, and an orthogonality result is deduced. We also use this algebraic structure to define the notion of \emph{quasiproducts}, which is a generalization of the Kronecker-product.

Group Theory
An Invitation to Coarse Groups

Arielle Leitner,Federico Vigolo

2023-07-07

Abstract:In this monograph we lay the foundation for a theory of coarse groups and coarse actions. Coarse groups are group objects in the category of coarse spaces, and can be thought of as sets with operations that satisfy the group axioms "up to uniformly bounded error". In the first part of this work, we develop the theory of coarse homomorphisms, quotients, and subgroups, and prove that coarse versions of the Isomorphism Theorems hold true. We also initiate the study of coarse actions and show how they relate to the fundamental observation of Geometric Group Theory. In the second part we explore a selection of specialized topics, such as the study of coarse group structures on set-groups, groups of coarse automorphisms and spaces of controlled maps. Here the main aim is to show how the theory of coarse groups connects with classical subjects. These include: number theory; the study of bi-invariant metrics on groups; quasimorphisms and stable commutator length; ${\rm Out}(F_n)$; topological group actions.

Group Theory,Category Theory,Metric Geometry
Differential cohomology (encyclopedia article)

Arun Debray

2023-12-22

Abstract:We give an overview of differential cohomology from the point of view of algebraic topology. This includes a survey of several different definitions of differential cohomology groups, a discussion of differential characteristic classes, an introduction to differential generalized cohomology theory, and some applications in physics.

Algebraic Topology,Mathematical Physics
Exercices adéliques

Pierre Colmez

2024-02-26

Abstract:We study the cohomology of the group of rational points of a linear algebraic group on adelic functional spaces, and we explore the relation with Emerton's completed cohomology.

Number Theory,Representation Theory
Cohomology and deformation theory of crossed homomorphisms of Leibniz algebras

Yizheng Li,Dingguo Wang

DOI: https://doi.org/10.1142/s0219498825501956

2024-02-16

Journal of Algebra and Its Applications

Abstract:Journal of Algebra and Its Applications, Ahead of Print. In this paper, we construct a differential graded Lie algebra whose Maurer–Cartan elements are given by crossed homomorphisms on Leibniz algebras. This allows us to define cohomology for a crossed homomorphism. Finally, we study linear deformations, formal deformations and extendibility of finite order deformations of a crossed homomorphism in terms of the cohomology theory.

mathematics, applied
Galois theory of differential schemes

Ivan Tomašić,Behrang Noohi

2024-07-31

Abstract:Since 1883, Picard-Vessiot theory had been developed as the Galois theory of differential field extensions associated to linear differential equations. Inspired by categorical Galois theory of Janelidze, and by using novel methods of precategorical descent applied to algebraic-geometric situations, we develop a Galois theory that applies to morphisms of differential schemes, and vastly generalises the linear Picard-Vessiot theory, as well as the strongly normal theory of Kolchin.

Algebraic Geometry,Commutative Algebra,Category Theory
Numerical Computation of Galois Groups

Jonathan D. Hauenstein,Jose Israel Rodriguez,Frank Sottile

DOI: https://doi.org/10.1007/s10208-017-9356-x

IF: 3.4388

2017-06-14

Foundations of Computational Mathematics

Abstract:The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. We give numerical methods to compute the Galois group and study it when it is not the full symmetric group. One algorithm computes generators, while the other studies its structure as a permutation group. We illustrate these algorithms with examples using a Macaulay2 package we are developing that relies upon Bertini to perform monodromy computations.

mathematics, applied,computer science, theory & methods
C*algebras and differential geometry

Alain Connes

DOI: https://doi.org/10.48550/arXiv.hep-th/0101093

2001-01-15

Abstract:This is the translation to appear in the "SUPERSYMMETRY 2000 - Encyclopaedic Dictionary" of the original paper, published in March 1980, (C.R. Acad. Sci. Paris, Ser. A-B, 290, 1980) in which basic notions of noncommutative geometry were introduced and applied to noncommutative tori. These include connections on finite projective modules, their curvature, and the Chern character. Finite projective modules on the noncommutative two-torus $ \Tb^2_{\theta}$ were realized as Schwartz spaces of vector valued functions on $\Rb$. Explicit constant curvature connections were constructed and a basic integrality phenomenon of the total curvature was displayed. The pseudo-differential calculus and the Atiyah-Singer index theorems were extended to Lie group actions on $C^*$ algebras and used to explain the above integrality of the total curvature by an index formula for finite difference-differential operators on the line. Recent interest in the hep-th literature for basic notions of noncommutative geometry in the case of noncommutative tori (cf for instance <a class="link-https" data-arxiv-id="hep-th/0012145" href="https://arxiv.org/abs/hep-th/0012145">hep-th/0012145</a> for an excellent review) prompted us to make the English translation of the original paper available.

High Energy Physics - Theory
Geometric Gauss-Dedekind

Rony A. Bitan

2023-12-18

Abstract:Gauss and Dedekind have shown a bijection between the set of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of primitive positive definite binary quadratic $\mathbb{Z}$-forms of the discriminant of $\mathbb{Q}(\sqrt{\Delta<0})$ and the class group of its ring of integers. Using étale cohomology we show an analogue of this correspondence in the positive characteristic. This leads to the description of the set of genera and to another result analogous to Gauss' one by which any form composed with itself belongs to the principal genus.

Algebraic Geometry
Galois groups of low dimensional abelian varieties over finite fields

Santiago Arango-Piñeros,Sam Frengley,Sameera Vemulapalli

2024-12-04

Abstract:We consider three isogeny invariants of abelian varieties over finite fields: the Galois group, Newton polygon, and the angle rank. Motivated by work of Dupuy, Kedlaya, and Zureick-Brown, we define a new invariant called the weighted permutation representation which encompasses all three of these invariants and use it to study the subtle relationships between them. We use this permutation representation to classify the triples of invariants that occur for abelian surfaces and simple abelian threefolds.

Number Theory,Algebraic Geometry
Galois covers of singular curves in positive characteristics

Soumyadip Das

DOI: https://doi.org/10.1007/s11856-024-2629-6

2024-04-30

Israel Journal of Mathematics

Abstract:We study the étale fundamental group of a singular reduced connected curve defined over an algebraically closed field of an arbitrary prime characteristic. It is shown that when the curve is projective, the étale fundamental group is a free product of the étale fundamental group of its normalization with a free finitely generated profinite group whose rank is well determined. A similar result is established for the tame fundamental groups of seminormal affine curves. In the affine case, we provide an Abhyankar-type complete group theoretic classification on which finite groups occur as the Galois groups for Galois étale connected covers over (singular) affine curves. An analogue of the Inertia Conjecture is also posed for certain singular curves.

mathematics

More On Galois Cohomology, Definability And Differential Algebraic Groups

On the Eisenstein Cohomology of Arithmetic Groups

Galois cohomology and profinitely solitary Chevalley groups

On the classification of Galois objects for finite groups

Galois groups over function fields of positive characteristic

Positive positive-definite functions and measures on locally compact abelian groups

The short exact sequence in definable Galois cohomology

On Galois covers of curves and arithmetic of Jacobians

Cohomology of algebraic groups, Lie algebras, and finite groups of Lie type

Differential geometry and general relativity with algebraifolds

Cohomology-Developed Matrices -- constructing families of weighing matrices and automorphism actions

An Invitation to Coarse Groups

Differential cohomology (encyclopedia article)

Exercices adéliques

Cohomology and deformation theory of crossed homomorphisms of Leibniz algebras

Galois theory of differential schemes

Numerical Computation of Galois Groups

C*algebras and differential geometry

Geometric Gauss-Dedekind

Galois groups of low dimensional abelian varieties over finite fields

Galois covers of singular curves in positive characteristics