English
Related papers

Related papers: Finiteness for self-dual classes in integral varia…

200 papers

To any dg-category $T$ (over some base ring $k$), we define a $D^{-}$-stack $\mathcal{M}_{T}$ in the sense of \cite{hagII}, classifying certain $T^{op}$-dg-modules. When $T$ is saturated, $\mathcal{M}_{T}$ classifies compact objects in the…

Algebraic Geometry · Mathematics 2007-05-23 B. Toen , M. Vaquie

This short note presents a new relation between coherent spaces and finiteness spaces. This takes the form of a functor from COH to FIN commuting with the additive and multiplicative structure of linear logic. What makes this correspondence…

Logic in Computer Science · Computer Science 2015-07-01 Pierre Hyvernat

By analyzing the local and infinitesimal behavior of degenerating polarized variations of Hodge structure the notion of infinitesimal variation of Hodge structure at infinity is introduced. It is shown that all such structures can be…

Algebraic Geometry · Mathematics 2009-03-05 Javier Fernandez , Eduardo Cattani

We establish an Esakia duality for the categories of temporal Heyting algebras and temporal Esakia spaces. This includes a proof of contravariant equivalence and a congruence/filter/closed-upset correspondence. We then study two notions of…

Logic · Mathematics 2025-05-16 David Quinn Alvarez

We prove the finiteness of leaps of modules of $m$-integrable derivations for algebras essentially of finite type and, more generally, for schemes essentially of finite type over an algebraically closed field of positive characteristic.…

Algebraic Geometry · Mathematics 2026-01-21 Takuya Miyamoto

We prove a version of the fundamental theorems of Morse Theory in the setting of finite spaces or partially ordered sets. By using these results we extend Forman's discrete Morse theory to more general cell complexes and derive the…

The generalization of the Satake--Baily--Borel compactification to arbitrary period maps has been reduced to a certain extension problem on certain "neighborhoods at infinity". Extension problems of this type require that the neighborhood…

Algebraic Geometry · Mathematics 2023-02-10 Colleen Robles

The paper describes the algebraic structure of the graded algebra of differentially homogeneous polynomials of fixed finite order. We show that it is a finitely generated algebra, and we exhibit a minimal set of generators. Along the way,…

Algebraic Geometry · Mathematics 2024-10-24 Antoine Etesse

A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local…

Representation Theory · Mathematics 2019-02-20 Dave Benson , Srikanth B. Iyengar , Henning Krause , Julia Pevtsova

We show that Nichols algebras of most simple Yetter-Drinfeld modules over the projective special linear group over a finite field, corresponding to non-semisimple orbits, have infinite dimension. We spell out a new criterium to show that a…

Quantum Algebra · Mathematics 2018-06-01 Nicolás Andruskiewitsch , Giovanna Carnovale , Gastón Andrés García

Given a polarizable $\mathbb{Z}$-variation of Hodge structures $\mathbb{V}$ over a complex smooth quasi-projective base $S$, a classical result of Cattani, Deligne and Kaplan says that its Hodge locus (i.e. the locus where exceptional Hodge…

Algebraic Geometry · Mathematics 2023-10-17 Gregorio Baldi , Bruno Klingler , Emmanuel Ullmo

Given a Nori motivic local system over a smooth, connected complex algebraic variety, we define its exceptional locus as a way to measure the variation in the motivic complexity of its stalks. The definition is given explicitly in terms of…

Algebraic Geometry · Mathematics 2026-03-24 Luca Terenzi

We introduce a reducibility on classes of structures, essentially a uniform enumeration reducibility. This reducibility is inspired by the Friedman-Stanley paper on using Borel reductions to compare classes of countable structures. This…

Logic · Mathematics 2008-03-25 Wesley Calvert , Desmond Cummins , Sara Miller , Julia F. Knight

We consider and characterize classes of finite and countably categorical structures and their theories preserved under $E$-operators and $P$-operators. We describe $e$-spectra and families of finite cardinalities for structures belonging to…

Logic · Mathematics 2017-01-04 Sergey V. Sudoplatov

For a relational Horn theory $\mathbb{T}$, we provide useful sufficient conditions for the exponentiability of objects and morphisms in the category $\mathbb{T}\text{-}\mathsf{Mod}$ of $\mathbb{T}$-models; well-known examples of such…

Category Theory · Mathematics 2022-08-16 Jason Parker

The concept of (a,b)-module comes from the study the Gauss-Manin lattices of an isolated singularity of a germ of an holomorphic function. It is a very simple ''abstract algebraic structure'', but very rich, whose prototype is the formal…

Complex Variables · Mathematics 2007-09-05 Daniel Barlet

In this paper, we explore the string theory landscape obtained from type IIB and F-theory flux compactifications. We first give a comprehensive introduction to a number of mathematical finiteness theorems, indicate how they have been…

High Energy Physics - Theory · Physics 2024-04-09 Thomas W. Grimm , Jeroen Monnee

We prove existence and uniqueness of complex Hodge structures on modular functors. The proof is based on the non-Abelian Hodge correspondence and Ocneanu rigidity. Given a modular functor, we explain how its Hodge numbers fit into a…

Algebraic Geometry · Mathematics 2025-07-11 Pierre Godfard

A necessary condition for uniqueness of factorizations of elements of a finite group $G$ with factors belonging to a union of some conjugacy classes of $G$ is given. This condition is sufficient if the number of factors belonging to each…

Group Theory · Mathematics 2011-05-11 Vik. S. Kulikov

A finite set can be supplied with a group structure which can then be used to select (classes of) differential calculi on it via the notions of left-, right- and bicovariance. A corresponding framework has been developed by Woronowicz, more…

q-alg · Mathematics 2008-11-26 K. Bresser , A. Dimakis , F. Mueller-Hoissen , A. Sitarz