Related papers: Formality, Alexander invariants, and a question of…
We elucidate the key role played by formality in the theory of characteristic and resonance varieties. We define relative characteristic and resonance varieties, V_k and R_k, related to twisted group cohomology with coefficients of…
The k-th Fitting ideal of the Alexander invariant B of an arrangement A of n complex hyperplanes defines a characteristic subvariety, V_k(A), of the complex algebraic n-torus. In the combinatorially determined case where B decomposes as a…
We relate the geometry of the resonance varieties associated to a commutative differential graded algebra model of a space to the finiteness properties of the completions of its Alexander-type invariants. We also describe in simple…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
We study deformations of affine toric varieties. The entire deformation theory of these singularities is encoded by the so-called versal deformation. The main goal of our paper is to construct the homogeneous part of some degree -R of this,…
We give a criterion of integrality of an one-dimensional formal group law in terms of congruences satisfied by the coefficients of the canonical invariant differential. For an integral formal group law a p-adic analytic formula for the…
The deformation theory of singular varieties plays a central role in understanding the geometry and moduli of algebraic varieties. For a variety $X$ with possibly singular points, the space of first-order infinitesimal deformations is given…
Let X be a smooth complex algebraic variety. Morgan [Mor78] showed that the rational homotopy type of X is a formal consequence of the differential graded algebra defined by the first term of its weight spectral sequence. In the present…
We provide a complete system of invariants for the formal classification of complex analytic unipotent germs of diffeomorphism at $\cn{n}$ fixing the orbits of a regular vector field. We reduce the formal classification problem to solve a…
In this survey on local additive invariants of real and complex definable singular germs we systematically present classical or more recent invariants of different nature as emerging from a tame degeneracy principle. For this goal, we…
We study groups of formal diffeomorphisms in several complex variables. For abelian, metabelian or nilpotent groups we investigate the existence of suitable formal vector fields and closed differential forms which exhibit an invariance…
We consider formal maps in any finite dimension $d$ with coefficients in an integral domain $K$ with identity. Those invertible under formal composition form a group $\mathcal{G}$. We consider the centraliser $C_g$ of an element…
We survey the cohomology jumping loci and the Alexander-type invariants associated to a space, or to its fundamental group. Though most of the material is expository, we provide new examples and applications, which in turn raise several…
For any complex reductive group $G$ and any compact Riemann surface with genus $g>0$, we show that every connected component of the associated character variety is $\mathbb{Q}$-factorial and has symplectic singularities, and classify the…
A singular point of a smooth map F: M -> N of manifolds is a point in M at which the rank of the differential dF is less than the minimum of dimensions of M and N. The classical invariant of the set S of singular points of F of a given type…
Formality is a topological property, defined in terms of Sullivan's model for a space. In the simply-connected setting, a space is formal if its rational homotopy type is determined by the rational cohomology ring. In the general setting,…
In this note, we address the following question: Which 1-formal groups occur as fundamental groups of both quasi-K\"ahler manifolds and closed, connected, orientable 3-manifolds. We classify all such groups, at the level of Malcev…
Let X be a complex algebraic variety, and L(X) be the scheme of formal arcs in X. Let f be an arc whose image is not contained in the singularities of X. We show that the formal neighborhood of f in L(X) admits a decomposition into a…
If V is a bundle of Tate vector spaces over a base B, its determinantal gerbe has a class C_1(V) in the second cohomology group of the sheaf of invertible functions which can be seen as the Deligne cohomology H^3(B, Z(2)). An example of…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…