— A Tannakian category is an abelian tensor category equipped with a fiber functor and additional structures which ensure that it is equivalent to the category of representations of some affine groupoid scheme acting on the spectrum of a field extension. If we are working over an arbitrary commutative ring rather than a field, the categories of representations cease to be abelian. We provide a list of sufficient conditions which ensure that an additive tensor category is equivalent to the category of representations of an affine groupoid scheme acting on an affine scheme, or, more generally, to the category of representations of a Hopf algebroid in a symmetric monoidal category. In order to do this we develop a “formal theory of Tannaka duality” inspired by Ross Street’s “formal theory of monads.” We apply our results to certain categories of filtered modules which are used to study p-adic Galois representations. Résumé (La théorie formelle de dualité tannakienne). — Une catégorie tannakienne est une catégorie abélienne tensorielle munie d’un foncteur fibré et de structures additionnelles de manière à être équivalente à la catégorie des représentations d’un groupoïde affine agissant sur le spectre d’une extension de corps. Si l’on remplace les corps par des anneaux commutatifs, les catégories des représentations ne seront plus abéliennes. Nous donnons des conditions suffisantes pour qu’une catégorie additive tensorielle soit équivalente à la catégorie des représentations d’un schéma en groupoïdes affines, ou plus généralement, à la catégorie des représentations d’un algebroïde de Hopf dans une catégorie symmétrique monoïdale. Pour ce faire nous développons une « théorie formelle de dualité tannakienne » inspirée par la « théorie formelle des monades » de Ross Street. Nous appliquons nos résultats à certaines catégories des modules filtrés qui sont utilisées pour étudier les représentations galoisiennes p-adiques. © Astérisque 357, SMF 2013

Société Mathématique de France

This paper contains a proof of the following result: ifn≧(t+1)(k−t−1), then any family ofk-subsets of ann-set with the property that any two of the subsets meet in at leastt points contains at most\(\left( {\begin{array}{*{20}c} {n - t} \\ {k - t} \\ \end{array} } \right)\) subsets. (By a theorem of P. Frankl, this was known whent≧15.) The bound (t+1)(k-t-1) represents the best possible strengthening of the original 1961 theorem of Erdos, Ko, and Rado which reaches the same conclusion under the hypothesisn≧t+(k−t)\(\left( {\begin{array}{*{20}c} k \\ t \\ \end{array} } \right)^3 \). Our proof is linear algebraic in nature; it may be considered as an application of Delsarte’s linear programming bound, but somewhat lengthy calculations are required to reach the stated result. (A. Schrijver has previously noticed the relevance of these methods.) Our exposition is self-contained.

The exact bound in the Erdös-Ko-Rado theorem

Measuring supply chain resilience using a deterministic modeling approach

We prove the existence conjecture for combinatorial designs, answering a question of Steiner from 1853. More generally, we show that the natural divisibility conditions are sufficient for clique decompositions of simplicial complexes that satisfy a certain pseudorandomness condition. As a further generalisation, we obtain the same conclusion only assuming an extendability property and the existence of a robust fractional clique decomposition.

http://www.mathcs.emory.edu/~rg/PeterK2.pdf

W.B Jurkat

Papers

Matrix factorizations of determinants and permanents

The module structure of integral designs

Term ranks and permanents of nonnegative matrices

Extremal configurations and decomposition theorems. I

Algebra structures for general designs