Related papers: Categoricity of the two sorted j-function

In this article we classify indecomposable objects of the derived categories of finitely-generated modules over certain infinite-dimensional algebras. The considered class of algebras (which we call nodal algebras) contains such well-known…

We show that the decidability of the first-order theory of the language that combines Boolean algebras of sets of uninterpreted elements with Presburger arithmetic operations. We thereby disprove a recent conjecture that this theory is…

We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper…

We determine all composition-closed equational classes of Boolean functions. These classes provide a natural generalization of clones and iterative algebras: they are closed under composition, permutation and identification…

In this paper, we prove Deligne's conjecture on the algebraicity of critical values of symmetric power $L$-functions associated to modular forms of weight greater than four. We also prove new cases of Blasius' conjecture on the algebraicity…

This paper shows how internal models for polymorphic lambda calculi arise in any 2-category with a notion of discreteness. We generalise to a 2-categorical setting the famous theorem of Peter Freyd saying that there are no sufficiently…

For any commutative ring $R$, we show that the categories of $R$-coalgebras and cocommutative $R$-coalgebras are locally $\aleph_1$-presentable, while the categories of $R$-flat $R$-coalgebras are $\aleph_1$-accessible. Similarly, for any…

We continue study of some algebraic varieties (called resultantal varieties) started in a paper of A. Grishkov, D. Logachev "Resultantal varieties related to zeroes of L-functions of Carlitz modules". These varieties are related with the…

In the acyclic case, we establish a one-to-one correspondence between the tilting objects of the cluster category and the clusters of the associated cluster algebra. This correspondence enables us to solve conjectures on cluster algebras.…

Every endofunctor of the category of classes is proved to be set-based in the sense of Aczel and Mendler, therefore, it has a final coalgebra. Other basic properties of these endofunctors are proved, e.g. the existence of a free completely…

Monoidal functors U:C --> M with left adjoints determine, in a universal way, monoids T in the category of oplax monoidal endofunctors on M. Such monads will be called bimonads. Treating bimonads as abstract "quantum groupoids" we derive…

A Clifford algebra over the binary field 2 = {0,1} is a second-order classical logic that is substantially richer than Boolean algebra. We use it as a bridge to a Clifford algebraic quantum logic that is richer than the usual Hilbert space…

We describe the possible Mordell-Weil groups for degree 1 elliptic threefold with rational base and constant $j$-invariant. Moreover, we classify all such elliptic threefolds if the $j$-invariant is nonzero. We can use this classification…

We present a categorical viewpoint of probability measures by showing that a probability measure can be viewed as a weakly averaging affine measurable functional taking values in the unit interval which preserves limits. The probability…

In this paper, a new invariant was built towards the classification of separable C*-algebras of real rank zero, which we call latticed total K-theory. A classification theorem is given in terms of such an invariant for a large class of…

We show that there exists a connection between two types of objects: some kind of resultantal varieties over C, from one side, and varieties of twists of the tensor powers of the Carlitz module such that the order of 0 of its L-functions at…

Propositional term modal logic is interpreted over Kripke structures with unboundedly many accessibility relations and hence the syntax admits variables indexing modalities and quantification over them. This logic is undecidable, and we…

We work in a first-order setting where structures are spread out over a metric space, with quantification allowed only over bounded subsets. Assuming a doubling property for the metric space, we define a canonical {\em core} $\mathcal{J}$…

We classify the possible Mumford-Tate groups of polarizable rational Hodge structures. Along the way we deduce a polarized Hodge-theoretic analogue of a conjectural property of motivic Galois groups suggested by Serre.

We give the theorem of coincidence of a class of functions defined by a generalised modulus of smoothness with a class of functions defined by the order of the best approximation by algebraic polynomials. We also prove the appropriate…