Related papers: Local reflections of choice
A basic question for any property of quasi--coherent sheaves on a scheme $X$ is whether the property is local, that is, it can be defined using any open affine covering of $X$. Locality follows from the descent of the corresponding module…
We study the reverse mathematics of countable analogues of several maximality principles that are equivalent to the axiom of choice in set theory. Among these are the principle asserting that every family of sets has a $\subseteq$-maximal…
We prove that for every Shimura variety $S$, there is an integral model $\mathcal{S}$ such that all CM points of $S$ have good reduction with respect to $\mathcal{S}$. In other words, every CM point is contained in…
While persistent homology has taken strides towards becoming a wide-spread tool for data analysis, multidimensional persistence has proven more difficult to apply. One reason is the serious drawback of no longer having a concise and…
Given a reflection group $G$ acting on a complex vector space $V$, a reflection map is the composition of an embedding $X \hookrightarrow V$ with the orbit map $V\to\mathbb C^p$ that maps a $G$-orbit to a point. Reflection maps can be very…
Let $G$ be a usc decomposition of $S^n$, $H_G$ denote the set of nondegenerate elements and $\pi$ be the natural projection of $S^n$ onto $S^n/G$. Suppose that each point in the decomposition space has arbitrarily small neighborhoods with…
The set-theoretic axiom WISC states that for every set there is a set of surjections to it cofinal in all such surjections. By constructing an unbounded topos over the category of sets and using an extension of the internal logic of a topos…
A stationary subset S of a regular uncountable cardinal kappa reflects fully at regular cardinals if for every stationary set T subseteq kappa of higher order consisting of regular cardinals there exists an alpha in T such that S cap alpha…
It is well-known that entire functions whose spectrum belongs to a fixed bounded set $S$ admit real uniformly discrete uniqueness sets $\Lambda$. We show that the same is true for much wider spaces of continuous functions. In particular,…
We propose a novel method for selective classification (SC), a problem which allows a classifier to abstain from predicting some instances, thus trading off accuracy against coverage (the fraction of instances predicted). In contrast to…
A microscopic approach is developed to scattering of surface states from a non-magnetic linear defect at a surface with strong spin-orbit interaction. Spin-selective reflection resonances in scattering of Rashba-split surface states by an…
We mainly investigate model of set theory with restricted choice, e.g., ZF + DC + "the family of countable subsets of lambda is well ordered for every lambda" (really local version for a given lambda). In this frame much of pcf theory can…
An infinite bit sequence is called recursively random if no computable strategy betting along the sequence has unbounded capital. It is well-known that the property of recursive randomness is closed under computable permutations. We…
We study differential forms invariant under a finite reflection group over a field of arbitrary characteristic. In particular, we prove an analogue of Saito's freeness criterion for invariant differential 1-forms. We also discuss how…
The first examples of formations which are arboreous (and therefore Hall) but not freely indexed (and therefore not locally extensible) are found. Likewise, the first examples of solvable formations which are freely indexed and arboreous…
Continuing [Fuchino, Ottenbreit and Sakai[9, 10]] and [Fuchino and Ottenbreit[11]], we further study reflection principles in connection with the L\"owenheim-Skolem Theorems of stationary logics. In this paper, we mainly analyze the…
Goal. We analyze when the Partition Principle ($\mathsf{PP}$) holds without $\mathsf{AC}$ in models arising from a free finite $H$-action on Cantor space, and reconcile two standard routes to such models. Approach. Route I proceeds via a…
For a big tt-category, we give a characterization of the Telescope Conjecture (TC) in terms of definable tensor-ideals generated by homological residue fields. We formulate a stalk-locality property of (TC) and prove that it holds in the…
The large deviations principles are established for a class of multidimensional degenerate stochastic differential equations with reflecting boundary conditions. The results include two cases where the initial conditions are adapted and…
For any truncated path algebra $\Lambda$ of a quiver, we classify, by way of representation-theoretic invariants, the irreducible components of the parametrizing varieties $\mathbf{Rep}_{\mathbf{d}}(\Lambda)$ of the $\Lambda$-modules with…