Related papers: Bounded $\mathfrak{sp}_4$-laminations and their in…

Motivated by questions like: which spatial structures may be characterized by means of modal logic, what is the logic of space, how to encode in modal logic different geometric relations, topological logic provides a framework for studying…

We provide an explicit combinatorial realization of all simple and injective (hence, and projective) modules in the category of bounded $\mathfrak{sp}(2n)$-modules. This realization is defined via a natural tableaux correspondence between…

We consider a family of closed symplectic manifolds 4-manifolds which we call symplectic bielliptic surfaces and study its Lagrangian cobordism group of weakly-exact Lagrangian G-branes (that is, Lagrangians equipped with a grading, a Pin…

We introduce a Sherrington-Kirkpatrick spin-glass model with the addition of elastic degrees of freedom. The problem is formulated in terms of an effective four-spin Hamiltonian in the pressure ensemble, which can be treated by the replica…

Fock and Goncharov introduced a family of cluster algebras associated with the moduli of SL(k)-local systems on a marked surface with extra decorations at marked points. We study this family from an algebraic and combinatorial perspective,…

The study of rational conformal field theories in the moduli space is of particular interest since these theories correspond to points in moduli space where the algebraic and arithmetic structure are usually richer, while also being points…

In this article, we establish a connection between two models for $r$-spin structures on surfaces: the marked PLCW decompositions of Novak and Runkel-Szegedy, and the structured graphs of Dyckerhoff-Kapranov. We use these models to describe…

We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q and whose singularity type is D_4. This improves on a result of…

Fock-Goncharov's moduli spaces $\mathscr{X}_{{\rm PGL}_3,\frak{S}}$ of framed ${\rm PGL}_3$-local systems on punctured surfaces $\frak{S}$ provide prominent examples of cluster $\mathscr{X}$-varieties and higher Teichm\"uller spaces. In a…

Using Seiberg-Witten Floer spectrum and Pin(2)-equivariant KO-theory, we prove new Furuta-type inequalities on the intersection forms of spin cobordisms between homology $3$-spheres. As an application, we give explicit constrains on the…

We give some constraints on intersection forms of spin 4-manifolds bounded by Seifert rational homology 3-spheres in terms of the $\bar{\mu}$ invariant and compare them with those in terms of the $\kappa$ invariant. We also show that the…

We compute the topological mapping class group of every compact, simply connected, topological 4-manifold. This was previously only known in the closed case. If the 4-manifold is smooth, we deduce an analogous description of the stable…

Let $p: S\to S_g$ be a finite covering of an orientable closed surface of genus $g$. We prove that, for $g\geq 3$, the rational homology group $H_1(S;{\mathbb Q})$ is generated by cycles supported on simple closed curves $\gamma\subset S$…

Given a compact orientable surface $\Sigma$, let $\Cal S(\Sigma)$ be the set of isotopy classes of essential simple loops on $\Sigma$. We determine a complete set of relations for a function from $\Cal S(\Sigma)$ to $\bold Z$ to be a…

We extend Gubler--K\"unnemann's theory of $\delta$-forms from algebraic varieties to good Berkovich spaces. This is based on the observation that skeletons in such spaces satisfy a tropical balance condition. Our main result is that…

We introduce the concept of Spin^G-structure in a SO-bundle, where $G\subset U(V)$ is a compact Lie group containing $-id_V$. We study and classify $Spin^G(4)$-structures on 4-manifolds, we introduce the G-Monopole equations associated with…

Let $S$ be a rational homology complex projective plane with quotient singularities. The algebraic Montgomery-Yang problem conjectures that the number of singular points of $S$ is at most three if its smooth locus is simply-connected. In…

For a commutative Frobenius algebra $A$, we construct a $(2,3,3+\varepsilon)$-dimensional TQFT $\mathsf{AFK}_A$ that assigns to a 3-manifold a skein module of embedded $A$-decorated surfaces. These surface skein modules have been first…

The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…

A proof via the Seiberg-Witten moduli space of Donaldson's theorem on smooth 4-manifolds with definite intersection forms.