搜索结果：Splintering

We introduce (lim-)perfectoid splitting, which is a global variant of (lim-)perfectoid purity. Our main result establishes a correspondence between the lim-perfectoid splitting of projective schemes and the lim-perfectoid purity of their Gorenstein section rings. As an application, we construct a new supply of examples of lim-perfectoid pure rings that go beyond the previously known complete intersection or splinter-type cases.

A convex splinter $K$ is a union of convex sets in $\mathbb{R}^d$ such that every minimal affine dependent set of $\mathbb{R}^d$ contained in $K$ is contained in one of the sets. The study of convex splinters was motivated by the study of flat transversals to convex sets. We extend several variations of Helly's theorem from convex geometry to convex splinters. These include fractional and colorful variations of Helly's theorem. We also extend Tverberg's theorem to convex splinters.

If $(R,\mathfrak{m})$ is a complete local ring of mixed characteristic $(0,p)$ and $R/pR$ is an $F$-pure Gorenstein domain, we find a sufficient condition for $R$ to be perfectoid pure. This condition is related to the Cohen-Macaulayness of the absolute integral closures of Gorenstein local domains of mixed characteristic which are not necessarily excellent. Along the way, we show that the problem of lifting $F$-purity of $R/pR$ to perfectoid purity of $R$ is equivalent to a similar deformation problem for the splinter property.

We prove that a Noetherian ring $R$ is a splinter if and only if for every equidimensional surjective morphism $\operatorname{Spec}(S) \to \operatorname{Spec}(R)$, the map $R \to S$ is pure. This yields a large, nontrivial class of ring maps that are automatically pure. More generally, we prove that a locally Noetherian scheme $Y$ is locally a splinter if and only if every locally equidimensional morphism $X \to Y$ is strongly pure. Special cases of our results show that equidimensional fibrations over normal $\mathbf{Q}$-schemes or regular schemes of arbitrary characteristic are strongly pure. The main ingredient is a new factorization result for locally equidimensional morphisms of schemes, which is of independent interest. Additionally, we prove a weak Boutot-type theorem for $F$-rationality, which says that $F$-rationality descends under pure ring maps that are locally equidimensional under universally catenary assumptions. This statement is false without the locally equidimensional hypothesis.

This work is concerned with categorical methods for studying singularities. Our focus is on birational derived splinters, which is a notion that extends the definition of rational singularities beyond varieties over fields of characteristic zero. Particularly, we show that an invariant called `level' in the associated derived category measures the failure of these singularities.

Swarmalators are active agents that move in position space and exhibit internal degrees of freedom. Due to interactions of their positions and phases of oscillation, they show on the one hand swarming, similar to the effect of flocking of birds. In addition, they exhibit synchronization behavior, analogous to what has been observed in fireflies. Previous works studied scenarios in which the phases are forced externally. Here, we consider a pseudo-force that acts on the positions of the swarmalators. Due to the resulting attraction towards the center of position space, transitions from the splintered and active phase-wave state to the static antisynchronized state are found. To quantify the crystal order of swarmalators, we introduce an order parameter that is based on the Fourier transform of their positions.

This article is a primer on concept extrapolation - the ability to take a concept, a feature, or a goal that is defined in one context and extrapolate it safely to a more general context. Concept extrapolation aims to solve model splintering - a ubiquitous occurrence wherein the features or concepts shift as the world changes over time. Through discussing value splintering and value extrapolation the article argues that concept extrapolation is necessary for Artificial Intelligence alignment.

We construct a local Noetherian splinter (in fact, a weakly $F$-regular domain) in prime characteristic which is not catenary, which we view as an analogue of a theorem of Ogoma in equal characteristic zero. Moreover, we construct a weakly $F$-regular local UFD which is not Cohen-Macaulay. Both of these examples are obtained via finding sufficient conditions ensuring that a complete local ring of prime characteristic is the completion of some weakly $F$-regular local domain, which we expect to be of independent interest.

Given a right adjoint functor between triangulated categories and an object in the target category, we show that the unit map of adjunction on that object is a split monomorphism if and only if the object belongs to the additive closure of (all possible) shifts of an object in the image of the functor. Applications to geometric context related to (derived) splinters and rational singularities are given.

This work presents a range of triangulated characterizations for important classes of singularities such as derived splinters, rational singularities, and Du Bois singularities. An invariant called 'level' in a triangulated category can be used to measure the failure of a variety to have a prescribed singularity type. We provide explicit computations of this invariant for reduced Nagata schemes of Krull dimension one and for affine cones over smooth projective hypersurfaces. Furthermore, these computations are utilized to produce upper bounds for Rouquier dimension on the respective bounded derived categories.

Let $X$ be a normal, excellent, noetherian scheme over $\operatorname{Spec}\mathbb{Q}$ with a dualizing complex. In this note, we find an alternate characterization of the multiplier ideal of $X$, as defined by de Fernex-Hacon, by considering maps $π_*ω_Y\to\mathcal{O}_X$ where $π:Y\to X$ ranges over all regular alterations. As a corollary to this result, we give a derived splinter characterization of klt singularities, akin to the characterization of rational singularities given by Kovács and Bhatt. We also give an analogous description of the test ideal in characteristic $p>2$ as a corollary to a result of Epstein-Schwede.

While the splinter property is a local property for Noetherian schemes in characteristic zero, Bhatt observed that it imposes strong conditions on the global geometry of proper schemes in positive characteristic. We show that if a proper scheme over a field of positive characteristic is a splinter, then its Nori fundamental group scheme is trivial and its Kodaira dimension is negative. In another direction, Bhatt also showed that any splinter in positive characteristic is a derived splinter. We ask whether the splinter property is a derived invariant for projective varieties in positive characteristic and give a positive answer for normal Gorenstein projective varieties with big anticanonical divisor. We also show that global F-regularity is a derived invariant for normal Gorenstein projective varieties in positive characteristic.

We show that certain ways of solving some combinatorial optimization problems can be understood as using query planes to divide the space of problem instances into polyhedra that could fit into those that characterize the problem's various solutions. This viewpoint naturally leads to a splinter-proneness property that is then shown to be responsible for the hardness of the concerned problem. We conjecture that the $NP$-equivalent traveling salesman problem (TSP) has this property and hence is hard to solve to a certain extent.

We show that the splinter property ascends along regular residue field extensions, and along arbitrary regular maps in equal characteristic. We also study the splinter property of non-Noetherian rings, especially those related to ultrapowers, to the extent necessary for our main results.

In the first part we show a counterexample to a conjecture by Shelah regarding the existence of indiscernible sequences in dependent theories (up to the first inaccessible cardinal). In the second part we discuss generic pairs, and give an example where the pair is not dependent. Then we define the notion of directionality which deals with counting the number of coheirs of a type and we give examples of the different possibilities. Then we discuss non-splintering, an interesting notion that appears in the work of Rami Grossberg, Andrés Villaveces and Monica VanDieren, and we show that it is not trivial (in the sense that it can be different than splitting) whenever the directionality of the theory is not small. In the appendix we study dense types in RCF.