Coinvariants and the regular representation of a cyclic P-group

We consider an indecomposable representation of a cyclic p-group ${Z_{p^r}}$ over a field of characteristic p. We show that the top degree of the corresponding ring of coinvariants is less than ${\frac{(r^2+3r)p^r}{2}}$ . This bound also applies to the degrees of the generators for the invariant ring of the regular representation.     

Comparing Invariants of SK1

In this text, we compare an invariant of the reduced Whitehead group SK ₁ of a central simple algebra recently introduced by Kahn (2010) to other invariants of SK ₁. Doing so, we prove the non-triviality of Kahn’s invariant using the non-triviality of an invariant introduced by Suslin (1991) which is non-trivial for Platonov’s examples of non-trivial SK ₁ (Platonov, Math USSR Izv 10(2):211–243, 1976). We also give a formula for the value on the centre of the tensor product of two symbol algebras which generalises a formula of Merkurjev for biquaternion algebras (Merkurjev 1995).     

Computing Final Polynomials and Final Syzygies Using Buchberger’s Gröbner Bases Method

Final polynomials and final syzygies provide an explicit representation of polynomial identities promised by Hilbert’s Nullstellensatz. Such representations have been studied independently by Bokowski [2,3,4] and Whiteley [23,24] to derive invariant algebraic proofs for statements in geometry. In the present paper we relate these methods to some recent developments in computational algebraic geometry. As the main new result we give an algorithm based on B. Buchberger’s Gröbner bases method for computing final polynomials and final syzygies over the complex numbers. Degree upper bound for final polynomials are derived from theorems of Lazard and Brownawell, and a topological criterion is proved for the existence of final syzygies. The second part of this paper is expository and discusses applications of our algorithm to real projective geometry, invariant theory and matrix theory.     

Tilting Theory and Functor Categories I. Classical Tilting

Tilting theory has been a very important tool in the classification of finite dimensional algebras of finite and tame representation type, as well as, in many other branches of mathematics. Happel (1988) and Cline et al. (J Algebra 304:397–409 1986) proved that generalized tilting induces derived equivalences between module categories, and tilting complexes were used by Rickard (J Lond Math Soc 39:436–456, 1989) to develop a general Morita theory of derived categories. On the other hand, functor categories were introduced in representation theory by Auslander (I Commun Algebra 1(3):177–268, 1974), Auslander (1971) and used in his proof of the first Brauer–Thrall conjecture (Auslander 1978) and later on, used systematically in his joint work with I. Reiten on stable equivalence (Auslander and Reiten, Adv Math 12(3):306–366, 1974), Auslander and Reiten (1973) and many other applications. Recently, functor categories were used in Martínez-Villa and Solberg (J Algebra 323(5):1369–1407, 2010) to study the Auslander–Reiten components of finite dimensional algebras. The aim of this paper is to extend tilting theory to arbitrary functor categories, having in mind applications to the functor category Mod (mod_Λ), with Λ a finite dimensional algebra.     

Explicit Polynomial Generators for the Ring of Quasisymmetric Functions over the Integers

In (Hazewinkel in Adv. Math. 164:283–300, 2001, and CWI preprint, 2001) it has been proved that the ring of quasisymmetric functions over the integers is free polynomial. This is a matter that has been of great interest since 1972; for instance because of the role this statement plays in a classification theory for noncommutative formal groups that has been in development since then, see (Ditters in Invent. Math. 17:1–20, 1972; in Scholtens’ Thesis, Free Univ. of Amsterdam, 1996) and the references in the latter. Meanwhile quasisymmetric functions have found many more applications (see Gel’fand et al. in Adv. Math. 112:218–348, 1995). However, the proofs of the author in the aforementioned papers do not give explicit polynomial generators for QSymm over the integers. In this note I give a (really quite simple) set of polynomial generators for QSymm over the integers.     

On invariants of discrete series representations of classical p-adic groups

To an irreducible square integrable representation ?? of a classical p-adic group, M?glin has attached invariants Jord(??), ?? _cusp and ${\epsilon_\pi}$ . These triples classify square integrable representations modulo cuspidal data (assuming a natural hypothesis). The definition of these invariants in M?glin (J Eur Math Soc 4(2):143?C200, 2002) is rather simple??in terms of induced representations, except at one case when a coherent normalization of standard intertwining operators is required. In this paper we show how one can define this case also in terms of induced representations.     

The Mixed Curvatures on C N

The aim of the present paper is devoted to the investigation of some geometrical properties on the middle envelope in terms of the invariants of the third quadratic form of the normal line congruence C_N . The mixed middle curvature and mixed curvature on C_N are obtained in tenus of the Mean and Gauss curvatures of the surface of reference. Our study is considered as a continuation to Stephanidis ([1], [2], [3], [4], [5]). The technique adapted here is based on the methods of moving frames and their related exteriour forms [6] and [7].     

Basic Hopf Algebras of Tame Type

In continuation of the articles (Liu J Algebra 299:841–853, 2006; Huang, J Algebra 321:2650–2669, 2009) we classify all finite-dimensional basic Hopf algebras of tame type over an algebraically closed field of characteristic 0 in this paper. As consequences, we show the following statements: (1) the representation dimension of a tame basic Hopf algebra is exactly 3, (2) for a basic Hopf algebra H, if $\textrm{C}(H)\geq 3$ then it is wild. These conclusions verify a folklore conjecture and one of Rickard’s statements for the class of finite-dimensional basic Hopf algebras.     

Whitney algebras and Grassmann��s regressive products

Geometric products on tensor powers ${\Lambda(V)^{\otimes m}}$ of an exterior algebra and on Whitney algebras (Crapo and Schmitt in J. Comb. Theory A 91:215?C263, 2000) provide a rigorous version of Grassmann??s regressive products of 1844 (Grassmann in Die Lineale Ausdehnungslehre, Verlag von Otto Wigand, Leipzig, 1844). We study geometric products and their relations with other classical operators on exterior algebras, such as the Hodge *?operators and the join and meet products in Cayley?CGrassmann algebras (Barnabei et?al. in J. Algebra 96:120?C160, 1985; Stewart in Nature 321:17, 1986). We establish encodings of tensor powers ${\Lambda(V)^{\otimes m}}$ and of Whitney algebras W ^m (M) in terms of letterplace algebras and of their geometric products in terms of divided powers of polarization operators. We use these encodings to provide simple proofs of the Crapo and Schmitt exchange relations in Whitney algebras and of two typical classes of identities in Cayley?CGrassmann algebras.     

The Local Langlands Correspondence for GL n over p-adic fields

We extend our methods from Scholze (Invent. Math. 2012, doi:10.1007/s00222-012-0419-y) to reprove the Local Langlands Correspondence for GL _n over p-adic fields as well as the existence of ?-adic Galois representations attached to (most) regular algebraic conjugate self-dual cuspidal automorphic representations, for which we prove a local-global compatibility statement as in the book of Harris-Taylor (The Geometry and Cohomology of Some Simple Shimura Varieties, 2001). In contrast to the proofs of the Local Langlands Correspondence given by Henniart (Invent. Math. 139(2), 439–455, 2000), and Harris-Taylor (The Geometry and Cohomology of Some Simple Shimura Varieties, 2001), our proof completely by-passes the numerical Local Langlands Correspondence of Henniart (Ann. Sci. Éc. Norm. Super. 21(4), 497–544, 1988). Instead, we make use of a previous result from Scholze (Invent. Math. 2012, doi:10.1007/s00222-012-0419-y) describing the inertia-invariant nearby cycles in certain regular situations.     

2-Arc-transitive cyclic covers of K n,n −nK 2

Du et al. (in J. Comb. Theory B 74:276–290, 1998 and J. Comb. Theory B 93:73–93, 2005), classified regular covers of complete graph whose fiber-preserving automorphism group acts 2-arc-transitively, and whose covering transformation group is either cyclic or isomorphic to $\mathbb{Z}_{p}^{2}$ or $\mathbb{Z}_{p}^{3}$ with p a prime. In this paper, a complete classification is achieved of all the regular covers of bipartite complete graphs minus a matching K _n,n ?nK ₂ with cyclic covering transformation groups, whose fiber-preserving automorphism groups act 2-arc-transitively.     

Growth,entropy and commutativity of algebras satisfying prescribed relations

In 1964, Golod and Shafarevich found that, provided that the number of relations of each degree satisfies some bounds, there exist infinitely dimensional algebras satisfying the relations. These algebras are called Golod–Shafarevich algebras. This paper provides bounds for the growth function on images of Golod–Shafarevich algebras based upon the number of defining relations. This extends results from Smoktunowicz and Bartholdi (Q J Math. doi:10.1093/qmath/hat005 2013) and Smoktunowicz (J Algebra 381:116–130, 2013). Lower bounds of growth for constructed algebras are also obtained, permitting the construction of algebras with various growth functions of various entropies. In particular, the paper answers a question by Drensky (A private communication, 2013) by constructing algebras with subexponential growth satisfying given relations, under mild assumption on the number of generating relations of each degree. Examples of nil algebras with neither polynomial nor exponential growth over uncountable fields are also constructed, answering a question by Zelmanov (2013). Recently, several open questions concerning the commutativity of algebras satisfying a prescribed number of defining relations have arisen from the study of noncommutative singularities. Additionally, this paper solves one such question, posed by Donovan and Wemyss (Noncommutative deformations and flops, ArXiv:1309.0698v2 [math.AG]).     

3-Nets realizing a group in a projective plane

In a projective plane $\mathit{PG}(2,\mathbb{K})$ defined over an algebraically closed field $\mathbb{K}$ of characteristic 0, we give a complete classification of 3-nets realizing a finite group. An infinite family, due to Yuzvinsky (Compos. Math. 140:1614–1624, 2004), arises from plane cubics and comprises 3-nets realizing cyclic and direct products of two cyclic groups. Another known infinite family, due to Pereira and Yuzvinsky (Adv. Math. 219:672–688, 2008), comprises 3-nets realizing dihedral groups. We prove that there is no further infinite family. Urzúa’s 3-nets (Adv. Geom. 10:287–310, 2010) realizing the quaternion group of order 8 are the unique sporadic examples. If p is larger than the order of the group, the above classification holds in characteristic p>0 apart from three possible exceptions $\rm{Alt}_{4}$ , $\rm{Sym}_{4}$ , and $\rm{Alt}_{5}$ . Motivation for the study of finite 3-nets in the complex plane comes from the study of complex line arrangements and from resonance theory; see (Falk and Yuzvinsky in Compos. Math. 143:1069–1088, 2007; Miguel and Buzunáriz in Graphs Comb. 25:469–488, 2009; Pereira and Yuzvinsky in Adv. Math. 219:672–688, 2008; Yuzvinsky in Compos. Math. 140:1614–1624, 2004; Yuzvinsky in Proc. Am. Math. Soc. 137:1641–1648, 2009).     

Positivstellens?tze for real function algebras

We look for algebraic certificates of positivity for functions which are not necessarily polynomial functions. Similar questions were examined earlier by Lasserre and Putinar [Positivity and optimization for semi-algebraic functions (to appear), Proposition 1] and by Putinar [A Striktpositivestellensatz for measurable functions (corrected version) (to appear), Theorem 2.1]. We explain how these results can be understood as results on hidden positivity: The required positivity of the functions implies their positivity when considered as polynomials on the real variety of the respective algebra of functions. This variety is however not directly visible in general. We show how algebras and quadratic modules with this hidden positivity property can be constructed. We can then use known results, for example Jacobi’s representation theorem (Jacobi in Math Z 237:259–273, 2001, Theorem 4), or the Krivine-Stengle Positivstellensatz (Marshall in Positive polynomials and sums of squares. Mathematical Surveys and Monographs 146, 2008, page 25), to obtain certificates of positivity relative to a quadratic module of an algebra of real-valued functions. Our results go beyond the results of Lasserre and Putinar, for example when dealing with non-continuous functions. The conditions are also easier to check. We explain the application of our result to various sorts of real finitely generated algebras of semialgebraic functions. The emphasis is on the case where the quadratic module is also finitely generated. Our results also have application to optimization of real-valued functions, using the semidefinite programming relaxation methods pioneered by Lasserre [SIAM J Optim 11(3): 796–817, 2001; Lasserre in Moments, positive polynomials and their applications. Imperial College Press, London, 2009; Lasserre and Putinar in Positivity and optimization for semi-algebraic functions (to appear); Marshall in Positive polynomials and sums of squares. Mathematical Surveys and Monographs 146, 2008, page 25].     

Narrowness implies uniformity

This paper is about varietiesV of universal algebras which satisfy the following numerical condition on the spectrum: there are only finitely many prime integersp such thatp is a divisor of the cardinality of some finite algebra inV. Such varieties are callednarrow. The variety (or equational class) generated by a classK of similar algebras is denoted by V(K)=HSPK. We define Pr (K) as the set of prime integers which divide the cardinality of a (some) finite member ofK. We callK narrow if Pr (K) is finite. The key result proved here states that for any finite setK of finite algebras of the same type, the following are equivalent: (1) SPK is a narrow class. (2) V(K) has uniform congruence relations. (3) SK has uniform congruences and (3) SK has permuting congruences. (4) Pr (V(K))= Pr(SK). A varietyV is calleddirectly representable if there is a finite setK of finite algebras such thatV= V(K) and such that all finite algebras inV belong to PK. An equivalent definition states thatV is finitely generated and, up to isomorphism,V has only finitely many finite directly indecomposable algebras. Directly representable varieties are narrow and hence congruence modular. The machinery of modular commutators is applied in this paper to derive the following results for any directly representable varietyV. Each finite, directly indecomposable algebra inV is either simple or abelian.V satisfies the commutator identity [x,y]=x·y·[1,1] holding for congruencesx andy over any member ofV. The problem of characterizing finite algebras which generate directly representable varieties is reduced to a problem of ring theory on which there exists an extensive literature: to characterize those finite ringsR with identity element for which the variety of all unitary leftR-modules is directly representable. (In the terminology of [7], the condition is thatR has finite representation type.) We show that the directly representable varieties of groups are precisely the finitely generated abelian varieties, and that a finite, subdirectly irreducible, ring generates a directly representable variety iff the ring is a field or a zero ring.     

Algebraic Hecke characters and strictly compatible systems of abelian mod p Galois representations over global fields

In [10] (C R Acad Sci Paris Ser I Math 323(2) 117–120, 1996), [11] (Math Res Lett 10(1):71–83 2003), [12] (Can J Math 57(6):1215–1223 2005), Khare showed that any strictly compatible systems of semisimple abelian mod p Galois representations of a number field arises from a unique finite set of algebraic Hecke characters. In this article, we consider a similar problem for arbitrary global fields. We give a definition of Hecke character which in the function field setting is more general than previous definitions by Goss and Gross and define a corresponding notion of compatible system of mod p Galois representations. In this context we present a unified proof of the analog of Khare’s result for arbitrary global fields. In a sequel we shall apply this result to strictly compatible systems arising from Drinfeld modular forms, and thereby attach Hecke characters to cuspidal Drinfeld Hecke eigenforms.     

Families of Finite-Dimensional Hopf Algebras with the Chevalley Property

We introduce and study new families of finite-dimensional Hopf algebras with the Chevalley property that are not pointed nor semisimple arising as twistings of quantum linear spaces. These Hopf algebras generalize the examples introduced in Andruskiewitsch et al. (Mich Math J 49(2):277–298, 2001), Etingof and Gelaki (Int Math Res Not 14:757–768, 2002, Math Res Lett 8:249–255, 2001).