Related papers: The edgewise subdivision criterion for 2-Segal obj…
We say that a group G is a cube group if it is generated by a set S of involutions such that the corresponding Cayley graph Cay(G,S) is isomorphic to a cube. Equivalently, G is a cube group if it acts on a cube such that the action is…
This note is the sequel of "Geometric structures as variational objects, I." It generalizes the main result and perspectives of that work to a class of geometric structures that includes integrable almost-complex structures.
Mutual-visibility sets were motivated by visibility in distributed systems and social networks, and intertwine with several classical mathematical areas. Monotone properties of the variety of mutual-visibility sets, and restrictions of such…
This paper provides an introduction to decomposition spaces and 2-Segal spaces, unifying the two perspectives. We begin by defining decomposition spaces using the active-inert factorization system on the simplicial category, and show their…
A graph $G$ is said to be $2$-divisible if for all (nonempty) induced subgraphs $H$ of $G$, $V(H)$ can be partitioned into two sets $A,B$ such that $\omega(A) < \omega(H)$ and $\omega(B) < \omega(H)$. A graph $G$ is said to be perfectly…
We describe the second order ODE's cubic in the first order derivative with 2-dimensional symmetry algebra. We show that there exist only eight different types of them. We also construct the easily verifiable Equivalence Criterion for every…
Motivated by the classical Theorems of Picard and Siegel and their generalizations, we define the notion of an {\it essentially large} effective divisor and derive some of its geometric and arithmetic consequences. We then prove that on a…
Given an exact category $\mathcal{C}$, we denote by $\mathcal{C}_l$ the smallest additive subcategory containing injectives and indecomposable objects which appear as the first term of an almost split conflation. We prove that a deflation…
We prove that any derived equivalence between derived discrete algebras is standard, i.e.\ is isomorphic to the derived tensor product by a two-sided tilting complex.
A graph G is said to be 2-distinguishable if there is a 2-labeling of its vertices which is not preserved by any nontrivial automorphism of G. We show that every locally finite graph with infinite motion and growth at most…
We describe all the trees with the property that the corresponding edge ideal of the square of the tree has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the square is co-chordal,…
Just as point objects are parallel transported along curves, giving holonomies, string-like objects are parallel transported along surfaces, giving surface holonomies. Composition of these surfaces correspond to products in a category…
In this paper, we will prove that the 2-category (2-SGp) of symmetric 2-groups and 2-category ($\cR$-2-Mod) of $\cR$-2-modules(\cite{5}) have enough projective objects, respectively.
A closed symmetric differential of the 1st kind is a differential that locally is the product of closed holomorphic 1-forms. We show that closed symmetric 2-differentials of the 1st kind on a projective manifold $X$ come from maps of $X$ to…
The Second Neighborhood Conjecture states that every simple digraph has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood, i.e. a vertex with the Second Neighborhood Property. A cycle intersection…
In this short article, we consider a problem about $2$-partition of the vertices of a graph. If a graph admits such a partition into some 'small' graphs, then the number of edges cross an arbitrary cut of the graph $e(S,S^{c})$ has a nice…
Let $\mathcal{G}_{\alpha}$ be a hereditary graph class (i.e, every subgraph of $G_{\alpha}\in \mathcal{G}_{\alpha}$ belongs to $\mathcal{G}_{\alpha}$) such that every graph $G_{\alpha}$ in $\mathcal{G}_{\alpha}$ has minimum degree at most…
We show a general result known as the Erdos_Sos Conjecture: if $E(G)>{1/2}(k-1)n$ where $G$ has order $n$ then $G$ contains every tree of order $k+1$ as a subgraph.
Two dimensional adelic objects were introduced by I. Fesenko in his study of the Hasse zeta function associated to a regular model $\mathcal E$ of the elliptic curve $E$. The Hasse-Weil $L$-function $L(E,s)$ of $E$ appears in the…
In our previous paper entitled "Axiomatic differential geometry -towards model categories of differential geometry-, we have given a category-theoretic framework of differential geometry. As the first part of our series of papers concerned…