Reduction of derived Hochschild functors over commutative algebras and schemes

We study functors underlying derived Hochschild cohomology, also called Shukla cohomology, of a commutative algebra S essentially of finite type and of finite flat dimension over a commutative noetherian ring K. We construct a complex of S-modules D, and natural reduction isomorphisms for all complexes of S-modules N and all complexes M of finite flat dimension over K whose homology H(M) is finitely generated over S; such isomorphisms determine D up to derived isomorphism. Using Grothendieck duality theory we establish analogous isomorphisms for any essentially finite-type flat map of noetherian schemes, with f^!OY in place of D.     

Lines on Fermat surfaces

We prove that the Néron-Severi groups of several complex Fermat surfaces are generated by lines. Specifically, we obtain these new results for all degrees up to 100 that are relatively prime to 6. The proof uses reduction modulo a supersingular prime. The techniques are developed in detail. They can be applied to other surfaces and varieties as well.     

Building suitable sets for locally compact groups by means of continuous selections

If a discrete subset S of a topological group G with the identity 1 generates a dense subgroup of G and S∪{1} is closed in G, then S is called a suitable set for G. We apply Michael's selection theorem to offer a direct, self-contained, purely topological proof of the result of Hofmann and Morris [K.-H. Hofmann, S.A. Morris, Weight and c, J. Pure Appl. Algebra 68 (1-2) (1990) 181-194] on the existence of suitable sets in locally compact groups. Our approach uses only elementary facts from (topological) group theory.     

Asymptotic theory for the multidimensional random on-line nearest-neighbour graph

The on-line nearest-neighbour graph on a sequence of n$n$ uniform random points in (0,1)^d${(0,1)}^d$ (d∈N$d\in \mathbb{N}$) joins each point after the first to its nearest neighbour amongst its predecessors. For the total power-weighted edge-length of this graph, with weight exponent α∈(0,d/2]$\alpha \in (0,d/2]$, we prove O(max{n^1−(2α/d),logn})$O(max\{n^{1-(2\alpha /d)},logn\})$ upper bounds on the variance. On the other hand, we give an n→∞$n\to \infty$ large-sample convergence result for the total power-weighted edge-length when α>d/2$\alpha >d/2$. We prove corresponding results when the underlying point set is a Poisson process of intensity n$n$.     

Semidefinite programming and sums of hermitian squares of noncommutative polynomials

An algorithm for finding sums of hermitian squares decompositions for polynomials in noncommuting variables is presented. The algorithm is based on the “Newton chip method”, a noncommutative analog of the classical Newton polytope method, and semidefinite programming.     

A polynomial realization of the Hopf algebra of uniform block permutations

We provide a polynomial realization of the Hopf algebra UBP of uniform block permutations defined by Orellana and Aguiar (2008) [11]. We describe an embedding of the dual of the Hopf algebra WQSym into UBP, and as a consequence, obtain a polynomial realization of it.     

Coxeter complexes and graph-associahedra

Given a graph Γ, we construct a simple, convex polytope, dubbed graph-associahedra, whose face poset is based on the connected subgraphs of Γ. This provides a natural generalization of the Stasheff associahedron and the Bott-Taubes cyclohedron. Moreover, we show that for any simplicial Coxeter system, the minimal blow-ups of its associated Coxeter complex has a tiling by graph-associahedra. The geometric and combinatorial properties of the complex as well as of the polyhedra are given. These spaces are natural generalizations of the Deligne-Knudsen-Mumford compactification of the real moduli space of curves.     

On various restricted sumsets

For finite subsets A₁,…,A_n of a field, their sumset is given by . In this paper, we study various restricted sumsets of A₁,…,A_n with restrictions of the following forms:

     

Mixed sums of squares and triangular numbers (III)

In this paper we confirm a conjecture of Sun which states that each positive integer is a sum of a square, an odd square and a triangular number. Given any positive integer m, we show that p=2m+1 is a prime congruent to 3 modulo 4 if and only if Tm=m(m+1)/2 cannot be expressed as a sum of two odd squares and a triangular number, i.e., p²=x²+8(y²+z²) for no odd integers x,y,z. We also show that a positive integer cannot be written as a sum of an odd square and two triangular numbers if and only if it is of the form 2Tm(m>0) with 2m+1 having no prime divisor congruent to 3 modulo 4.     

The determination of integral closures and geometric applications

We express explicitly the integral closures of some ring extensions; this is done for all Bring-Jerrard extensions of any degree as well as for all general extensions of degree ?5; so far such an explicit expression is known only for degree ?3 extensions. As a geometric application, we present explicitly the structure sheaf of every Bring-Jerrard covering space in terms of coefficients of the equation defining the covering; in particular, we show that a degree-3 morphism π:Y→X is quasi-etale if and only if is trivial (details in Theorem 5.3). We also try to get a geometric Galoisness criterion for an arbitrary degree-n finite morphism; this is successfully done when n=3 and less satisfactorily done when n=5.     

Product set phenomena for countable groups

We develop in this paper novel techniques to analyze local combinatorial structures in product sets of two subsets of a countable group which are “large” with respect to certain classes of (not necessarily invariant) means on the group. Our methods heavily utilize the theory of C*-algebras and random walks on groups. As applications of our methods, we extend and quantify a series of recent results by Jin, Bergelson–Furstenberg–Weiss, Beiglböck–Bergelson–Fish, Griesmer and Di Nasso–Lupini to general countable groups.     

CLP-compactness for topological spaces and groups

We study CLP-compact spaces (every cover consisting of clopen sets has a finite subcover) and CLP-compact topological groups. In particular, we extend a theorem on CLP-compactness of products from [J. Steprāns, A. Šostak, Restricted compactness properties and their preservation under products, Topology Appl. 101 (3) (2000) 213-229] and we offer various criteria for CLP-compactness for spaces and topological groups, that work particularly well for precompact groups. This allows us to show that arbitrary products of CLP-compact pseudocompact groups are CLP-compact. For every natural n we construct:

(i)

a totally disconnected, n-dimensional, pseudocompact CLP-compact group; and

(ii)

a hereditarily disconnected, n-dimensional, totally minimal, CLP-compact group that can be chosen to be either separable metrizable or pseudocompact (a Hausdorff group G is totally minimal when all continuous surjective homomorphisms G→H, with a Hausdorff group H, are open).

     

Int-decomposable algebras

Let D be a Dedekind domain with fraction field k. Let A be a D-algebra that, as a D-module, is free of finite rank. Let B be the extension of A to a k-algebra. The set of integer-valued polynomials over A   is defined to be Int(A)={f∈B[x]|f(A)⊆A}$\mathrm{Int}(A)=\{f\in B[x]|f(A)\subseteq A\}$. Restricting the coefficients to elements of k  , we obtain the commutative ring _Intk(A)={f∈k[x]|f(A)⊆A}${\mathrm{Int}}_k(A)=\{f\in k[x]|f(A)\subseteq A\}$; this makes Int(A)$\mathrm{Int}(A)$ a left _Intk(A)${\mathrm{Int}}_k(A)$-module. Previous researchers have noted instances when a D-module basis for A   is also an _Intk(A)${\mathrm{Int}}_k(A)$-basis for Int(A)$\mathrm{Int}(A)$. We classify all the D-algebras A   with this property. Along the way, we prove results regarding Int(A)$\mathrm{Int}(A)$, its localizations at primes of D, and finite residue rings of A.     

The Poincaré series of multiplier ideals of a simple complete ideal in a local ring of a smooth surface

For a simple complete ideal ℘ of a local ring at a closed point on a smooth complex algebraic surface, we introduce an algebraic object, named Poincaré series P_℘, that gathers in a unified way the jumping numbers and the dimensions of the vector space quotients given by consecutive multiplier ideals attached to ℘. This paper is devoted to prove that P_℘ is a rational function giving an explicit expression for it.     

Intrinsic volumes of the maximal polytope process in higher dimensional STIT tessellations

Stationary and isotropic iteration stable random tessellations are considered, which are constructed by a random process of iterative cell division. The collection of maximal polytopes at a fixed time t within a convex window W⊂R^d is regarded and formulas for mean values, variances and a characterization of certain covariance measures are proved. The focus is on the case d≥3, which is different from the planar one, treated separately in Schreiber and Thäle (2010) [12]. Moreover, a limit theorem for suitably rescaled intrinsic volumes is established, leading — in sharp contrast to the situation in the plane — to a non-Gaussian limit.