Related papers: On an Erd\H{o}s-type conjecture on $\mathbb{F}_q[x…
Let $D$ be a division ring with the center $F=Z(D)$. Suppose that $N$ is a normal subgroup of $D^*$ which is radical over $F$, that is, for any element $x\in N$, there exists a positive integer $n_x$, such that $x^{n_x}\in F$. In…
One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erd\H{o}s: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a…
Let $\mathbb{R}^n$ be the n-dimensional Euclidean space with $O$ as the origin. Let $\wedge$ be a lattice of determinant $1$ such that there is a sphere $|X|<R$ which contains no point of $\wedge$ other than $O$ and has $n$ linearly…
An ideal $I$ of a commutative ring $R$ is said to be of linear type when its Rees algebra and symmetric algebra exhibit isomorphism. In this paper, we investigate the conjecture put forth by Jayanthan, Kumar, and Sarkar (2021) that if $G$…
In 1974, Erd\H{o}s and Kleitman conjectured that if a family $\mathcal{F}\subseteq 2^{[n]}$ contains no matching of size \(s\) and is maximal with respect to this property, then $ |\mathcal{F}|\ge \left(1-2^{-(s-1)}\right)\cdot 2^{n}. $ For…
In the present paper, dedicated to Yuri Manin, we investigate the general notion of rings of $\mathbb S[\mu_{n,+}]$-polynomials and relate this concept to the known notion of number systems. The Riemann-Roch theorem for the ring $\mathbb Z$…
In a seminal paper in 1959, Marcus and Ree proved that every $n\times n$ bistochastic matrix $A$ satisfies $\|A\|_{\operatorname{F}}^2\leq \max_{\sigma\in S_n}A_{i,\sigma(i)}$ where $S_n$ is the symmetric group on $\{1, \ldots, n\}$.…
The P\'{o}lya group of an algebraic number field is a particular subgroup of the ideal class group. This article provides an overview of recent results on P\'{o}lya groups of number fields, their connection with the ring of integer-valued…
J.-P. Roudneff conjectured in 1991 that every arrangement of $n \ge 2d+1\ge 5$ pseudohyperplanes in the real projective space $\mathbb{P}^d$ has at most $\sum_{i=0}^{d-2} \binom{n-1}{i}$ complete cells (i.e., cells bounded by each…
We investigate finiteness conditions on modules of bounded projective dimension and their connection with generalized notions of coherence. For a ring $R$, we consider the class $\mathsf{FP}_n^{\le d}(R)$ of finitely $n$-presented modules…
Erd\"os conjectured the existence of an infinite Sidon sequence of positive integers which is also an asymptotic basis of order 3. We make progress towards this conjecture in several directions. First we prove the conjecture for all cyclic…
Let $X$ be a smooth projective variety of dimension $n$, and let $E$ be an ample vector bundle over $X$. We show that any non-zero Schur class of $E$, lying in the cohomology group of bidegree $(n-1, n-1)$, has a representative which is…
In this paper, we provide an overview of Ehrhart polynomials associated with order polytopes of finite posets, a concept first introduced by Stanley. We focus on their combinatorial interpretations for many sequences listed on the OEIS. We…
Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a…
Let $\mathbb{D}$ be a division ring and $\mathbb{F}$ be a subfield of the center of $\mathbb{D}$ over which $\mathbb{D}$ has finite dimension $d$. Let $n,p,r$ be positive integers and $\mathcal{V}$ be an affine subspace of the…
A proof of Grothendieck--Serre conjecture on principal bundles over a semi-local regular ring containing an infinite field is given in [FP] recently. That proof is based significantly on Theorem 1.0.1 stated below in the Introduction and…
We prove two conjectures in this paper. The first conjecture is by Lund, Pham and Thu: Given a Borel set $A\subset \mathbb{R}^n$ such that $\dim A\in (k,k+1]$ for some $k\in\{1,\dots,n-1\}$. For $0<s<k$, we have \[ \text{dim}(\{y\in…
In 1965 Erd\H{o}s conjectured that the number of edges in k-uniform hypergraphs on n vertices in which the largest matching has s edges is maximized for hypergraphs of one of two special types. We settled this conjecture in the affirmative…
In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a…
This paper studies "pro-excision" for the K-theory of one-dimensional (usually semi-local) rings and its various applications. In particular, we prove Geller's conjecture for equal characteristic rings over a perfect field of finite…