相关论文: Constructible functions on Artin stacks

We prove that one may approximate parametric suprema of constructible and power-constructible functions using functions within the same class. This resolves a conjecture by Adiceam and Cluckers, which was posited after studying a question…

Let K be an algebraically closed field of characteristic zero. We say that a polynomial automorphism f : K^n -> K^n is special if the Jacobian of f is equal to 1. We show that every (n - 1)-dimensional component H of the set Fix(f) of fixed…

We define a new perverse t-exact pullback operation on derived categories of constructible sheaves which generalizes most perverse t-exact functors in sheaf theory, such as microlocalization, the Fourier-Sato transform and vanishing cycles.…

We study a number of categorical quasi-uniform structures induced by functors. We depart from a category $\mathcal{C}$ with a proper $(\mathcal{E}, \mathcal{M})$-factorization system, then define the continuity of a $\mathcal{C}$-morphism…

We study the compatibility with proper push-forward of the characteristic cycles of a constructible complex on a smooth variety over a perfect field.

In the present paper we describe the action of (not necessarily line) bundles of finite order on the $K$-functor in terms of classifying spaces. This description might provide with an approach for more general twistings in $K$-theory than…

We present constructions of countable two-dimensional subshifts of finite type (SFTs) with interesting properties. Our main focus is on properties of the topological derivatives and subpattern posets of these objects. We present a countable…

A finite number of rational functions are compatible if they satisfy the compatibility conditions of a first-order linear functional system involving differential, shift and q-shift operators. We present a theorem that describes the…

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

We generalize a construction of Barthel-Brasselet-Fieseler-Gabber-Kaup in the setting of complex varieties to the setting of finite type, complex algebraic stacks. Given two such stacks $\mathcal{X},\mathcal{Y}$ with affine stabilizers, and…

We consider convex sets and functions over idempotent semifields, like the max-plus semifield. We show that if $K$ is a conditionally complete idempotent semifield, with completion $\bar{K}$, a convex function $K^n\to\bar{K}$ which is lower…

Stackability for finitely presented groups consists of a dynamical system that iteratively moves paths into a maximal tree in the Cayley graph. Combining with formal language theoretic restrictions yields auto- or algorithmic stackability,…

Let S be a Noetherian scheme and f:X -> S a proper morphism. By SGA 4 XIV, for any constructible sheaf F of Z/nZ-modules on X, the sheaves of Z/nZ-modules R^if_*F obtained by direct image (for the etale topology) are also constructible:…

We give a framework to produce constructible functions from natural functors between categories, without need of a morphism of moduli spaces to model the functor. We show using the Riemann-Hilbert correspondence that any natural (derived)…

Rank functors on a quiver $Q$ are certain additive functors from the category of representations of $Q$ to the category of finite-dimensional vector spaces. Composing with the dimension function on vector spaces gives a rank function on…

Using symmetrized Grassmannians we give an algebraic geometric presentation, in the level of classifying spaces, of the Chern character and its relation to Chern classes. This allows one to define, for any projective variety $X$, a Chern…

An explicit invariant-theoretic description of the moduli space $\mathcal{M}_3^1$ of degree-three rational maps on $\mathbb{P}^1$ is developed. A cubic map $\phi$ is represented, up to conjugation, by the pair of binary forms $(f, g) \in…

In this paper, we introduce morphisms for matroids with coefficients (in the sense of Baker and Bowler) and quiver matroids. We investigate their basic properties, such as functoriality, duality, minors and cryptomorphic characterizations…

Given a regular function $\phi$ on a smooth stack, and a $(-1)$-shifted Lagrangian $M$ on the derived critical locus of $\phi$, under fairly general hypotheses, we construct a pullback map from the Grothendieck group of coherent matrix…

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…