On Atkin-Swinnerton-Dyer congruence relations

In this paper, we exhibit a noncongruence subgroup Γ whose space of weight 3 cusp forms S₃(Γ) admits a basis satisfying the Atkin-Swinnerton-Dyer congruence relations with two weight 3 newforms for certain congruence subgroups. This gives a modularity interpretation of the motive attached to S₃(Γ) by Scholl and also verifies the Atkin-Swinnerton-Dyer congruence conjecture for this space.     

Definability properties and the congruence closure

We introduce a natural class of quantifiersTh containing all monadic type quantifiers, all quantifiers for linear orders, quantifiers for isomorphism, Ramsey type quantifiers, and plenty more, showing that no sublogic ofL (Th) or countably compact regular sublogic ofL (Th), properly extendingL , satisfies the uniform reduction property for quotients. As a consequence, none of these logics satisfies either-interpolation or Beth's definability theorem when closed under relativizations. We also show the failure of both properties for any sublogic ofL (Th) in which Chang's quantifier or some cardinality quantifierQ , with 1, is definable.     

Fully invariant and verbal congruence relations

A congruence relation θ on an algebra A is fully invariant if every endomorphism of A preserves θ. A congruence θ is verbal if there exists a variety ${\mathcal{V}}$ such that θ is the least congruence of A such that ${{\bf A}/\theta \in \mathcal{V}}$ . Every verbal congruence relation is known to be fully invariant. This paper investigates fully invariant congruence relations that are verbal, algebras whose fully invariant congruences are verbal, and varieties for which every fully invariant congruence in every algebra in the variety is verbal.     

MS-代数的理想和同余关系

给出了MS-代数L的理想I=(d]可以成为某个同余关系核的充要条件;分别给出了以L的理想I=(d]为核的最小同余关系及最大同余关系的充要条件．     

Remarks on annihilators preserving congruence relations

In this note we shall give some results on annihilators preserving congruence relations, or AP-congruences, in bounded distributive lattices. We shall give some new characterizations, and a topological interpretation of the notion of annihilator preserving congruences introduced in [JANOWITZ, M. F.: Annihilator preserving congruence relations of lattices, Algebra Universalis 5 (1975), 391–394]. As an application of these results, we shall prove that the quotient of a quasicomplemented lattice by means of a AP-congruence is a quasicomplemented lattice. Similarly, we will prove that the quotient of a normal latttice by means of a AP-congruence is also a normal lattice.     

Transitive closure and betweenness relations

Indistinguishability operators fuzzify the concept of equivalence relation and have been proved a useful tool in theoretical studies as well as in different applications such as fuzzy control or approximate reasoning. One interesting problem is their construction. There are different ways depending on how the data are given and on their future use. In this paper, the length of an indistinguishability operator is defined and it is used to relate its generation via max-T product and via the representation theorem when T is an Archimedean t-norm. The link is obtained taking into account that indistinguishability operators generate betweenness relations. The study is also extended to decomposable operators.     

On the lattice of weak congruence relations

We consider the setC _w (A) of weak congruences on an algebraA, i.e. of all symmetric and transitive subalgebras ofA ×A. (Some other generalizations of compatible relations were given in [2] and [6]).C _w (A) coincides with the set of all congruences on all subalgebras ofA.We prove here that (^iC _w(A),) is an algebraic lattice having as a sublattice the lattice of all congruences onA, and as a retract the lattice of all its subalgebras. In the second part we give necessary and sufficient conditions (one is the CEP) for modularity as well as for distributivity of the lattice of weak congruences.Presented by H. P. Gumm.     

伪补分配格的同余理想与同余关系

L是完备的伪补分配格,I是L的同余理想,本文得到以下结果：⑴θ是L的以I为核的最大同余关系的条件。⑵L的以I为核的同余关系是唯一的充分必要条件。⑶L的同余理想与同余关系之间有一一对应关系的充分必要条件。     

On Atkin and Swinnerton-Dyer congruence relations (2)

In this paper we give an example of a noncongruence subgroup whose three-dimensional space of cusp forms of weight 3 has the following properties. For each of the four residue classes of odd primes modulo 8 there is a basis whose Fourier coefficients at infinity satisfy a three-term Atkin and Swinnerton-Dyer congruence relation, which is the p-adic analogue of the three-term recursion satisfied by the coefficients of classical Hecke eigenforms. We also show that there is an automorphic L-function over whose local factors agree with those of the l-adic Scholl representations attached to the space of noncongruence cusp forms. The research of the second author was supported in part by an NSA grant #MDA904-03-1-0069 and an NSF grant #DMS-0457574. Part of the research was done when she was visiting the National Center for Theoretical Sciences in Hsinchu, Taiwan. She would like to thank the Center for its support and hospitality. The third author was supported in part by an NSF-AWM mentoring travel grant for women. She would further thank the Pennsylvania State University and the Institut des Hautes études Scientifiques for their hospitality.     

On Atkin and Swinnerton-Dyer congruence relations (3)

It is now well known that Hecke operators defined classically act trivially on genuine cuspforms for noncongruence subgroups of SL₂(Z). Atkin and Swinnerton-Dyer speculated the existence of p-adic Hecke operators so that the Fourier coefficients of their eigenfunctions satisfy three-term congruence recursions. In the previous two papers with the same title ([W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148] by W.C. Li, L. Long, Z. Yang and [A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358] by A.O.L. Atkin, W.C. Li, L. Long), the authors have studied two exceptional spaces of noncongruence cuspforms where almost all p-adic Hecke operators can be diagonalized simultaneously or semi-simultaneously. Moreover, it is shown that the l-adic Scholl representations attached to these spaces are modular in the sense that they are isomorphic, up to semisimplification, to the l-adic representations arising from classical automorphic forms.In this paper, we study an infinite family of spaces of noncongruence cuspforms (which includes the cases in [W.C. Li, L. Long, Z. Yang, On Atkin and Swinnerton-Dyer congruence relations, J. Number Theory 113 (1) (2005) 117-148; A.O.L. Atkin, W.C. Li, L. Long, On Atkin and Swinnerton-Dyer congruence relations (2), Math. Ann. 340 (2) (2008) 335-358]) under a general setting. It is shown that for each space in this family there exists a fixed basis so that the Fourier coefficients of each basis element satisfy certain weaker three-term congruence recursions. For a new case in this family, we will exhibit that the attached l-adic Scholl representations are modular and the p-adic Hecke operators can be diagonalized semi-simultaneously.     

Properties of digraphs connected with some congruence relations

The paper extends the results given by M. Křížek and L. Somer, On a connection of number theory with graph theory, Czech. Math. J. 54 (129) (2004), 465–485 (see [5]). For each positive integer n define a digraph Γ(n) whose set of vertices is the set H = {0, 1, ..., n − 1} and for which there is a directed edge from a ∈ H to b ∈ H if a ³ ≡ b (mod n). The properties of such digraphs are considered. The necessary and the sufficient condition for the symmetry of a digraph Γ(n) is proved. The formula for the number of fixed points of Γ(n) is established. Moreover, some connection of the length of cycles with the Carmichael λ-function is presented.      

Linear congruence relations for 2-adic L-series at integers

In the paper we find a further generalization of congruences of the K. Hardy and K. S. Williams [5] type which seems to be a full generalization of congruences of G. Gras [4]. Moreover we extend results of [5], [7], [8], [9] and in part of [6]. We apply ideas and methods of [2], [7] and [9].     

On congruence relations between the fundamental units of biquadratic fields

Given any distinct prime numbers p,q, and r satisfying certain simple congruence conditions, we display a congruence relation between the fundamental units for the biquadratic field , modulo a certain prime ideal of OK. This congruence in particular implies the validity of the equivariant Tamagawa number conjecture formulated by Burns and Flach for the pair (h⁰(SpecK),Z[Gal(K/Q)]).     

Les relations de congruence sur le demi-anneauN des nombres naturels

Sans résumé

---

     

On linear congruence relations for Kubota-Leopoldt 2-adic L-functions

Our purpose in the paper is to find the most general linear congruence relation of the Hardy-Williams type for linear combinations of special values of Kubota-Leopoldt 2-adic L-functions L₂(k,χω^1−k) with k running over any finite subset of not necessarily consisting of consecutive integers (see Acta Arith. 47 (1986) 263; Publ. Math. Fac. Sci. Besançon, Théorie des Nombres, 1995/1996; Publ. Math. Debrecen 56 (2000) 677 and cf. Mathematics and Its Applications, Vol. 511, Kluwer Academic Publishers, Dordrecht, Boston, London, 2000). If k runs over finite subsets of consisting of consecutive integers see Compositio Math. 111 (1998) 289; Publ. Math. Debrecen 56 (2000) 677; Hardy and Williams, 1986; Compositio Math. 75 (1990) 271; Acta Arith. 71 (1995) 273; 52 (1989) 147; J. Number Theory 34 (1990) 362. In order to obtain the most general congruences of this type we make use of divisibility properties of the generalized Vandermonde determinants obtained in Spie? et al. (Divisibility properties of generalized Vandermonde and Cauchy determinants, Preprint 627, Institute of Mathematics, Polish Academy of Sciences, Warsaw, 2002). This allows us to simplify our main Theorem 2 and obtain Theorem 3 where the most general form of the linear congruence relation is given.     

The lattice of closure relations on a poset

In this paper we show that the set of closure relations on a finite posetP forms a supersolvable lattice, as suggested by Rota. Furthermore this lattice is dually isomorphic to the lattice of closed sets in a convex geometry (in the sense of Edelman and Jamison [EJ]). We also characterize the modular elements of this lattice (whenP has a greatest element) and compute its characteristic polynomial.Presented by R. W. Quackenbush.     

Canonical forms for unitary congruence and *congruence

We use methods of the general theory of congruence and *congruence for complex matrices – regularization and cosquares – to determine a unitary congruence canonical form (respectively, a unitary *congruence canonical form) for complex matrices A such that āA (respectively, A ²) is normal. As special cases of our canonical forms, we obtain – in a coherent and systematic way – known canonical forms for conjugate normal, congruence normal, coninvolutory, involutory, projection, λ-projection, and unitary matrices. But we also obtain canonical forms for matrices whose squares are Hermitian or normal, and other cases that do not seem to have been investigated previously. We show that the classification problems under (a) unitary *congruence when A ³ is normal, and (b) unitary congruence when AāA is normal, are both unitarily wild, so these classification problems are hopeless.