Related papers: 0-Dimensional Ideal Approximation Theory
Let X be a complete toric variety with homogeneous coordinate ring S. In this article, we compute upper and lower bounds for the codimension in the critical degree of ideals of S generated by dim(X)+1 homogeneous polynomials that don't…
A new method, called the method of self-similar approximants, and its recent developments are described. The method is based on the ideas of renormalization group theory and optimal control theory. It allows for the effective extrapolation…
We provide a complete theory of optimal universal rates for binary classification in the agnostic setting. This extends the realizable-case theory of Bousquet, Hanneke, Moran, van Handel, and Yehudayoff (2021) by removing the realizability…
Given semantic descriptions of object classes, zero-shot learning aims to accurately recognize objects of the unseen classes, from which no examples are available at the training stage, by associating them to the seen classes, from which…
We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.
The purpose of this note is to provide an overview of the containment problem for symbolic and ordinary powers of homogeneous ideals, related conjectures and examples. We focus here on ideals with zero dimensional support. This is an area…
In this paper we discuss a general problem on metrical Diophantine approximation associated with a system of linear forms. The main result is a zero-one law that extends one-dimensional results of Cassels and Gallagher. The paper contains a…
We propose a unifying approach to many approximation properties studied in the literature from the 1930s up to our days. To do so, we say that a Banach space E has the (I,J,{\tau})-approximation property if E-valued operators belonging to…
This the first of a series of articles dealing with abstract classification theory. The apparatus to assign systems of cardinal invariants to models of a first order theory (or determine its impossibility) is developed in [Sh:a]. It is…
Consider a grade 2 perfect ideal $I$ in $R=k[x_1,\cdots,x_d]$ which is generated by forms of the same degree. Assume that the presentation matrix $\varphi$ is almost linear, that is, all but the last column of $\varphi$ consist of entries…
We develop the theory of difference algebraic groups in the case where we have finitely many pairwise commuting difference operators. We show that the defining ideal of a difference algebraic group is finitely generated as a difference…
Extriangulated categories axiomatize extension-closed subcategories of triangulated categories and generalise both exact categories and triangulated categories. This survey article presents three applications of extriangulated categories to…
We prove a new quantitative result on the degeneracy of the dimension of the subspace spanned by the best Diophantine approximations for a linear form.
Extriangulated categories were introduced by Nakaoka and Palu as a simultaneous generalization of exact categories and triangulated categories. In this paper, we show that the idempotent completion of an extriangulated category admits a…
This survey is a final project of Twopole DRP in fall 20201. In this paper we try to understand a tiny part of the vast theory of perfecoid spaces, called perfectoid fields. We start by giving some motivation and historical background. Then…
We study the K_0 and K_1-groups of exact and triangulated categories of perfect complexes, and we apply the results to show how determinant functors on triangulated categories can be used for the construction of Euler characteristics in…
Using a new powerful technique based on the notion of megaideal, we construct a complete set of inequivalent realizations of real Lie algebras of dimension no greater than four in vector fields on a space of an arbitrary (finite) number of…
An ideal is a nonempty collection of subsets closed under heredity and finite additivity. The aim of this paper is to unify some weak separation properties via topological ideals. We concentrate our attention on the separation axioms…
Small, finite entities are easier and simpler to manipulate than gigantic, infinite ones. Consequently huge chunks of mathematics are devoted to methods reducing the study of big, cumbersome objects to an analysis of their finite building…
In this paper we describe the categories $\mathbb{L}_R$ , [$\mathbb{R}_R$] whose objects are left [right] ideals of a Noetherian ring $R$ with unity and morphisms are appropriate $R$-linear transformations. Further it is shown that these…