Related papers: $I$-regularity, determinacy, and $\infty$-Borel se…

The rational fixed point of a set functor is well-known to capture the behaviour of finite coalgebras. In this paper we consider functors on algebraic categories. For them the rational fixed point may no longer be fully abstract, i.e. a…

We prove that, under CH, any space with a regular $G_\delta$-diagonal and caliber $\omega_1$ is separable; a corollary of this result answers, under CH, a question of Buzyakova. For any Urysohn space $X$, we establish the inequality $|X|\le…

We study the algebraic sets of pairs of matrices defined by the vanishing of the anti-diagonal as well as the cross-diagonal of their commutator matrix. We prove that, over a field of prime characterisitic, the coordinate ring of the latter…

In this paper, we prove well-posedness of the Fornberg-Whitham equation in Besov spaces $B_{2,r}^s$ in both the periodic and non-periodic cases. This will imply the existence and uniqueness of solutions in the aforementioned spaces along…

Given a continuous linear cocycle A over a homeomorphism f of a compact metric space X, we investigate its set R of Lyapunov-Perron regular points, that is, the collection of trajectories of f that obey the conclusions of the Multiplicative…

I introduced the notions of proper and piecewise proper families of reals to make progress on an open question in the field of models of PA about whether every Scott set is the standard system of a model of PA. A family of reals X is proper…

The containment problem for symbolic and ordinary powers of ideals asks for what values of $a$ and $b$ we have $I^{(a)} \subseteq I^b$. Over a regular ring, a result by Ein-Lazarsfeld-Smith, Hochster-Huneke, and Ma-Schwede partially answers…

Let $(R,\frak{m})$ be a Noetherian local ring, $I$ an ideal of $R$ and $N$ a finitely generated $R$-module. Let $k{\ge}-1$ be an integer and $ r=\depth_k(I,N)$ the length of a maximal $N$-sequence in dimension $>k$ in $I$ defined by M.…

Let $\Phi$ be a $C^{1+\gamma}$ smooth IFS on $\mathbb{R}$, where $\gamma>0$. We provide mild conditions on the derivative cocycle that ensure that every self conformal measure is supported on points $x$ that are absolutely normal. That is,…

A theorem of Bogolyubov states that for every dense set $A$ in $\mathbb{Z}_N$ we may find a large Bohr set inside $A+A-A-A$. In this note, motivated by the work on a quantitative inverse theorem for the Gowers $U^4$ norm, we prove a…

Let $(R,m)$ be a Noetherian local ring and $I$ an ideal with finite projective dimension. If $R/I$ satisfies some property $\mathcal{P}$, it is natural to ask whether $R$ would also satisfy this property $\mathcal{P}$. This is called the…

Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and let $I \subset S$ be a monomial ideal. For a vector $\mathfrak{c}\in\mathbb{N}^n$, we set $I_{\mathfrak{c}}$ to be the ideal generated by monomials…

A set of polynomials G in a polynomial ring S over a field is said to be a universal Groebner basis, if G is a Groebner basis with respect to every term order on S. Twenty years ago Bernstein, Sturmfels, and Zelevinsky proved that the set…

We show that a formal power series has positive radius of convergence if and only if it is uniformly Borel summable over a circle with center at the origin. Consequently, we obtain that an entire function $f$ is of exponential type if and…

We focus on the structure of a homogeneous Gorenstein ideal $I$ of codimension three in a standard polynomial ring $R=\kk[x_1,\ldots,x_n]$ over a field $\kk$, assuming that $I$ is generated in a fixed degree $d$. For such an ideal $I$ this…

We continue our study of F-thresholds begun in math/0607660 by an in depth analysis of the hypersurface case. We use the D--module theoretic description of generalized test ideals which allows us to show that in any F--finite regular ring…

In $\mathsf{ZFC}$, if there is a measurable cardinal with infinitely many Woodin cardinals below it, then for every equivalence relation $E \in L(\mathbb{R})$ on $\mathbb{R}$ with all $\mathbf{\Delta}_1^1$ classes and every $\sigma$-ideal…

Guo and the second author have shown that the closure $[I]$ in the Drury-Arveson space of a homogeneous principal ideal $I$ in $\mathbb{C}[z_1,...,z_n]$ is essentially normal. In this note, the authors extend this result to the closure of…

We contribute to the study of $\aleph_1$-dense sets of reals, a mainstay in set theoretic research since Baumgartner's seminal work in the 70s. In particular, we show that it is consistent with $\textsf{MA}$ that there exists an…

We study the existence of fixed points for continuous maps $f$ from an $n$-ball $X$ in $\mathbb R^n$ to $\mathbb R^n$ with $n\geq 1$. We show that $f$ has a fixed point if, for some absolute retract $Y\subset\partial X$, $f(Y)\subset X$ and…