Special Moufang sets of finite dimension

Matthias Grüninger

2024-09-12

Abstract:We prove that a special Moufang sets with abelian root subgroups derive from a quadratic Jordan division algebra if a certain finiteness condition is satisfied.

Group Theory

What problem does this paper attempt to address?

On the dimension of the Fomin-Kirillov algebra and related algebras

Christoph Bärligea

2024-09-12

Abstract:In 1999, Fomin-Kirillov introduced the quadratic algebras $\mathcal{E}_m$ in terms of generators and relations which are the universal quadratic cover of the algebra generated by divided difference operators $\partial_{ij}$ acting on the polynomial ring $\mathbf{k}[x_1,\ldots,x_m]$. These algebras are mostly important due to their relations to Schubert calculus and geometry and to the general framework of quantum groups and Nichols algebras. Fomin and Kirillov asked about the dimension of $\mathcal{E}_m$. In this paper, we prove that $\mathcal{E}_m$ is infinite dimensional for all $m\geq 6$ which was a well-known conjecture. The techniques we use rely on braided differential calculus as developed by Liu and Bazlov as well as on the notion of integrals for Hopf algebras as introduced by Sweedler.

Quantum Algebra,Rings and Algebras
On, around, and beyond Frobenius' theorem on division algebras

Matej Brešar,Victor S. Shulman

DOI: https://doi.org/10.1080/03081087.2020.1761281

2020-05-18

Linear and Multilinear Algebra

Abstract:Frobenius' Theorem states that, besides the fields of real and complex numbers, the algebra of quaternions <math>H</math> is the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then characterize finite-dimensional real algebras that contain either a copy of <math>C</math>, a copy of <math>H</math>, or a pair of anticommuting invertible elements through the dimensions of their (left) ideals, and finally consider the problem of lifting algebraic elements modulo ideals.

mathematics
Special rank one groups are perfect

Anja Steinbach

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

2011-11-23

Abstract:T. De Medts, Y. Segev and K. Tent [Special Moufang sets, their root groups and their \mu-maps, Proc. Lond. Math. Soc. (3) 96 (2008), 767-791] proved that the little projective group of a special Moufang set M(U,\tau) is perfect provided that U has size at least 4. We give a short, elementary and self-contained argument, working with Timmesfeld's concept of special (abstract) rank one groups with arbitrary unipotent subgroups [Abstract root subgroups and simple groups of Lie type, Monographs in Mathematics, 95. Birkhäuser, 2001].

Group Theory
Abelian varieties that split modulo all but finitely many primes

Enric Florit

2024-04-12

Abstract:Let $A$ be a simple abelian variety over a number field $k$ such that $\operatorname{End}(A)$ is noncommutative. We show that $A$ splits modulo all but finitely many primes of $k$. We prove this by considering the subalgebras of $\operatorname{End}(A_{\mathfrak p})\otimes\mathbb{Q}$ which have prime Schur index. Our main tools are Tate's characterization of endomorphism algebras of abelian varieties over finite fields, and a Theorem of Chia-Fu Yu on embeddings of simple algebras.

Number Theory,Algebraic Geometry
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
Finite quotients of Fuchsian groups

Frankie Chan,Lindsey Styron

2024-10-27

Abstract:This work provides an effective algorithm for distinguishing finite quotients between two non-isomorphic finitely generated Fuchsian groups $\Gamma$ and $\Lambda$. It will suffice to take a finite quotient which is abelian, dihedral, a subgroup of $\mathrm{PSL}(2,\mathbf{F}_q)$, or an abelian extension of one of these 3. We will develop an approach for creating group extensions upon a shared finite quotient of $\Gamma$ and $\Lambda$ which between them have differing degrees of smoothness. Regarding the order of a finite quotient that distinguishes between $\Gamma$ and $\Lambda$, we establish an upperbound as a function of the genera, the number of punctures, and the cone orders arising in $\Gamma$ and $\Lambda$.

Group Theory,Geometric Topology
Subrings in Quadratic Fields Which Are Not Universal for GE 2

H You,S Chen

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

2003-01-01

The Quarterly Journal of Mathematics

Abstract:Let F be a quadratic field and let S be a finite set of places containing S-infinity, the set of infinite places in F. Let v be a finite place outside S, S' = S boolean OR {v}, R = O-S, and R' = O-S'. In this paper, some examples are given to show that if the prime ideal P in R corresponding to v is non-principal or the natural homomorphism R-* --> (R/P)(*) is not surjective then, although R is universal for GE(2), R' may not be universal for GE(2).
Abelian varieties with quaternion and complex multiplication

Dominik Ufer

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

2012-08-28

Abstract:In this paper we study abelian varieties which correspond to CM points in the coarse moduli space of principally polarized abelian varieties with multiplication by a maximal order in a quaternion algebra over a totally real number field. These are abelian varieties of even dimension with quaternion and complex multiplication. We describe them explicitly via isogenies to products of abelian varieties of smaller dimension together with estimates on the degree of the isogeny.

Algebraic Geometry
Arithmetic representations of fundamental groups II: finiteness

Daniel Litt

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

2018-09-11

Abstract:Let $X$ be a smooth curve over a finitely generated field $k$, and let $\ell$ be a prime different from the characteristic of $k$. We analyze the dynamics of the Galois action on the deformation rings of mod $\ell$ representations of the geometric fundamental group of $X$. Using this analysis, we prove analogues of the Shafarevich and Fontaine-Mazur finiteness conjectures for function fields over algebraically closed fields in arbitrary characteristic, and a weak variant of the Frey-Mazur conjecture for function fields in characteristic zero. For example, we show that if $X$ is a normal, connected variety over $\mathbb{C}$, the (typically infinite) set of representations of $\pi_1(X^{\text{an}})$ into $GL_n(\overline{\mathbb{Q}_\ell})$, which come from geometry, has no limit points. As a corollary, we deduce that if $L$ is a finite extension of $\mathbb{Q}_\ell$, then the set of representations of $\pi_1(X^{\text{an}})$ into $GL_n(L)$, which arise from geometry, is finite.

Algebraic Geometry,Number Theory
Moufang sets related to polarities in exceptional Moufang quadrangles of type F_4

Koen Struyve

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

2009-09-17

Abstract:Departing from a Moufang set related to a polarity in an exceptional Moufang quadrangle of type F_4, we construct a rank three geometry. The main property of this new geometry is that its automorphism group is identical to the one of the underlying Moufang set, providing a tool to study this Moufang set in a geometrical way. As a corollary we obtain that every automorphism of an exceptional Moufang quadrangle of type F_4 stabilizing the absolute points of a polarity, also centralizes the polarity. This handles the final case of a similar result for all polarities of Moufang n-gons.

Group Theory
Some results on certain finite-dimensional subalgebras of the hyperalgebra of a universal Chevalley group

Yutaka Yoshii

2023-11-12

Abstract:In the hyperalgebra of the $r$-th Frobenius kernel of a universal Chevalley group over a field of characteristic $p>0$, we study some subsets and the subalgebras generated by them and give some results. We are particularly interested in the case that $p$ is 'very small' and the Dynkin diagram is not simply-laced.

Rings and Algebras
On the Finiteness of the Set of Generalized Jacobians with Nontrivial Torsion Points over Algebraic Number Fields

V. P. Platonov,V. S. Zhgoon,G. V. Fedorov

DOI: https://doi.org/10.1134/s106456242360063x

2024-02-01

Doklady Mathematics

Abstract:For a smooth projective curve defined over an algebraic number field k , we investigate the finiteness of the set of generalized Jacobians of associated with modules defined over such that a fixed divisor representing a class of finite order in the Jacobian J of provides the torsion class in the generalized Jacobian . Various results on the finiteness and infiniteness of the set of generalized Jacobians with the above property are obtained depending on the geometric conditions on the support of , as well as on the conditions on the field k . These results are applied to the problem of the periodicity of a continued fraction expansion constructed in the field of formal power series for special elements of the field of functions of the hyperelliptic curve .

mathematics
On Jordan algebras that are factors of Matsuo algebras

Ilya Gorshkov,Andrey Mamontov,Alexey Staroletov

2024-05-21

Abstract:We describe all finite connected 3-transposition groups whose Matsuo algebras have nontrivial factors that are Jordan algebras. As a corollary, we show that if F is a field of characteristic 0, then there exist infinitely many primitive axial algebras of Jordan type 1/2 over F that are not factors of Matsuo algebras. As an illustrative example, we prove this for an exceptional Jordan algebra over F.

Rings and Algebras,Group Theory
A Uniform Version of a Finiteness Conjecture for CM Elliptic Curves

Abbey Bourdon

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

2013-05-23

Abstract:Let A be an abelian variety defined over a number field F. For a prime number $\ell$, we consider the field extension of F generated by the $\ell$-powered torsion points of A. According to a conjecture made by Rasmussen and Tamagawa, if we require these fields to be both a pro-$\ell$ extension of $F(\mu_{\ell^{\infty}})$ and unramified away from $\ell$, examples are quite rare. Indeed, it is expected that for a fixed dimension and field of definition, there exists such an abelian variety for only a finite number of primes. We prove a uniform version of the conjecture in the case where the abelian varieties are elliptic curves with complex multiplication. In addition, we provide explicit bounds in cases where the number field has degree less than or equal to 100.

Number Theory
Special subvarieties in the locus of intermediate Jacobians of cubic threefolds

Moritz Hartlieb

2023-05-15

Abstract:We study special subvarieties, i.e., subvarieties containing a dense subset of CM points, of the moduli space $A_5$ of principally polarized abelian varieties of dimension five, generically contained in the locus of intermediate Jacobians of cubic threefolds. The analogous question for Jacobians of curves is related to a conjecture of Coleman-Ort and has been studied by Shimura, Mostow, De Jong-Noot, Rohde, Moonen, Oort, Frediani, Ghigi and others. Adapting methods of Frediani, Ghigi and Penegini, we give a sufficient condition ensuring that the closure of the image of a family of smooth cubic threefolds with prescribed automorphisms via the period map is a special subvariety of $A_5$. By the work of Allcock, Carlson and Toledo, it is known that the family of cyclic cubic threefolds gives rise to a special subvariety. Analyzing the action of subgroups of the automorphism group of the Klein cubic threefold, we discover new examples of positive-dimensional special subvarieties arising from families of smooth cubic threefolds that are not contained in the locus of cyclic cubic threefolds.

Algebraic Geometry
Corestrictions of algebras and splitting fields

Daniel Krashen

DOI: https://doi.org/10.1090/s0002-9947-10-04967-6

IF: 1.3529

2010-04-26

Transactions of the American Mathematical Society

Abstract:Given a field F F , an étale extension L / F L/F and an Azumaya algebra A / L A/L , one knows that there are extensions E / F E/F such that A ⊗ F E A \otimes _F E is a split algebra over L ⊗ F E L \otimes _F E . In this paper we bound the degree of a minimal splitting field of this type from above and show that our bound is sharp in certain situations, even in the case where L / F L/F is a split extension. This gives in particular a number of generalizations of the classical fact that when the tensor product of two quaternion algebras is not a division algebra, the two quaternion algebras must share a common quadratic splitting field. In another direction, our constructions combined with results of Karpenko (1995) also show that for any odd prime number p p , the generic algebra of index p n p^n and exponent p p cannot be expressed nontrivially as the corestriction of an algebra over any extension field if n > p 2 n > p^2 .

mathematics
Frobenius' Theorem on Division Algebras

Matej Brešar

2024-05-03

Abstract:Frobenius' Theorem states that the only finite-dimensional real division algebras are the algebra of real numbers $\mathbb R$, the algebra of complex numbers $\mathbb C$, and the algebra of quaternions $\mathbb H$. We present a short proof which uses only standard undergraduate mathematics.

Rings and Algebras
The fixed point locus of the smooth Jordan quiver variety under the action of the finite subgroups of $\mathrm{SL}_2(\mathbb{C})$

Raphaël Paegelow

2024-07-01

Abstract:In this article, we study the decomposition into irreducible components of the fixed point locus under the action of $\Gamma$ a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$ of the smooth Nakajima quiver variety of the Jordan quiver. The quiver variety associated with the Jordan quiver is either isomorphic to the punctual Hilbert scheme in $\mathbb{C}^2$ or to the Calogero-Moser space. We describe the irreducible components using quiver varieties of McKay's quiver associated with the finite subgroup $\Gamma$ and we have given a general combinatorial model of the indexing set of these irreducible components in terms of certain elements of the root lattice of the affine Lie algebra associated with $\Gamma$. Finally, we prove that for every projective, symplectic resolution of a wreath product singularity, there exists an irreducible component of the fixed point locus of the punctual Hilbert scheme in the plane that is isomorphic to the resolution.

Representation Theory,Algebraic Geometry
Drinfeld singular moduli, hyperbolas, units

Bruno Anglès,Cécile Armana,Vincent Bosser,Fabien Pazuki

2024-04-11

Abstract:Let $q\geq2$ be a prime power and consider Drinfeld modules of rank 2 over $\mathbb{F}_q[T]$. We prove that there are no points with coordinates being Drinfeld singular moduli, on a family of hyperbolas $XY=\gamma$, where $\gamma$ is a polynomial of small degree. This is an effective André-Oort theorem for these curves. We also prove that there are at most finitely many Drinfeld singular moduli that are algebraic units, for every fixed $q\geq2$, and we give an effective bound on the discriminant of such singular moduli. We give in an appendix an inseparability criterion for values of some classical modular forms, generalising an argument used in the proof of our first result.

Number Theory
Integral Springer Theorem for Quadratic Lattices under Base Change of Odd Degree

Yong Hu,Jing Liu,Fei Xu

2024-10-14

Abstract:A quadratic lattice $M$ over a Dedekind domain $R$ with fraction field $F$ is defined to be a finitely generated torsion-free $R$-module equipped with a non-degenerate quadratic form on the $F$-vector space $F\otimes_{R}M$. Assuming that $F\otimes_{R}M$ is isotropic of dimension $\geq 3$ and that $2$ is invertible in $R$, we prove that a quadratic lattice $N$ can be embedded into a quadratic lattice $M$ over $R$ if and only if $S\otimes_{R}N$ can be embedded into $S\otimes_{R}M$ over $S$, where $S$ is the integral closure of $R$ in a finite extension of odd degree of $F$. As a key step in the proof, we establish several versions of the norm principle for integral spinor norms, which may be of independent interest.

Number Theory

Special Moufang sets of finite dimension

On the dimension of the Fomin-Kirillov algebra and related algebras

On, around, and beyond Frobenius' theorem on division algebras

Special rank one groups are perfect

Abelian varieties that split modulo all but finitely many primes

Finiteness properties of torsion fields of abelian varieties

Finite quotients of Fuchsian groups

Subrings in Quadratic Fields Which Are Not Universal for GE 2

Abelian varieties with quaternion and complex multiplication

Arithmetic representations of fundamental groups II: finiteness

Moufang sets related to polarities in exceptional Moufang quadrangles of type F_4

Some results on certain finite-dimensional subalgebras of the hyperalgebra of a universal Chevalley group

On the Finiteness of the Set of Generalized Jacobians with Nontrivial Torsion Points over Algebraic Number Fields

On Jordan algebras that are factors of Matsuo algebras

A Uniform Version of a Finiteness Conjecture for CM Elliptic Curves

Special subvarieties in the locus of intermediate Jacobians of cubic threefolds

Corestrictions of algebras and splitting fields

Frobenius' Theorem on Division Algebras

The fixed point locus of the smooth Jordan quiver variety under the action of the finite subgroups of $\mathrm{SL}_2(\mathbb{C})$

Drinfeld singular moduli, hyperbolas, units

Integral Springer Theorem for Quadratic Lattices under Base Change of Odd Degree