Related papers: $F$-pure and $F$-injective singularities in equal …
We prove a sharp integral inequality that generalizes the well known Hardy type integral inequality for negative exponents. We also give sharp applications in two directions for Muckenhoupt weights on R. This work refines the results that…
In this paper, we give a combinatorial proof of a positivity result of Chern related to Andrews's $\mathcal{EO}^*$-type partitions. This combinatorial proof comes after reframing Chern's result in terms of copartitions. Using this new…
We study the geometry of equivariant, proper maps from homogeneous bundles $G\times_P V$ over flag varieties $G/P$ to representations of $G$, called collapsing maps. Kempf showed that, provided the bundle is completely reducible, the image…
We are interested in proving input-output properties of functions that handle infinite data such as streams or non-wellfounded trees. We provide a finitary refinement type system which is (sound and) complete for Scott-open properties…
We introduce a certain class of so-called perfectoid rings and spaces, which give a natural framework for Faltings' almost purity theorem, and for which there is a natural tilting operation which exchanges characteristic 0 and…
We deal with finitely additive measures defined on all subsets of natural numbers which extend the asymptotic density (density measures). We consider a class of density measures which are constructed from free ultrafilters on natural…
All the connections, pure toward the nilpotent structure, are found. Examples of manifolds, for which the curvature tensor is pure or hybrid, are given. For a manifold of B-type a necessary and sufficient condition for purity of the…
The object of the present is a proof of the existence of functorial resolution of tame quotient singularities for quasi-projective varieties over algebraically closed fields.
We establish a criterion for determining when a family of geometric functors is jointly conservative through the lens of purity in compactly generated triangulated categories. We introduce the notion of pure descendability and we apply it…
This paper represents the main portion of the Ph.D. Thesis of the author, and is the first of the series of four papers, which is a joint work with K. Matsuki as a whole. We present a program toward constructing an algorithm for resolution…
We generalize $F$-signature to pairs $(R,D)$ where $D$ is a Cartier subalgebra on $R$ as defined by the first two authors. In particular, we show the existence and positivity of the $F$-signature for any strongly $F$-regular pair. In one…
It is consistent with ZF + DC that there exists an ultrafilter $U$ on $\omega$ such that two infinite ultraproducts of finite sets, $\prod A_n / U$ and $\prod B_n / U$, have the same cardinality if and only if $0 < \lim_U |A_n|/|B_n| <…
Let $n$ be any positive integer and $\mathscr{I\!P\!F}(\mathbb{N}^n)$ be the semigroup of all order isomorphisms between principal filters of the $n$-th power of the set of positive integers $\mathbb{N}$ with the product order. We prove…
We continue our study of the class $\mathscr{C}(D)$, where $D$ is a uniform ultrafilter on a cardinal $\kappa$ and $\mathscr{C}(D)$ is the class of all pairs $(\theta_1, \theta_2),$ where $(\theta_1, \theta_2)$ is the cofinality of a cut in…
Let F be the category of finite dimensional representations of an arbitrary quantum affine algebra. We prove that a tensor product $S_1\otimes ... \otimes S_N$ of simple objects of F is simple if and only if for any $i < j$, $S_i\otimes…
In this article we study F-pure thresholds (and, more generally, F-thresholds) of homogeneous polynomials in two variables over a field of characteristic p>0. Passing to a field extension, we factor such a polynomial into a product of…
We give a short review of Frobenius manifolds and algebraic integrability and study their intersection. The simplest case is the relation between the Frobenius manifold of simple singularities, which is almost dual to the integrable open…
This paper studies properties of certain hypersurfaces in prime characteristic: we give a sufficient and necessary conditions for some classes of such hypersurfaces to have Finite $F$-representation Type (FFRT) and we compute the…
The purpose of this paper is to describe several applications of finiteness properties of $F$-finite $F$-modules recently discovered by M. Hochster to the study of Frobenius maps on injective hulls, Frobenius near-splittings and to the…
We prove that a right $R$-module $M$ is $\Sigma$-pure injective if and only if $\mathrm{Add}(M)\subseteq \mathrm{Prod}(M)$. Consequently, if $R$ is a unital ring, the homotopy category $\mathbf{K}({\mathrm{Mod}\text{-} R})$ satisfies the…