Related papers: A Conjectural Classification of Strongly Dependent…
We prove that the bounded and bounded below derived categories of (all) modules over the dual numbers have strongly unique (dg) enhancements. To this end we relate those categories to the category of sequences of vector spaces, which allows…
We prove that a certain conjecture holds true and the conjecture states a relationship between the zeta function of a finite category and the Euler characteristic of a finite category.
We prove that for any prime $p$ the finite $p$-groups of fixed coclass have only finitely many different mod-$p$ cohomology rings between them. This was conjectured by Carlson; we prove it by first proving a stronger version for groups of…
The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…
We examine Gromov's method of selecting a point "heavily covered" by simplices formed by a given finite point sets, in order to understand the dependence of the heavily covered point on parameters. We have no continuous dependence, but…
We show that there are only finitely many finite fields whose members are the sum of an $n$-potent element and a $5$-potent element. Combining this with the algorithmic results provided by S.D. Cohen {\it et al.}, we confirm in the…
A rank is a notion in descriptive set theory that describes ranks such as the Cantor-Bendixson rank on the set of closed subsets of a Polish space, differentiability ranks on the set of differentiable functions in $C[0,1]$ such as the…
We prove that a valued field of positive characteristic $p$ that has only finitely many distinct Artin-Schreier extensions (which is a property of infinite NTP$_2$ fields) is dense in its perfect hull. As a consequence, it is a deeply…
The log-rank conjecture is one of the fundamental open problems in communication complexity. It speculates that the deterministic communication complexity of any two-party function is equal to the log of the rank of its associated matrix,…
Let p be a fixed prime number. Let K be a totally real number field of discriminant D\_K and let T\_K be the torsion group of the Galois group of the maximal abelian p-ramified pro-p-extension of K (under Leopoldt's conjecture). We…
We prove that dagger closure is trivial in regular domains containing a field and that graded dagger closure is trivial in polynomial rings over a field. We also prove that Heitmann's full rank one closure coincides with tight closure in…
We give a short overview of the proof of Shelah's eventual categoricity conjecture in universal classes with amalgamation in arXiv:1506.07024 .
Let p$\ge$2 be a given prime number. We prove, for any number field kappa and any integer e$\ge$1, the p-rank $\epsilon$-conjecture, on the p-class groups Cl\_F, for the family F\_kappa^p^e of towers F/kappa built as successive degree p…
We give bounds for the module sectional category of products of maps which generalise a theorem of Jessup for Lusternik-Schnirelmann category. We deduce also a proof of a Ganea type conjecture for topological complexity. This is a first…
We derive that dpR(n) \leq dens(n) \leq dpR(n)+1, where dens(n) is the supremum of the VC density of all formulas in n parameters, and dpR(n) is the maximum depth of an ICT pattern in n variables. Consequently, strong dependence is…
Let C be a general curve of genus g, embedded in P^r via a general linear series of degree d. In this paper, we prove the Maximal Rank Conjecture, which determines the Hilbert function of C.
A finite group is said to be weakly separable if every algebraic isomorphism between two $S$-rings over this group is induced by a combinatorial isomorphism. In the paper we prove that every abelian weakly separable group belongs to one of…
In this article, we introduce a systematic new method to investigate the conjectural p-adic meromorphic continuation of Professor Bernard Dwork's unit root zeta function attached to an ordinary family of algebraic varieties defined over a…
We show that Shelah's Eventual Categoricity Conjecture follows from the existence of class many strongly compact cardinals. This is the first time the consistency of this conjecture has been proven. We do so by showing that every AEC with…
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…