Mathematics

Given a non-zero polynomial $P(x)$, we study Fuchsian differential operators of the form $L=\partial_x^2-u(x)$ such that for all $\lambda\in\mathbb{C}$ the operator $L+\lambda P(x)$ is monodromy free. We prove that all such operators are…

We study spaces of conformal blocks associated with line bundles over elliptic curves, with coefficients in a vertex algebra. For vertex algebras satisfying suitable finiteness and semisimplicity conditions, which are met by all admissible…

We prove undecidability for every positive relevant logic extending the system axiomatized by hypothetical syllogism, prefixing, and suffixing and contained in the logic of the semilattice frame $(P_{\mathrm{fin}}(\mathbb{N}), \cup,…

This paper introduces a Laws of Form version of the Quaternions. We call this the Q-Calculus, a 16-valued extension of Laws of Form (LoF) which is closely related to the BF Calculus (where we have a single square root of the mark) and the…

We prove that smooth quartic threefolds are symplectically irrational, i.e., cannot be related to projective space by a series of symplectic blow-ups, blow-downs, and deformations. This implies that they are algebraically irrational,…

This paper develops new aspects of the interplay between shifted symplectic geometry and classical Poisson geometry, focusing on lagrangian morphisms into 2-shifted symplectic groups. We establish a Lie-type correspondence between such…

We show that prequantization bundles have explicit Legendrian barriers, whose removal obstruct the embedding of long cylinders over Legendrian submanifolds.

Let $L$ be a closed Lagrangian submanifold of a symplectic manifold $(X,\omega)$. Cieliebak and Mohnke define the symplectic area of $L$ as the minimal positive symplectic area of a smooth $2$-disk in $X$ with boundary on $L$. An extremal…

For K\"ahler K3 surfaces we consider Kulikov models of type III tamed by a symplectic form. Our main result shows that the generic smooth fiber admits an almost toric fibration over the intersection complex, which inherits a natural nodal…

We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…

We develop a graphical calculus for monoidal categories equipped with twisted pivotal structures, which are a generalization of pivotal structures originating from the study of orientation structures in the context of the Cobordism…

In chapter 9 of his book "The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal", Woodin shows how to force the Strong Chang Conjecture over models of determinacy using $\mathbb{P}_{\mathrm{max}}$. We show here how a…

In a previous paper we introduced a version of associativity for a partial infinitary operation. We prove here that if $\gamma$ is an infinite ordinal and some associative infinitary operation is defined for all sequences indexed by…

We investigate B\"uchi Arithmetic $\mathsf{BA}_k$ -- the elementary theory of the natural numbers equipped with addition and the function mapping a number $x$ to the greatest power of $k$ dividing $x$. $\mathsf{BA}_k$ is known to be…

We analyze a construction of Cherlin, van den Dries, and Macintyre to code graphs in PAC fields. We show that, in many cases, model-theoretic properties of the graph are preserved in the passage from the graph to the field. As a corollary,…

We explore Seshadri constants associated to weighted blow-ups of complex projective varieties and demonstrate how to use this notion to construct symplectic embeddings of ellipsoids. We illustrate the utility of this point of view by…

Unbounded {\L}ukasiewicz logic is a substructural logic that combines features of infinite-valued {\L}ukasiewicz logic with those of abelian logic. The logic is finitely strongly complete w.r.t.~the additive $\ell$-group on the reals…

For an $\omega$-categorical theory $T$ and model $\mathcal{M}$ of $T$ we define a hierarchy of ranks, the $n$-ranks for $n < \omega$ which only care about imaginary elements ``up to level $n$'', where level $n$ contains every element of $M$…

We study the symplectic semi-characteristic of a closed 4n-dimensional symplectic manifold. First, using the even-degree part of the primitive cohomology, we define the symplectic semi-characteristic. Second, using a vector field with…

We develop the theory of $\hbar$-vertex algebras, algebraic structures closely related to vertex algebras but with a deformed translation covariance axiom. We establish their structure theory, including analogues of Goddard's Uniqueness…