相关论文: The Filter Dichotomy Principle Does not Imply the …
A key result in a 2004 paper by S. Arkhipov, R. Bezrukavnikov, and V. Ginzburg (ABG) gives an equivalence of the bounded derived category of finite dimensional modules for the principal block of a Lusztig quantum algebra at an $\ell^{th}$…
We investigate mutual behavior of cascades, contours of which are contained in a fixed ultrafilter. Using that relation we prove (ZFC) that the class of strict $J_{\omega^\omega}$-ultrafilters, introduced by J. E. Baumgartner in…
Second-order tensor perturbations induced by primordial fluctuations play a crucial role in probing small-scale physics, but gauge dependence of their energy density has remained a fundamental challenge in cosmological perturbation theory.…
The notion of (semi)bricks, regarded as a generalization of (semi)simple modules, appeared in a paper of Ringel in 1976. In recent years, there has been several new developments motivated by links to {\tau}-tilting theory studied by…
We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…
Let $S$ be a semitopological semigroup and $\mathcal{CB}(S)$ denotes the $C^*$-algebra of all bounded complex valued continuous functions on $S$ with uniform norm. A function $f\in \mathcal{CB}(S)$ is left multiplicative \linebreak…
We show that diagrammatic sets, a topologically sound alternative to polygraphs and strict $\omega$-categories, admit an internal notion of equivalence in the sense of coinductive weak invertibility. We prove that equivalences have the…
Let S $\subseteq$ N be a numerical semigroup with multiplicity m = min(S \ {0}) and conductor c = max(N \ S) + 1. Let P be the set of primitive elements of S, and let L be the set of elements of S which are smaller than c. A longstand-ing…
We prove a strong dichotomy for the number of ultrapowers of a given countable model associated with nonprincipal ultrafilters on N. They are either all isomorphic, or else there are $2^{2^{\aleph_0}}$ many nonisomorphic ultrapowers. We…
The classical Okamura-Seymour theorem states that for an edge-capacitated, multi-commodity flow instance in which all terminals lie on a single face of a planar graph, there exists a feasible concurrent flow if and only if the cut…
It is shown that the consistency strength of ZF + DC + "the closed unbounded ultrafilter on omega_1 is an ultrafilter" is exactly ZFC + one measurable cardinal.
In 1962, Gallagher proved an higher dimensional version of Khintchine's theorem on Diophantine approximation. Gallagher's theorem states that for any non-increasing approximation function $\psi:\mathbb{N}\to (0,1/2)$ with…
Main result: If a C*-algebra is simple, $\sigma$-unital, has finitely many extremal traces, and has strict comparison of positive elements by traces, then its multiplier also has strict comparison of positive elements by traces. The same…
Let T be a triangulated category with coproducts, C the full subcategory of compact objects in T. If T is the homotopy category of spectra, Adams proved the following in [Adams71]: All contravariant homological functors C --> Ab are the…
Whether embedding spaces use all their dimensions equally, i.e., whether they are isotropic, has been a recent subject of discussion. Evidence has been accrued both for and against enforcing isotropy in embedding spaces. In the present…
Most of what is known about neutrino masses and mixings results from studies of oscillation phenomena. We focus on those neutrino properties that are not amenable to such studies: $\Sigma $, the sum of the absolute values of the neutrino…
Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{\'a}sz, Szegedy and Razborov, Hatami and Norine proved that…
We prove results concerning the behavior of Hodge ideals under restriction to hypersurfaces or fibers of morphisms, and addition. The main tool is the description of restriction functors for mixed Hodge modules by means of the…
In the paper, the authors establish three kinds of double inequalities for the trigamma function in terms of the exponential function to powers of the digamma function. These newly established inequalities extend some known results. The…
Let F be a fibration on a simply-connected base with symplectic fibre (M, \omega). Assume that the fibre is nilpotent and T^{2k}-separable for some integer k or a nilmanifold. Then our main theorem, Theorem 1.8, gives a necessary and…