Related papers: Minimal Atomic Complexes

Rice's Theorem states that every nontrivial language property of the recursively enumerable sets is undecidable. Borchert and Stephan initiated the search for complexity-theoretic analogs of Rice's Theorem. In particular, they proved that…

Let $G$ be a finite group and $(K,\mathcal{O},k)$ be a $p$-modular system "large enough". Let $R=\mathcal{O}$ or $k$. There is a bijection between the blocks of the group algebra $RG$ and the central primitive idempotents (the blocks) of…

Let R be a commutative noetherian ring. We give criteria for a complex of cotorsion flat R-modules to be minimal, in the sense that every self homotopy equivalence is an isomorphism. To do this, we exploit Enochs' description of the…

Let $G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p \ge 0$, and let $\mathcal{N}$ be its nilpotent cone. Under mild hypotheses, we construct for each nilpotent $G$-orbit $C$ and…

We present a combinatorial problem which consists in finding irreducible Krajewski diagrams from finite geometries. This problem boils down to placing arrows into a quadratic array with some additional constrains. The Krajewski diagrams…

A self-dual harmonic 2-form on a 4-dimensional Riemannian manifold is symplectic where it does not vanish. Furthermore, away from the form's zero set, the metric with the 2-form give a compatible almost complex structure and thus…

The partition number $\pi(K)$ of a simplicial complex $K\subset 2^{[n]}$ is the minimum integer $\nu$ such that for each partition $A_1\uplus\ldots\uplus A_\nu = [n]$ of $[n]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is…

Consider a standard representation $\pi_{st}$ of a quasi-split reductive p-adic group G. The generalized injectivity conjecture, posed by Casselman and Shahidi, asserts that any generic irreducible subquotient $\pi$ of $\pi_{st}$ is…

Let p be a prime. The Smith-Toda complex V(k) is a finite spectrum whose BP-homology is isomorphic to BP_*/(p,v_1,...,v_k). For example, V(-1) is the sphere spectrum and V(0) the mod p Moore spectrum. In this paper we show that if p > 5,…

We present a new model of homogeneous aggregation that contains the essential physical ideas of the classical predecessors, the Becker-Doring and Lifshitz-Slyovoz models. These classical models, which give different predictions, are…

Techniques are presented for computing the cohomology of stable, holomorphic vector bundles over elliptically fibered Calabi-Yau threefolds. These cohomology groups explicitly determine the spectrum of the low energy, four-dimensional…

In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this…

For a Grothendieck category having a noetherian generator, we prove that there are only finitely many minimal atoms. This is a noncommutative analogue of the fact that every noetherian scheme has only finitely many irreducible components.…

This paper presents results on structures in P based on tools developed from subjects of elementary number theory. Key findings are: The arithmetical sequence H = (+-3*2; 1) is in Z the smallest superset of P \ {3, 2}. H is a semigroup. A…

A complete description of the Alexander modules of knotted $n$-manifolds in the sphere $S^{n+2}$, $n\geq 2$, and irreducible Hurwitz curves is given. This description is applied to investigate properties of the first homology groups of…

To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving…

A well known result of Borel says that the category of modules over the Iwahori-Hecke algebra of a semisimple p-adic group G describes the Bernstein component associated to the unramified principal series of G. We consider Bernstein…

The atoms of the Schanuel topos can be described as the pairs $(n,G)$ where $n$ is a finite set and $G$ is a subgroup of $\operatorname{Aut}(n)$. We give a general criterion on an atomic site ensuring that the atoms of the topos of sheaves…

Clozel and Labesse proved the base change fundamental lemma for spherical Hecke algebras attached to an unramified group over a p-adic field. This paper proves an analogous fundamental lemma for centers of parahoric Hecke algebras attached…

Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom. Voevodsky proposes this language for weak $\infty$-groupoids as a new foundation…