Related papers: Pseudo-N\'eron Model and Restriction of Sections I…

We introduce the notion of two-sided Ehresmann semigroupoids and show that they are in correspondence with a specific class of categories, which we call local biordered Ehresmann categories. This correspondence provides a unified…

We compare two methods of proving separable reduction theorems in functional analysis -- the method of rich families and the method of elementary submodels. We show that any result proved using rich families holds also when formulated with…

An anyon exclusion statistics, which generalizes the Bose-Einstein and Fermi-Dirac statistics of bosons and fermions, was proposed by Haldane[1]. The relevant past studies had considered only anyon systems without any physical boundary but…

In this note we elaborate on a recent counter-example to the Nelson-Seiberg theorem and to its generalizations. We provide sufficient conditions for the existence of such counter-examples, finding new ones. We claim that these…

We give a simple proof of the well-known divisibility by 2 condition for rational points on elliptic curves with rational 2-torsion. As an application of the explicit division by $2^n$ formulas obtained in Sec.2, we construct versal…

We prove a tropical analogue of Cartan's second main theorem for holomorphic curves intersecting hyperplanes in general position--a setting that was not fully resolved by previous tropical Nevanlinna theory. Two versions are obtained. The…

A new generalization of the classical separate algebraicity theorem is suggested and proved.

We prove new modularity lifting theorems for p-adic Galois representations in situations where the methods of Wiles and Taylor--Wiles do not apply. Previous generalizations of these methods have been restricted to situations where the…

Dirac's conjecture, that secondary first-class constraints generate transformations that do not change the physical system's state, has various counterexamples. Since no matching gauge conditions can be imposed, the Dirac bracket cannot be…

We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…

We study semistable reduction and torsion points of abelian varieties. In particular, we give necessary and sufficient conditions for an abelian variety to have semistable reduction. We also study N\'eron models of abelian varieties with…

We introduce and study non-abelian cohomology sets of Hopf algebras with coefficients in Hopf comodule algebras. We prove that these sets generalize as well Serre's non-abelian group cohomology theory as the cohomological theory constructed…

In this paper, we intend to revisit Theorem 2 of [3] formulating it in a way that, weakening the hypotheses and, at the same time, highlighting the richer conclusion allowed by the proof, it can potentially be applicable to a broader range…

We prove well-posedness for very general linear wave- and diffusion equations on compact or non-compact metric graphs allowing various different conditions in the vertices. More precisely, using the theory of strongly continuous operator…

We exhibit a method to use continued fractions in function fields to find new families of hyperelliptic curves over the rationals with given torsion order in their Jacobians. To show the utility of the method, we exhibit a new infinite…

The framework of algebraically natural proofs was independently introduced in the works of Forbes, Shpilka and Volk (2018), and Grochow, Kumar, Saks and Saraf (2017), to study the efficacy of commonly used techniques for proving lower…

Torsion theories play an important role in abelian categories and they have been widely studied in the last sixty years. In recent years, with the introduction of pretorsion theories, the definition has been extended to general…

We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first…

It is known that for binary codes one can use Gr\"obner bases to obtain a subset of codewords of minimal support that can be used to determine the second generalized Hamming weight of the code. In this paper we establish conditions on a…

The stable reduction theorem says that a family of curves of genus $g\geq 2$ over a punctured curve can be uniquely completed (after possible base change) by inserting certain stable curves at the punctures. We give a new proof of this…