Revisiting the number of simple $K_4$-groups

Shaohua Zhang,Wujie Shi

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

2013-07-31

Abstract:In this paper, by solving Diophantine equations involving simple $K_4$-groups, we will try to point out that it is not easy to prove the infinitude of simple $K_4$-groups. This problem goes far beyond what is known about Dickson's conjecture at present.

Number Theory

What problem does this paper attempt to address?

On the Cuspidal Cohomology of Arithmetic Groups

Jian-Shu Li,Joachim Schwermer

DOI: https://doi.org/10.1353/ajm.0.0073

IF: 1.835

2009-01-01

American Journal of Mathematics

Abstract:It is the main objective of this paper to show a vanishing result for cuspidal cohomology of arithmetic groups in classical groups~$G$ defined over some number field~$k$.Our approach relies on the fact that cuspidal automorphic forms are nonsingular in the sense of Howe. This result puts a strong constraint on the (archimedean components of) irreducible cuspidal automorphic representations of $G$that can possibly contribute to the cuspidal cohomology. Combining this with the classification of Vogan-Zuckerman of unitary representations with nonzero cohomologyprovides a constant $r_0(G/k)$, only depending on $G/k$, below which the cuspidal cohomology vanishes. We will give a formula for this constant for each classical group of type (I) in the classification scheme due to Weil. We conclude with making this result explicit for some split classical groups over a totally real algebraic number field.
Exterior Algebras and Two Conjectures on Finite Abelian Groups

Tao Feng,Zhi-Wei Sun,Qing Xiang

DOI: https://doi.org/10.1007/s11856-011-0037-1

2011-01-01

Israel Journal of Mathematics

Abstract:Let G be a finite abelian group with |G| > 1. Let a (1), aEuro broken vertical bar, a (k) be k distinct elements of G and let b (1), aEuro broken vertical bar, b (k) be (not necessarily distinct) elements of G, where k is a positive integer smaller than the least prime divisor of |G|. We show that there is a permutation pi on {1, aEuro broken vertical bar,k} such that a (1) b (pi(1)), aEuro broken vertical bar, a (k) b (pi(k)) are distinct, provided that any other prime divisor of |G| (if there is any) is greater than k!. This in particular confirms the Dasgupta-Karolyi-Serra-Szegedy conjecture for abelian p-groups. We also pose a new conjecture involving determinants and characters, and show that its validity implies Snevily's conjecture for abelian groups of odd order. Our methods involve exterior algebras and characters.
On some recent developments in Kähler geometry

Xiuxiong Chen,S. Donaldson,Song Sun

2013-01-01

Abstract:These are related, because the ideas involved in (1) form one of the main foundations for (2). More precisely, the proof of the Yau conjecture relies on an extension of the partial C estimate to metrics with conic singularities. Gang Tian has made claims to credit for these results. The purpose of this document is to rebut these claims on the grounds of originality, priority and correctness of the mathematical arguments. We acknowledge Tian’s many contributions to this field in the past and, partly for this reason, we have avoided raising our objections publicly over the last 15 months, but it seems now that this is the course we have to take in order to document the facts. In addition, this seems to us the responsible action to take and one we owe to our colleagues, especially those affected by these developments.
STUDY COVERS OF GROUPS VIA CHARACTERS AND NUMBER THEORY

Zhi-Wei Sun

2008-01-01

Abstract:Tools from number theory and algebra are very helpful in the study of some combinatorial problems. What is the smallest positive integer k such that an abelian group G can be irredundantly covered by k cosets of subgroups one of which has index n? We will talk about the solution to this combinatorial problem provided by G. Lettl and the speaker via characters of abelian groups and algebraic number theory. The Herzog-Schonheim conjecture asserts that if a group G is partitioned into k > 1 left cosets a1G1,... ,akGk then the indices (G : G1),... ,(G : Gk) cannot be distinct. We will also introduce the speaker's approach to the Herzog-Schonheim conjecture via analytic number theory and some combinatorial arguments. Some related conjectures will be also mentioned in the talk.
A Variety of Euler's Conjecture

Tianxin Cai,Yong Zhang

2013-01-01

Abstract:We consider a variety of Euler's conjecture, i.e., whether the Diophantine system n=a_1+a_2+⋯+a_s-1, a_1a_2⋯ a_s-1(a_1+a_2+⋯+a_s-1)=b^s has solutions n,b,a_i∈ℤ^+,i=1,2,…,s-1,s≥ 3. By using the theory of elliptic curves, we prove that it has no solutions n,b,a_i∈ℤ^+ for s=3, but for s=4 it has infinitely many solutions n,b,a_i∈ℤ^+ and for s≥ 5 there are infinitely many polynomial solutions n,b,a_i∈ℤ[t_1,t_2,…,t_s-3] with positive value satisfying this Diophantine system.
Finite Groups of Symplectic Automorphisms of Supersingular K3 surfaces in Odd Characteristics

Bin Wang,Zhiwei Zheng

2024-07-25

Abstract:In 2009, Dolgachev-Keum show that finite groups of tame symplectic automorphisms of K3 surfaces in positive characteristics are subgroups of the Mathieu group of degree 23 under mild conditions. In this paper, we utilize lattice-theoretic methods to investigate symplectic actions of finite groups G on K3 surfaces in odd characteristics. In the tame cases (i.e., the order of G is coprime with p) and all the superspecial cases, one can associate with the action a Leech pair which can be detected via Höhn-Mason's list. Notice that the superspecial cases have been resolved by Ohashi-Schütt. If the K3 surface is supersingular with Artin invariant at least two, we develop a new machinery called p-root pairs to detect possible symplectic finite group actions (without the assumption of tameness). The concept of p-root pair is closely related to root systems and Weyl groups. In particular, we recover many results by Dolgachev-Keum with a different method and give an upper bound for the exponent of p in |G|.

Algebraic Geometry,Group Theory
On a refined local converse theorem for SO(4)

Pan Yan,Qing Zhang

2024-05-27

Abstract:Recently, Hazeltine-Liu, and independently Haan-Kim-Kwon, proved a local converse theorem for $\mathrm{SO}_{2n}(F)$ over a $p$-adic field $F$, which says that, up to an outer automorphism of $\mathrm{SO}_{2n}(F)$, an irreducible generic representation of $\mathrm{SO}_{2n}(F)$ is uniquely determined by its twisted gamma factors by generic representations of $\mathrm{GL}_k(F)$ for $k=1,\dots,n$. It is desirable to remove the ``up to an outer automorphism" part in the above theorem using more twisted gamma factors, but this seems a hard problem. In this paper, we provide a solution to this problem for the group $\mathrm{SO}_4(F)$, namely, we show that a generic supercuspidal representation $\pi$ of $\mathrm{SO}_4(F)$ is uniquely determined by its $\mathrm{GL}_1$, $\mathrm{GL}_2$ twisted local gamma factors and a twisted exterior square local gamma factor of $\pi$.

Representation Theory
Direct proof of Mckay Correspondence and the representations of finite subgroups of $\operatorname{SO}(4)$

Rui Xiong

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

IF: 0.6

2020-01-31

Representation Theory

Abstract:The classic Mckay correspondence gives a connection between finite subgroups of $\operatorname{SU}(2)$ and the simply-laced Dynkin diagrams. In this article, a direct proof is presented. The bipartite structure of the Mckay diagrams is introduced. After that, the similar method can be used on finite subgroups of $\operatorname{SO}(4)$, we get a edges-coloured graph. We finally get some applications.
On the Infinitude of Some Special Kinds of Primes

Shaohua Zhang

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

2009-11-23

Abstract:The aim of this paper is to try to establish a generic model for the problem that several multivariable number-theoretic functions represent simultaneously primes for infinitely many integral points. More concretely, we introduced briefly the research background-the history and current situation-from Euclid's second theorem to Green-Tao theorem. We analyzed some equivalent necessary conditions that irreducible univariable polynomials with integral coefficients represent infinitely many primes, found new necessary conditions which perhaps imply that there are only finitely many Fermat primes, obtained an analogy of the Chinese Remainder Theorem, generalized Euler's function, the prime-counting function and Schinzel-Sierpinski's Conjecture and so on. Nevertheless, this is only a beginning and it miles to go. We hope that number theorists consider further it.

General Mathematics
Elementary proof that $\mathbb Z_p^4$ is a DCI-group

Joy Morris

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

2014-03-19

Abstract:A finite group $R$ is a DCI-group if, whenever $S$ and $T$ are subsets of $R$ with the Cayley graphs ${\rm Cay}(R,S)$ and ${\rm Cay}(R,T)$ isomorphic, there exists an automorphism $\varphi$ of $R$ with $S^\varphi=T$. Elementary abelian groups of order $p^4$ or smaller are known to be DCI-groups, while those of sufficiently large rank are known not to be DCI-groups. The only published proof that elementary abelian groups of order $p^4$ are DCI-groups uses Schur rings and does not work for $p=2$ (which has been separately proven using computers). This paper provides a simpler proof that works for all primes. Some of the results in this paper also apply to elementary abelian groups of higher rank, so may be useful for completing our determination of which elementary abelian groups are DCI-groups.

Group Theory,Combinatorics
Noether’s Problem for the Groups with a Cyclic Subgroup of Index 4

Ming-Chang Kang,Ivo M. Michailov,Jian Zhou

DOI: https://doi.org/10.1007/s00031-012-9195-4

2012-01-01

Transformation Groups

Abstract:Let G be a finite group and k be a field. Let G act on the rational function field k(x g : g ∈ G) by k-automorphisms defined by g ∙ x h = x gh for any g, h ∈ G. Noether's problem asks whether the fixed field k(G) = k(x g : g ∈ G) G is rational (i.e., purely transcendental) over k. Theorem 1. If G is a group of order 2 n (n ≥ 4) and of exponent 2 e such that (i) e ≥ n − 2 and (ii) $ {\zeta_{{{2^{{e - 1}}}}}} \in k $, then k(G) is k-rational. Theorem 2. Let G be a group of order 4n where n is any positive integer (it is unnecessary to assume that n is a power of 2). Assume that (i) char k ≠ 2, $ {\zeta_n} \in k $, and (ii) G contains an element of order n. Then k(G) is rational over k, except for the case n = 2 m and G ≃ C m ⋊ C 8 where m is an odd integer and the center of G is of even order (note that C m is normal in Cm ⋊ C 8); for the exceptional case, k(G) is rational over k if and only if at least one of −1; 2;−2 belongs to (k ×)2.
Congruent Numbers, Quadratic Forms and $$K_2$$

Qin Hourong

DOI: https://doi.org/10.1007/s00208-021-02263-x

2021-01-01

Mathematische Annalen

Abstract:We give a new and self-contained proof for an alternative form of Tunnell’s theorem on congruent numbers. The proof relies on more knowledge on quadratic forms with less calculation than Tunnell’s proof. The approach is based on our observation that the equality $$\#\{(x,y,z,w) \in \mathbb {Z}^4|p=2x^2+3y^2+3z^2+4w^2+2yz\}=\#\{(x,y,z) \in \mathbb {Z}^3|p^2=2x^2+4y^2+9z^2-4yz\}$$ holds for any odd prime p. The same method is applied to the elliptic curves $$E_n:~y^2=x^3+n^2x$$ and $$E_{n}:~~y^2=x(x-n)(x+3n)(E_{-n}:~~y^2=x(x+n)(x-3n))$$ ( $$\pi /3$$ ( $$2\pi /3$$ )-congruent elliptic curves), where we list, without proof, the analogous results. A series of criteria for congruent numbers are given. In particular, for a prime p, we show that if $$p\equiv 1\pmod {8}$$ is a congruent number then the 8-rank of $$K_2O_{\mathbb {Q}(\sqrt{p})}$$ equals one; if $$p\equiv 1\pmod {16}$$ with $$h(-p)\not \equiv h(-2p)\pmod {16}$$ then 2p is not a congruent number; and if $$p\equiv 1, q\equiv 3\pmod {8}$$ are two primes with $$h(-pq)\not \equiv h(-p)\pmod {8}$$ then pq is not a congruent number.
Quantitative characterization of finite simple groups: a complement

Wujie Shi

2024-08-24

Abstract:In this paper, we summarize the work on the characterization of finite simple groups and the study on finite groups with the set of element orders and two orders (the order of group and the set of element orders). Some related topics, and the applications together with their generalizations are also discussed. The original version of this article was published in Chinese in the journal Scientia Sinica Mathematica, no.53(2023), pp.931-952. This revised and expanded version has corrected several errors and added quite a few contents. Especially, it is pointed that this work has applications in mathematics and computational complexity theory.

Group Theory
The Gromov-Lawson-Rosenberg Conjecture for Z/4xZ/4

Noe Barcenas,Luis Eduardo Garcia-Hernandez,Raphael Reinauer

2024-08-15

Abstract:We prove the Gromov-Lawson-Rosenberg Conjecture for the group Z/4xZ/4 by computing the connective real k-homology of the classifying space with the Adams spectral sequence and two types of detection theorems for the kernel of the alpha invariant: one based on eta-invariants, closely following work of Botvinnik-Gilkey-Stolz, and a second one based on homological methods. Along the way, we determine differentials of the Adams spectral sequence for classifying spaces involved in the computation, and we study the cap structure of the Adams spectral sequence for sub-hopf algebras of the Steenrod algebra relevant to the computation of connective real and complex k-homology.

Algebraic Topology,Differential Geometry,K-Theory and Homology
A sufficient condition for $(α, β)$ Somos $4$ Hankel determinants

Ying Wang,Zihao Zhang

2023-06-15

Abstract:By using Sulanke-Xin continued fractions method, Xin proposed a recursion system to solve the Somos 4 Hankel determinant conjecture. We find Xin's recursion system indeed give a sufficient condition for $(\alpha, \beta)$ Somos $4$ sequences. This allows us to prove 4 conjectures of Barry on $(\alpha, \beta)$ Somos $4$ sequences in a unified way.

Combinatorics
Proof of a Conjecture on Permutation Polynomials over Finite Fields

Xiang-dong Hou

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

2013-04-09

Abstract:Let $k$ be a positive integer and $S_{2k}={\tt x}+{\tt x}^4+...+{\tt x}^{4^{2k-1}}\in\Bbb F_2[{\tt x}]$. It was recently conjectured that ${\tt x}+S_{2k}^{4^{2k}}+S_{2k}^{4^k+3}$ is a permutation polynomial of $\Bbb F_{4^{3k}}$. In this note, the conjecture is confirmed and a generalization is obtained.

Number Theory
Some Diophantine Equations Over Z[I] And Z[Root-2] With Applications To K-2 Of A Field

Kejian Xu,Hourong Qin

DOI: https://doi.org/10.1081/AGB-120006496

2002-01-01

Communications in Algebra

Abstract:Through determining all the solutions of x(4) + y(4) = i(sigma)omega(0)(mu)z(2) (where sigma = 0, 1, mu = 0, 1 and omega(0) = 1 + i) in Z[i] and of x(4) + y(4) = (-1)(sigma) omega(1)(mu)z(2) (where sigma = 0, 1, mu = 0, 1 and omega(1) = root-2) and x(4) - x(2)y(2) + y(4) = (-1)(sigma) z(2) (sigma = 0, 1) in Z[root-2], we have proved that i) G(2n) (Q(i)) is a subgroup of K-2 (Q(i)) iff n less than or equal to 2, ii) is a subgroup of K-2(Q(root-2)) iff n less than or equal to 2, iii) If n greater than or equal to 2, then G(2n3m) (Q(root-2)) is a subgroup of K-2(Q(root-2)) iff n = 2 and m = 0, which partially confirms a conjecture on K-2 posed by Browkin in [1].
Noether's Problem for Ŝ_4 and Ŝ_5

Ming-chang Kang,Jian Zhou

DOI: https://doi.org/10.2140/pjm.2012.258.349

2012-01-01

Pacific Journal of Mathematics

Abstract:Let k be a field, G be a finite group and k(x_g:g∈ G) be the rationalfunction field over k, on which G acts by k-automorphisms defined byh· x_g=x_hg for any g,h∈ G. Noether's problem asks whether thefixed subfield k(G):=k(x_g:g∈ G)^G is k-rational, i.e. purelytranscendental over k. If S_n is the double cover of thesymmetric group S_n, in which the liftings of transpositions and products ofdisjoint transpositions are of order 4, Serre shows thatQ(S_4) and Q(S_5) are not Q-rational.We will prove that, if k is a field such that char k ≠ 2, 3, andk(ζ_8) is a cyclic extension of k, then k(S_4) isk-rational. If it is assumed furthermore that chark=0, thenk(S_5) is also k-rational.
A new lower bound for the number of conjugacy classes

Burcu Çınarcı,Thomas Michael Keller

2023-11-14

Abstract:In 2003, Héthelyi and Külshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those primes $p$ for which $\sqrt{p-1}$ is an integer. This initiated a flurry of activity, leading to many generalizations and variations of the result; in particular, today the conjecture is known to be true for all finite groups. In this note, we put forward a natural new and stronger conjecture, which is sharp for all primes $p$, and we prove it for solvable groups, and when $p$ is large, also for arbitrary groups.

Group Theory
Nonsolvable Groups Satisfying the Prime-Power Hypothesis

Yanjun Liu,Xueling Song,Jiping Zhang

DOI: https://doi.org/10.1016/j.jalgebra.2014.02.010

IF: 0.908

2015-01-01

Journal of Algebra

Abstract:Let G be a finite group with the degree set cd(G) of its complex irreducible characters. We call that G satisfies the prime-power hypothesis if, for distinct degrees χ(1),ψ(1)∈cd(G), the greatest common divisor gcd⁡(χ(1),ψ(1)) is a prime power. In this paper, we show that |cd(G)|⩽18 if G is a nonsolvable group satisfying the prime-power hypothesis.

Revisiting the number of simple $K_4$-groups

On the Cuspidal Cohomology of Arithmetic Groups

Exterior Algebras and Two Conjectures on Finite Abelian Groups

On some recent developments in Kähler geometry

STUDY COVERS OF GROUPS VIA CHARACTERS AND NUMBER THEORY

A Variety of Euler's Conjecture

Finite Groups of Symplectic Automorphisms of Supersingular K3 surfaces in Odd Characteristics

On a refined local converse theorem for SO(4)

Direct proof of Mckay Correspondence and the representations of finite subgroups of $\operatorname{SO}(4)$

On the Infinitude of Some Special Kinds of Primes

Elementary proof that $\mathbb Z_p^4$ is a DCI-group

Noether’s Problem for the Groups with a Cyclic Subgroup of Index 4

Congruent Numbers, Quadratic Forms and $$K_2$$

Quantitative characterization of finite simple groups: a complement

The Gromov-Lawson-Rosenberg Conjecture for Z/4xZ/4

A sufficient condition for $(α, β)$ Somos $4$ Hankel determinants

Proof of a Conjecture on Permutation Polynomials over Finite Fields

Some Diophantine Equations Over Z[I] And Z[Root-2] With Applications To K-2 Of A Field

Noether's Problem for Ŝ_4 and Ŝ_5

A new lower bound for the number of conjugacy classes

Nonsolvable Groups Satisfying the Prime-Power Hypothesis