Seminário de Álgebra e Topologia 

We discuss some results of work in progress, where we apply the recent machinery of 2-brane formality in Lie algebra theory, aiming to prove more general Duflo-like theorems; if possible, Lie algebroids and global issues will also be discussed.

For a not necessarily commutative comodule algebra over a Hopf algebra, we construct a Galois correspondence between the complete lattices of of subalgebras and the complete lattice of generalised quotients of the structure Hopf algebra. The construction involves techniques of lattice theory and of Galois connections. Such a 'Galois Theory' generalises the classical Galois Theory for field extensions, and some important results of S.Chase and M.Sweedler, F. van Oystaeyen, P.Zhang and P.Schauenburg. Using the developed theory we positively answer the question raised by S. Montgomery: is there a bijective correspondence between generalised subobjects of a Hopf algebra and its generalised quotients? If time permits, I will present a proof, based on our results, for finite dimensional Hopf algebras. This is joint work with Dorota Marciniak (UAB Barcelona).

The talk will have two parts. In the first, we'll define saturated fusion systems and present some properties. Then, we'll introduce two new classes of saturated fusions systems: reduced and tame, and explain how they are related in our search for exotic fusion system.

We will walk over the calculation of the $O(n)$ period on an Eisenstein series on $O(n\mathrm{,1})$. We will see how this period unwinds into an Euler product, and how the factors can be computed (especially how high values of $n$ can be reduced to lower values). We will also see how this period fits into the bigger picture.

This talk will be a leisurely review of some classical material from the first two thirds of the last century, as background for the next talk (on how to actually calculate a period over $O(n\mathrm{,1})$). Specifically, today we will discuss the following topics: non-degenerate quadratic forms $Q$ over a field $k$ (for example, over $Q^3$, $Q(x)=x^2+y^2+z^2$), the parabolic subgroups of orthogonal groups $O(Q,k)$ (for the same example, $O(3)$), and the role they play on the structure of $O(Q)$. We will also see how to construct Eisenstein series over $O(Q)$.

The underlying C*-subalgebra $A_b$ of a projective limit algebra $A$ is regarded as the non-commutative version of the Stone-Cech compactification, and the functor $A\to A_b$ from topological *-algebras to C*-algebras as a coreflector. The C*-algebra topology can be described by two projective structures: the "trivial" and "maximal" ones. Besides the necessary background, I aim to describe another non-trivial structure for the group algebra C*($F_n$) associated to the free group $F_n$ and three for C*($F_{\mathrm{\infty }}$). For these we need a new characterisation of projective limits of C*-algebras. Joint work with Paulo Pinto.

In this talk I will describe the construction of the category of non-commutative motives in Drinfeld-Kontsevich's non-commutative algebraic geometry program. In the process, I will present the first conceptual characterization of Quillen's higher K-theory since Quillen's foundational work in the 70's. As an application, I will show how these results allow us to obtain for free the higher Chern character from K-theory to cyclic homology.

We will analyse the relationship between Hochschild Homology and the manifold $S^1$. From this we can see how to associate naturally to manifolds (with certain geometric structures) operations generalizing Hochschild Homology. These operations are defined on certain algebraic structures related to spaces of embeddings.

I will survey Dominic Joyce's theory of quaternionic algebra, which provides the algebraic framework for studying quaternionic holomorphic functions on hyperkahler manifolds, as well as Quillen's description of the theory in terms of equivariant sheaves on the Riemann sphere.

Unprojection theory aims to analyze complicated commutative rings in terms of simpler ones. The talk will be about joint work in progress with Janko Boehm (Saarbruecken) that relates, on the algebraic level of Stanley--Reisner rings, stellar subdivisions of a certain class of simplicial complexes (which includes all sphere triangulations) with Kustin--Miller unprojection. I will also mention a related result about boundary complexes of cyclic polytopes.

Given an arbitrary field $k$ and a fan $F$, we study the classification of the various "toric $k$-forms" of the toric variety $X_{K,F}$, where $K$ is the algebraic closure of $K$ and $F$. This classification generalizes the work of Delaunay on "real toric varieties" and has a particularly simple description in the case of complete non-singular toric surfaces. We show how to use the Cox construction to perform explicit calculations and make a few applications. This is joint work with Javier Elizondo, Frank Sottile and Zach Teitler.

As higher analogues of group schemes, group stacks arise in several contexts in geometry. E.g., symmetries of stacks, structure group stacks of higher principal bundles, stacky abelianization of reductive groups (Deligne), and so on. Working with group stacks is, however, considerably more difficult than working with group schemes, especially when one needs to do explicit calculations. In these talks we introduce some general techniques for dealing with this problem. We discuss applications to 'group actions on stacks' and to 'classification of forms of stacks over a field'. Notes

We identify a class of local rings $(R,m,k)$ with $m4=0$ exhibiting the Koszul like property that $H_R(-t)P_M^R(t)$ is in $Z[t]$ for all finite $R$-modules $M$; where $H_R(t)$ denotes the Hilbert series of $R$ and $P_M^R(t)$ the Poincaré series of $M$ over $R$. This class includes generic graded Gorenstein algebras of socle degree $3$. We show the minimal free resolutions of finite modules over such rings admit Koszul syzygy modules.

Computing the topology of a real algebraic set given as the zero set of a list of polynomials remains a challenging problem, even for polynomials in 3 variables. Nevertheless, we can show that for certain systems of sparse polynomials, one can efficiently compute the topology in polynomial-time with high probability. This is recent joint work with Martin Avendano. We illustrate the algorithm through various examples, and see how a special case leads to the use of Diophantine approximation. We then show how, in more general cases, it is natural to expect a set of small set of inputs where the algorithm slows down. We assume no background in number theory or algorithms.

After the work of H. Miller and J. Lannes in the 80's we know that the homotopy classes of maps from BV (V some elementary abelian p-group) to some space are detected by ordinary mod p cohomology. I will review what happens when mod p cohomology is replaced by a complex oriented cohomology theory. As an interesting special case I will consider morphisms from elementary abelian p-groups to compact Lie groups.

We show that algebraic K-theory and periodic algebraic cobordism are localizations of motivic suspension spectra obtained by inverting the Bott element, generalizing theorems of V. Snaith in the topological case. This yields an easy proof of the motivic Conner-Floyd theorem and also implies that algebraic K-theory is E-infinity as a motivic spectrum.

The representations from a free group into $\mathrm{SL}(3,C)$ are an affine variety. The ring of invariants of the conjugation action is generated by traces of words in generic matrices. We have described minimal sets of these generators; providing global coordinates for the moduli of representations. In this talk, we describe maximal algebraically independent subsets of the minimal generators. In contrast, these sets should be thought of as local parameters for the moduli.

We introduce a version of Deligne cohomology for smooth proper real varieties which is related to bigraded Bredon cohomology in the same fashion that the usual version of Deligne cohomology is related to singular cohomology. For complex manifolds, the Deligne cohomology group $H_{D/C}^2(X;Z(2))$ can be identified with the group of equivalence classes of pairs $(L,\nabla )$, where $L$ is a holomorphic line bundle and $\nabla$ is a holomorphic connection on $L$. However, when $X$ is a Real manifold, the straightforward generalization of this result does not work due to a certain obstruction related to the set of real points of the variety, and one needs an additional geometric piece which would be a certain real quadratic form on the line bundle. We will provide a gentle introduction to Deligne cohomology and some examples.

I will discuss connections between the calculus of functors and the Whitehead Conjecture, both for the classical theorem of Kuhn and Priddy for symmetric powers of spheres and for the analogous conjecture in topological K-theory. It turns out that key constructions in Kuhn and Priddy's proof have bu-analogues, and there is a surprising connection to the stable rank filtration of algebraic K-theory.

Given a ring $A$ there is a geometric construction of the space that classifies the cohomology functor $H^n(-;A)$; it is just the the free $A$-module $S^n\otimes A$ generated by the space $S^n$. For spaces with an action of finite group $G$, the role of cohomology with coefficients in a ring is played by equivariant cohomology with coefficients in an appropriate algebraic object $M$ -- called a Mackey functor. In this talk we will describe a geometric construction for the classifying spaces of equivariant cohomology with coefficients in a Mackey functor $M$. This is joint work with Zhaohu Nie.