Test ideals of non-principal ideals: Computations,jumping numbers,alterations and division theorems

Given an ideal a⊆R$\mathfrak{a}\subseteq R$ in a (log) Q$\mathbb{Q}$-Gorenstein F  -finite ring of characteristic p>0$p>0$, we study and provide a new perspective on the test ideal τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ for a real number t>0$t>0$. Generalizing a number of known results from the principal case, we show how to effectively compute the test ideal and also describe τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ using (regular) alterations with a formula analogous to that of multiplier ideals in characteristic zero. We further prove that the F  -jumping numbers of τ(R,a^t)$\tau (R,{\mathfrak{a}}^t)$ as t varies are rational and have no limit points, including the important case where R is a formal power series ring. Additionally, we obtain a global division theorem for test ideals related to results of Ein and Lazarsfeld from characteristic zero, and also recover a new proof of Skoda's theorem for test ideals which directly mimics the proof for multiplier ideals.     

Fibred coarse embeddings,a-T-menability and the coarse analogue of the Novikov conjecture

The connection between the coarse geometry of metric spaces and analytic properties of topological groupoids is well known. One of the main results of Skandalis, Tu and Yu is that a space admits a coarse embedding into Hilbert space if and only if a certain associated topological groupoid is a-T-menable. This groupoid characterisation then reduces the proof that the coarse Baum–Connes conjecture holds for a coarsely embeddable space to known results for a-T-menable groupoids. The property of admitting a fibred coarse embedding into Hilbert space was introduced by Chen, Wang and Yu to provide a property that is sufficient for the maximal analogue to the coarse Baum–Connes conjecture and in this paper we connect this property to the traditional coarse Baum–Connes conjecture using a restriction of the coarse groupoid and homological algebra. Additionally we use this results to give a characterisation of the a-T-menability for residually finite discrete groups.     

Exceptional collections of line bundles on projective homogeneous varieties

We construct new examples of exceptional collections of line bundles on the variety of Borel subgroups of a split semisimple linear algebraic group G$G$ of rank 2 over a field. We exhibit exceptional collections of the expected length for types _A2$A_2$ and _B2=_C2$B_2=C_2$ and prove that no such collection exists for type _G2$G_2$. This settles the question of the existence of full exceptional collections of line bundles on projective homogeneous G$G$-varieties for split linear algebraic groups G$G$ of rank at most 2.     

Perverse coherent sheaves and the geometry of special pieces in the unipotent variety

Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U⊂X be an open set whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent intermediate extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent intermediate extension functor.Under suitable hypotheses, we introduce a construction (called “S₂-extension”) in terms of perverse coherent sheaves of algebras on X that takes a finite morphism to U and extends it in a canonical way to a finite morphism to X. In particular, this construction gives a canonical “S₂-ification” of appropriate X. The construction also has applications to the “Macaulayfication” problem, and it is particularly well-behaved when X is Gorenstein.Our main goal, however, is to address a conjecture of Lusztig on the geometry of special pieces (certain subvarieties of the unipotent variety of a reductive algebraic group). The conjecture asserts in part that each special piece is the quotient of some variety (previously unknown for the exceptional groups and in positive characteristic) by the action of a certain finite group. We use S₂-extension to give a uniform construction of the desired variety.     

The kernel unipotent conjecture and the vanishing of Massey products for odd rigid fields

A major difficult problem in Galois theory is the characterization of profinite groups which are realizable as absolute Galois groups of fields. Recently the Kernel n-Unipotent Conjecture and the Vanishing n  -Massey Conjecture for n≥3$n\ge 3$ were formulated. These conjectures evolved in the last forty years as a byproduct of the application of topological methods to Galois cohomology. We show that both of these conjectures are true for odd rigid fields. This is the first case of a significant family of fields where both of the conjectures are verified besides fields whose Galois groups of p-maximal extensions are free pro-p-groups. We also prove the Kernel Unipotent Conjecture for Demushkin groups of rank 2, and establish various filtration results for free pro-p-groups, provide examples of pro-p-groups which do not have the kernel n-unipotent property, compare various Zassenhaus filtrations with the descending p-central series and establish new type of automatic Galois realization.     

On the derived category of quasi-coherent sheaves on an Adams geometric stack

Let $\mathsf{X}$ be an Adams geometric stack. We show that $\mathsf{D}({\mathsf{A}}_{\mathsf{qc}}(\mathsf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland in [13]. Moreover we show how this structure relates to the derived category of comodules over a Hopf algebroid that determines $\mathsf{X}$.     

On the automorphism conjecture for products of ordered sets

I. Rival and A. Rutkowski conjectured that the ratio of the number of automorphisms of an arbitrary poset to the number of order-preserving maps tends to zero as the size of the poset tends to infinity. We prove this hypothesis for direct products of arbitrary posets P=S ₁××S _n under the condition that max_i|S_i|=0(n/logn).     

Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians

The classic Cayley identity states that

det(∂)(detX)^s=s(s+1)?(s+n−1)(detX)^s−1$\det (\partial ){(\det X)}^s=s(s+1)?(s+n-1){(\det X)}^{s-1}$

where X=(_xij)$X=(x_{ij})$ is an n×n$n\times n$ matrix of indeterminates and ∂=(∂/∂_xij)$\partial =(\partial /\partial x_{ij})$ is the corresponding matrix of partial derivatives. In this paper we present straightforward algebraic/combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs employ Grassmann algebra (= exterior algebra) and Grassmann–Berezin integration. Among the new identities proven here are a pair of “diagonal-parametrized” Cayley identities, a pair of “Laplacian-parametrized” Cayley identities, and the “product-parametrized” and “border-parametrized” rectangular Cayley identities.     

On the graph complement conjecture for minimum semidefinite rank

In this note, we combine a number of recent ideas to give new results on the graph complement conjecture for minimum semidefinite rank.     

SOME TOPOLOGICAL FUNCTORS ARISING FROM ALGEBRAIC GEOMETRY

Abstract

A synthesis of notions arising from algebraic geometry, especially those developed by Verdier in Séminaire de Géométric Algébrique IV, and the notion of topological functor (in the sense of G.C.L. Brümmer and R.-E. Hoffmann) is made. In particular, Grothendieck topologies are shown to be topological over the category of categories with pullbacks and pullback preserving functors, and consequences derived.     

Discriminant loci of ample and spanned line bundles

Let (X,L,V) be a triplet where X is an irreducible smooth complex projective variety, L is an ample and spanned line bundle on X and V⊆H⁰(X,L) spans L. The discriminant locus D(X,V)⊂|V| is the algebraic subset of singular elements of |V|. We study the components of D(X,V) in connection with the jumping sets of (X,V), generalizing the classical biduality theorem. We also deal with the degree of the discriminant (codegree of (X,L,V)) giving some bounds on it and classifying curves and surfaces of codegree 2 and 3. We exclude the possibility for the codegree to be 1. Significant examples are provided.     

Fibred sites and stack cohomology

The usual notion of the site associated to a stack is expanded to a definition to a site fibred over a presheaf of categories A on a site . If the presheaf of categories is a presheaf of groupoids G, then the associated homotopy theory is Quillen equivalant to the homotopy theory of simplicial presheaves over BG, and so the homotopy theory for the fibred site is an invariant of the homotopy type of G. Similar homotopy invariance results obtain for presheaves of spectra and presheaves of symmetric spectra on . In particular, stack cohomology can be calculated on the fibred site for any representing presheaf of groupoids within a fixed homotopy type.     

Chu duality theory and coalgebraic representation of quantum symmetries

Building upon Vaughan Pratt's work on applications of Chu space theory to Stone duality, we develop a general theory of categorical dualities on the basis of Chu space theory and closure conditions, which encompasses a variety of dualities for topological spaces, convex spaces, closure spaces, and measurable spaces (some of which are new duality results on their own). It works as a general method to generate analogues of categorical dualities between frames (locales) and topological spaces beyond topology, e.g., for measurable spaces, convex spaces, and closure spaces. After establishing the Chu duality theory, we apply the state-observable duality between quantum lattices and closure spaces to coalgebraic representations of quantum symmetries, showing that the quantum symmetry groupoid fully embeds into a purely coalgebraic category, i.e., the category of Born coalgebras, which refines, through the quantum duality that follows from Chu duality theory, Samson Abramsky's fibred coalgebraic representations of quantum symmetries (which, in turn, builds upon his Chu representations of symmetries).     

On quasi divisor theories and systems of valuations

We study the relationship between divisor theories and systems of valuations, and characterize monoids with quasi divisor theories of finite character by systems of essential valuations. Throughout, we avoid ideal theory but use divisor theoretical methods.     

Functional limit theorems for generalized quadratic variations of Gaussian processes

In this paper, we establish functional convergence theorems for second order quadratic variations of Gaussian processes which admit a singularity function. First, we prove a functional almost sure convergence theorem, and a functional central limit theorem, for the process of second order quadratic variations, and we illustrate these results with the example of the fractional Brownian sheet (FBS). Second, we do the same study for the process of localized second order quadratic variations, and we apply the results to the multifractional Brownian motion (MBM).     

Classes on the moduli space of Riemann surfaces through a noncommutative Batalin–Vilkovisky formalism

Using the machinery of the Batalin–Vilkovisky formalism, we construct cohomology classes on compactifications of the moduli space of Riemann surfaces from the data of a contractible differential graded Frobenius algebra. We describe how evaluating these cohomology classes upon a well-known construction producing homology classes in the moduli space can be expressed in terms of the Feynman diagram expansion of some functional integral. By computing these integrals for specific examples, we are able to demonstrate that this construction produces families of nontrivial classes.     

n-representation infinite algebras

From the viewpoint of higher dimensional Auslander–Reiten theory, we introduce a new class of finite dimensional algebras of global dimension n, which we call n-representation infinite. They are a certain analog of representation infinite hereditary algebras, and we study three important classes of modules: n-preprojective, n-preinjective and n  -regular modules. We observe that their homological behaviour is quite interesting. For instance they provide first examples of algebras having infinite Ext¹${\mathrm{Ext}}^1$-orthogonal families of modules. Moreover we give general constructions of n-representation infinite algebras.     

Note on non-D-rings

Abstract

Recall that an integral domain R is said to be a non-D-ring if there exists a non-constant polynomial f (X) in R[X] (called a uv-polynomial) such that f (a) is a unit of R for every a in R. In this note we generalize this notion to commutative rings (that are not necessarily integral domains) as follows: for a positive integer n, we say that R is an n-non-D-ring if there exists a polynomial f of degree n in R[X] such that f (a) is a unit of R for every a in R. We then investigate the properties of this notion in di?erent contexts of commutative rings.