Related papers: The Sebastiani-Thom Isomorphism in the Derived Cat…
Let \ $\lambda \in \mathbb{Q}^{*+}$ \ and consider a multivalued formal function of the type $$ \phi(s) : = \sum_{j=0}^k \ c_j(s).s^{\lambda + m_j}.(Log\, s)^j $$ where \ $c_j \in \C[[s]], m_j \in \mathbb{N}$ \ for \ $j \in [0,k-1]$. The…
We show that the vanishing of the one-loop beta-functional of the doubled formalism (which describes string theory on a torus fibration in which the fibres are doubled) is the same as the equation of motion of the recently proposed…
We prove that the shifted vanishing cycles and nearby cycles commute with Verdier dualizing up to a {\bf natural} isomorphism, even when the coefficients are not in a field.
We consider transcendental entire functions of finite order for which the zeros and $1$-points are in disjoint sectors. Under suitable hypotheses on the sizes of these sectors we show that such functions must have a specific form, or that…
We characterize bifurcation values of polynomial functions by using the theory of perverse sheaves and their vanishing cycles. In particular, by introducing a method to compute the jumps of the Euler characteristics with compact support of…
The sampling of functions of bounded variation (BV) is a long-standing problem in op- timization. The ability to sample such functions has relevance in the field of variational inverse problems, where the standard theory fails to guarantee…
We give an alternate formulation of pseudo-coherence over an arbitrary derived stack X. The full subcategory of pseudo-coherent objects forms a stable sub-infinity-category of the derived category associated to X. Using relative…
A classical result due to Levinson characterizes the existence of non-zero functions defined on a circle vanishing on an open subset of the circle in terms of the pointwise decay of their Fourier coefficients [13]. We prove certain analogue…
We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…
Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…
The question "What is category theory" is approached by focusing on universal mapping properties and adjoint functors. Category theory organizes mathematics using morphisms that transmit structure and determination. Structures of…
We prove an analogue of Belyi's theorem in characteristic two. Our proof consists of the following three steps. We first introduce a new notion called "pseudo-tame" for morphisms between curves over an algebraically closed field of…
Consider a subgroup of finite index of modular group. We give an analytic criterion for a cuspidal divisor to be torsion in the Jacobian of the corresponding modular curve. By BelyI theorem, such a criterion would apply to any curve over a…
Like categories, small 2-categories have well-understood classifying spaces. In this paper, we deal with homotopy types represented by 2-diagrams of 2-categories. Our results extend to homotopy colimits of 2-functors lower categorical…
We introduce the notion of categorical absorption of singularities: an operation that removes from the derived category of a singular variety a small admissible subcategory responsible for singularity and leaves a smooth and proper…
Dini's Theorem guarantees that a monotone sequence of continuous functions converges pointwise on a compact interval to a continuous limit that converges uniformly. In this paper, we establish new theorems generalizing Dini's result by…
This paper has two parts. We first survey recent efforts on the Bloom conjecture which still remains open in the case of complex dimension at least 4. Bloom's conjecture concerns the equivalence of three regular types. There is a more…
To every regular category $\mathcal{A}$ equipped with a degree function $\delta$ one can attach a pseudo-abelian tensor category $\mathcal{T}(\mathcal{A},\delta)$. We show that the generating objects of $\mathcal{T}$ decompose canonically…
We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that…
A class of functions involving the divided differences of the psi function and the polygamma functions and originating from Kershaw's double inequality are proved to be completely monotonic. As applications of these results, the…