Stringy product on twisted orbifold K-theory for abelian quotients

Let \Lambda be a finite abelian group. A dynamical system with transformation group \Lambda is a triple (A,\Lambda,\alpha) , consisting of a unital locally convex algebra A , the finite abelian group \Lambda and a group homomorphism \alpha:\Lambda\rightarrow\operatorname{Aut}(A) , which induces an action of \Lambda on A . In this paper we present a new, geometrically oriented approach to the noncommutative geometry of principal bundles with finite abelian structure group based on such dynamical systems.

Given a $g$-dimensional abelian variety $A$ over a finite field $\mathbf{F}_{q}$, the Weil conjectures imply that the normalized Frobenius eigenvalues generate a multiplicative group of rank at most $g$. The Pontryagin dual of this group is a compact abelian Lie group that controls the distribution of high powers of the Frobenius endomorphism. This group, which we call the Serre–Frobenius group, encodes the possible multiplicative relations between the Frobenius eigenvalues. In this article, we classify all possible Serre–Frobenius groups that occur for $g \le 3$. We also give a partial classification for simple ordinary abelian varieties of prime dimension $g\geq 3$.

It is classically known that Landweber exact homology theories (complex oriented theories which are completely determined by complex cobordism) admit no nontrivial phantom maps. Herein we propose a definition of A A -Landweber exact spectra, for A A a compact abelian Lie group, and show that an analogous result on phantom maps holds. Also, we show that a conjecture of May on K U G KU_G is false. We do not prove an equivariant Landweber exact functor theorem, and therefore our result on phantom maps only applies to M U A MU_A , K U A KU_A , their p p -localizations, and B P A BP_A , which are shown to be A A -Landweber exact by ad-hoc methods.

Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time

This paper explores further the connection between Langlands duality and T-duality for compact simple Lie groups, which appeared in work of Daenzer-Van Erp and Bunke-Nikolaus. We show that Langlands duality gives rise to isomorphisms of twisted K-groups, but that these K-groups are trivial except in the simplest case of SU(2) and SO(3). Along the way we compute explicitly the map on $H^3$ induced by a covering of compact simple Lie groups, which is either 1 or 2 depending in a complicated way on the type of the groups involved. We also give a new method for computing twisted K-theory using the Segal spectral sequence, giving simpler computations of certain twisted K-theory groups of compact Lie groups relevant for D-brane charges in WZW theories and rank-level dualities. Finally we study a duality for orientifolds based on complex Lie groups with an involution.

Let G≅C n 1 ⊕...⊕C n r be a finite and nontrivial abelian group with n 1 |n 2 |...|n r . A conjecture of Hamidoune says that if W=w 1 ·...·w n is a sequence of integers, all but at most one relatively prime to |G|, and S is a sequence over G with |S|≥|W|+|G|-1≥|G|+1, the maximum multiplicity of S at most |W|, and σ(W)≡0mod|G|, then there exists a nontrivial subgroup H such that every element g∈H can be represented as a weighted subsequence sum of the form g=∑ n i=1w i s i , with s 1 ·...·s n a subsequence of S. We give two examples showing this does not hold in general, and characterize the counterexamples for large |W|≥1 2|G|.A theorem of Gao, generalizing an older result of Olson, says that if G is a finite abelian group, and S is a sequence over G with |S|≥|G|+𝔻(G)-1, then either every element of G can be represented as a |G|-term subsequence sum from S, or there exists a coset g+H such that all but at most |G/H|-2 terms of S are from g+H. We establish some very special cases in a weighted analog of this theorem conjectured by Ordaz and Quiroz, and some partial conclusions in the remaining cases, which imply a recent result of Ordaz and Quiroz. This is done, in part, by extending a weighted setpartition theorem of Grynkiewicz, which we then use to also improve the previously mentioned result of Gao by showing that the hypothesis |S|≥|G|+𝔻(G)-1 can be relaxed to |S|≥|G|+d * (G), where d * (G)=∑ r i=1(n i -1). We also use this method to derive a variation on Hamidoune’s conjecture valid when at least d * (G) of the w i are relatively prime to |G|.

group of odd order has only inner automorphisms. The group of automorphisms of the holomorph of an arbitrary group was studied by Gol'fand [3] who found some cases in which the outer automorphism group has order one or two. In the present paper I determine explicitly the outer automorphism group 0 of the holomorph H of an arbitrary finite abelian group G. If G is the direct product of a group of odd order, a group of order two, and a cyclic group of order 2n where n> 2, then 0 is the direct product of a finite number of groups of order two and a non-abelian group 0* of order six or eight. If n =2 then 0 * is isomorphic to the symmetric group of order six, and if n >3 then 0* is the octic group. In all other cases 0 is either trivial or the direct product of a finite number of groups of order two. Let A be the group of all automorphisms of the finite abelian group G, let GB be the group of all automorphisms of H that map G onto itself, and let g be the group of all inner automorphisms of H. Then (B3/J can be identified with the first cohomology group H'(A, G). Thus H'(A, G) can be regarded as a subgroup of 0. Now G is an ilnvariant subgroup of H, and it is known [6] that H has at most four invariant subgroups isomorphic to G. It follows that H'(A, G) has index at most four in 0.

Modular invariance property of association schemes is recalled in connection with our joint work with François Jaeger. Then we survey codes over F 2 discussing how codes, through their (various kinds of) weight enumerators, are related to (various kinds of) modular forms through polynomial invariants of certain finite group actions and theta series. Recently, not only codes over an arbitrary finite field but also codes over finite rings and finite abelian groups are considered and have been studied extensively. We show how the determination of the solutions of the modular invariance property of finite abelian groups (our joint work with Jaeger) is used to define the concept of Type II codes over arbitrary finite abelian groups. As an example of the usefulness of such Type II codes, we give an application to hermitian modular forms.

This thesis presents some contributions in additive combinatorics and arithmetic Ramsey theory. More specifically, it deals with the interaction between combinatorics, number theory and additive combinatorics. This area saw a great improvement with the Szemerédi Regularity Lemma and some of the results that followed. The Regularity Lemma and its consequences have become a widely used tool in graph theory, combinatorics and number theory. Furthermore, its language and point of view has deeply changed the face of additive number theory, a fact universally acknowledged by the Abel award given to Szemerédi in 2012. One of the main reasons for the prize has been Szemerédi's theorem, a result regarding the existence of arbitrarily long arithmetic progressions in dense sets of the integers, the proof of which uses the Regularity Lemma in a key step. One of the earlier consequences of the Regularity Lemma was the Removal Lemma for graphs that was used by Ruzsa and Szemerédi to show Roth theorem, regarding the existence of 3-term arithmetic progressions in dense sets of the integers, in a combinatorial way. The Removal Lemma states that in any graph K with few copies of a subgraph, say a triangle, we can remove few edges from K so that the result contains no copy of the subgraph. This has become a key tool in the applications of the so-called Regularity Method, which has extensive literature in combinatorics, graph theory, number theory and computer science. In 2005 Green introduced a regularity lemma for Abelian groups as well as an algebraic removal lemma. The removal lemma for groups states that, for a given finite Abelian group G, if there are o(|G|^3) solution to x+y+z+t=0 with the variables taking values in S, a subset of G, then we can remove o(|G|) elements from S to make the set S solution-free. The main contributions of this work corresponds to extensions of the removal lemma for groups to either more general contexts, like non-necessary Abelian finite groups, or to linear systems of equations for finite Abelian groups. The main goal is to give a comprehensive and more general framework for many results in additive number theory like Szemerédi Theorem. In particular, we show that the removal lemma for groups by Green can be extended to non-necessary Abelian finite groups. Moreover, we prove a removal lemma for linear systems on finite fields: for every e>0 there exists a d>0 such that if A is a (k x m) linear system of equations with coefficients in a finite field F and the number of solutions to Ax=b, where each variable takes values from a subset Si in F is less than d times |F| raised to m-k, then by removing less than e|F| elements in each Si we can make the resulting sets solution-free, thus solving a conjecture by Green to that respect. Even more, if A is an integer linear system, G is a finite Abelian group, and the determinantal of A and |G| are coprime, then a similar statement holds. Let us mention that the last result allows us to characterize those linear systems where any set S with size proportional to G has a nontrivial solution in S, provided |G| is large enough. This extends the validity of Szmerédi's theorem to finite Abelian groups. These extensions of the removal lemma have been used in arithmetic Ramsey theory to obtain counting results for the number of monochromatic solutions of linear systems. The main result from a work by Frankl, Graham and Rödl in '88 states that the number of monochromatic solutions of regular systems in integer intervals is in fact a positive proportion of the total number of solutions. We give analogous results for solutions in Abelian groups with bounded exponent, for which the main tool in the torsion-free case cannot be applied. Density versions of these counting results are also obtained, in this case with a full characterization.

Perfect nonlinear functions between two finite abelian groups were studied by Carlet and Ding (J Complex 20:205---244, 2004) and Pott (Discret Math Appl 138:177---193, 2004), which can be regarded as a generalization of bent functions on finite abelian groups studied by Logachev et al. (Discret Math Appl 7:547---564, 1997). Poinsot (J Discret Math Sci Cryptogr 9:349---364, 2006), (Cryptogr Commun 4:1---23, 2012) extended this research to arbitrary finite groups, and characterized bent functions on finite nonabelian groups as well as perfect nonlinear functions between two arbitrary finite groups by the Fourier transforms of the related functions at irreducible unitary representations. The purpose of this paper is to study the characterizations of the bentness (perfect nonlinearity) of functions on arbitrary finite groups by the Fourier transforms of the related functions at irreducible characters. We will also give a characterization of a perfect nonlinear function by the relative pseudo-difference family.

On the cohomology of Coxeter groups and their finite parabolic subgroups. II by T. Akita Linear source modules and trivial source modules by R. Boltje Resolutions de foncteurs de Mackey by S. Bouc Homotopy uniqueness of $BPU(3)$ by C. Broto and A. Viruel Lowering operators for $GL(n)$ and quantum $GL(n)$ by J. Brundan Homomorphisms in higher complexity quotient categories by J. F. Carlson and W. W. Wheeler On the homotopy theory of $p$-completed classifying spaces by F. R. Cohen and R. Levi $H^*V$ is of bounded type over $\mathcal {A} (p)$ by M. D. Crossley Classifying spaces of central group extensions by J. Dietz and T. Ratliff Sharp homology decompositions for classifying spaces of finite groups by W. G. Dwyer On the geometry and cohomology of the simple groups $G_2(q)$ and $^3D_4(q)$ by P. Fong and R. J. Milgram Transfer and Chern classes for extraspecial $p$-groups by D. J. Green and P. A. Minh The infinite order of the symplectic classes in the cohomology of the stable mapping class group by R. Grieder A variant of the proof of the Landweber Stong conjecture by H.-W. Henn Unstable modules over the Steenrod algebra and cohomology of groups by H.-W. Henn The category of Mackey functors for a compact Lie group by L. G. Lewis, Jr. Comparison of extensions of modules for algebraic groups and quantum groups by Z. Lin The defect of the completion of a Green functor by F. Luca Simple modules of Ariki-Koike algebras by A. Mathas On the geometry and cohomology of the simple groups $G_2(q)$ and $^3D_4(q)$: II by R. J. Milgram On the relation between simple groups and homotopy theory by R. J. Milgram Varieties for $G_rT$-modules by D. K. Nakano On defect groups of the Mackey algebras for finite groups by F. Oda Applications of stable classifying space theory to group cohomology by S. Priddy The spectra $k$ and $kO$ are not Thom spectra by Yu. B. Rudyak The code of a regular generalized quadrangle of even order by N. S. N. Sastry and P. Sin Quivers of blocks with normal defect group by M. Schaps, D. Shapira, and O. Shlomo Cohomology of a homogeneous space $E_6/T^1\cdot SU(6)$ by T. Watanabe Problem session, Seattle 1996 by D. Benson.

The cohomology of groups

We perform a comprehensive analysis of the symmetry-resolved (SR) entanglement entropy (EE) for one single interval in the ground state of a 1 + 1D conformal field theory (CFT), that is invariant under an arbitrary finite or compact Lie group, G. We utilize the boundary CFT approach to study the total EE, which enables us to find the universal leading order behavior of the SREE and its first correction, which explicitly depends on the irreducible representation under consideration and breaks the equipartition of entanglement. We present two distinct schemes to carry out these computations. The first relies on the evaluation of the charged moments of the reduced density matrix. This involves studying the action of the defect-line, that generates the symmetry, on the boundary states of the theory. This perspective also paves the way for discussing the infeasibility of studying symmetry resolution when an anomalous symmetry is present. The second scheme draws a parallel between the SREE and the partition function of an orbifold CFT. This approach allows for the direct computation of the SREE without the need to use charged moments. From this standpoint, the infeasibility of defining the symmetry-resolved EE for an anomalous symmetry arises from the obstruction to gauging. Finally, we derive the symmetry-resolved entanglement spectra for a CFT invariant under a finite symmetry group. We revisit a similar problem for CFT with compact Lie group, explicitly deriving an improved formula for U(1) resolved entanglement spectra. Using the Tauberian formalism, we can estimate the aforementioned EE spectra rigorously by proving an optimal lower and upper bound on the same. In the abelian case, we perform numerical checks on the bound and find perfect agreement.

In a recent article [K. H. Hofmann and F. G. Russo, ‘The probability that$x$and$y$commute in a compact group’,Math. Proc. Cambridge Phil Soc., to appear] we calculated for a compact group$G$the probability$d(G)$that two randomly selected elements$x, y\in G$satisfy$xy=yx$, and we discussed the remarkable consequences on the structure of$G$which follow from the assumption that$d(G)$is positive. In this note we consider two natural numbers$m$and$n$and the probability$d_{m,n}(G)$that for two randomly selected elements$x, y\in G$the relation$x^my^n=y^nx^m$holds. The situation is more complicated whenever$n,m\gt 1$. If$G$is a compact Lie group and if its identity component$G_0$is abelian, then it follows readily that$d_{m,n}(G)$is positive. We show here that the following condition suffices for the converse to hold in an arbitrary compact group$G$: for any nonopen closed subgroup$H$of$G$, the sets$\{g\in G: g^k\in H\}$for both$k=m$and$k=n$have Haar measure$0$. Indeed, we show that if a compact group$G$satisfies this condition and if$d_{m,n}(G)\gt 0$, then the identity component of$G$is abelian.

Invariant theory for wreath product groups