Related papers: On non-Baire sets in category bases
We prove several new versions of Hilbert's basis theorem for non-associative Ore extensions, non-associative skew Laurent polynomial rings, non-associative skew power series rings, and non-associative skew Laurent series rings. For…
We explain how the germ of the structure group of a cycle set decomposes as a product of its Sylow-subgroups, and how this process can be reversed to construct cycle sets from ones with coprime classes. We study Dehornoy's class associated…
We develop a reduction procedure which provides an equivalence (as highest weight categories) from an arbitrary block (defined in terms of the central character and the integral Weyl group) of the BGG category O for a general linear Lie…
Descriptive set theory was originally developed on Polish spaces. It was later extended to $\omega$-continuous domains [Selivanov 2004] and recently to quasi-Polish spaces [de Brecht 2013]. All these spaces are countably-based. Extending…
We establish new measures of linear independence of logarithms on commutative algebraic groups in the so-called \emph{rational case}. More precisely, let k be a number field and v_{0} be an arbitrary place of k. Let G be a commutative…
A new approach to disintegration of measures is presented, allowing one to drop the usually taken separability assumption. The main tool is a result on fibers in the spectrum of algebra of essentially bounded functions established recently…
In this paper, we prove a generalized Donaldson-Uhlenbeck-Yau theorem on Higgs bundles over a class of non-compact Gauduchon manifolds.
We prove that split reductive BT group schemes over a higher dimensional base are {\em affine}. Our method also gives a new construction of higher BT-group schemes more general than parahoric ones. The new ingredients are an extension of…
Despite being a vast generalization of Garside groups, right $\ell$-groups with noetherian lattice structure and strong order unit share a lot of the properties of Garside groups. In the present work, we prove that every modular noetherian…
By a theorem of Chevalley the image of a morphism of varieties is a constructible set. The algebraic version of this fact is usually stated as a result on "extension of specializations" or "lifting of prime ideals". We present a difference…
We construct noncommutative gauge theories based on the notion of the Weyl bundle, which appears in Fedosov's construction of deformation quantization on an arbitrary symplectic manifold. These correspond to D-brane worldvolume theories in…
We introduce a class of strongly \'{e}tale difference algebras, whose role in the study of difference equations is analogous to the role of \'{e}tale algebras in the study of algebraic equations. We deduce an improved version of Babbitt's…
We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalb\'an. We use this machinery to give a new proof of Louveau and…
In this article, we propose a way of seeing the noncommutative tori in the category of noncommutative motives. As an algebra, the noncommutative torus is lack the smoothness property required to define a noncomutative motive. Thus, instead…
Let $Y$ be an abelian variety over a subfield $k \subset \mathbb{C}$ that is of finite type over $\mathbb{Q}$. We prove that if the Mumford-Tate conjecture for $Y$ is true, then also some refined integral and adelic conjectures due to Serre…
We prove a $Z$-set unknotting theorem for Nobeling spaces. This generalizes a result obtained by S. Ageev for a restricted class of $Z$-sets. The theorem is proved for a certain model of Nobeling spaces.
To enable the study of open sets in computational approaches to mathematics, lots of extra data and structure on these sets is assumed. For both foundational and mathematical reasons, it is then a natural question, and the subject of this…
In this note, we presented a new decomposition of elements of finite fields of even order and illustrated that it is an effective tool in evaluation of some specific exponential sums over finite fields, the explicit value of some…
In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral…
We prove a model theoretic Baire category theorem for $\tilde\tau_{low}^f$-sets in a countable simple theory in which the extension property is first-order and show some of its applications. We also prove a trichotomy for minimal types in…