The thesis consists of two papers, both treating hypergeometric polynomials, and a short introduction. The main results are as follows.In the first paper,we study the asymptotic zero distribution of a family of hypergeometric polynomials in one complex variable as their degree goes to infinity,using the associated differential equations that hypergeometric polynomials satisfy.   We describe in particular the curve complex on which the zeros cluster, as level curves associated to integrals on an algebraic curve derived from the equation.   The new result is first of all that we are able to formulate results on the location of zeros of generalized hypergeometric polynomials in greater generality than before (earlier results are mainly concerned with the Gauss hypergeometric case.) Secondly, we are able to formulate a precise conjucture giving the asymptotic behaviour of zeros in the generalized case of our polynomials, which covers previous results.In the second paper we partly prove one of the  conjectures in the first paper by using Euler integral representation of the Gauss hypergeometric functions together with the Saddle point method.

We show that the polytopes obtained from the Birkhoff polytope by imposing additional inequalities restricting the “longest increasing subsequence” have Ehrhart quasi-polynomials which are honest polynomials, even though they are just rational polytopes in general. We do this by defining a continuous, piecewise-linear bijection to a certain Gelfand–Tsetlin polytope. This bijection is not an integral equivalence but it respects lattice points in the appropriate way to imply that the two polytopes have the same Ehrhart (quasi-)polynomials. In fact, the bijection is essentially the Robinson–Schensted–Knuth correspondence.

The theory of operads is a conceptual framework that has become a kind of universal language, relating branches of topology and algebra. This thesis uses the operadic framework to study the derived algebraic properties of polyvector fields on manifolds.The thesis is divided into eight chapters. The first is an introduction to the thesis and the research field to which it belongs, while the second chapter surveys the basic mathematical results of the field.The third chapter is devoted to a novel construction of differential graded operads, generalizing an earlier construction due to Thomas Willwacher. The construction highlights and explains several categorical properties of differential graded algebras (of some kind) that come equipped with an action by a differential graded Lie algebra. In particular, the construction clarifies the deformation theory of such algebras and explains how such algebras can be twisted by Maurer-Cartan elements.The fourth chapter constructs an explicit strong homotopy deformation of polynomial polyvector fields on affine space, regarded as a two-colored noncommutative Gerstenhaber algebra. It also constructs an explicit strong homotopy quasi-isomorphism from this deformation to the canonical two-colored noncommmutative Gerstenhaber algebra of polydifferential operators on the affine space. This explicit construction generalizes Maxim Kontsevich's formality morphism.The main result of the fifth chapter is that the deformation of polyvector fields constructed in the fourth chapter is (generically) nontrivial and, in a sense, the unique such deformation. The proof is based on some cohomology computations involving Kontsevich's graph complex and related complexes. The chapter ends with an application of the results to properties of a derived version of the Duflo isomorphism.The sixth chapter develops a general mathematical framework for how and when an algebraic structure on the germs at the origin of a sheaf on Cartesian space can be "globalized" to a corresponding algebraic structure on the global sections over an arbitrary smooth manifold. The results are applied to the construction of the fourth chapter, and it is shown that the construction globalizes to polyvector fields and polydifferential operators on an arbitrary smooth manifold.The seventh chapter combines the relations to graph complexes, explained in chapter five, and the globalization theory of chapter six, to uncover a representation of the Grothendieck-Teichmüller group in terms of A-infinity morphisms between Poisson cohomology cochain complexes on a manifold.Chapter eight gives a simplified version of a construction of a family of Drinfel'd associators due to Carlo Rossi and Thomas Willwacher. Our simplified construction makes the connections to multiple zeta values more transparent--in particular, one obtains a fairly explicit family of evaluations on the algebra of formal multiple zeta values, and the chapter proves certain basic properties of this family of evaluations.

Given a finite CW complex K, we use a version of the Goodwillie-Weiss tower to formulate an obstruction theory for embedding K into a Euclidean space R^d. For 2-dimensional complexes in R⁴, a geometric analogue is also introduced, based on intersections of Whitney disks and more generally on the intersection theory of Whitney towers developed by Schneiderman and Teichner. We focus on the first obstruction beyond the classical embedding obstruction of van Kampen. In this case we show the two approaches lead to essentially the same obstruction. We also give another geometric interpretation of our obstruction, as a triple collinearity condition. Furthermore, we relate our obstruction to the Arnold class in the cohomology of configuration spaces. The obstructions are shown to be realized in a family of examples. Conjectures are formulated, relating higher versions of these homotopy-theoretic, geometric and cohomological theories.

In this paper we study the class of power ideals generated by the k(n) forms (x(0) + xi(g1) x(1) + ... + xi(gn) x(n))((k-1)d) where xi is a fixed primitive kth-root of unity and 0 <= g(j) <= k - 1 for all j. For k = 2, by using a Z(k)(n+1)-grading on C[x(0),..., x(n)], we compute the Hilbert series of the associated quotient rings via a simple numerical algorithm. We also conjecture the extension for k > 2. Via Macaulay duality, those power ideals are related to schemes of fat points with support on the k(n) points [1 : xi(g1) : ... : xi(gn)] in P-n. We compute Hilbert series, Betti numbers and Grobner basis for these 0-dimensional schemes. This explicitly determines the Hilbert series of the power ideal for all k: that this agrees with our conjecture for k > 2 is supported by several computer experiments.

The main theme of this thesis is higher algebraic structures that come from operads and props.

The first chapter is an introduction to the mathematical framework needed for the content of this thesis. The chapter does not contain any new results.

The second chapter is concerned with the construction of a configuration space model for a particular 2-colored differential graded operad encoding the structure of two A_∞ algebras with two A_∞ morphisms and a homotopy between the morphisms. The cohomology of this operad is shown to be the well-known 2-colored operad encoding the structure of two associative algebras and of an associative algebra morphism between them.

The third chapter is concerned with deformation quantization of (potentially) infinite dimensional (quasi-)Poisson manifolds. Our proof employs a variation on the transcendental methods pioneered by M. Kontsevich for the finite dimensional case. The first proof of the infinite dimensional case is due to B. Shoikhet. A key feature of the first proof is the construction of a universal L_∞ structure on formal polyvector fields. Our contribution is a simplification of B. Shoikhet proof by considering a more natural configuration space and a simpler choice of propagator. The result is also put into a natural context of the dg Lie algebras coming from graph complexes; the L_∞ structure is proved to come from a Maurer-Cartan element in the oriented graph complex.

The fourth chapter also deals with deformation quantization of (quasi-)Poisson structures in the infinite dimensional setting. Unlike the previous chapter, the methods used here are purely algebraic. Our main theorem is the possibility to deformation quantize quasi-Poisson structures by only using perturbative methods; in contrast to the transcendental methods employed in the previous chapter. We give two proofs of the theorem via the theory of dg operads, dg properads and dg props. We show that there is a dg prop morphism from a prop governing star-products to a dg prop(erad) governing (quasi-)Poisson structures. This morphism gives a theorem about the existence of a deformation quantization of (quasi-)Poisson structure. The proof proceeds by giving an explicit deformation quantization of super-involutive Lie bialgebras and then lifting that to the dg properad governing quasi-Poisson structures. The prop governing star-products was first considered by S.A. Merkulov, but the properad governing quasi-Poisson structures is a new construction.

The second proof of the theorem employs the Merkulov-Willwacher polydifferential functor to transfer the problem of finding a morphism of dg props to that of finding a morphism of dg operads.We construct an extension of the well known operad of A_∞ algebras such that the representations of it in V are equivalent to an A_∞ structure on V[[ħ]]. This new operad is also a minimal model of an operad that can be seen as the extension of the operad of associative algebras by a unary operation. We give an explicit map of operads from the extended associative operad to the operad we get when applying the Merkulov-Willwacher polydifferential functor to the properad of super-involutive Lie bialgebras. Lifting this map so as to go between their respective models gives a new proof of the main theorem.

Given an algebraic group, one may consider the class of its classifying stackin the Grothendieck group of stacks. This is an invariant studied byEkedahl. For certain connected groups, called the special groups bySerre and Grothendieck, the invariant simply gives the inverse of the class ofthe group itself. It is natural to ask whether the same is true for otherconnected groups. We investigate this for the groups PGL(2) and PGL(3) under mild restrictions on the choice of base field.In the case of PGL(2), the question turns out to have a positive answer. In the case of PGL(3), we reduce the question to the computation of the invariant for thenormaliser of a maximal torus in PGL(3). The reduction involves determiningthe class of a certain gerbe over the moduli stack of elliptic curves.

This thesis consists of three articles treating topics in the theory of algebraic stacks. The first two papers deal with motivic invariants. In the first, we show that the class of the classifying stack BPGL_n is the inverse of the class of PGL_n in the Grothendieck ring of stacks for n ≤ 3. This shows that the multiplicativity relation holds for the universal torsors, although it is known not to hold for torsors ingeneral for the groups PGL₂ and PGL₃.

In the second paper, we introduce an exponential function which can be viewed as a generalisation of Kapranov's motivic zeta function. We use this to derive a binomial theorem for a power operation defined on the Grothendieck ring of varieties. As an application, we give an explicit expression for the motivic class of a universal quasi-split torus, which generalises a result by Rökaeus.

The last paper treats destackification. We give an algorithm for removing stackiness from smooth, tame stacks with abelian stabilisers by repeatedly applying stacky blow-ups. As applications, we indicate how the result can be used for destackifying general Deligne–Mumford stacks in characteristic zero, and to obtain a weak factorisation theorem for such stacks.

In this article, we study the problem of modifying smooth, algebraic stacks with finite, diagonalisable stabilisers such that their coarse spaces become smooth. The only modifications used are root stacks and blow-ups in smooth centres. If the generic stabiliser of the original stack is trivial, the canonical map from the resulting stack to its coarse space is also a root stack. Hence we can think of the process as removing stackiness from, or destackifying, a smooth stack with help of stacky blow-ups. The construction work over a general base and are functorial in the sense that they respect base change andcompositions with gerbes and smooth, stabiliser preserving maps. As applications, we indicate how this can be used for destackifying general Deligne-Mumford stacks with finite inertia in characteristic zero, and to obtain a weak factorisation theorem for such stacks. Over any field, the method can be used for desingularising locally simplicial toric varieties, without assuming the presence of toroidal structures.

We prove that the class of the classifying stack BPGL(n) is the multiplicative inverse of the class of the projective linear group PGL(n) in the Grothendieck ring of stacks K-0(Stack(k)) for n = 2 and n = 3 under mild conditions on the base field k. In particular, although it is known that the multiplicativity relation {T} = {S} . {PGL(n)} does not hold for all PGL(n)-torsors T -> S, it holds for the universal PGL(n)-torsors for said n.

Taking symmetric powers of varieties can be seen as a functor from the category of varieties to the category of varieties with an action by the symmetric group. We study a corresponding map between the Grothendieck groups of these categories. In particular, we derive a binomial formula and use it to give explicit expressions for the classes of universal quasi-split tori in the equivariant Grothendieck group of varieties.

We extend homological perturbation theory to encompass algebraic structures governed by operads and cooperads. The main difficulty is to find a suitable notion of algebra homotopy that generalizes to algebras over operads  O . To solve this problem, we introduce thick maps of  O –algebras and special thick maps that we call pseudo-derivations that serve as appropriate generalizations of algebra homotopies for the purposes of homological perturbation theory. 

   As an application, we derive explicit formulas for transferring  Ω(C) –algebra structures along contractions, where C  is any connected cooperad in chain complexes. This specializes to transfer formulas for  O ∞  –algebras for any Koszul operad O , in particular for A ∞  –,  C ∞  –,  L ∞  – and  G ∞  –algebras. A key feature is that our formulas are expressed in terms of the compact description of  Ω(C) –algebras as coderivation differentials on cofree C –coalgebras. Moreover, we get formulas not only for the transferred structure and a structure on the inclusion, but also for structures on the projection and the homotopy

We calculate the higher homotopy groups of the Deligne–Getzler ∞-groupoid associated to a nilpotent L∞-algebra. As an application, we present a new approach to the rational homotopy theory of mapping spaces.

Shellability is a well-known combinatorial criterion on a simplicial complex for verifying that the associated Stanley-Reisner ring k[] is Cohen-Macaulay. Anotion familiar to commutative algebraists, but which has not received as muchattention from combinatorialists as the Cohen-Macaulay property, is the notion ofa Golod ring. Recently, J¨ollenbeck introduced a criterion on simplicial complexesreminiscent of shellability, called the strong gcd-condition, and he together with theauthor proved that it implies Golodness of the associated Stanley-Reisner ring. Thetwo algebraic notions were earlier tied together by Herzog, Reiner and Welker, whoshowed that if k[∨] is sequentially Cohen-Macaulay, where ∨ is the Alexanderdual of , then k[] is Golod. In this paper, we present a combinatorial companionof this result, namely that if ∨ is (non-pure) shellable then satisfies the stronggcd-condition. Moreover, we show that all implications just mentioned are strict ingeneral but that they are equivalences if is a flag complex.

We express the coefficients of the Hirzebruch L-polynomials in terms of certain alternating multiple zeta values. In particular, we show that every monomial in the Pontryagin classes appears with a non-zero coefficient, with the expected sign. Similar results hold for the polynomials associated to the Â-genus.

We calculate the homology of the free loop space of (n - 1)-connected closed manifolds of dimension at most 3 n - 2 (n >= 2), with the Chas-Sullivan loop product and loop bracket. Over a field of characteristic zero, we obtain an expression for the BV-operator. We also give explicit formulas for the Betti numbers, showing they grow exponentially. Our main tool is the connection between formality, coformality and Koszul algebras that was elucidated by the first author [6].

In this article we revisit the theory of homotopic Hopf-Galois extensions introduced in arXiv:0902.3393v2 [math.AT], in light of the homotopical Morita theory of comodules established in arXiv:1411.6517 [math.AT]. We generalize the theory to a relative framework, which we believe is new even in the classical context and which is essential for treating the Hopf-Galois correspondence in forthcoming work of the second author and Karpova. We study in detail homotopic Hopf-Galois extensions of differential graded algebras over a commutative ring, for which we establish a descent-type characterization analogous to the one Rognes provided in the context of ring spectra. An interesting feature in the differential graded setting is the close relationship between homotopic Hopf-Galois theory and Koszul duality theory. We show that nice enough principal fibrations of simplicial sets give rise to homotopic Hopf-Galois extensions in the differential graded setting, for which this Koszul duality has a familiar form.

A coring (A,C) consists of an algebra A and a coalgebra C in the monoidal category of A-bimodules. Corings and their comodules arise naturally in the study of Hopf-Galois extensions and descent theory, as well as in the study of Hopf algebroids. In this paper, we address the question of when two corings in a symmetric monoidal model category V are homotopically Morita equivalent, i.e., when their respective categories of comodules are Quillen equivalent. The category of comodules over the trivial coring (A,A) is isomorphic to the category of A-modules, so the question above englobes that of when two algebras are homotopically Morita equivalent. We discuss this special case in the first part of the paper, extending previously known results. To approach the general question, we introduce the notion of a 'braided bimodule' and show that adjunctions between A-Mod and B-Mod that lift to adjunctions between (A,C)-Comod and (B,D)-Comod correspond precisely to braided bimodules between (A,C) and (B,D). We then give criteria, in terms of homotopic descent, for when a braided bimodule induces a Quillen equivalence. In particular, we obtain criteria for when a morphism of corings induces a Quillen equivalence, providing a homotopic generalization of results by Hovey and Strickland on Morita equivalences of Hopf algebroids. To illustrate the general theory, we examine homotopical Morita theory for corings in the category of chain complexes over a commutative ring.

We study the rational homotopy types of classifying spaces of automorphism groups of 2d-dimensional (d-1)-connected manifolds (d > 2). We prove that the rational homology groups of the homotopy automorphisms and the block diffeomorphisms of the manifold #^g S^d x S^d relative to a disk stabilize as g increases. Via a theorem of Kontsevich, we obtain the striking result that the stable rational cohomology of the homotopy automorphisms comprises all unstable rational homology groups of all outer automorphism groups of free groups.

We construct a dg" role="presentation" style="display: inline; line-height: normal; font-size: 17.3333px; overflow-wrap: normal; white-space: nowrap; float: none; direction: ltr; max-width: none; max-height: none; min-width: 0px; min-height: 0px; border: 0px; padding: 0px; margin: 0px; color: rgb(64, 64, 64); font-family: "Times New Roman", Times, serif; position: relative;">dgdg Lie algebra model for the universal cover of the classifying space of the grouplike monoid of homotopy automorphisms of a space that fix a given subspace. We derive the model from a known model for based homotopy automorphisms together with general result on rational models for geometric bar constructions.

We compute the weighted Euler characteristic, equivariant with respect to the action of the symplectic group of degree six over the field of two elements, of the moduli space of principally polarized Abelian threefolds together with a level two structure. 

We use a classification result of Chenevier and Lannes for algebraic automorphic representations together with a conjectural correspondence with ℓ-adic absolute Galois representations to determine the Euler characteristics (with values in the Grothendieck group of such representations) of and for n ≤ 14 and of local systems on for |λ| ≤ 16.

We give an explicit conjectural formula for the motivic Euler characteristic of an arbitrary symplectic local system on the moduli space of principally polarized abelian threefolds. The main term of the formula is a conjectural motive of Siegel modular forms of a certain type; the remaining terms admit a surprisingly simple description in terms of the motivic Euler characteristics for lower genera. The conjecture is based on extensive counts of curves of genus three and abelian threefolds over finite fields. It provides a lot of new information about vector-valued Siegel modular forms of degree three, such as dimension formulas and traces of Hecke operators. We also use it to predict several lifts from genus 1 to genus 3, as well as lifts from and new congruences of Harder type.

For a given genus g ≥ 1, we give lower bounds for the maximal number of rational pointson a smooth projective absolutely irreducible curve of genus g over F_q. As a consequenceof Katz–Sarnak theory, we first get for any given g > 0, any ε > 0 and all q large enough,the existence of a curve of genus g over F_q with at least 1 + q + (2g − ε)√q rational points.Then using sums of powers of traces of Frobenius of hyperelliptic curves, we get a lowerbound of the form 1 + q + 1.71√q valid for g ≥ 3 and odd q ≥ 11. Finally, explicit constructions of towers of curves improve this result: We show that the bound 1 + q + 4√q − 32 isvalid for all g ≥ 2 and for all q.

We describe all polarizations for all abelian varieties over a finite field in a fixed isogeny class corresponding to a squarefree Weil polynomial, when one variety in the isogeny class admits a canonical lifting to characteristic zero, that is, a lifting for which the reduction morphism induces an isomorphism of endomorphism rings. Categorical equivalences between abelian varieties over finite fields and fractional ideals in étale algebras enable us to explicitly compute isomorphism classes of polarized abelian varieties satisfying some mild conditions. We also implement algorithms to perform these computations.

We give a recursive algorithm for computing the character of the cohomology of the moduli space of stable -pointed genus zero curves as a representation of the symmetric group on letters. Using the algorithm we can show a formula for the maximum length of this character. Our main tool is connected to the moduli spaces of weighted stable curves introduced by Hassett.

We determine the cohomology of the Losev--Manin moduli space $\overline{M}_{0, 2 | n}$ of pointed genus zero curves as a representation of the product of symmetric groups $\Sg_2 \times \Sg_n$.

In this thesis we investigate the moduli space M₃[2] of curves of genus 3 equipped with a symplectic level 2 structure. In particular, we are interested in the cohomology of this space. We obtain cohomological information by decomposing M₃[2] into a disjoint union of two natural subspaces, Q[2] and H₃[2], and then making S₇- resp. S₈-equivariantpoint counts of each of these spaces separately.

We show that Willwacher's cyclic formality theorem can be extended to preserve natural Gravity operations on cyclic multivector fields and cyclic multidifferential operators. We express this in terms of a homotopy Gravity quasiisomorphism with explicit local formulas. For this, we develop operadic tools related to mixed complexes and cyclic homology and prove that the operad M(O )of natural operations on cyclic operators is formal and hence quasi-isomorphic to the Gravity operad.

Motivated by recent results on the Waring problem for polynomial rings [4] and representation of monomial as sum of powers of linear forms [3], we consider the problem of presenting monomials of degree kd as sums of kth-powers of forms of degree d. We produce a general bound on the number of summands for any number of variables which we refine in the two variables case. We completely solve the k = 3 case for monomials in two and three variables.

This licentiate thesis consists of two papers. In paper I the tautological ring of a Hilbert modular variety at an unramified prime is computed. The method of van der Geer in the case of A_{g} is extended to deal with the case of the Hilbert modular variety, which is more complicated. An example involving the unitary group is given which shows that this method cannot be used to compute the tautological rings of all Shimura varieties of Hodge type. In paper II we compute the pushforward map from a sub flag variety defined by a Levi subgroup to the Siegel flag variety. Specifically, this is the Levi factor of the parabolic associated with the maximal rational boundary component of the Siegel Shimura datum. The method involves an explicit understanding of the pullback map and an application of the self intersection formula.

We present a method to compute the degrees of the Segre classes of a subscheme of complex projective space. The method is based on generic residuation and intersection theory. It has been implemented using the software system Macaulay2.

We prove that the group of homotopy classes of relative homotopy automorphisms of a simply connected finite CW-complex is finitely presented and that the rationalization map from this group to its rational analogue has a finite kernel.

Geometry is an area in mathematics that is considered not abstract, on the contrary from other areas in mathematics. As geometry is considered an unabstracted area in mathematics, why has students around the world difficulties with geometry? TIMSS (Trends in International Mathematics and Science Study) has shown that Swedish students in 8th grade has difficulties in algebra and geometry. The study focuses on why secondary school students’ have easy to understand some parts in geometry and why they have difficulties in other parts. Furthermore the study focuses on strategies teachers use to facilitate understanding in geometry. The study is carried out by interviewing six teachers in secondary school. The interviews are recorded and transcribed for enabling thematic analysis. The result shows that teachers experiences that students have easy to understand the first dimension (length and perimeter) and easy to understand geometrical objects as for example rectangular shapes. The reason behind the easiness is that these elements in geometry is known for the students, easy for the teachers to explain and not abstract. The students have difficulties comprehending two and especially three dimensional objects, difficult geometrical objects as circular objects, objects where the height is “situated” outside the object and irregular figures, unit conversions and concepts in geometry. The reasons behind these difficulties are mainly: the elements and methods are unfamiliar and abstract to the students. The abstraction in geometry are shown as comprehending how big or small sizes are in two and three dimensions and difficulties to comprehend the big discrepancy between the numbers in unit conversion, Teachers also observe that students have difficulties in visualizing and manipulating objects. These results show that what is known and not abstract are the opposite for what students have difficulties with, i.e. unknown and abstract. The strategies the teachers use are mostly to concretize the difficulties in geometry and in that way show students why it is valid. Other strategies are concerning with building a strong foundation in geometry, to combine geometry with other subjects in school and using students prior knowledge to build new knowledge. The red articles agrees with the result from the study.

Let X be a smooth projective curve of genus g, defined over an algebraically closed field k, and let G be a connected reductive group over k. We say that a G-torsor is essentially finite if it admits a reduction to a finite group, generalising the notion of essentially finite vector bundles to arbitrary groups G. We give a Tannakian interpretation of such torsors, and we prove that all essentially finite G-torsors have torsion degree, and that the degree is 0 if X is an elliptic curve. We then study the density of the set of k-points of essentially finite G-torsors of degree 0, denoted inside the k-points of all semistable degree 0 G-torsors. We show that when is dense. When 𝑔>1 and when char(𝑘)=0, we show that for any reductive group of semisimple rank 1,  is not dense.

We study the compactly supported rational cohomology of configuration spaces of points on wedges of spheres, equipped with natural actions of the symmetric group and the group Out(F_g) of outer automorphism of the free group. These representations are closely related to Hochschild-Pirashvili homology with coefficients in square-zero algebras, and they show up in seemingly unrelated parts of mathematics, from cohomology of moduli spaces of curves to polynomial functors on free groups.       

We show that these cohomology representations form a polynomial functor, and use various geometric models to compute a substantial part of its composition factors. We further compute the composition factors completely for all configurations of n\leq 10 particles. An application of this analysis is a new super-exponential lower bound on the symmetric group action on the weight 0 component of H^*_c(M_{2,n}).

This licentiate thesis consists of two papers related to configuration spaces of points.

In paper I a general formula for the Euler characteristic of configuration spaces on any topologically stratified space X is obtained in terms of geometric and combinatorial data about the strata. More generally this paper provides a formula for the Euler characteristic of the cohomology with compact support of these configuration spaces with coefficients in a constructible complex of sheaves K on X. The formula for the classical Euler characteristic is then obtained by taking K to be the dualizing complex of X. This formula generalizes similar results about configuration spaces on a manifold or on a simplicial complex, as well as another formula for any Hausdorff space X when the complex of sheaves K is trivial.

In paper II we study the cohomology with compact support of configuration spaces on a wedge sum of spheres X, with rational coefficients. We prove that these cohomology groups are the coefficients of an analytic functor computing the Hochschild--Pirashvili homology of X with certain coefficients. Moreover, we prove that, up to a filtration, these same cohomology groups are a polynomial functor in the reduced cohomology of X, with coefficients not depending on X. Contrasting the information provided by two different models we are able to partially compute these coefficients, and in particular we obtained a complete answer for configurations of at most 10 points. The coefficients thus obtained can be used to compute the weight 0 part of the cohomology with compact support of the moduli space M_{2,n}.

In this short note we present a generating function computing the compactly supported Euler characteristic  χ_c(F(x,n),K^⊠n) of the configuration spaces on a topologically stratified space X, with K a constructible complex of sheaves on X, and we obtain as a special case a generating function for the Euler characteristic _χ(F(X,n)). We also recall how to use existing results to turn our computation of the Euler characteristic into a computation of the equivariant Euler characteristic.

We study the compactly supported rational cohomology of configuration spaces of points on wedges of spheres, equipped with natural actions of the symmetric group and the group Out(F_g) of outer automorphism of the free group. These representations are closely related to Hochschild-Pirashvili homology with coefficients in square-zero algebras, and they show up in seemingly unrelated parts of mathematics, from cohomology of moduli spaces of curves to polynomial functors on free groups.       

We show that these cohomology representations form a polynomial functor, and use various geometric models to compute a substantial part of its composition factors. We further compute the composition factors completely for all configurations of n\leq 10 particles. An application of this analysis is a new super-exponential lower bound on the symmetric group action on the weight 0 component of H^*_c(M_{2,n}).

We show that a certain locus inside the moduli space $\mathcal{M}_g$ of hyperbolic surfaces, given by surfaces with ``sufficiently many'' short geodesics, is a classifying space of the handlebody mapping class group. A consequence of the construction is that the top weight cohomology of $\mathcal{M}_g$, studied by Chan--Galatius--Payne, maps injectively into the cohomology of the handlebody mapping class group. 

We prove that any Fourier–Mukai partner of an abelian surface over an algebraically closed field of positive characteristic is isomorphic to a moduli space of Gieseker-stable sheaves. We apply this fact to show that the set of Fourier–Mukai partners of a canonical cover of a hyperelliptic or Enriques surface over an algebraically closed field of characteristic greater than three is trivial. These results extend earlier results of Bridgeland–Maciocia and Sosna to positive characteristic.

In the previous part of this diptych, we defined the notion of an admissible simplicial connection, as well as explaining how H.I. Green constructed a resolution of coherent analytic sheaves by locally free sheaves on the Čech nerve. This paper seeks to apply these abstract formalisms, by showing that Green’s barycentric simplicial connection is indeed admissible, and that this condition is exactly what we need in order to be able to apply Chern–Weil theory and construct characteristic classes. We show that, in the case of (global) vector bundles, the simplicial construction agrees with what one might construct manually: the explicit Čech representatives of the exponential Atiyah classes of a vector bundle agree. Finally, we summarise how all the preceding theory fits together to allow us to define Chern classes of coherent analytic sheaves, as well as showing uniqueness in the compact case. 

The phrase “(co)simplicial (pre)sheaf ” can be reasonably interpreted in multiple ways. In this survey we study how some of these interpretations relate to one another. We end by giving some example applications of the most general of these notions.

The isodynamic points of a plane triangle are known to be the only pair of its centers invariant under the action of the Möbius group M on the set of triangles, Kimberling (Encyclopedia of Triangle Centers, http://faculty.evansville.edu/ck6/encyclopedia). Generalizing this classical result, we introduce below the isodynamic map associating to a univariate polynomial of degree d≥3 with at most double roots a polynomial of degree (at most) 2d−4 such that this map commutes with the action of the Möbius group M on the zero loci of the initial polynomial and its image. The roots of the image polynomial will be called the isodynamic points of the preimage polynomial. Our construction naturally extends from univariate polynomials to binary forms and further to their ratios.

The Macaulay2 package CharacteristicClasses provides commands for the computation of the topological Euler characteristic, the degrees of the Chern classes and the degrees of the Segre classes of a closed subscheme of complex projective space. The computations can be done both symbolically and numerically, the latter using an interface to Bertini. We provide some background of the implementation and show how to use the package with the help of examples.

We present an algorithm for the symbolic and numerical computation of the degrees of the Chern-Schwartz-MacPherson classes of a closed subvariety of projective space P^n. As the degree of the top Chern-Schwartz-MacPherson class is the topological Euler characteristic, this also yields a method to compute the topological Euler characteristic of projective varieties. The method is based on Aluffi's symbolic algorithm to compute degrees of Chern-Schwartz-MacPherson classes, a symbolic method to compute degrees of Segre classes, and the regenerative cascade by Hauenstein, Sommese and Wampler. The new algorithm complements the existing algorithms. We also give an example for using a theorem by Huh to compute an invariant from algebraic statistics, the maximum likelihood degree of an implicit model.

Recently, Willwacher showed that the Grothendieck-Teichmuller group GRT acts by L-infinity-automorphisms on the Schouten algebra of polyvector fields T_poly(R^d) on affine space R^d. In this article, we prove that a large class of L-infinity-automorphisms on the Schouten algebra, including Willwacher's, can be globalized. That is, given an L-infinity-automorphism of T_poly(R^d) and a general smooth manifold M with the choice of a torsion-free connection, we give an explicit construction of an L-infinity-automorphism of the Schouten algebra T_poly(M) on the manifold M, depending on the chosen connection. The method we use is the Fedosov trick.