Related papers: On a conjecture regarding nonstandard uniserial mo…
E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…
I prove several independence results in the choiceless ZF+DC theory which separate algebraic and non-algebraic consequences of the axiom of choice.
Using the isomorphism between highest weight U_q(sl_2)-modules and homologies of certain local systems on the configuration spaces, constructed by Varchenko, we give a geometric construction of the dual of the Lusztig's canonical basis in a…
We show how to generalize our method, based on projective modules and matrix models, which enabled us to derive noncommutative monopoles on a fuzzy sphere, to the non-abelian case, recovering known results in literature. We then discuss a…
In [5] the author conjectures and partially shows that the Cuntz semigroup classifies unitary elements of unital AF-algebras. We provide a complete proof by addressing the existence part of the conjecture, under a mild adjustment of both…
We find necessary and sufficient conditions for a complete local ring to be the completion of a noncatenary local (Noetherian) domain, as well as necessary and sufficient conditions for it to be the completion of a noncatenary local…
We present microscopic models of spin ladders which exhibit continuous critical surfaces whose properties and existence, unusually, cannot be inferred from those of the flanking phases. These models exhibit either `multiversality' -- the…
Very flat and contradjusted modules naturally arise in algebraic geometry in the study of contraherent cosheaves over schemes. Here, we investigate the structure and approximation properties of these modules over commutative noetherian…
We give two results on guessing unbounded subsets of lambda^+. The first is a positive result and applies to the situation of lambda regular and at least equal to aleph_3, while the second is a negative consistency result which applies to…
We calculate the Luscher term for recently suggested non-Abelian flux tubes (strings). The main feature of the non-Abelian strings is the presence of orientational zero modes associated with rotation of their color flux inside a non-Abelian…
The asymptotic behaviour of solutions to the quantum differential equation of a Fano manifold F defines a characteristic class A_F of F, called the principal asymptotic class. Gamma conjecture of Vasily Golyshev and the present authors…
In this survey, we shall be concerned with the category of finite-dimensional representations of the untwisted quantum affine algebras when the quantum parameter q is not a root of unity. We review the foundational results of the subject,…
Let A be an affine algebra over the field of real numbers of dimension d. Let f \in A be an element not belonging to any real maximal ideal of A. Let P be a projective A-module of rank \geq d-1. Let (a,p) \in A_f \oplus P_f be a unimodular…
We prove formulas for the unitary SK_1 of a semiramified graded division algebra (or valued division algebra over a Henselian field) with a unitary involution. These formulas generalize earlier formulas of Yanchevskii, (and Platonov and…
We construct a certain topological algebra $\Ext ^{\sharp}_{G ^{\vee}} X (\chi)$ from a Deligne-Langlands parameter space $X (\chi)$ attached to the group of rational points of a connected split reductive algebraic group $G$ over a…
The main result of this note is an effective uniform bound for the number of deformation types of certain nonisotrivial families of canonically polarized manifolds. It extends the author's earlier such bound for the classical Shafarevich…
It is proved that the associative differential graded algebra of (polynomial) polyvector fields on a vector space (may be infinite- dimensional) is quasi-isomorphic to the corresponding cohomological Hochschild complex of (polynomial)…
It is proved that an indecomposable Harish-Chandra module over the Virasoro algebra must be (i) a uniformly bounded module, or (ii) a module in Category $\cal O$, or (iii) a module in Category ${\cal O}^-$, or (iv) a module which contains…
We study the cardinality of classes of equational theories (varieties) and logics by applying descriptive set theory. We affirmatively solve open problems raised by Jackson and Lee [Trans. Am. Math. Soc. 370 (2018), pp. 4785-4812] regarding…
We study admissibility of inference rules and unification with parameters in transitive modal logics (extensions of K4), in particular we generalize various results on parameter-free admissibility and unification to the setting with…