English
Related papers

Related papers: Quadratic Maps and Bockstein Closed Group Extensio…

200 papers

Given a field K, a quadratic extension field L is an extension of K that can be generated from K by adding a root of a quadratic polynomial with coefficients in K. This paper shows how ACL2(r) can be used to reason about chains of quadratic…

Logic in Computer Science · Computer Science 2020-09-30 Ruben Gamboa , John Cowles , Woodrow Gamboa

Let ${\bf G}$ be a connected reductive algebraic group defined over the finite field $\mathbb{F}_q$ with $q$ elements,where $q$ is a power of a prime number $p$. Let $\Bbbk$ be a field and we study the extensions of certain $\bk\bg$-modules…

Representation Theory · Mathematics 2024-06-25 Xiaoyu Chen , Junbin Dong

For a coalgebra $C_k$ over field $k$, we define the "coalgebra extension problem" as the question: what multiplication laws can we define on $C_k$ to make it a bialgebra over $k$? This paper answers this existence-uniqueness question for…

Quantum Algebra · Mathematics 2022-01-28 Aaron Brookner

We consider the existence problem of lifting a smooth contact map between Carnot groups to a smooth contact map between central extensions of the original groups. Our main result is a necessary and sufficient criterion formulated using the…

Differential Geometry · Mathematics 2025-08-21 Eero Hakavuori , Susanna Heikkilä , Toni Ikonen

Collino proved that the fundamental group of a certain Zariski open set of the symmetric square of a hyperelliptic curve is isomorphic to the integral Heisenberg group. We compute the mixed Hodge structure on this fundamental group, and…

Algebraic Geometry · Mathematics 2026-04-17 Daichi Arimatsu

For an odd prime p the cohomology ring of an elementary abelian p-group is polynomial tensor exterior. We show that the ideal of essential classes is the Steenrod closure of the class generating the top exterior power. As a module over the…

Group Theory · Mathematics 2015-02-23 Fatma Altunbulak Aksu , David J. Green

Equivariant tree models are statistical models used in the reconstruction of phylogenetic trees from genetic data. Here equivariant refers to a symmetry group imposed on the root distribution and on the transition matrices in the model. We…

Algebraic Geometry · Mathematics 2015-07-08 Jan Draisma , Rob H. Eggermont

In this paper we generalize some of these results for loop algebras and groups as well as for the Virasoro algebra to the two-dimensional case. We define and study a class of infinite dimensional complex Lie groups which are central…

High Energy Physics - Theory · Physics 2009-10-22 Pavel Etingof , Igor B. Frenkel

We classify extended Abelian Chern-Simons theories with gauge group $U(1)^n$ as extended $(2+1)$-dimensional topological quantum field theories. For an even integral nondegenerate lattice $(\Lambda,K)$, let $(G_K,q_K)$ denote its…

Quantum Algebra · Mathematics 2026-04-06 Daniel Galviz

We show that any Kahler extension of a finitely generated abelian group by a surface group of genus g at least 2 is virtually a product. Conversely, we prove that any homomorphism of an even rank, finitely generated abelian group into the…

Geometric Topology · Mathematics 2016-11-29 Corey Bregman , Letao Zhang

We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors…

Algebraic Geometry · Mathematics 2022-07-26 Peter Bruin

By a theorem of Roberts, the integral closure of a regular local ring in a finite abelian extension of its fraction field is Cohen-Macaulay, provided that the degree of the extension is coprime to the characteristic of the residue field. We…

Commutative Algebra · Mathematics 2026-02-06 Aryaman Maithani , Anurag K. Singh , Prashanth Sridhar

We consider two basic problems of algebraic topology, the extension problem and the computation of higher homotopy groups, from the point of view of computability and computational complexity. The extension problem is the following: Given…

Computational Geometry · Computer Science 2013-02-12 Martin Cadek , Marek Krcal , Jiri Matousek , Lukas Vokrinek , Uli Wagner

A generic smooth map of a closed $2k$-manifold into $(3k-1)$-space has a finite number of cusps ($\Sigma^{1,1}$-singularities). We determine the possible numbers of cusps of such maps. A fold map is a map with singular set consisting of…

Geometric Topology · Mathematics 2007-05-23 Tobias Ekholm , Andras Szucs , Tamas Terpai

In this work we introduce the notion of higher $\mathbb{E}$-extension groups for an extriangulated category $\mathcal{C}$ and study the quotients $\mathcal{X}_{n+1}^{\vee}/[\mathcal{X}]$ and $\mathcal{X}_{n+1}^{\wedge}/[\mathcal{X}]$ when…

Representation Theory · Mathematics 2023-09-27 Mindy Y. Huerta , Octavio Mendoza , Corina Sáenz , Valente Santiago

For a field $E$ of characteristic different from $2$ and cohomological $2$-dimension one, quadratic forms over the rational function field $E(X)$ are studied. A characterisation in terms of polynomials in $E[X]$ is obtained for having that…

Commutative Algebra · Mathematics 2021-07-16 Karim Johannes Becher , Parul Gupta

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…

Logic · Mathematics 2007-05-23 John Goodrick

In this paper, we introduce a new class of $\ell$-adic sheaves, which we call quadratic $\ell$-adic sheaves, on connected unipotent commutative algebraic groups over finite fields. They are sheaf-theoretic enhancements of quadratic forms on…

Number Theory · Mathematics 2023-05-25 Daichi Takeuchi

Let $E$ be a virtually central extension of the group $G$ by a finitely generated abelian group $A$. We show that $E$ carries a biautomatic structure if and only if $G$ has a biautomatic structure $L$ for which the cohomology class of the…

Group Theory · Mathematics 2016-09-06 Walter D. Neumann , Lawrence Reeves

We classify all finite-dimensional connected Hopf algebras with large abelian primitive spaces. We show that they are Hopf algebra extensions of restricted enveloping algebras of certain restricted Lie algebras. For any abelian matched pair…

Rings and Algebras · Mathematics 2015-07-02 Xingting Wang