Related papers: Cubical sites as Eilenberg-Zilber categories

Let $X$ be a smooth proper variety over an algebraically closed field of characteristic zero, and let $\mathcal{A} \subset D^{b}_{\mathrm{coh}}(X)$ be an admissible subcategory. Let $Z \subset X$ be the union of set-theoretical supports of…

We show that a number of results on abstract elementary classes (AECs) hold in accessible categories with concrete directed colimits. In particular, we prove a generalization of a recent result of Boney on tameness under a large cardinal…

We compute a complete set of isomorphism classes of cubic fourfolds over $\mathbb{F}_2$. Using this, we are able to compile statistics about various invariants of cubic fourfolds, including their counts of points, lines, and planes; all…

We generalize some of the fundamental results of algebraic topology from topological spaces to \v{C}ech's closure spaces, also known as pretopological spaces. Using simplicial sets and cubical sets with connections, we define three distinct…

We introduce a notion of Milnor square of stable $\infty$-categories and prove a criterion under which algebraic K-theory sends such a square to a cartesian square of spectra. We apply this to prove Milnor excision and proper excision…

We consider an inverse problem associated with some 2-dimensional non-compact surfaces with conical singularities, cusps and regular ends. Our motivating example is a Riemann surface $\mathcal M = \Gamma\backslash{\bf H}^2$ associated with…

From a generalization to $Z^n$ of the concept of congruence we define a family of regular digraphs or graphs called multidimensional circulants, which turn out to be Cayley (di)graphs of Abelian groups. This paper is mainly devoted to show…

This work classifies stabilizer codes by the set of diagonal Clifford gates that can be implemented transversally on them. We show that, for any stabilizer code, its group of diagonal transversal Clifford gates on $\ell$ code blocks must be…

Motivated by potential applications to theoretical computer science, in particular those areas where the Curry-Howard correspondence plays an important role, as well as by the ongoing search in pure mathematics for feasible approaches to…

Let Z be a subvariety of the moduli space of principally polarised abelian varieties of dimension g over the complex numbers. Suppose that Z contains a Zariski dense set of points which correspond to abelian varieties from a single isogeny…

In this paper we define and study a notion of discrete homology theory for metric spaces. Instead of working with simplicial homology, our chain complexes are given by Lipschitz maps from an $n$-dimensional cube to a fixed metric space. We…

We axiomatise the dagger category of complex Hilbert spaces and bounded linear maps, using exclusively purely categorical conditions. Our axioms are chosen with the aim of an easy interpretability: two of them describe the composition of…

We construct an embedding G of the category of graphs into the category of abelian groups such that for graphs X and Y we have Hom(GX,GY)=Z[Hom(X,Y)], the free abelian group whose basis is the set Hom(X,Y). The isomorphism is functorial in…

We use category-theoretic techniques to provide two proofs showing that for a higher-rank graph $\Lambda$, its cubical (co-)homology and categorical (co-)homology groups are isomorphic in all degrees, thus answering a question of Kumjian,…

We describe new families of the Knizhnik-Zamolodchikov-Bernard (KZB) equations related to the WZW-theory corresponding to the adjoint $G$-bundles of different topological types over complex curves $\Sigma_{g,n}$ of genus $g$ with $n$ marked…

An outstanding open question, which has attracted renewed attention following the pioneering work of Huang--Li--Treuer, is whether, for a given positive integer $m$, there exists a complex manifold whose Bergman metric is locally isometric…

The algebraic Cuntz-Pimsner rings are naturally $\mathbb{Z}$-graded rings that generalize both Leavitt path algebras and unperforated $\mathbb{Z}$-graded Steinberg algebras. We classify strongly, epsilon-strongly and nearly epsilon-strongly…

Cubic fourfolds behave in many ways like K3 surfaces. Certain cubics - conjecturally, the ones that are rational - have specific K3s associated to them geometrically. Hassett has studied cubics with K3s associated to them at the level of…

In this paper, we show the fundamental theorems for rotationally symmetric hypersurfaces, and thus, together with the earlier results in [3] and [4], provide a complete classification of umbilic hypersurfaces in the Heisenberg groups…

In this paper after proving (in Section 2) the Berkovich analytic space analog of the familiar fact that there exist many non-isomorphic Riemann surfaces of the fixed topological type, I introduce the precise notion of Arithmetic…