Using methods from algebraic topology and group cohomology, I pursue Grothendieck's question on equality of geometric and cohomological Brauer groups in the context of complex-analytic spaces. The main result is that equality holds under suitable assumptions on the fundamental group and the Pontrjagin dual of the second homotopy group. I apply this to Lie groups, Hopf manifolds, and complex-analytic surfaces.
We prove that the Brauer group of TMF is isomorphic to the Brauer group of the derived moduli stack of elliptic curves. Then, we compute the local Brauer group, i.e., the subgroup of the Brauer group of elements trivialized by some étale cover of the moduli stack, up to a finite 2-torsion group.
In this short note we observe that the recent examples of derived-equivalent Calabi-Yau 3-folds with different fundamental groups also have different Brauer groups, using a little topological K-theory.
We show that for complex analytic K3 surfaces any torsion class in H^2(X,O_X^*) comes from an Azumaya algebra. In other words, the Brauer group equals the cohomological Brauer group. For algebraic surfaces, such results go back to Grothendieck. In our situation, we use twistor spaces to deform a given analytic K3 surface to suitable projective K3 surfaces, and then stable bundles and hyperholomorphy conditions to pass back and forth between the members of the twistor family.
We establish upper bounds of the indices of topological Brauer classes over a closed orientable 8-manifolds. In particular, we verify the Topological Period-Index Conjecture (TPIC) for topological Brauer classes over closed orientable 8-manifolds of order not congruent to 2 mod 4. In addition, we provide a counter-example which shows that the TPIC fails in general for closed orientable 8-manifolds.
We describe the Hodge theory of brilliant families of K3 surfaces. Their characteristic feature is a close link between the Hodge structures of any two fibres over points in the Noether-Lefschetz locus. Twistor deformations, the analytic Tate-Safarevic group, and one-dimensional Shimura special cycles are covered by the theory. In this setting, the Brauer group is viewed as the Noether-Lefschetz locus of the Brauer family or as the specialization of the Noether-Lefschetz loci in a family of approaching twistor spaces. Passing from one algebraic twistor fibre to another, which by construction i…
We solve the period-index problem for the Brauer group of a general complex torus of dimension at least three, giving an explicit formula for the index of each Brauer class. As a consequence, the complex-analytic version of the period-index conjecture is false for infinitely many Brauer classes on a general complex torus of dimension at least three.
In this paper, we generalize a result of Karpenko on the torsion in the second quotient of the gamma filtration for Severi-Brauer varieties to higher degrees. As an application, we provide a nontrivial torsion in higher Chow groups and the topological filtration of the associated generic variety and obtain new upper bounds for the annihilators of the torsion subgroups in the Chow groups of a large class of Severi-Brauer varieties. In particular, using the torsion in higher degrees, we show indecomposability of certain algebras.
Extending a result of Schröer on a Grothendieck question in the context of complex analytic spaces, we prove that the surjectivity of the Brauer map $δ: Br(X) \rightarrow H_{\rm ét}^2(X,\mathbb{G}_{m, X})_{\rm tor}$ for algebraic schemes depends on their étale homotopy type. We use properties of algebraic $K(π, 1)$ spaces to apply this to some classes of proper and smooth algebraic schemes. In particular we recover a result of Hoobler and Berkovich for abelian varieties. Further, we give an additional condition for the surjectivity of $δ$ which involves pro-universal covers. All proposed condi…
We investigate a notion of Azumaya algebras in the context of structured ring spectra and give a definition of Brauer groups. We investigate their Galois theoretic properties, and discuss examples of Azumaya algebras arising from Galois descent and cyclic algebras. We construct examples that are related to topological Hochschild cohomology of group ring spectra and we present a K(n)-local variant of the notion of Brauer groups.
Let X be a real projective algebraic manifold, s numerates connected components of X(R) and _2Br(X) the subgroup of elements of order 2 of the cohomological Brauer group Br(X). We study the natural homomorphism ξ: _2Br(X) \to (Z/2)^s and prove that ξis epimorphic if H^3(X(C)/G;Z/2) \to H^3(X(R);Z/2) is injective. Here G=Gal(C/R). For an algebraic surface X with H^3(X(C)/G;Z/2)=0 and X(R)\not=\emptyset, we give a formula for dim _2Br(X). As a corollary, for a real Enriques surfaces Y, the ξis epimorphic and dim _2Br(Y)=2s-1 if both liftings of the antiholomorphic involution of Y to the universa…
The purpose of this paper is to develop the theory of holomorphic gerbes on complex tori in a manner analogous to the classical theory for line bundles. In contrast to past studies on this subject, we do not restrict to the case where these gerbes are torsion or topologically trivial. We give an Appell-Humbert type description of all holomorphic gerbes on complex tori. This gives an explicit, simple, cocycle representative (and hence gerbe) for each equivalence class of holomorphic gerbes. We also prove that a gerbe on the fiber product of four spaces over a common base is trivial as long as i…
Let G be a connected algebraic group over an algebraically closed field of characteristic p (possibly 0), and X a variety on which G acts transitively with connected stabilizers. We show that any étale Galois cover of X of degree prime to p is also homogeneous, and that the maximal prime-to-p quotient of the étale fundamental group of X is commutative. We moreover obtain an explicit bound for the number of topological generators of the said quotient. When G is commutative, we also obtain a description of the prime-to-p torsion in the Brauer group of G.
We show that two analytic function germs $(\C^2,0) \to (\C,0)$ are topologically right equivalent if and only if there is a one-to-one correspondence between the irreducible components of their zero sets that preserves the multiplicites of these components, their Puiseux pairs, and the intersection numbers of any pairs of distinct components.
The main question we target is the following: If one fixes a topological type of a complex normal surface singularity then what are the possible analytic types supported by it, and/or, what are the possible values of the geometric genus? We answer the question for a specific (in some sense pathological) topological type, which supports rather different analytic structures. These structures are listed together with some of their key analytic invariants.
We provide combinatorial/topological formula for the multiplicity of a complex analytic normal surface singularity whenever the analytic structure on the fixed topological type is generic.
A question of B. Teissier, inspired by a previous problem of R. Thom, asks whether for any germ of complex analytic hypersurface there exists a germ of complex algebraic hypersurface with the same topological type. Up to now only the case of germs with an isolated singularity is kwown. In this article we answer in the affirmative the case 1-dimensional singular set, also for embedded topological types.
We show that the knot type of the link of a real analytic map germ with isolated singularity $f\colon(\mathbb{R}^2,0)\to(\mathbb{R}^4,0)$ is a complete invariant for $C^0$-$\mathscr A$-equivalence. Moreover, we also prove that isolated instability implies $C^0$-finite determinacy, giving an explicit estimate for its degree. For the general case of real analytic map germs, $f\colon (\mathbb{R}^n,0) \rightarrow (\mathbb{R}^p,0)$ ($n \leq p$), we use the Lojasiewicz exponent associated to the Mond's double point ideal $I^2(f)$ to obtain some criteria of Lipschitz and analytic regularity.
I extend the framework of rigid analytic geometry to the setting of algebraic geometry relative to monoids, and study the associated notions of separated, proper, and overconvergent morphisms. The category of affine manifolds embeds as a subcategory defined by simple algebraic (normal) and topological (overconvergent) criteria. The affine manifold of a rigid space can be recovered either as a set of `Novikov field' points or as a universal Hausdorff quotient. After base change to any topological field, one obtains a `toric' analytic space that fibres over the affine manifold.
Associated to a toric variety $X$ of dimension $r$ over a field $k$ is a fan $Δ$ on $\Bbb R^r$. The fan $Δ$ is a finite set of cones which are in one-to-one correspondence with the orbits of the torus action on $X$. The fan $Δ$ inherits the Zariski topology from $X$. In this article some cohomological invariants of $X$ are studied in terms of whether or not they depend only on $Δ$ and not $k$. Secondly some numerical invariants of $X$ are studied in terms of whether or not they are topological invariants of the fan $Δ$. That is, whether or not they depend only on the finite topological space d…
T. Mostowski showed that every (real or complex) germ of an analytic set is homeomorphic to the germ of an algebraic set. In this paper we show that every (real or complex) analytic function germ, defined on a possibly singular analytic space, is topologically equivalent to a polynomial function germ defined on an affine algebraic variety.
We prove that any complex or real analytic set or function germ is topologically equivalent to a germ defined by polynomial equations whose coefficients are algebraic numbers.
We introduce the concept of topological finite-determinacy for germs of analytic functions within a fixed ideal $I$, which provides a notion of topological finite-determinacy of functions with non-isolated singularities. We prove the following statement which generalizes classical results of Thom and Varchenko: let $A$ be the complement in the ideal $I$ of the space of germs whose topological type remains unchanged under a deformation within the ideal that only modifies sufficiently large order terms of the Taylor expansion; then $A$ has infinite codimension in $I$ in a suitable sense. We also…
We study the analytic and topological invariants associated with complex normal surface singularities. Our goal is to provide topological formulae for several discrete analytic invariants whenever the analytic structure is generic (with respect to a fixed topological type), under the condition that the link is a rational homology sphere. The list of analytic invariants include: the geometric genus, the cohomology of certain natural line bundles, the cohomology of their restrictions on effective cycles (supported on the exceptional curve of a resolution), the cohomological cycle of natural line…
We study the Banach algebras ${\rm C}(X, R)$ of continuous functions from a compact Hausdorff topological space $X$ to a Banach ring $R$ whose topology is discrete. We prove that the Berkovich spectrum of ${\rm C}(X, R)$ is homeomorphic to $ζ(X) \times {\mathcal M}(R)$, where $ζ(X)$ is the Banaschewski compactification of $X$ and ${\mathcal M}(R)$ is the Berkovich spectrum of $R$. We study how the topology of the spectrum of ${\rm C}(X, R)$ is related to the notion of homotopy Zariski open embedding used in derived geometry. We find that the topology of $ζ(X)$ can be easily reconstructed from …
