Related papers: Sectional number of a morphism
Given a relatively minimal fibration $f: S \to \Bbb P^1$ on a rational surface $S$ with general fiber $C$ of genus $g$, we investigate under what conditions the inequality $6(g-1)\le K_f^2$ occurs, where $K_f$ is the canonical relative…
This thesis proposes a framework based on a notion of combinatorial cell complex (cc) whose cells are defined simply as finite sets of vertices. The cells of a cc are subject to four axioms involving a rank function that assigns a rank (or…
We define the graph minor category and prove that the category of contravariant representations of the graph minor category over a Noetherian ring is locally Noetherian. This can be regarded as a categorification of the Robertson--Seymour…
Suppose $f:S\rightarrow\mathbb{P}^1$ is a surface fibration of genus $g$ with $3$ singular fibers. If two of the singular fibers are semistable, Nguyen conjectured that $f$ does not exist for $g\ge2$. However, a counterexample for $g=2$ was…
We study certain types of piecewise smooth Lagrangian fibrations of smooth symplectic manifolds, which we call stitched Lagrangian fibrations. We extend the classical theory of action-angle coordinates to these fibrations by encoding the…
For each integer q>0 there is a cohomology theory such that the zero cohomology group of a manifold N of dimension n is a certain group of cobordism classes of proper fold maps of manifolds of dimension n+q into N. We prove a splitting…
We extend the theorem of Hausel and the author from arXiv:2212.11836 that relates equivariant cohomology rings and algebras of functions on zero schemes. This paper combines three separate results. We prove that for a reductive group G…
We define and study notions of comprehension in $(\infty,1)$-category theory. In essence, we do so by implementing B\'{e}nabou's foundations of naive category theory in a univalent meta-theory. In particular, we develop natural…
We show that the conditions in Steimle's 'additivity theorem for cobordism categories' can be weakened to only require \emph{locally} (co)Cartesian fibrations, making it applicable to a larger class of functors. As an application we compute…
The basis number of a graph $G$ is the smallest integer $k$ such that $G$ admits a basis $B$ for its cycle space, where each edge of $G$ belongs to at most $k$ members of $B$. In this note, we show that every non-planar graph that can be…
This paper presents three new families of fractional Sobolev spaces and their accompanying theory in one-dimension. The new construction and theory are based on a newly developed notion of weak fractional derivatives, which are natural…
The dichromatic number of a graph $G$ is the maximum integer $k$ such that there exists an orientation of the edges of $G$ such that for every partition of the vertices into fewer than $k$ parts, at least one of the parts must contain a…
The main result here gives an algebra(/linear category) isomorphism between a geometrically defined subcategory $J^1_0$ of a short Brauer category $J_0$ and a certain one-parameter specialisation of the blob category $b$. That is, we prove…
The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…
An automorphism group of a graph $G$ is the set of all permutations of the vertex set of $G$ that preserve adjacency and non adjacency of vertices in a graph. A fixing set of a graph $G$ is a subset of vertices of $G$ such that only the…
We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…
Urschel introduced a notion of nodal partitioning to prove an upper bound on the number of nodal decomposition of discrete Laplacian eigenvectors. The result is an analogue to the well-known Courant's nodal domain theorem on continuous…
This is the second in a series of papers on a new equivariant cohomology that takes values in a vertex algebra. In an earlier paper, the first two authors gave a construction of the cohomology functor on the category of O(sg) algebras. The…
Topological complexity was first introduced in 2003 by Michael Farber as a homotopy invariant for a connected topological space X, denoted by TC(X). Although the invariant is defined in terms of elementary homotopy theory using well-known…
Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…