Related papers: Biduality and Reflexivity in Positive Characterist…
We propose a model theoretic interpretation of the theorems about the equivalence between mixed characteristic perfectoid spaces and their tilts.
We formulate explicitly the necessary and sufficient conditions for the local invertibility of a field transformation involving derivative terms. Our approach is to apply the method of characteristics of differential equations, by treating…
We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…
We consider concept generalization at a large scale in the diverse and natural visual spectrum. Established computational modes (i.e., rule-based or similarity-based) are primarily studied isolated and focus on confined and abstract problem…
This note gives a unifying characterization and exposition of strongly irreducible elements and their duals in lattices. The interest in the study of strong irreducibility stems from commutative ring theory, while the dual concept of strong…
We formulate a conjecture characterizing smooth projective varieties in positive characteristic whose Frobenius morphism can be lifted modulo $p^2$ - we expect that such varieties, after a finite \'etale cover, admit a toric fibration over…
Motivated by structural properties of differential field extensions, we introduce the notion of a theory $T$ being derivation-like with respect to another model complete theory $T_0$. We prove that when $T$ admits a model companion $T_+$,…
Reflexive homology is the homology theory associated to the reflexive crossed simplicial group; one of the fundamental crossed simplicial groups. It is the most general way to extend Hochschild homology to detect an order-reversing…
The compactness theorem for a logic states, roughly, that the satisfiability of a set of well-formed formulas can be determined from the satisfiability of its finite subsets, and vice versa. Usually, proofs of this theorem depend on the…
We present a slightly different formulation of Zak's theorem on tangencies as well as some applications. In particular, we obtain a better bound on the dimension of the dual variety of a manifold and we classify extremal and…
We prove that the irreducible components of the characteristic varieties of quasi-projective manifolds are either pull-backs of such components for orbifolds, or torsion points. This gives an interpretation for the so-called…
In the first part of the work (Sections 2-6) a special attention is given to relative separation axioms and relative connectedness, in particular, many relative versions of p-T_0, p-T_1, p-T_2, (i,j)- and p-regularities, (i,j)- and…
We show that varieties of dimension at least 2 over infinite fields are determined as abstract schemes by their Zariski topological spaces together with the rational equivalence relation on the set of effective divisors. This gives a…
Topologically non trivial effects appearing in the discussion of duality transformations in higher genus manifolds are discussed in a simple example, and their relation with the properties of Topological Field Theories is established.
We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…
Classically, any structure for a signature $\Sigma$ may be completed to a model of a desired regular theory $T$ by means of the chase construction or small object argument. Moreover, this exhibits $\mathrm{Mod}(T)$ as weakly reflective in…
A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally…
We introduce an imperative, stack-based, and reversible computational model that characterizes Two-way Bijections both implicitly, concerning their computational complexity, and with zero-garbage.
We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…
Nontrivial infinitesimal bendings for a class of two-dimensional surfaces are constructed. The surfaces considered here are orientable; compact; with boundary; have positive curvature everywhere except at finitely many planar points; and…