相关论文: Finite type and the effective Nullstellensatz

For a noetherian scheme, we introduce its unbounded stable derived category. This leads to a recollement which reflects the passage from the bounded derived category of coherent sheaves to the quotient modulo the subcategory of perfect…

In this work, we present a generalization to varieties and sheaves of the fundamental ideal of the Witt ring of a field by defining a sheaf of fundamental ideals $\tilde{I}$ and a sheaf of Witt rings $\tilde{W}$ in the obvious way. The…

A genus one curve of degree 5 is defined by the 4 x 4 Pfaffians of a 5 x 5 alternating matrix of linear forms on P^4. We describe a general method for investigating the invariant theory of such models. We use it to explain how we found our…

We use the theory of cubic structures to give a fixed point Riemann-Roch formula for the equivariant Euler characteristics of coherent sheaves on projective flat schemes over Z with a tame action of a finite abelian group. This formula…

We develop a unified sampling theory based on sheaves and show that the Shannon-Nyquist theorem is a cohomological consequence of an exact sequence of sheaves. Our theory indicates that there are additional cohomological obstructions for…

We compare the asymptotic grows of the number of rational points on modular varieties of D-elliptic sheaves over finite fields to the grows of their Betti numbers as the degree of the level tends to infinity. This is a generalization to…

New homotopy invariant finiteness conditions on modules over commutative rings are introduced, and their properties are studied systematically. A number of finiteness results for classical homological invariants like flat dimension,…

We introduce and prove the consistency of a new set theoretic axiom we call the \emph{Invariant Ideal Axiom}. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully…

We introduce and study tame homeomorphisms of surfaces of infinite type. These are maps for which curves under iterations do not accumulate onto geodesic laminations with non-proper leaves, but rather just a union of possibly intersecting…

The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning…

Motivated by S-duality modularity conjectures in string theory, we study the Donaldson-Thomas type invariants of pure 2-dimensional sheaves inside a nonsingular threefold X in three different situations: (1). X is a K3 fibration over a…

The purpose of this paper is to establish injectivity theorems for higher direct image sheaves of canonical bundles twisted by pseudo-effective line bundles and multiplier ideal sheaves. As applications, we generalize Koll'ar's torsion…

Affine Deligne-Lusztig varieties are closely related to the special fibre of Newton strata in the reduction of Shimura varieties or of moduli spaces of $G$-shtukas. In almost all cases, they are not quasi-compact. In this note we prove…

We give an expository account of Nullstellensatz-like results when the base field is finite. In particular, we discuss the vanishing ideal of the affine space and of the projective space over a finite field. As an application, we include an…

Extending the work of the first author, we introduce a notion of semisimple topological field theory in arbitrary even dimension and show that such field theories necessarily lead to stable diffeomorphism invariants. The main result of this…

For a certain class of real analytic varieties with Lie group actions we develop a theory of (free-monodromic) tilting sheaves, and apply it to flag varieties stratified by real group orbits. For quasi-split real groups, we construct a…

We study the transformation of torsion-free coherent analytic sheaves under proper modifications. More precisely, we study direct images of inverse image sheaves, and torsion-free preimages of direct image sheaves. Under some conditions, it…

Given a coherent sheaf E on a scheme of finite type X over a perfect field, we introduce a category of complexes of \'etale sheaves on X with logarithmic conductors bounded by E and study its compatibilities with finite push-forward.

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which…

We investigate properties and describe examples of tilt-stable objects on a smooth complex projective threefold. We give a structure theorem on slope semistable sheaves of vanishing discriminant, and describe certain Chern classes for which…