Related papers: Support varieties over complete intersections made…
Intersection types have been originally developed as an extension of simple types, but they can also be used for refining simple types. In this survey we concentrate on the latter option; more precisely, on the use of intersection types for…
This paper will give some examples of diffeomorphic complex 5-dimensional complete intersections and remarks on these examples. Then a result on the existence of diffeomorphic complete intersections that belong to components of the moduli…
In this paper we give a new and simplified proof of the variational Hodge conjecture for complete intersection cycles on a hypersurface in projective space.
In this article, we prove that induced modules of support $\tau$-tilting modules over blocks of finite groups satisfying inertial-invariant condition are also support $\tau$-tilting modules.
We compute support of formal cohomology modules in a serial of non-trivial cases. Applications are given. For example, we compute injective dimension of certain local cohomology modules in terms of dimension of their's support.
Any smooth projective variety contains many complete intersection subvarieties with ample cotangent bundles, of each dimension up to half its own dimension.
Support varieties for any finite dimensional algebra over a field were introduced by Snashall-Solberg using graded subalgebras of the Hochschild cohomology. We mainly study these varieties for selfinjective algebras under appropriate finite…
We give some details of a simpler definition of mixed Hodge modules which has been announced in some papers. Compared with earlier arguments, this new definition is simplified by using Beilinson's maximal extension together with stability…
We prove rigidity type results on the vanishing of stable (co)homology for modules of finite complete intersection dimension, results which generalize and improve upon known results. We also introduce a notion of pre-rigidity, which…
We survey variety theory for modules of finite dimensional Hopf algebras, recalling some definitions and basic properties of support and rank varieties where they are known. We focus specifically on properties known for classes of examples…
We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…
The purpose of this talk is to present an (apparently) new way to look at the intersection complex of a singular variety over a finite field, or, more generally, at the intermediate extension functor on pure perverse sheaves, and an…
We present a new type system combining refinement types and the expressiveness of intersection type discipline. The use of such features makes it possible to derive more precise types than in the original refinement system. We have been…
We perform certain alternating binomial summations with parameters that occur in the analysis of algorithms. A combination of integral and special function and special number representations is used. The results are sufficiently general to…
We prove the precise inversion of adjunction formula for finite linear group quotients of complete intersection varieties defined by semi-invariant equations. As an application, we prove the semi-continuity of minimal log discrepancies for…
We give divisibility results for the (global) characteristic varieties of hypersurface complements expressed in terms of the local characteristic varieties at points along one of the irreducible components of the hypersurface. As an…
Let R be a commutative, noetherian, local ring. Topological Q-vector spaces modelled on full subcategories of the derived category of R are constructed in order to study intersection multiplicities.
A method is provided for computing an upper bound of the complexity of a module over a local ring, in terms of vanishing of certain cohomology modules. We then specialize to complete intersections, which are precisely the rings over which…
We develop a `universal' support theory for derived categories of constructible (analytic or \'etale) sheaves, holonomic D-modules, mixed Hodge modules and others. As applications we classify such objects up to the tensor triangulated…
We propose several techniques to construct complete permutation polynomials of finite fields by virtue of complete permutations of subfields. In some special cases, any complete permutation polynomials over a finite field can be used to…