scholarly journals Principal bundles as Frobenius adjunctions with application to geometric morphisms

2015 ◽  
Vol 159 (3) ◽  
pp. 433-444 ◽  
Author(s):  
CHRISTOPHER TOWNSEND
Keyword(s):  
Principal Bundles ◽  
Frobenius Reciprocity ◽  
Suitable Notion ◽  
Internal Groupoids ◽  
Geometric Morphisms

AbstractUsing a suitable notion of principalG-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from internal groups to internal groupoids. Since geometric morphisms can be described as certain adjunctions that are stably Frobenius, as an application it is proved that all geometric morphisms, from a localic topos to a bounded topos, can be characterised as principal bundles.

Flat functors and classifying toposes

2018 ◽  
Author(s):  
Olivia Caramello
Keyword(s):  
General Theory ◽  
Geometric Theory ◽  
Small Category ◽  
Independent Interest ◽  
Yoneda Lemma ◽  
Geometric Morphisms ◽  
The Way

This chapter develops a general theory of extensions of flat functors along geometric morphisms of toposes; the attention is focused in particular on geometric morphisms between presheaf toposes induced by embeddings of categories and on geometric morphisms to the classifying topos of a geometric theory induced by a small category of set-based models of the latter. A number of general results of independent interest are established on the way, including developments on colimits of internal diagrams in toposes and a way of representing flat functors by using a suitable internalized version of the Yoneda lemma. These general results will be instrumental for establishing in Chapter 6 the main theorem characterizing the class of geometric theories classified by a presheaf topos and for applying it.

scholarly journals On the Hodge conjecture for quasi-smooth intersections in toric varieties

2021 ◽  
Author(s):  
Ugo Bruzzo ◽  
William Montoya
Keyword(s):  
Complete Intersection ◽  
Toric Variety ◽  
Toric Varieties ◽  
Picard Group ◽  
Hodge Conjecture ◽  
Smooth Hypersurface ◽  
Suitable Notion

AbstractWe establish the Hodge conjecture for some subvarieties of a class of toric varieties. First we study quasi-smooth intersections in a projective simplicial toric variety, which is a suitable notion to generalize smooth complete intersection subvarieties in the toric environment, and in particular quasi-smooth hypersurfaces. We show that under appropriate conditions, the Hodge conjecture holds for a very general quasi-smooth intersection subvariety, generalizing the work on quasi-smooth hypersurfaces of the first author and Grassi in Bruzzo and Grassi (Commun Anal Geom 28: 1773–1786, 2020). We also show that the Hodge Conjecture holds asymptotically for suitable quasi-smooth hypersurface in the Noether–Lefschetz locus, where “asymptotically” means that the degree of the hypersurface is big enough, under the assumption that the ambient variety $${{\mathbb {P}}}_\Sigma ^{2k+1}$$ P Σ 2 k + 1 has Picard group $${\mathbb {Z}}$$ Z . This extends to a class of toric varieties Otwinowska’s result in Otwinowska (J Alg Geom 12: 307–320, 2003).

The largest Irreducible Character Degree of a Finite Group

1985 ◽  
Vol 37 (3) ◽  
pp. 442-451 ◽  
Author(s):  
David Gluck
Keyword(s):  
Finite Group ◽  
Irreducible Character ◽  
Abelian Subgroup ◽  
Character Degree ◽  
Character Table ◽  
Significant Information ◽  
Famous Theorem ◽  
Frobenius Reciprocity ◽  
A Finite Group ◽  
Irreducible Character Degree

Much information about a finite group is encoded in its character table. Indeed even a small portion of the character table may reveal significant information about the group. By a famous theorem of Jordan, knowing the degree of one faithful irreducible character of a finite group gives an upper bound for the index of its largest normal abelian subgroup.Here we consider b(G), the largest irreducible character degree of the group G. A simple application of Frobenius reciprocity shows that b(G) ≧ |G:A| for any abelian subgroup A of G. In light of this fact and Jordan's theorem, one might seek to bound the index of the largest abelian subgroup of G from above by a function of b(G). If is G is nilpotent, a result of Isaacs and Passman (see [7, Theorem 12.26]) shows that G has an abelian subgroup of index at most b(G)4.

scholarly journals External derivations of internal groupoids

2008 ◽  
Vol 212 (1) ◽  
pp. 175-192 ◽  
Author(s):  
S. Kasangian ◽  
S. Mantovani ◽  
G. Metere ◽  
E.M. Vitale
Keyword(s):  
Internal Groupoids

scholarly journals Two-Categorical Bundles and their Classifying Spaces

2012 ◽  
Vol 10 (2) ◽  
pp. 299-369 ◽  
Author(s):  
Nils A. Baas ◽  
Marcel Bökstedt ◽  
Tore August Kro
Keyword(s):  
Vector Bundle ◽  
Vector Bundles ◽  
Vector Spaces ◽  
Bundle Theory ◽  
Classifying Spaces ◽  
Classifying Space ◽  
Principal Bundles

AbstractFor a 2-category 2C we associate a notion of a principal 2C-bundle. For the 2-category of 2-vector spaces, in the sense of M.M. Kapranov and V.A. Voevodsky, this gives the 2-vector bundles of N.A. Baas, B.I. Dundas and J. Rognes. Our main result says that the geometric nerve of a good 2-category is a classifying space for the associated principal 2-bundles. In the process of proving this we develop powerful machinery which may be useful in further studies of 2-categorical topology. As a corollary we get a new proof of the classification of principal bundles. Another 2-category of 2-vector spaces has been proposed by J.C. Baez and A.S. Crans. A calculation using our main theorem shows that in this case the theory of principal 2-bundles splits, up to concordance, as two copies of ordinary vector bundle theory. When 2C is a cobordism type 2-category we get a new notion of cobordism-bundles which turns out to be classified by the Madsen–Weiss spaces.

scholarly journals Double principal bundles

2021 ◽  
pp. 104354
Author(s):  
Honglei Lang ◽  
Yanpeng Li ◽  
Zhangju Liu
Keyword(s):  
Principal Bundles
Sign in / Sign up

Export Citation Format

Share Document