Loop torsors and Abhyankar's lemma

Philippe Gille

2024-06-24

Abstract:We define the notion of loop torsors under certain group schemes defined over the localization of a regularhenselian ring A at a strict normal crossing divisor D. We provide a Galois cohomological criterion for classifying those torsors. We revisit also the related theory of loop torsors on Laurent polynomial rings.

Algebraic Geometry,Rings and Algebras

What problem does this paper attempt to address?

Loop torsors. Theory and applications

Philippe Gille,Vladimir Chernousov,Arturo Pianzola

2024-12-10

Abstract:Loop torsors over Laurent polynomial rings in characteristic 0 were originally introduced in relation to infinite dimensional Lie theory. Applications to other areas require a theory that can yields results in positive characteristic, and for group schemes that are not of finite type. The relation between loop and so-called toral torsors, is one of the central questions in the area. The present paper addresses this question in full generality.

Algebraic Geometry,Rings and Algebras
Loop group schemes and Abhyankar's lemma

Philippe Gille

2023-08-01

Abstract:We define the notion of reductive group schemes defined over the localization of a regular henselian ring A at a strict normal crossing divisor $D$. We provide a criterion for the existence for parabolic subgroups of a given type.

Algebraic Geometry
MODULAR FORMS AND TOPOLOGY

KEFENG LIU

DOI: https://doi.org/10.1090/conm/193/02374

1996-01-01

Abstract:We want to discuss various applications of modular forms in topology. The starting point is elliptic genus and its generalizations. The main techniques are the Atiyah-Singer index theorem, the Atiyah-Bott-Segal-Singer Lefschetz fixed point formula, Kac-Moody Lie algebras, modular forms and theta-functions. Just as the representations theory of classical Lie groups has close connections with the Atiyah-Singer index formula as exposed in [A1], the representation theory of loop groups plays very important role in our study. One of the most important new features of loop group representations is the modular invariance of the Kac-Weyl character formula, which allows us to derive many interesting new results and to unify many important old results in topology. In this paper we will develope along this line. We hope that the other features of loop group representations, such as fusion rules and tensor category structure may also be applied to topology. See the discussions in §3. The contents of this paper is organized in the following way. In §1 we introduce elliptic genus by combining index theory and the representation theory of loop groups. The relation of the classical index theory with representation theory of classical Lie groups was discussed in [A1]. Here one finds that just replacing the classical Lie groups by their corresponding loop groups, we get the complete theory of elliptic genus, or more generally the index theory on loop space. Especially the Dirac operator and the Witten genus of loop space are derived more convincingly in this way. Then all of the other well-known properties of elliptic genus, such as functional equations, characterizations by rigidity and fibrations, can be easily obtained. Here we only pick some less well-known results to discuss, for example the expressions of the parameters in elliptic genera in terms of theta-functions. Different from the classical Lie group case, a new feature in our situation appears, the modular invariance which, by combining with index theory, is applied to obtain many new topological results. This is the content of §2. Most results in this section are special cases of more general results. For simplicity we only give the main ideas of the proofs. We make some geometric constructions in §3 to understand elliptic cohomology. The construction in §3.3 is motivated by the vertex operator algebra construction of the monstrous moonshine module. In §3.1 we introduce vector
Finiteness properties of torsion fields of abelian varieties

Wojciech Gajda,Sebastian Petersen

2024-07-01

Abstract:Let $A$ be an abelian variety defined over a field $K.$ We study finite generation properties of the profinite group $\mathrm{Gal}(\Omega/K)$ and of certain closed normal subgroups thereof, where $\Omega$ is the torsion field of $A$ over $K$. In fact, we establish more general finite generation properties for monodromy groups attached to smooth projective varieties via étale cohomology. We apply this in order to give an independent proof and generalizations of a recent result of Checcoli and Dill about small exponent subfields of $\Omega/K$ in the number field case. We also give an application of our finite generation results in the realm of permanence principles for varieties with the weak Hilbert property.

Number Theory,Algebraic Geometry
On torsion-free nilpotent loops

Jacob Mostovoy,José M Pérez-Izquierdo,Ivan P Shestakov

DOI: https://doi.org/10.1093/qmath/haz010

2019-05-31

The Quarterly Journal of Mathematics

Abstract:Abstract We show that a torsion-free nilpotent loop (that is, a loop nilpotent with respect to the dimension filtration) has a torsion-free nilpotent left multiplication group of, at most, the same class. We also prove that a free loop is residually torsion-free nilpotent and that the same holds for any free commutative loop. Although this last result is much stronger than the usual residual nilpotence of the free loop proved by Higman, it is established, essentially, by the same method.
On abelian varieties whose torsion is not self-dual

Sarah Frei,Katrina Honigs,John Voight

2024-10-28

Abstract:We construct infinitely many abelian surfaces $A$ defined over the rational numbers such that, for a prime $\ell \leqslant 7$, the $\ell$-torsion subgroup of $A$ is not isomorphic as a Galois module to the $\ell$-torsion subgroup of its dual $A^\vee$. We do this by explicitly analyzing the action of the Galois group on the $\ell$-adic Tate module and its reduction modulo $\ell$. We offer a framework for these computations and illustrate its use in simpler examples before using it in the proof of our main result.

Number Theory,Algebraic Geometry
Derived categories of curves of genus one and torsors over abelian varieties

Niranjan Ramachandran,Jonathan Rosenberg

2023-09-27

Abstract:Suppose $C$ is a smooth projective curve of genus 1 over a perfect field $F$, and $E$ is its Jacobian. In the case that $C$ has no $F$-rational points, so that $C$ and $E$ are not isomorphic, $C$ is an $E$-torsor with a class $\delta(C)\in H^1(\text{Gal}(\bar F/F), E(\bar F))$. Then $\delta(C)$ determines a class $\beta \in \text{Br}(E)/\text{Br}(F)$ and there is a Fourier-Mukai equivalence of derived categories of (twisted) coherent sheaves $\mathcal D(C) \xrightarrow{\cong} \mathcal D(E, \beta^{-1})$. We generalize this result to higher dimensions; namely, we prove it also for torsors over abelian varieties.

Algebraic Geometry,High Energy Physics - Theory
On torsion in linearized Legendrian contact homology

Roman Golovko

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

2023-08-11

Abstract:In this short note we discuss certain examples of Legendrian submanifolds, whose linearized Legendrian contact (co)homology groups over integers have non-vanishing algebraic torsion. More precisely, for a given arbitrary finitely generated abelian group $G$ and a positive integer $n\geq 3$, $n\neq 4$, we construct examples of Legendrian submanifolds of the standard contact vector space $\mathbb R^{2n+1}$, whose $n-1$-th linearized Legendrian contact (co)homology over $\mathbb Z$ computed with respect to a certain augmentation is isomorphic to $G$.

Symplectic Geometry
The classification problem for extensions of torsion-free abelian groups, I

Martino Lupini

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

2022-04-11

Commutative Algebra

Abstract:Let $C,A$ be countable abelian groups. In this paper we determine the complexity of classifying extensions $C$ by $A$, in the cases when $C$ is torsion-free and $A$ is a $p$-group, a torsion group with bounded primary components, or a free $R$-module for some subring $R\subseteq \mathbb{Q}$. Precisely, for such $C$ and $A$ we describe in terms of $C$ and $A$ the potential complexity class in the sense of Borel complexity theory of the equivalence relation $\mathcal{R}_{\mathbf{Ext}\left( C,A\right) }$ of isomorphism of extensions of $C$ by $A$. This complements a previous result by the same author, settling the case when $C$ is torsion and $A$ is arbitrary. We establish the main result within the framework of Borel-definable homological algebra, recently introduced in collaboration with Bergfalk and Panagiotopoulos. As a consequence of our main results, we will obtain that if $C$ is torsion-free and $A$ is either a free $R$-module or a torsion group with bounded components, then an extension of $C$ by $A$ splits if and only if it splits on all finite-rank subgroups of $C$. This is a purely algebraic statements obtained with methods from Borel-definable homological algebra.
Torsion in $p$-adic étale cohomology: remarks and conjectures

Guido Bosco

2024-11-12

Abstract:Let $C$ be a complete algebraically closed extension of $\mathbb{Q}_p$, and let $\mathfrak{X}$ be a smooth formal scheme over $\mathcal{O}_C$. By the work of Bhatt--Morrow--Scholze, it is known that when $\mathfrak{X}$ is proper, the length of the torsion in the integral $p$-adic étale cohomology of the generic fiber $\mathfrak{X}_C$ is bounded above by the length of the torsion in the crystalline cohomology of its special fiber. In this note, we focus on the non-proper case and observe that when $\mathfrak{X}$ is affine, the torsion in the integral $p$-adic étale cohomology of $\mathfrak{X}_C$ can even be expressed as a functor of the special fiber, unlike in the proper case. As a consequence, we show that, surprisingly, if $\mathfrak{X}$ is affine, the integral $p$-adic étale cohomology groups of $\mathfrak{X}_C$ have finite torsion subgroups. We discuss further applications and propose conjectures predicting the torsion in the integral $p$-adic étale cohomology of a broader class of rigid-analytic varieties over $C$.

Algebraic Geometry,Number Theory
Loops with abelian inner mapping groups: An application of automated deduction

Michael Kinyon,Robert Veroff,Petr Vojtěchovský

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

2015-09-17

Group Theory

Abstract:We describe a large-scale project in applied automated deduction concerned with the following problem of considerable interest in loop theory: If $Q$ is a loop with commuting inner mappings, does it follow that $Q$ modulo its center is a group and $Q$ modulo its nucleus is an abelian group? This problem has been answered affirmatively in several varieties of loops. The solution usually involves sophisticated techniques of automated deduction, and the resulting derivations are very long, often with no higher-level human proofs available.
Weakly Stable Torsion Classes

Rishi Vyas

DOI: https://doi.org/10.1007/s10468-018-9817-1

2018-08-08

Algebras and Representation Theory

Abstract:Weakly stable torsion classes were introduced by the author and Yekutieli to provide a torsion theoretic characterisation of the notion of weak proregularity from commutative algebra. In this paper we investigate weakly stable torsion classes, with a focus on aspects related to localisation and completion. We characterise when torsion classes arising from left denominator sets and idempotent ideals are weakly stable. We show that every weakly stable torsion class T can be associated with a dg ring AT; in well behaved situations there is a homological epimorphism A → AT. We end by studying torsion and completion with respect to a single regular and normal element.

mathematics
Torsors under finite and flat group schemes of rank p with Galois action

Mohamed saidi

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

2001-07-03

Abstract:In this note we study the geometry of torsors under flat and finite commutative group schemes of rank p above curves in characteristic p and above relative curves over a complete discrete valuation ring of inequal characteristics. In bothe cases we study the Galois action of the Galois group of the base field on these torsors. We also study degeneration of $\mu_p$-torsors from characteristic 0 to characteristic p and show that this degeneration is compatible with the Galois action. We then discuss the lifting of torsors under flat and commutative group schemes of rank p from positive to 0 characteristics. finally, for a proper and smooth curve X over a complete discrete valuation field of inequal characteristics we show the existence of a canonical Galois equivariant filtration on the first etale cohomology group of the geometric fibre of X with values in $\mu_p$. This apaper is the first of a series of papers [Sa] and [Sa-1] where we compute the vanishing cycles arising from degeneration of $\mu_p$-torsors above curves as well as the semi-stable reduction of these torsors and the Galois action on them.

Algebraic Geometry
On a Galois property of fields generated by the torsion of an abelian variety

S. Checcoli,G. A. Dill

DOI: https://doi.org/10.1112/blms.13149

IF: 1.036

2024-09-20

Bulletin of the London Mathematical Society

Abstract:In this article, we study a certain Galois property of subextensions of k(Ators) , the minimal field of definition of all torsion points of an abelian variety A defined over a number field k . Concretely, we show that each subfield of k(Ators) that is Galois over k (of possibly infinite degree) and whose Galois group has finite exponent is contained in an abelian extension of some finite extension of k . As an immediate corollary of this result and a theorem of Bombieri and Zannier, we deduce that each such field has the Northcott property, that is, does not contain any infinite set of algebraic numbers of bounded height.

mathematics
A characterisation of higher torsion classes

Jenny August,Johanne Haugland,Karin M. Jacobsen,Sondre Kvamme,Yann Palu,Hipolito Treffinger

2024-06-18

Abstract:Let $\mathcal{A}$ be an abelian length category containing a $d$-cluster tilting subcategory $\mathcal{M}$. We prove that a subcategory of $\mathcal{M}$ is a $d$-torsion class if and only if it is closed under $d$-extensions and $d$-quotients. This generalises an important result for classical torsion classes. As an application, we prove that the $d$-torsion classes in $\mathcal{M}$ form a complete lattice. Moreover, we use the characterisation to classify the $d$-torsion classes associated to higher Auslander algebras of type $\mathbb{A}$, and give an algorithm to compute them explicitly. The classification is furthermore extended to the setup of higher Nakayama algebras.

Representation Theory
Remarks on cotorsion theories

Alexandru Stanculescu

2024-08-16

Abstract:We present some results from classical homological algebra using the language of cotorsion theories in abelian categories. The results are a couple of foundational facts about homological dimension, the Kunneth formula and the universal coefficients formula. We also present some ''totally acyclic'' cotorsion theories and revisit some results from the literature concerning resolutions of chain complexes in abelian categories.

Category Theory,K-Theory and Homology
On modules whose dual is of finite Gorenstein dimension: The $k$-torsion, homological criteria, and applications in modules of differentials of order $n$

Victor D. Mendoza-Rubio,Victor H. Jorge-Pérez

2024-05-13

Abstract:In this paper, we aim to obtain some results under the condition that the dual of a module has finite Gorenstein dimension. In this direction we derive results involving vanishing of Ext as well as the freeness or totally reflexivity of modules. For instance, we provide a generalization of a celebrated theorem by Evans and Griffith, obtain criteria for the totally reflexivity of modules over Cohen-Macaulay rings as well as of locally totally modules reflexive on the punctured spectrum, and recover a result by Araya. Moreover, we prove that the Auslander-Reiten conjecture holds true for all finitely generated modules $M$ over a Noetherian local ring $R$ such that $\operatorname{G-dim}_R(\operatorname{Hom}_R(M,R))<\infty$ and $\operatorname{pd}_R(\operatorname{Hom}_R(M,M))<\infty$. Additionally, we derive Gorenstein criteria under the condition that the dual of certain modules is of finite Gorenstein dimension. Furthermore, we explore some applications in the theory of the modules of Kähler differentials of order $n\geq 1$, specifically concerning the $k$-torsionfreeness of these modules and the Herzog-Vasconcelos's conjecture.

Commutative Algebra
On higher Jacobians, Laplace equations and Lefschetz properties

Charles Almeida,Aline V. Andrade,Rodrigo Gondim

2023-11-04

Abstract:Let $A$ be a standard graded $\mathbb{K}$-algebra of finite type over an algebraically closed field of characteristic zero. We use apolarity to construct, for each degree $k$, a projective variety whose osculating defect in degree $s$ is equivalent to the non maximality of the rank of the multiplication map for a power of a general linear form $\times L^{k-s}: A_s \to A_k$. In the Artinian case, this notion corresponds to the failure of the Strong Lefschetz property for $A$, which allows to reobtain some of the foundational theorems in the field. It also implies the SLP for codimension two Artinian algebras, a known result. The results presented in this work provide new insights on the geometry of monomial Togliatti systems, and offer a geometric interpretation of the vanishing of higher order Hessians.

Algebraic Geometry,Commutative Algebra
Bordism classes of loops and Floer's equation in cotangent bundles

Broćić, Filip,Cant, Dylan

DOI: https://doi.org/10.1007/s11784-024-01114-x

2024-06-09

Journal of Fixed Point Theory and Applications

Abstract:For each representative of a bordism class in the free loop space of a manifold, we associate a moduli space of finite length Floer cylinders in the cotangent bundle. The left end of the Floer cylinder is required to be a lift of one of the loops in , and the right end is required to lie on the zero section. Under certain assumptions on the Hamiltonian functions, the length of the Floer cylinder is a smooth proper function, and evaluating the level sets at the right end produces a family of loops cobordant to . The argument produces arbitrarily long Floer cylinders with certain properties. We apply this to prove an existence result for 1-periodic orbits of certain Hamiltonian systems in cotangent bundles, and also to estimate the relative Gromov width of starshaped domains in certain cotangent bundles. The moduli space is similar to moduli spaces considered in Abouzaid (J Symp Geom 10(1):27–79, 2012), Abbondandolo and Figalli (J Differ Equ 234:626–653, 2007) and Abbondandolo and Schwarz (Geom Topol 14:1569–1722, 2010) for Tonelli Hamiltonians. The Hamiltonians we consider are not Tonelli, but rather of "contact-type" in the symplectization end.

mathematics, applied

Loop torsors and Abhyankar's lemma

Loop torsors. Theory and applications

Loop group schemes and Abhyankar's lemma

MODULAR FORMS AND TOPOLOGY

Finiteness properties of torsion fields of abelian varieties

On torsion-free nilpotent loops

On abelian varieties whose torsion is not self-dual

Derived categories of curves of genus one and torsors over abelian varieties

On torsion in linearized Legendrian contact homology

The classification problem for extensions of torsion-free abelian groups, I

Torsion in $p$-adic étale cohomology: remarks and conjectures

Loops with abelian inner mapping groups: An application of automated deduction

Weakly Stable Torsion Classes

Torsors under finite and flat group schemes of rank p with Galois action

On a Galois property of fields generated by the torsion of an abelian variety

A characterisation of higher torsion classes

Remarks on cotorsion theories

On modules whose dual is of finite Gorenstein dimension: The $k$-torsion, homological criteria, and applications in modules of differentials of order $n$

On higher Jacobians, Laplace equations and Lefschetz properties

Bordism classes of loops and Floer's equation in cotangent bundles