Frobenius morphisms and representations of algebras

By introducing Frobenius morphisms on algebras and their modules over the algebraic closure of the finite field of elements, we establish a relation between the representation theory of over and that of the -fixed point algebra over . More precisely, we prove that the category    mod- of finite-dimensional -modules is equivalent to the subcategory of finite-dimensional -stable -modules, and, when is finite dimensional, we establish a bijection between the isoclasses of indecomposable -modules and the -orbits of the isoclasses of indecomposable -modules. Applying the theory to representations of quivers with automorphisms, we show that representations of a modulated quiver (or a species) over can be interpreted as -stable representations of the corresponding quiver over . We further prove that every finite-dimensional hereditary algebra over is Morita equivalent to some , where is the path algebra of a quiver over and is induced from a certain automorphism of . A close relation between the Auslander-Reiten theories for and is established. In particular, we prove that the Auslander-Reiten (modulated) quiver of is obtained by ``folding" the Auslander-Reiten quiver of . Finally, by taking Frobenius fixed points, we are able to count the number of indecomposable representations of a modulated quiver over with a given dimension vector and to generalize Kac's theorem for all modulated quivers and their associated Kac-Moody algebras defined by symmetrizable generalized Cartan matrices.

     

Analytic representations in the three-dimensional Frobenius problem

We consider the Diophantine problem of Frobenius for the semigroup , where d ³ denotes the triple (d ₁,d ₂,d ₃), gcd (d ₁,d ₂,d ₃)=1. Based on the Hadamard product of analytic functions, we find the analytic representation of the diagonal elements a _kk (d ³) of Johnson’s matrix of minimal relations in terms of d ₁, d ₂, and d ₃. With our recent results, this gives the analytic representation of the Frobenius number F(d ³), genus G(d ³), and Hilbert series H(d ³;z) for the semigroups . This representation complements Curtis’s theorem on the nonalgebraic representation of the Frobenius number F(d ³). We also give a procedure for calculating the diagonal and off-diagonal elements of Johnson’s matrix.      

Some infinite dimensional representations of reductive groups with Frobenius maps

In this paper,we construct certain irreducible infinite dimensional representations of algebraic groups with Frobenius maps.In particular,a few classical results of Steinberg and Deligne&Lusztig on complex representations of finite groups of Lie type are extended to reductive algebraic groups with Frobenius maps.     

Graphical regular representations of free products of groups

If X is a Cayley graph of a group G possessing a normal subgroup N, then there is a quotient graph of X which is a Cayley graph of $\text{G}\text{N}$. With the aid of this result, it is shown that the free product of at least two and at most countably many groups, each of which is at most countably generated, admits a graphical regular representation.     

Frobenius pseudoprimes

The proliferation of probable prime tests in recent years has produced a plethora of definitions with the word ``pseudoprime' in them. Examples include pseudoprimes, Euler pseudoprimes, strong pseudoprimes, Lucas pseudoprimes, strong Lucas pseudoprimes, extra strong Lucas pseudoprimes and Perrin pseudoprimes. Though these tests represent a wealth of ideas, they exist as a hodge-podge of definitions rather than as examples of a more general theory. It is the goal of this paper to present a way of viewing many of these tests as special cases of a general principle, as well as to re-formulate them in the context of finite fields.

One aim of the reformulation is to enable the creation of stronger tests; another is to aid in proving results about large classes of pseudoprimes.

     

Frobenius non-classical curves

We would like to thank M. Homma who pointed out to us the case overlooked and suggested part of the above argument to show that any counterexample would be singular.     

The Frobenius Complex

Motivated by the classical Frobenius problem, we introduce the Frobenius poset on the integers ${\mathbb Z}$ , that is, for a sub-semigroup ?? of the non-negative integers ( ${\mathbb N}$ , +), we define the order by n ??_?? m if ${{m-n \in \Lambda}}$ . When ?? is generated by two relatively prime integers a and b, we show that the order complex of an interval in the Frobenius poset is either contractible or homotopy equivalent to a sphere. We also show that when ?? is generated by the integers {a, a?+?d, a?+?2d, . . . , a?+?(a?1)d}, the order complex is homotopy equivalent to a wedge of spheres.     

Generalized Frobenius groups

A pair (G. K) in whichG is a finite group andK◃G, 1<K<G, is said to satisfy (F2) if |C _G (x)|=|C _G/K (xK)| for allx∈G/K. First we survey all the examples known to us of such pairs in whichG is neither ap-group nor a Frobenius group with Frobenius kernelK. Then we show that under certain restrictions there are, essentially, all the possible examples.     

Typical Frobenius coverings

A covering p from a Cayley graph Cay（G, X） onto another Cay（H, Y） is called typical Frobenius if G is a Frobenius group with H as a Frobenius complement and the map p ： G →H is a group epimorphism. In this paper, we emphasize on the typical Frobenius coverings of Cay（H, Y）. We show that any typical Frobenius covering Cay（G, X） of Cay（H, Y） can be derived from an epimorphism /from G to H which is determined by an automorphism f of H. If Cay（G, X1） and Cay（G, X2） are two isomorphic typical Frobenius coverings under a graph isomorphism Ф, some properties satisfied by Фare given.     

Fibred Frobenius theorem

We give a version of Frobenius Theorem for fibred manifolds whose proof is shorter than the “short proofs” of the classical Frobenius Theorem. In fact, what shortens the proof is the fibred form of the statement, since it permits an inductive process which is not possible from the standard statement.     

Double Frobenius algebras

Some equivalent conditions for double Frobenius algebras to be strict ones are given. Then some examples of (strict or non-strict) double Frobenius algebras are presented. Finally, a sufficient and necessary condition for the trivial extension of a double Frobenius algebra to be a (strict) double Frobenius algebra is given.     

Perfect Frobenius complements

Let H be a finite Frobenius group with a perfect Frobenius complement G. Two new proofs that G is isomorphic to SL₂(5) are given.