We study affine Deligne-Lusztig varieties in the affine flag manifold of an algebraic group, and in particular the question, which affine Deligne-Lusztig varieties are non-empty. Under mild assumptions on the group, we provide a complete answer to this question in terms of the underlying affine root system. In particular, this proves the corresponding conjecture for split groups stated in \cite{GHKR2}. The question of non-emptiness of affine Deligne-Lusztig varieties is closely related to the relationship between certain natural stratifications of moduli spaces of abelian varieties in positive characteristic.

The classification and lattice model construction of symmetry-protected topological (SPT) phases in interacting fermion systems are very interesting but challenging. In this paper, we give a systematic fixed-point wave function construction of fermionic SPT (FSPT) states for generic fermionic symmetry group G_f = \mathbb{Z}^f_2 ×_{ω_2} G_b which is a central extension of bosonic symmetry group Gb (may contain time-reversal symmetry) by the fermion parity symmetry group \mathbb{Z}^f_2 = {1,P_f}. Our construction is based on the concept of an equivalence class of finite-depth fermionic symmetric local unitary transformations and decorating symmetry domain wall picture, subjected to certain obstructions. We also discuss the systematical construction and classification of boundary anomalous SPT states which leads to a trivialization of the corresponding bulk FSPT states. Thus, we conjecture that the obstruction-free and trivialization-free constructions naturally lead to a classification of FSPT phases. Each fixed-point wave function admits an exactly solvable commuting-projector Hamiltonian. We believe that our classification scheme can be generalized to point and space group symmetry as well as continuum Lie group symmetry.

No abstract uploaded!

We introduceM-tensors. This concept extends the concept ofM-matrices. We denote Z-tensors as the tensors with nonpositive off-diagonal entries. We show that M-tensors must be Ztensors and the maximal diagonal entry must be nonnegative. The diagonal elements of a symmetric M-tensor must be nonnegative. A symmetric M-tensor is copositive. Based on the spectral theory of nonnegative tensors, we show that the minimal value of the real parts of all eigenvalues of an Mtensor is its smallest H+-eigenvalue and also is its smallest H-eigenvalue. We show that a Z-tensor is an M-tensor if and only if all its H+-eigenvalues are nonnegative. Some further spectral properties of M-tensors are given. We also introduce strong M-tensors, and some corresponding conclusions are given. In particular, we show that all H-eigenvalues of strong M-tensors are positive. We apply this property to study the positive definiteness of a class of multivariate forms associated with Z-tensors. We also propose an algorithm for testing the positive definiteness of such a multivariate form.

No abstract uploaded!