Related papers: Norm functors and effective zero cycles
Stars and cycles are basic structures in network construction. The former has been well studied in network analysis, while the latter attracted rare attention. A node together with its neighbors constitute a neighborhood star-structure…
Category theory provides a collective description of many arrangements in mathematics, such as topological spaces, Banach spaces and game theory. Within this collective description, the perspective from any individual member of the…
A characterization is completed for finite groups acting arc-transitively on maps with square-free Euler characteristic, associated with infinite families of regular maps of square-free Euler characteristic presented. This is based on a…
A functor of sets $\mathbb X$ over the category of $K$-commutative algebras is said to be an affine functor if its functor of functions, $\mathbb A_{\mathbb X}$, is reflexive and $\mathbb X=\Spec \mathbb A_{\mathbb X}$. We prove that affine…
We develop the notion of coherent ultrafilters (extenders without normality or well-foundedness). We then use definable coherent ultraproducts to characterize any extension of a model $M$ in any fragment of $\mathbb{L}_{\infty, \omega}$…
A theory of higher colimits over categories of free presentations is developed. It is shown that different homology functors such as Hoshcshild and cyclic homology of algebras over a field of characteristic zero, simplicial derived…
We give a complete description of zero sets for some well-known subclasses of entire functions of exponential growth (bounded on real axis, Cartwright's class)
Techniques to achieve various forms of test coverage, such as branch coverage, typically do not iterate loops; in other words, they treat a loop as a conditional, executed zero or one time. Existing work by the author and collaborators…
We study the functorial and growth properties of closed orbits for maps. By viewing an arbitrary sequence as the orbit-counting function for a map, iterates and Cartesian products of maps define new transformations between integer…
We prove the existence of common hypercyclic entire functions for uncountable families of translation type operators. Contrary to our previous work [34], here the parameter which reflects the uncountable family lies on the unit circle. On…
Let $\{f_{\lambda; j}\}_{\lambda\in V; 1\le j\le k}$ be families of holomorphic functions in the open unit disk $\Di\subset\Co$ depending holomorphically on a parameter $\lambda\in V\subset \Co^n$. We establish a Rolle type theorem for the…
If D is a category and k is a commutative ring, the functors from D to k-Mod can be thought of as representations of D. By definition, D is dimension zero over k if its finitely generated representations have finite length. We characterize…
Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…
We give a construction of triangulated categories as quotients of exact categories where the subclass of objects sent to zero is defined by a triple of functors. This includes the cases of homotopy and stable module categories. These…
We show that factorization systems, both strict and orthogonal, can be equivalently described as double categories satisfying certain properties. This provides conceptual reasons for why the category of sets and partial maps or the category…
The notion of clause set cycle abstracts a family of methods for automated inductive theorem proving based on the detection of cyclic dependencies between clause sets. By discerning the underlying logical features of clause set cycles, we…
We study extension properties for morphisms of stacks of bundles for group algebraic spaces. Applications are a short proof of the classification of bundles on the projective line for smooth geometrically reductive groups and the existence…
For a general family of non-negative functions matching upper and lower bounds are established for their average over the values of any equidistributed sequence.
During the past three decades, the advantageous concept of the Green's function has been extended from linear systems to nonlinear ones. At that, there exist a rigorous and an approximate extensions. The rigorous extension introduces the…
We prove that in characteristic zero the multiplication of sections of dominant line bundles on a complete symmetric variety $X=\bar{G/H}$ is a surjective map. As a consequence the cone defined by a complete linear system over $X$, or over…