Complexity and cohomology of cohomological Mackey functors

Let k be a field of characteristic p>0. Call a finite group G a poco group over k if any finitely generated cohomological Mackey functor for G over k has polynomial growth. The main result of this paper is that G is a poco group over k if and only if the Sylow p-subgroups of G are cyclic, when p>2, or have sectional rank at most 2, when p=2.A major step in the proof is the case where G is an elementary abelian p-group. In particular, when p=2, all the extension groups between simple functors can be determined completely, using a presentation of the graded algebra of self extensions of the simple functor , by explicit generators and relations.     

An equivariant tensor product on Mackey functors

For all subgroups H of a cyclic p-group G we define norm functors that build a G-Mackey functor from an H-Mackey functor. We give an explicit construction of these functors in terms of generators and relations based solely on the intrinsic, algebraic properties of Mackey functors and Tambara functors. We use these norm functors to define a monoidal structure on the category of Mackey functors where Tambara functors are the commutative ring objects.     

On the refined class number formula of Gross

We verify Gross's refined class number formula for abelian extensions of global function fields of prime exponent.     

A family of quintic cyclic fields with even class number parameterized by rational points on an elliptic curve

We give a family of quintic cyclic fields with even class number parametrized by rational points on an elliptic curve associated with Emma Lehmer's quintic polynomial. Further, we use the arithmetic of elliptic curves and the Chebotarev density theorem to show that there are infinitely many such fields.     

Topology of dynamical systems in finite groups and number theory

We study and develop a very new object introduced by V.I. Arnold: a monad is a triple consisting of a finite set, a map from that finite set to itself and the monad graph which is the directed graph whose vertices are the elements of the finite set and whose arrows lead each vertex to its image (by the map). We consider the case in which the finite set entering in the monad definition is a finite group G and the map is the Frobenius map, for some k∈Z. We study the Frobenius dynamical system defined by the iteration of the monad fk, and also study the combinatorics and topology (i.e., the discrete invariants) of the monad graph. Our study provides useful information about several structures on the group associated to the monad graph. So, for example, several properties of the quadratic residues of finite commutative groups can be obtained in terms of the graph of the Frobenius monad .     

Central derivatives of <Emphasis Type="Italic">L</Emphasis>-functions in Hida families

We prove a result of the following type: given a Hida family of modular forms, if there exists a weight two form in the family whose L-function vanishes to exact order one at s = 1, then all but finitely many weight two forms in the family enjoy this same property. The analogous result for order of vanishing zero is also true, and is an easy consequence of the existence of the Mazur–Kitagawa two-variable p-adic L-function. This research was supported in part by NSF grant DMS-0556174.     

Exceptional units and Euclidean number fields

By a result of H.W. Lenstra, one can prove that a number field is Euclidean with the aid of exceptional units. We describe two methods computing exceptional sequences, i.e., sets of units such that the difference of any two of them is still a unit. The second method is based on a graph theory algorithm for the maximum clique problem. This yielded 42 new Euclidean number fields in degrees 8, 9, 10, 11 and 12. Received: 16 May 2006     

The disconnection number of a graph

The disconnection number d(X) is the least number of points in a connected topological graph X such that removal of d(X) points will disconnect X (Nadler, 1993 [6]). Let Dn denote the set of all homeomorphism classes of topological graphs with disconnection number n. The main result characterizes the members of Dn+1 in terms of four possible operations on members of Dn. In addition, if X and Y are topological graphs and X is a subspace of Y with no endpoints, then d(X)?d(Y) and Y obtains from X with exactly d(Y)−d(X) operations. Some upper and lower bounds on the size of Dn are discussed.The algorithm of the main result has been implemented to construct the classes Dn for n?8, to estimate the size of D₉, and to obtain information on certain subclasses such as non-planar graphs (n?9) and regular graphs (n?10).     

Quasi-planar graphs have a linear number of edges

A graph is calledquasi-planar if it can be drawn in the plane so that no three of its edges are pairwise crossing. It is shown that the maximum number of edges of a quasi-planar graph withn vertices isO(n).Work on this paper by Pankaj K. Agarwal, Boris Aronov and Micha Sharir has been supported by a grant from the U.S.-Israeli Binational Science Foundation. Work on this paper by Pankaj K. Agarwal has also been supported by NSF Grant CCR-93-01259, by an Army Research Office MURI grant DAAH04-96-1-0013, by an NYI award, and by matching funds from Xerox Corporation. Work on this paper by Boris Aronov has also been supported by NSF Grant CCR-92-11541 and by a Sloan Research Fellowship. Work on this paper by János Pach, Richard Pollack, and Micha Sharir has been supported by NSF Grants CCR-91-22103 and CCR-94-24398. Work by János Pach was also supported by Grant OTKA-4269 and by a CUNY Research Award. Work by Richard Pollack was also supported by NSF Grants CCR-94-02640 and DMS-94-00293. Work by Micha Sharir was also supported by NSF Grant CCR-93-11127, by a Max-Planck Research Award, and by grants from the Israel Science Fund administered by the Israeli Academy of Sciences, and the G.I.F., the German-Israeli Foundation for Scientific Research and Development. Part of the work on this paper was done during the participation of the first four authors in the Special Semester on Computational and Combinatorial Geometry organized by the Mathematical Research Institute of Tel Aviv University, Spring 1995.     

Connected graphs containing a given connected graph as a unique greatest common subgraph

Those connected graphsG are determined for which there exist nonisomorphic connected graphs of equal size containingG as a unique greatest common subgraph. Analogous results are also obtained for weakly connected and strongly connected digraphs, as well as for induced subgraphs and induced subdigraphs.This research was supported by a Western Michigan University faculty research fellowship.This research was supported in part by a Western Michigan University research assistantship from the Graduate College and the College of Arts and Sciences.     

On Galois representations for abelian varieties with complex and real multiplications

In this paper, we study the image of l-adic representations coming from Tate module of an abelian variety defined over a number field. We treat abelian varieties with complex and real multiplications. We verify the Mumford-Tate conjecture for a new class of abelian varieties with real multiplication.     

Integral and modular representations attached to the Selmer group of an elliptic curve with complex multiplication

Let E be an elliptic curve with complex multiplication over the ring of integers of an imaginary quadratic field K. Denote by p an odd prime that splits into in and by the unique -extension of K totally ramified above . It is well-known that the Selmer group attached to any finite extension of is analogous to the minus part of the p-class group of divisors of the cyclotomic - extensions of CM number fields. One of the most striking examples of this analogy is the existence of a translation formula à la Kida for the codimension of the Selmer group at the top of the tower. In this article we carry on the analogy with the presentations of results similar to those proven by Gold and Madan in the cyclotomic case (see [8]), which were the continuation of Kida's work. More precisely, we describe the -structure of the Selmer group when G is a cyclic group of order p or . In addition, we study the modular representation of G on the subgroup of points of order p of the Selmer group, when G is cyclic of order . Received December 3, 1997     

Secondary derived functors and the Adams spectral sequence

Classical homological algebra takes place in additive categories. In homotopy theory such additive categories arise as homotopy categories of “additive groupoid enriched categories”, in which a secondary analog of homological algebra can be performed. We introduce secondary chain complexes and secondary resolutions leading to the concept of secondary derived functors. As a main result we show that the E₃-term of the Adams spectral sequence can be expressed as a secondary derived functor. This result can be used to compute the E₃-term explicitly by an algorithm.     

Conjugation in Brauer algebras and applications to character theory

The Brauer algebra has a basis of diagrams and these generate a monoid H consisting of scalar multiples of diagrams. Following a recent paper by Kudryavtseva and Mazorchuk, we define and completely determine three types of conjugation in H. We are thus able to define Brauer characters for Brauer algebras which share many of the properties of Brauer characters defined for finite groups over a field of prime characteristic. Furthermore, we reformulate and extend the theory of characters for Brauer algebras as introduced by Ram to the case when the Brauer algebra is not semisimple.     

Right distributive quasigroups on algebraic varieties

In this paper we develop a structure theory of algebraic right distributive quasigroups which correspond to closed and connected conjugacy classes generating algebraic Fischer groups (in the sense of [6]) such that the mappingx x ^–1 ax, fora , is an automorphism of (as variety). We also give examples of algebraic Fischer groups where this does not happen. It becomes clear that the class of algebraic right distributive quasigroups has nice properties concerning subquasigroups, normal subquasigroups and direct product.We give a complete classification of one- and two-dimensional as well as of minimal algebraic right distributive quasigroups.     

A theorem,like f⊘lner’s theorem on amenability,concerning residual properties of free groups

Let PL(F _q) denote the projective line over a Galois field F _q. Consider PSL (2, Z ) as a free product of two cyclic groups <x> and <y> of orders 2 and 3. We have shown that any homomorphism from PSL(2,Z) into PGL(2,q) can be extended to a homomorphism from PGL(2Z) into PGL(2q) except in the case where the order of the image of xyis 6 but the images of xand ydo not commute in PGL(2q). It has been shown also that every element in PGL(2,q), not of order 1,2 , or 6, is the image of xyunder some non-degenerate homomorphism. We have parametrized the conjugacy classes of non-degenerate homomorphisms α with the non-trivial elements of F _q. Due to this parametrization we have developed a useful mechanism by which one can construct.

a unique coset diagram (attributed to G. Higman) for each conjugacy class, depicting the action of PGL(2Z) on PL( F _q).     

Root numbers and ranks in positive characteristic

For a global field K and an elliptic curve E_η over K(T), Silverman's specialization theorem implies rank(E_η(K(T)))?rank(E_t(K)) for all but finitely many t∈P¹(K). If this inequality is strict for all but finitely many t, the elliptic curve E_η is said to have elevated rank. All known examples of elevated rank for K=Q rest on the parity conjecture for elliptic curves over Q, and the examples are all isotrivial.Some additional standard conjectures over Q imply that there does not exist a non-isotrivial elliptic curve over Q(T) with elevated rank. In positive characteristic, an analogue of one of these additional conjectures is false. Inspired by this, for the rational function field K=κ(u) over any finite field κ with characteristic ≠2, we construct an explicit 2-parameter family E_c,d of non-isotrivial elliptic curves over K(T) (depending on arbitrary c,d∈κ^×) such that, under the parity conjecture, each E_c,d has elevated rank.     

On the number of rational points of a plane algebraic curve

The number of F_q -rational points of a plane non-singular algebraic curve defined over a finite field F_q is computed, provided that the generic point of is not an inflexion and that is Frobenius non-classical with respect to conics. Received: 18 March 2003     

BGP-reflection functors and cluster combinatorics

We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the “truncated simple reflections” on the set of almost positive roots Φ_≥−1 associated with a finite dimensional semi-simple Lie algebra. Combining this with the tilting theory in cluster categories developed in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054], we give a unified interpretation via quiver representations for the generalized associahedra associated with the root systems of all Dynkin types (simply laced or non-simply laced). This confirms the Conjecture 9.1 in [A. Buan, R. Marsh, M. Reineke, I. Reiten, G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. (in press). math.RT/0402054] for all Dynkin types.