Nilpotence and generation in the stable module category

Nilpotence has been studied in stable homotopy theory and algebraic geometry. We study the corresponding notion in modular representation theory of finite groups, and apply the discussion to the study of ghosts, and generation of the stable module category. In particular, we show that for a finitely generated kG-module M, the tensor M-generation number and the tensor M-ghost number are both equal to the degree of tensor nilpotence of a certain map associated with M.     

Champs affines

The purpose of this work is to introduce a notion of affine stacks, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and p-adic homotopy theory. This gives a first solution to A. Grothendieck’s schematization problem described in [18]. We also use affine stacks in order to introduce a notion of schematic homotopy types. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyond rational and p-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various co-homology theories (Betti, de Rham, l-adic, ...), extending the well known constructions of the various fundamental groups. Finally, just as algebraic stacks are obtained by gluing affine schemes we define $$ \infty $$-geometric stacks as a certain gluing of affine stacks. Examples of $$ \infty $$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.     

Champs affines

The purpose of this work is to introduce a notion of affine stacks, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and p-adic homotopy theory. This gives a first solution to A. Grothendieck’s schematization problem described in [18]. We also use affine stacks in order to introduce a notion of schematic homotopy types. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyond rational and p-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various co-homology theories (Betti, de Rham, l-adic, ...), extending the well known constructions of the various fundamental groups. Finally, just as algebraic stacks are obtained by gluing affine schemes we define $$ \infty $$-geometric stacks as a certain gluing of affine stacks. Examples of $$ \infty $$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.     

Derived Completions in Stable Homotopy theory

We introduce a notion of derived completion applicable to arbitrary homomorphisms of commutative S-algebras, and work out some of its properties, including invariance results, a spectral sequence proceeding from purely algebraic information to the geometric results, and analysis of relationships with earlier constructions. We also provide some examples. The construction has applications in algebraic K-theory.     

On Minimal Subspaces in Tensor Representations

In this paper we introduce and develop the notion of minimal subspaces in the framework of algebraic and topological tensor product spaces. This mathematical structure arises in a natural way in the study of tensor representations. We use minimal subspaces to prove the existence of a best approximation, for any element in a Banach tensor space, by means of a tensor given in a typical representation format (Tucker, hierarchical, or tensor train). We show that this result holds in a tensor Banach space with a norm stronger than the injective norm and in an intersection of finitely many Banach tensor spaces satisfying some additional conditions. Examples using topological tensor products of standard Sobolev spaces are given.     

Implicit algebraic geometry on categories of universal algebras

Using the notion of an implicit operation on universal algebras, we redefine basic notions of the algebraic geometry of universal algebras. The results obtained for the implicit algebraic geometry imply (as special cases) the known results on the conditional geometric and algebraic geometric comparability of algebras.     

Algebraic modules and the Auslander-Reiten quiver

Recall that an algebraic module is a KG-module that satisfies a polynomial with integer coefficients, with addition and multiplication given by the direct sum and tensor product. In this article we prove that non-periodic algebraic modules are very rare, and that if the complexity of an algebraic module is at least 3, then it is the only algebraic module on its component of the (stable) Auslander-Reiten quiver. For dihedral 2-groups, we also show that there is at most one algebraic module on each component of the (stable) Auslander-Reiten quiver. We include a strong conjecture on the relationship between periodicity and algebraicity.     

Geometric configurations of singularities for quadratic differential systems with three distinct real simple finite singularities

In this work we classify, with respect to the geometric equivalence relation, the global configurations of singularities, finite and infinite, of quadratic differential systems possessing exactly three distinct finite simple singularities. This relation is finer than the topological equivalence relation which does not distinguish between a focus and a node or between a strong and a weak focus or between foci (or saddles) of different orders. Such distinctions are, however, important in the production of limit cycles close to the foci (or loops) in perturbations of the systems. The notion of geometric equivalence relation of configurations of singularities allows us to incorporate all these important geometric features which can be expressed in purely algebraic terms. The geometric classification of all configurations of singularities, finite and infinite, of quadratic systems was initiated in a work published in 2013 when the classification was done for systems with total multiplicity m _f of finite singularities less than or equal to one. That work was continued in an article which is due to appear in 2014 where the geometric classification of configurations of singularities was done for the case m _f = 2. In this article we go one step further and obtain the geometric classification of singularities, finite and infinite, for the subclass mentioned above. We obtain 147 geometrically distinct configurations of singularities for this family. We give here the global bifurcation diagram of configurations of singularities, both finite and infinite, with respect to the geometric equivalence relation, for this class of systems. The bifurcation set of this diagram is algebraic. The bifurcation diagram is done in the 12-dimensional space of parameters and it is expressed in terms of polynomial invariants, a fact which gives us an algorithm for determining the geometric configuration of singularities for any quadratic system in this particular class.     

Robust locally testable codes and products of codes

We continue the investigation of locally testable codes, i.e., error‐correcting codes for which membership of a given word in the code can be tested probabilistically by examining it in very few locations. We give two general results on local testability: First, motivated by the recently proposed notion of robust probabilistically checkable proofs, we introduce the notion of robust local testability of codes. We relate this notion to a product of codes introduced by Tanner and show a very simple composition lemma for this notion. Next, we show that codes built by tensor products can be tested robustly and somewhat locally by applying a variant of a test and proof technique introduced by Raz and Safra in the context of testing low‐degree multivariate polynomials (which are a special case of tensor codes). Combining these two results gives us a generic construction of codes of inverse polynomial rate that are testable with poly‐logarithmically many queries. We note that these locally testable tensor codes can be obtained from any linear error correcting code with good distance. Previous results on local testability, albeit much stronger quantitatively, rely heavily on algebraic properties of the underlying codes. © 2006 Wiley Periodicals, Inc. Random Struct. Alg., 2006     

The BEL-rank of finite semifields

In this article we introduce the notion of the BEL-rank of a finite semifield, prove that it is an invariant for the isotopism classes, and give geometric and algebraic interpretations of this new invariant. Moreover, we describe an efficient method for calculating the BEL-rank, and present computational results for all known small semifields.     

Geometrical equivalence of groups

The notion of geometrical equivalence of two algebras, which is basic for this paper, is introduced in [5], [6]. It is motivated in the framework of universal algebraic geometry, in which algebraic varieties are considered in arbitrary varieties of algebras. Universal algebraic geometry (as well as classic algebraic geometry) studies systems of equations and its geometric images, i.e., algebraic varieties, consisting of solutions of equations. Geometrical equivalence of algebras means, in some sense, equal possibilities for solving systems of equations.

In this paper we consider results about geometrical equivalence of algebras, and special attention is paied on groups (abelian and nilpotent).     

Relative local equivalence of Engel structures

The conditions to determine germs of Engel structures relative to arbitrary subsets are studied. We show that germs of Engel structures at a point relative to an arbitrary subset are determined by the algebraic restrictions of the Engel structures themselves to the subset, and the projected algebraic restrictions of the derived even-contact structures to the subset. When the subset is a smooth submanifold, algebraic restriction is equivalent to geometric restriction. Even when the subset is a smooth submanifold, we need a new stricter notion, projected algebraic restriction.     

Weakly Linearly Compact Topological Abelian Groups

In this paper, we study linearly topological groups. We introduce the notion of a weakly linearly compact group, which generalizes the notion of a weakly separable group, and examine the main properties of such groups. For weakly linearly compact groups, we construct the character theory and present an algebraic characterization of some classes of such groups. Some well-known theorems for periodic Abelian groups are generalized for the case of linearly discrete, topological Abelian groups; for linearly compact and linearly discrete topological Abelian groups, we also construct the character theory and study some important properties of linearly discrete groups. For linearly discrete, topological Abelian groups, we analyze the splittability condition (Theorem 3.12) and present the characteristic condition of decomposability of a discrete group G into the direct sum of rank-1 groups. We also present an algebraic characterization of linearly compact groups. We introduce the notion of a weakly linearly compact, topological Abelian group, which generalizes the notion of a weakly separable Abelian group, and examine some properties of such groups. These groups are a generalization of fibrous Abelian groups introduced by Vilenkin. We give an algebraic characterization of divisible, weakly locally compact Abelian groups that do not contain nonzero elements of finite order (Proposition 7.9). For weakly locally compact Abelian groups, we construct universal groups.     

New Techniques for Computing Geometric Index

We introduce new general techniques for computing the geometric index of a link L in the interior of a solid torus T. These techniques simplify and unify previous ad hoc methods used to compute the geometric index in specific examples and allow a simple computation of geometric index for new examples where the index was not previously known. The geometric index measures the minimum number of times any meridional disc of T must intersect L. It is related to the algebraic index in the sense that adding up signed intersections of an interior simple closed curve C in T with a meridional disc gives ± the algebraic index of C in T. One key idea is introducing the notion of geometric index for solid chambers of the form \(B^2\times I\) in T. We prove that if a solid torus can be divided into solid chambers by meridional discs in a specific (and often easy to obtain) way, then the geometric index can be easily computed.     

Rigidity for orientable functors

In the following paper we introduce the notion of orientable functor (orientable cohomology theory) on the category of projective smooth schemes and define a family of transfer maps. Applying this technique, we prove that with finite coefficients orientable cohomology of a projective variety is invariant with respect to the base-change given by an extension of algebraically closed fields. This statement generalizes the classical result of Suslin, concerning algebraic K-theory of algebraically closed fields. Besides K-theory, we treat such examples of orientable functors as etale cohomology, motivic cohomology, algebraic cobordism. We also demonstrate a method to endow algebraic cobordism with multiplicative structure and Chern classes.     

Join-semidistributive lattices and convex geometries

We introduce the notion of a convex geometry extending the notion of a finite closure system with the anti-exchange property known in combinatorics. This notion becomes essential for the different embedding results in the class of join-semidistributive lattices. In particular, we prove that every finite join-semidistributive lattice can be embedded into a lattice S_P(A) of algebraic subsets of a suitable algebraic lattice A. This latter construction, S_P(A), is a key example of a convex geometry that plays an analogous role in hierarchy of join-semidistributive lattices as a lattice of equivalence relations does in the class of modular lattices. We give numerous examples of convex geometries that emerge in different branches of mathematics from geometry to graph theory. We also discuss the introduced notion of a strong convex geometry that might promise the development of rich structural theory of convex geometries.     

Tensor factorization and Spin construction for Kac-Moody algebras

In this paper we discuss the “Factorization phenomenon” which occurs when a representation of a Lie algebra is restricted to a subalgebra, and the result factors into a tensor product of smaller representations of the subalgebra. We analyze this phenomenon for symmetrizable Kac-Moody algebras (including finite-dimensional, semi-simple Lie algebras). We present a few factorization results for a general embedding of a symmetrizable Kac-Moody algebra into another and provide an algebraic explanation for such a phenomenon using Spin construction. We also give some application of these results for semi-simple, finite-dimensional Lie algebras.We extend the notion of Spin functor from finite-dimensional to symmetrizable Kac-Moody algebras, which requires a very delicate treatment. We introduce a certain category of orthogonal g-representations for which, surprisingly, the Spin functor gives a g-representation in Bernstein-Gelfand-Gelfand category O. Also, for an integrable representation, Spin produces an integrable representation. We give the formula for the character of Spin representation for the above category and work out the factorization results for an embedding of a finite-dimensional, semi-simple Lie algebra into its untwisted affine Lie algebra. Finally, we discuss the classification of those representations for which Spin is irreducible.     

δ-invariants and their applications to centroaffine geometry

We introduce the notion of δ-invariant for curvature-like tensor fields and establish optimal general inequalities in case the curvature-like tensor field satisfies some algebraic Gauss equation. We then study the situation when the equality case of one of the inequalities is satisfied and prove a dimension and decomposition theorem. In the second part of the paper, we apply these results to definite centroaffine hypersurfaces in Rn+1. The inequality is specified into an inequality involving the affine δ-invariants and the Tchebychev vector field. We show that if a centroaffine hypersurface satisfies the equality case of one of the inequalities, then it is a proper affine hypersphere. Furthermore, we prove that if a positive definite centroaffine hypersurface in , satisfies the equality case of one of the inequalities, it is foliated by ellipsoids. And if a negative definite centroaffine hypersurface satisfies the equality case of one of the inequalities, then it is foliated by two-sheeted hyperboloids. Some further applications of the inequalities are also provided in this article.     

Fibrations spinorielles et twisteurs généralisés

In the first part my purpose is to find existence conditions for a spin structure on a manifold in a purely differential geometric scope, without the machinery of the algebraic topology and avoiding systematically any matricial formalism. A spin structure can be considered as aG-structure (using a classical terminology). Groups, called by myself “groups of spinoriality” play an essential part in this problem. We study them with a few details in the second part of chapter I. The second part is devoted to introduce the notion of twistors, generalizing studies already made in particular cases. Twistorial fibrations naturally go with spin fibrations. Broadly, twistors of order 2 are for the conformal group of signature (p, q), that are spinors for the group of isometry of signature (p+1,q+1).