Given a poset P , the set Γ(P ) of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Posd (the category of posets and Scott-continuous maps) is said to be Γ-faithful if for any posets P and Q in C, Γ(P ) ∼= Γ(Q) implies P ∼= Q. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are Γ-faithful, while Posd is not....

For an Artinian (n− 1)-Auslander algebra Λ with global dimension n(≥ 2), we show that if Λ admits a trivial maximal (n − 1)-orthogonal subcategory of modΛ, then Λ is a Nakayama algebra. Further, for a finite-dimensional algebra Λ over an algebraically closed field K, we show that Λ is a basic and connected (n−1)-Auslander algebra Λ with global dimension n(≥ 2) admitting a trivial maximal (n− 1)...

There are various doctrines wherein theories are small categories and the models of a theory constitute a full subcategory of the category of functors from the theory to sets. We define the notion of bimodel at the nondoctrinaire level where those specified subcategories are arbitrary; as a first application we look for a classification of the equivalences between categories of models. We obtai...

Given a poset P , the set, Γ(P), of all Scott closed sets ordered by inclusion forms a complete lattice. A subcategory C of Pos d (the category of posets and Scott-continuous maps) is said to be Γ-faithful if for any posets P and Q in C, Γ(P) ∼ = Γ(Q) implies P ∼ = Q. It is known that the category of all continuous dcpos and the category of bounded complete dcpos are Γ-faithful, while Pos d is ...

We study the possible weights of an irreducible 2-dimensional mod p representation of Gal(F/F ) which is modular in the sense of that it comes from an automorphic form on a definite quaternion algebra with centre F which is ramified at all places dividing p, where F is a totally real field. In most cases we determine the precise list of possible weights; in the remaining cases we determine the ...

In this paper, we study fusion categories which contain a proper subcategory with maximal rank. They can be viewed as generalizations of near-group categories. We first prove that they admit spherical structure. then classify those are non-degenerate or symmetric. Finally, such rank 4.

Let M be a closed oriented d-dimensionnal manifold and let LM be the space of free loops on M . In this paper, we give a geometrical interpretation of the loop-coproduct and we study it’s compatibility with the Serre spectral sequence associated to the fibration ΩM → LM ev(0) → M . Then, we show that the spectral sequence associated to the free loop fibration LN → LX → LM of some Serre fibratio...

A conjecture of Serre predicts a precise from of Torelli Theorem for genus 3 curves, namely, an indecomposable principally polarized abelian threefold is a Jacobian if and only if some specific invariant is a square. We study here a three dimensional family of such threefolds, introduced by Howe, Leprevost and Poonen. By a new formulation, we link their results to the conjecture of Serre. Then,...

the unique normalized cusp form of weight 12 with respect to the full modular group. Although Lehmer’s speculation that τ(n) 6= 0 for every positive n remains open, Serre [S] has made substantial progress on the basic question regarding the number of Fourier coefficients of a modular form which can be zero. He shows (see [p. 179, S]) that τ(n) is non-zero for the vast majority of n. In the same...

In this paper, we study the André-Quillen homology of simplicial commutative l-algebras, l a field, having certain vanishing properties. When l has non-zero characteristic, we obtain an algebraic version of a theorem of J.-P. Serre and Y. Umeda that characterizes such simplicial algebras having bounded homotopy groups. We further discuss how this theorem fails in the rational case and, as an ap...